Commit d14df5e
SIN-Agent
chore(bundle): ruff format the sibling repo dirs tracked in this repo
These directories are not git submodules — they are tracked file content
that mirror their upstream OpenSIN-Code repos. CI's 'ruff check .' covers
the whole tree, so they must be lint-clean too.
ruff check . → 0 errors
ruff format --check . → 102 files already formatted
Affected (auto-formatted only):
- SIN-Code-Architectural-Debt-Watchdogs/
- SIN-Code-Bundle/ (nested copy)
- SIN-Code-Ephemeral-Full-Stack-Mocking-Orchestration/
- SIN-Code-Intent-Based-Diffing/
- SIN-Code-Proof-of-Correctness/
- SIN-Code-Semantic-Codebase-Knowledge-Graphs/
- SIN-Code-Verification-Oracle/1 parent 5f3da60 commit d14df5e
50 files changed
Lines changed: 416 additions & 329 deletions
File tree
- SIN-Code-Architectural-Debt-Watchdogs
- src/sin_code_adw
- tests
- SIN-Code-Bundle
- src/sin_code_bundle
- tests
- SIN-Code-Ephemeral-Full-Stack-Mocking-Orchestration
- src/sin_code_efsm
- tests
- SIN-Code-Intent-Based-Diffing
- src/sin_code_ibd
- tests
- SIN-Code-Proof-of-Correctness
- src/sin_code_poc
- tests
- SIN-Code-Semantic-Codebase-Knowledge-Graphs
- src/sin_code_sckg
- tests
- SIN-Code-Verification-Oracle
- src/sin_code_oracle
- tests
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
Lines changed: 3 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
| 2 | + | |
2 | 3 | | |
3 | 4 | | |
| 5 | + | |
4 | 6 | | |
5 | | - | |
6 | | - | |
| 7 | + | |
7 | 8 | | |
8 | 9 | | |
9 | 10 | | |
| |||
Lines changed: 4 additions & 9 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
| 2 | + | |
2 | 3 | | |
3 | 4 | | |
4 | 5 | | |
| |||
35 | 36 | | |
36 | 37 | | |
37 | 38 | | |
38 | | - | |
39 | | - | |
40 | | - | |
| 39 | + | |
41 | 40 | | |
42 | | - | |
43 | | - | |
44 | | - | |
| 41 | + | |
45 | 42 | | |
46 | | - | |
47 | | - | |
48 | | - | |
| 43 | + | |
49 | 44 | | |
50 | 45 | | |
51 | 46 | | |
| |||
Lines changed: 2 additions & 3 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
| 2 | + | |
2 | 3 | | |
3 | 4 | | |
4 | 5 | | |
| |||
30 | 31 | | |
31 | 32 | | |
32 | 33 | | |
33 | | - | |
34 | | - | |
35 | | - | |
| 34 | + | |
36 | 35 | | |
37 | 36 | | |
38 | 37 | | |
| |||
Lines changed: 1 addition & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
| 2 | + | |
2 | 3 | | |
3 | 4 | | |
4 | 5 | | |
| |||
Lines changed: 3 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
| 2 | + | |
2 | 3 | | |
3 | 4 | | |
4 | 5 | | |
5 | | - | |
| 6 | + | |
6 | 7 | | |
7 | 8 | | |
8 | 9 | | |
9 | | - | |
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
| |||
46 | 46 | | |
47 | 47 | | |
48 | 48 | | |
49 | | - | |
50 | | - | |
51 | | - | |
| 49 | + | |
52 | 50 | | |
53 | 51 | | |
54 | 52 | | |
| |||
Lines changed: 3 additions & 6 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
| 2 | + | |
2 | 3 | | |
3 | 4 | | |
4 | 5 | | |
| |||
40 | 41 | | |
41 | 42 | | |
42 | 43 | | |
43 | | - | |
44 | | - | |
45 | | - | |
| 44 | + | |
46 | 45 | | |
47 | 46 | | |
48 | | - | |
49 | | - | |
50 | | - | |
| 47 | + | |
51 | 48 | | |
52 | 49 | | |
53 | 50 | | |
| |||
Lines changed: 3 additions & 6 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
5 | | - | |
6 | | - | |
7 | | - | |
8 | 5 | | |
9 | 6 | | |
10 | 7 | | |
11 | 8 | | |
12 | 9 | | |
| 10 | + | |
| 11 | + | |
13 | 12 | | |
14 | 13 | | |
15 | 14 | | |
16 | 15 | | |
17 | 16 | | |
18 | 17 | | |
19 | | - | |
20 | | - | |
21 | | - | |
| 18 | + | |
22 | 19 | | |
23 | 20 | | |
24 | 21 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
| 2 | + | |
2 | 3 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| 6 | + | |
6 | 7 | | |
7 | 8 | | |
8 | 9 | | |
| |||
12 | 13 | | |
13 | 14 | | |
14 | 15 | | |
15 | | - | |
16 | | - | |
17 | | - | |
| 16 | + | |
18 | 17 | | |
19 | 18 | | |
20 | 19 | | |
21 | 20 | | |
22 | 21 | | |
23 | 22 | | |
24 | 23 | | |
25 | | - | |
26 | | - | |
27 | | - | |
| 24 | + | |
28 | 25 | | |
29 | 26 | | |
30 | 27 | | |
| |||
37 | 34 | | |
38 | 35 | | |
39 | 36 | | |
40 | | - | |
41 | | - | |
42 | | - | |
43 | | - | |
| 37 | + | |
44 | 38 | | |
45 | 39 | | |
46 | 40 | | |
| |||
68 | 62 | | |
69 | 63 | | |
70 | 64 | | |
71 | | - | |
72 | | - | |
73 | | - | |
| 65 | + | |
74 | 66 | | |
75 | 67 | | |
76 | 68 | | |
| |||
118 | 110 | | |
119 | 111 | | |
120 | 112 | | |
121 | | - | |
122 | | - | |
123 | | - | |
124 | | - | |
125 | | - | |
| 113 | + | |
126 | 114 | | |
127 | 115 | | |
128 | 116 | | |
| |||
347 | 335 | | |
348 | 336 | | |
349 | 337 | | |
350 | | - | |
351 | | - | |
352 | | - | |
353 | | - | |
354 | | - | |
355 | | - | |
| 338 | + | |
| 339 | + | |
356 | 340 | | |
357 | 341 | | |
358 | 342 | | |
359 | 343 | | |
360 | 344 | | |
361 | | - | |
362 | | - | |
363 | | - | |
| 345 | + | |
364 | 346 | | |
365 | 347 | | |
366 | 348 | | |
| |||
400 | 382 | | |
401 | 383 | | |
402 | 384 | | |
403 | | - | |
404 | | - | |
| 385 | + | |
405 | 386 | | |
406 | 387 | | |
407 | 388 | | |
| |||
426 | 407 | | |
427 | 408 | | |
428 | 409 | | |
429 | | - | |
430 | | - | |
431 | | - | |
| 410 | + | |
432 | 411 | | |
433 | 412 | | |
434 | 413 | | |
435 | 414 | | |
436 | 415 | | |
437 | | - | |
438 | | - | |
439 | | - | |
| 416 | + | |
440 | 417 | | |
441 | 418 | | |
442 | 419 | | |
| |||
473 | 450 | | |
474 | 451 | | |
475 | 452 | | |
476 | | - | |
| 453 | + | |
| 454 | + | |
| 455 | + | |
477 | 456 | | |
478 | 457 | | |
479 | 458 | | |
| |||
498 | 477 | | |
499 | 478 | | |
500 | 479 | | |
501 | | - | |
502 | | - | |
503 | | - | |
| 480 | + | |
504 | 481 | | |
505 | 482 | | |
506 | 483 | | |
| |||
516 | 493 | | |
517 | 494 | | |
518 | 495 | | |
519 | | - | |
520 | 496 | | |
521 | 497 | | |
522 | 498 | | |
| |||
560 | 536 | | |
561 | 537 | | |
562 | 538 | | |
563 | | - | |
| 539 | + | |
564 | 540 | | |
565 | 541 | | |
566 | 542 | | |
| |||
593 | 569 | | |
594 | 570 | | |
595 | 571 | | |
596 | | - | |
597 | | - | |
598 | | - | |
599 | | - | |
600 | | - | |
| 572 | + | |
| 573 | + | |
| 574 | + | |
| 575 | + | |
| 576 | + | |
| 577 | + | |
| 578 | + | |
601 | 579 | | |
602 | 580 | | |
603 | 581 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
| 12 | + | |
12 | 13 | | |
13 | 14 | | |
14 | 15 | | |
| |||
175 | 176 | | |
176 | 177 | | |
177 | 178 | | |
| 179 | + | |
178 | 180 | | |
179 | 181 | | |
180 | 182 | | |
| |||
223 | 225 | | |
224 | 226 | | |
225 | 227 | | |
226 | | - | |
227 | | - | |
228 | | - | |
| 228 | + | |
229 | 229 | | |
230 | 230 | | |
231 | 231 | | |
| |||
0 commit comments