mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-29 15:18:24 -04:00
Code Issues Packages Projects Releases Wiki Activity

chore(phase-31): SESSION CHECKPOINT — campaign mid-flight; 65 banked this session; wave-B 35/37 (95%); resume steps + fuel inventory

Browse Source
This commit is contained in:
Drew T
2026-08-14 22:03:10 -06:00
parent 9fddf15ec9
commit e9e3db88de
4 changed files with 935 additions and 903 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.run/backlog.jsonl
+10
View File
@@ -1705,3 +1705,13 @@
{"ts": "2026-08-14 21:05:55", "addr": "0x80181d04", "name": "func_80181D04", "reach": null, "klass": "schedule", "nins": null, "status": "near", "closeness": 13, "where_stuck": "wave-A NEAR", "best_draft": ".run/wave_p31a/ov_SC03_093/func_80181D04.c", "binary": "ov_SC03_093", "source": "warmstart", "residual": null, "passes_tried": null}
{"ts": "2026-08-14 21:05:55", "addr": "0x8018406c", "name": "func_8018406C", "reach": null, "klass": "regalloc-order", "nins": null, "status": "near", "closeness": 3, "where_stuck": "wave-A NEAR", "best_draft": ".run/wave_p31a/ov_SC03_089/func_8018406C.c", "binary": "ov_SC03_089", "source": "warmstart", "residual": null, "passes_tried": null}
{"ts": "2026-08-14 21:05:55", "addr": "0x801efea4", "name": "func_801EFEA4", "reach": null, "klass": "schedule", "nins": null, "status": "near", "closeness": 3, "where_stuck": "wave-A NEAR", "best_draft": ".run/wave_p31a/md_SC03_075/func_801EFEA4.c", "binary": "md_SC03_075", "source": "warmstart", "residual": null, "passes_tried": null}
{"ts": "2026-08-14 21:26:16", "addr": "0x801f1ac8", "name": "func_801F1AC8", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_801F1AC8.c", "binary": "md_SC03_076", "source": "worker", "residual": null, "passes_tried": null}
{"ts": "2026-08-14 21:29:20", "addr": "0x80182cb4", "name": "func_80182CB4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 0, "where_stuck": "match_one MATCH but the whole-binary gate rejected \u2014 CAUSE NOT DETERMINED. FIRST re-derive the destination TU from the asm subdir: asm/<ov>/nonmatchings/<TU_stem>/<fn>.s => src/<ov>/<TU_stem>.c (the third path component IS the TU). Only then look for a decl conflict or a codegen residual.", "best_draft": ".run/backlog_drafts/func_80182CB4.c", "binary": "ov_SC02_000", "source": "worker", "residual": null, "passes_tried": null}
{"ts": "2026-08-14 22:02:42", "addr": "0x80188c60", "name": "func_80188C60", "reach": null, "klass": "schedule", "nins": null, "status": "near", "closeness": 7, "where_stuck": "wave-B NEAR", "best_draft": ".run/wave_p31a/ov_SC03_014/func_80188C60.c", "binary": "ov_SC03_014", "source": "warmstart", "residual": null, "passes_tried": null}
{"ts": "2026-08-14 22:02:42", "addr": "0x8018bcc4", "name": "func_8018BCC4", "reach": null, "klass": "regalloc-order", "nins": null, "status": "near", "closeness": 28, "where_stuck": "wave-B NEAR", "best_draft": ".run/wave_p31a/ov_SC02_011/func_8018BCC4.c", "binary": "ov_SC02_011", "source": "warmstart", "residual": null, "passes_tried": null}
{"ts": "2026-08-14 22:02:42", "addr": "0x8017ec6c", "name": "func_8017EC6C", "reach": null, "klass": "unverified", "nins": null, "status": "near", "closeness": 28, "where_stuck": "wave-B NEAR", "best_draft": ".run/wave_p31a/ov_SC02_027/func_8017EC6C.c", "binary": "ov_SC02_027", "source": "warmstart", "residual": null, "passes_tried": null}
{"ts": "2026-08-14 22:02:42", "addr": "0x8018137c", "name": "func_8018137C", "reach": null, "klass": "schedule", "nins": null, "status": "near", "closeness": 3, "where_stuck": "wave-B NEAR", "best_draft": ".run/wave_p31a/ov_SC03_002/func_8018137C.c", "binary": "ov_SC03_002", "source": "warmstart", "residual": null, "passes_tried": null}
{"ts": "2026-08-14 22:02:42", "addr": "0x801e4d14", "name": "func_801E4D14", "reach": null, "klass": "LENGTH-DRIFT", "nins": null, "status": "near", "closeness": 14, "where_stuck": "wave-B NEAR", "best_draft": ".run/wave_p31a/md_SC02_009/func_801E4D14.c", "binary": "md_SC02_009", "source": "warmstart", "residual": null, "passes_tried": null}
{"ts": "2026-08-14 22:02:42", "addr": "0x8017d1e0", "name": "func_8017D1E0", "reach": null, "klass": "schedule", "nins": null, "status": "near", "closeness": 1, "where_stuck": "wave-B NEAR", "best_draft": ".run/wave_p31a/ov_SC02_041/func_8017D1E0.c", "binary": "ov_SC02_041", "source": "warmstart", "residual": null, "passes_tried": null}
{"ts": "2026-08-14 22:02:42", "addr": "0x8017e7b8", "name": "func_8017E7B8", "reach": null, "klass": "regalloc-order", "nins": null, "status": "near", "closeness": 2, "where_stuck": "wave-B NEAR", "best_draft": ".run/wave_p31a/ov_SC03_003/func_8017E7B8.c", "binary": "ov_SC03_003", "source": "warmstart", "residual": null, "passes_tried": null}
{"ts": "2026-08-14 22:02:42", "addr": "0x8017e98c", "name": "func_8017E98C", "reach": null, "klass": "regalloc-order", "nins": null, "status": "near", "closeness": 1, "where_stuck": "wave-B NEAR", "best_draft": ".run/wave_p31a/ov_SC03_003/func_8017E98C.c", "binary": "ov_SC03_003", "source": "warmstart", "residual": null, "passes_tried": null}
docs/backlog.md
+877 -869
View File
File diff suppressed because it is too large Load Diff
docs/progress.fleet.md
+33 -33
View File
@@ -4,16 +4,16 @@
# cross-binary collapsible-byte leverage: docs/duplicates.cross.md.
# THREE progress metrics (all matter — see the labels):
FLEET fn-count byte-ident: 351126 / 363163 = 96.69% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 12886273 / 13523865 = 95.3% (shipped .text across main + resident + 211 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 5269550 / 5851972 = 90.0% (81393/90929 unique fns; the DISTINCT-RE number)
FLEET fn-count byte-ident: 351163 / 363163 = 96.70% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 12887048 / 13523865 = 95.3% (shipped .text across main + resident + 211 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 5270289 / 5851972 = 90.1% (81428/90929 unique fns; the DISTINCT-RE number)
MAIN game-code weighted : 436 / 79510 = 0.5% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated 2026-08-05; caveat is R34: no independent second oracle for a PS-X EXE, NOT drift)
(fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 12885837 / 13444355 = 95.8%)
(fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 12886612 / 13444355 = 95.9%)
FLEET REAL substantive : 348956 (of which dedup-shared 254445 via 2063 groups / 254521 instances)
FLEET REAL substantive : 348993 (of which dedup-shared 254448 via 2064 groups / 254524 instances)
FLEET LINKED PsyQ objs : 959
FLEET NON_MATCHING : 7 (0 in any default build — G4)
FLEET INCLUDE_ASM stubs : 12030
FLEET INCLUDE_ASM stubs : 11993
FLEET matchable : 363163
| binary | REAL | shared | LINKED | byte-ident | matchable | byte-ident % |
@@ -25,12 +25,12 @@ FLEET matchable : 363163
| md_MAIN_008 | 0 | 0 | 0 | 0 | 6 | 0.0% |
| md_MAIN_011 | 0 | 0 | 0 | 0 | 21 | 0.0% |
| md_MAIN_013 | 5 | 0 | 0 | 5 | 16 | 31.2% |
| md_MAIN_014 | 4 | 0 | 0 | 5 | 13 | 38.5% |
| md_MAIN_014 | 5 | 0 | 0 | 6 | 13 | 46.2% |
| md_MAIN_015 | 8 | 0 | 0 | 8 | 20 | 40.0% |
| md_MAIN_016 | 4 | 0 | 0 | 5 | 13 | 38.5% |
| md_MAIN_017 | 4 | 0 | 0 | 4 | 10 | 40.0% |
| md_MAIN_018 | 3 | 0 | 0 | 4 | 11 | 36.4% |
| md_MAIN_019 | 8 | 0 | 0 | 8 | 22 | 36.4% |
| md_MAIN_019 | 9 | 0 | 0 | 9 | 22 | 40.9% |
| md_MAIN_020 | 9 | 0 | 0 | 10 | 14 | 71.4% |
| md_MAIN_021 | 4 | 0 | 0 | 5 | 11 | 45.5% |
| md_MAIN_022 | 19 | 0 | 0 | 21 | 33 | 63.6% |
@@ -48,14 +48,14 @@ FLEET matchable : 363163
| md_MAIN_034 | 5 | 0 | 0 | 6 | 28 | 21.4% |
| md_MAIN_035 | 11 | 0 | 0 | 12 | 16 | 75.0% |
| md_MAIN_036 | 9 | 0 | 0 | 10 | 28 | 35.7% |
| md_MAIN_037 | 4 | 0 | 0 | 4 | 17 | 23.5% |
| md_MAIN_037 | 5 | 0 | 0 | 5 | 17 | 29.4% |
| md_MAIN_038 | 7 | 0 | 0 | 7 | 20 | 35.0% |
| md_MAIN_039 | 5 | 0 | 0 | 5 | 26 | 19.2% |
| md_MAIN_040 | 4 | 0 | 0 | 4 | 19 | 21.1% |
| md_MAIN_041 | 5 | 0 | 0 | 5 | 15 | 33.3% |
| md_MAIN_042 | 0 | 0 | 0 | 0 | 4 | 0.0% |
| md_MAIN_043 | 4 | 0 | 0 | 5 | 23 | 21.7% |
| md_MAIN_044 | 12 | 0 | 0 | 13 | 44 | 29.5% |
| md_MAIN_044 | 13 | 0 | 0 | 14 | 44 | 31.8% |
| md_MAIN_045 | 5 | 0 | 0 | 6 | 21 | 28.6% |
| md_MAIN_046 | 10 | 0 | 0 | 11 | 39 | 28.2% |
| md_MAIN_047 | 3 | 0 | 0 | 4 | 12 | 33.3% |
@@ -63,7 +63,7 @@ FLEET matchable : 363163
| md_SC03_073 | 27 | 10 | 0 | 27 | 28 | 96.4% |
| md_SC03_074 | 26 | 10 | 0 | 26 | 29 | 89.7% |
| md_SC03_075 | 29 | 10 | 0 | 29 | 41 | 70.7% |
| md_SC03_076 | 34 | 0 | 0 | 36 | 66 | 54.5% |
| md_SC03_076 | 35 | 0 | 0 | 37 | 66 | 56.1% |
| md_SC03_077 | 24 | 0 | 0 | 26 | 35 | 74.3% |
| md_SC03_078 | 25 | 9 | 0 | 25 | 27 | 92.6% |
| md_SC03_079 | 24 | 0 | 0 | 26 | 29 | 89.7% |
@@ -94,7 +94,7 @@ FLEET matchable : 363163
| ov_SC01_000 | 2390 | 1809 | 0 | 2390 | 2403 | 99.5% |
| ov_SC01_001 | 2400 | 1811 | 0 | 2402 | 2466 | 97.4% |
| ov_SC01_004 | 2399 | 1802 | 0 | 2400 | 2414 | 99.4% |
| ov_SC01_005 | 2434 | 1826 | 0 | 2434 | 2503 | 97.2% |
| ov_SC01_005 | 2437 | 1826 | 0 | 2437 | 2503 | 97.4% |
| ov_SC01_006 | 2434 | 1826 | 0 | 2434 | 2503 | 97.2% |
| ov_SC01_008 | 2400 | 1803 | 0 | 2402 | 2426 | 99.0% |
| ov_SC01_009 | 2427 | 1803 | 0 | 2428 | 2507 | 96.8% |
@@ -102,33 +102,33 @@ FLEET matchable : 363163
| ov_SC01_077 | 2568 | 1764 | 0 | 2570 | 2586 | 99.4% |
| ov_SC01_080 | 2426 | 1806 | 0 | 2426 | 2512 | 96.6% |
| ov_SC01_084 | 2451 | 1811 | 0 | 2456 | 2579 | 95.2% |
| ov_SC02_000 | 2533 | 1853 | 0 | 2533 | 2683 | 94.4% |
| ov_SC02_000 | 2534 | 1853 | 0 | 2534 | 2683 | 94.4% |
| ov_SC02_003 | 2532 | 1853 | 0 | 2532 | 2683 | 94.4% |
| ov_SC02_004 | 2391 | 1806 | 0 | 2391 | 2401 | 99.6% |
| ov_SC02_005 | 2546 | 1802 | 0 | 2556 | 2927 | 87.3% |
| ov_SC02_011 | 2644 | 1810 | 0 | 2654 | 2893 | 91.7% |
| ov_SC02_011 | 2646 | 1810 | 0 | 2656 | 2893 | 91.8% |
| ov_SC02_015 | 2402 | 1808 | 0 | 2402 | 2414 | 99.5% |
| ov_SC02_016 | 2485 | 1810 | 0 | 2488 | 2545 | 97.8% |
| ov_SC02_017 | 2557 | 1810 | 0 | 2565 | 2732 | 93.9% |
| ov_SC02_017 | 2558 | 1810 | 0 | 2566 | 2732 | 93.9% |
| ov_SC02_021 | 2407 | 1808 | 0 | 2407 | 2437 | 98.8% |
| ov_SC02_026 | 2513 | 1807 | 0 | 2519 | 2572 | 97.9% |
| ov_SC02_027 | 2567 | 1828 | 0 | 2576 | 2692 | 95.7% |
| ov_SC02_028 | 2577 | 1827 | 0 | 2587 | 2701 | 95.8% |
| ov_SC02_028 | 2578 | 1827 | 0 | 2588 | 2701 | 95.8% |
| ov_SC02_031 | 2502 | 1809 | 0 | 2507 | 2562 | 97.9% |
| ov_SC02_035 | 2497 | 1806 | 0 | 2500 | 2520 | 99.2% |
| ov_SC02_037 | 2339 | 1704 | 0 | 2421 | 2516 | 96.2% |
| ov_SC02_039 | 2397 | 1806 | 0 | 2397 | 2416 | 99.2% |
| ov_SC02_041 | 2491 | 1806 | 0 | 2494 | 2561 | 97.4% |
| ov_SC03_001 | 2698 | 1807 | 0 | 2715 | 2869 | 94.6% |
| ov_SC02_041 | 2493 | 1806 | 0 | 2496 | 2561 | 97.5% |
| ov_SC03_001 | 2699 | 1807 | 0 | 2716 | 2869 | 94.7% |
| ov_SC03_002 | 2550 | 1815 | 0 | 2565 | 2631 | 97.5% |
| ov_SC03_003 | 2401 | 1806 | 0 | 2402 | 2423 | 99.1% |
| ov_SC03_006 | 2569 | 1814 | 0 | 2578 | 2767 | 93.2% |
| ov_SC03_003 | 2402 | 1806 | 0 | 2403 | 2423 | 99.2% |
| ov_SC03_006 | 2571 | 1814 | 0 | 2580 | 2767 | 93.2% |
| ov_SC03_007 | 2469 | 1806 | 0 | 2473 | 2623 | 94.3% |
| ov_SC03_010 | 2422 | 1806 | 0 | 2422 | 2471 | 98.0% |
| ov_SC03_011 | 2425 | 1806 | 0 | 2431 | 2527 | 96.2% |
| ov_SC03_010 | 2422 | 1807 | 0 | 2422 | 2471 | 98.0% |
| ov_SC03_011 | 2426 | 1807 | 0 | 2432 | 2527 | 96.2% |
| ov_SC03_012 | 2391 | 1806 | 0 | 2392 | 2406 | 99.4% |
| ov_SC03_013 | 2426 | 1806 | 0 | 2426 | 2493 | 97.3% |
| ov_SC03_014 | 2594 | 1841 | 0 | 2594 | 2685 | 96.6% |
| ov_SC03_013 | 2427 | 1807 | 0 | 2427 | 2493 | 97.4% |
| ov_SC03_014 | 2596 | 1841 | 0 | 2596 | 2685 | 96.7% |
| ov_SC03_015 | 2375 | 1841 | 0 | 2375 | 2468 | 96.2% |
| ov_SC03_023 | 2404 | 1806 | 0 | 2405 | 2435 | 98.8% |
| ov_SC03_024 | 2530 | 1813 | 0 | 2537 | 2641 | 96.1% |
@@ -136,11 +136,11 @@ FLEET matchable : 363163
| ov_SC03_029 | 2505 | 1810 | 0 | 2515 | 2644 | 95.1% |
| ov_SC03_030 | 2428 | 1811 | 0 | 2430 | 2495 | 97.4% |
| ov_SC03_031 | 2449 | 1808 | 0 | 2452 | 2514 | 97.5% |
| ov_SC03_089 | 2524 | 1811 | 0 | 2531 | 2581 | 98.1% |
| ov_SC03_089 | 2526 | 1811 | 0 | 2533 | 2581 | 98.1% |
| ov_SC03_090 | 2542 | 1811 | 0 | 2550 | 2625 | 97.1% |
| ov_SC03_091 | 2557 | 1828 | 0 | 2565 | 2640 | 97.2% |
| ov_SC03_092 | 2515 | 1811 | 0 | 2527 | 2588 | 97.6% |
| ov_SC03_093 | 2529 | 1828 | 0 | 2533 | 2563 | 98.8% |
| ov_SC03_093 | 2530 | 1828 | 0 | 2534 | 2563 | 98.9% |
| ov_SC03_094 | 2519 | 1806 | 0 | 2525 | 2577 | 98.0% |
| ov_SC03_095 | 2440 | 1806 | 0 | 2443 | 2474 | 98.7% |
| ov_SC03_096 | 2437 | 1806 | 0 | 2440 | 2465 | 99.0% |
@@ -154,7 +154,7 @@ FLEET matchable : 363163
| ov_SC03_104 | 2551 | 1811 | 0 | 2558 | 2616 | 97.8% |
| ov_SC03_105 | 2452 | 1807 | 0 | 2459 | 2597 | 94.7% |
| ov_SC03_107 | 2308 | 1689 | 0 | 2391 | 2497 | 95.8% |
| ov_SC03_108 | 2404 | 1806 | 0 | 2404 | 2443 | 98.4% |
| ov_SC03_108 | 2406 | 1806 | 0 | 2406 | 2443 | 98.5% |
| ov_SC03_109 | 2409 | 1807 | 0 | 2411 | 2424 | 99.5% |
| ov_SC03_110 | 2444 | 1830 | 0 | 2444 | 2468 | 99.0% |
| ov_SC03_111 | 2482 | 1806 | 0 | 2485 | 2510 | 99.0% |
@@ -169,7 +169,7 @@ FLEET matchable : 363163
| ov_SC03_121 | 2407 | 1807 | 0 | 2409 | 2459 | 98.0% |
| ov_SC03_124 | 2597 | 1802 | 0 | 2617 | 2741 | 95.5% |
| ov_SC03_125 | 2534 | 1815 | 0 | 2546 | 2588 | 98.4% |
| ov_SC03_126 | 2403 | 1808 | 0 | 2403 | 2423 | 99.2% |
| ov_SC03_126 | 2404 | 1808 | 0 | 2404 | 2423 | 99.2% |
| ov_SC04_000 | 2478 | 1811 | 0 | 2487 | 2546 | 97.7% |
| ov_SC04_002 | 2518 | 1806 | 0 | 2522 | 2636 | 95.7% |
| ov_SC04_003 | 2443 | 1813 | 0 | 2446 | 2502 | 97.8% |
@@ -184,7 +184,7 @@ FLEET matchable : 363163
| ov_SC04_012 | 2402 | 1806 | 0 | 2403 | 2420 | 99.3% |
| ov_SC04_015 | 2545 | 1807 | 0 | 2556 | 2611 | 97.9% |
| ov_SC04_016 | 2402 | 1806 | 0 | 2404 | 2440 | 98.5% |
| ov_SC04_018 | 2707 | 1858 | 0 | 2707 | 2857 | 94.7% |
| ov_SC04_018 | 2710 | 1858 | 0 | 2710 | 2857 | 94.9% |
| ov_SC04_019 | 2703 | 1858 | 0 | 2703 | 2857 | 94.6% |
| ov_SC04_020 | 2520 | 1815 | 0 | 2532 | 2567 | 98.6% |
| ov_SC04_021 | 2403 | 1808 | 0 | 2403 | 2423 | 99.2% |
@@ -212,7 +212,7 @@ FLEET matchable : 363163
| ov_SC06_014 | 2418 | 1806 | 0 | 2420 | 2453 | 98.7% |
| ov_SC06_015 | 2412 | 1806 | 0 | 2412 | 2421 | 99.6% |
| ov_SC06_016 | 2455 | 1807 | 0 | 2457 | 2549 | 96.4% |
| ov_SC06_018 | 2548 | 1807 | 0 | 2555 | 2665 | 95.9% |
| ov_SC06_018 | 2550 | 1807 | 0 | 2557 | 2665 | 95.9% |
| ov_SC06_020 | 2472 | 1808 | 0 | 2473 | 2518 | 98.2% |
| ov_SC06_022 | 2523 | 1806 | 0 | 2531 | 2642 | 95.8% |
| ov_SC06_024 | 2542 | 1806 | 0 | 2548 | 2667 | 95.5% |
@@ -224,10 +224,10 @@ FLEET matchable : 363163
| ov_SC06_033 | 2531 | 1807 | 0 | 2538 | 2631 | 96.5% |
| ov_SC07_000 | 2439 | 1811 | 0 | 2441 | 2521 | 96.8% |
| ov_SC07_001 | 2407 | 1807 | 0 | 2409 | 2454 | 98.2% |
| ov_SC07_002 | 2465 | 1807 | 0 | 2469 | 2579 | 95.7% |
| ov_SC07_002 | 2466 | 1807 | 0 | 2470 | 2579 | 95.8% |
| ov_SC07_006 | 2330 | 1625 | 0 | 2410 | 2456 | 98.1% |
| ov_SC07_007 | 2351 | 1660 | 0 | 2435 | 2612 | 93.2% |
| ov_SC07_007 | 2352 | 1660 | 0 | 2436 | 2612 | 93.3% |
| ov_SC07_008 | 2386 | 1806 | 0 | 2386 | 2386 | 100.0% |
| ov_SC07_009 | 2398 | 1806 | 0 | 2400 | 2430 | 98.8% |
| ov_SC07_009 | 2399 | 1806 | 0 | 2401 | 2430 | 98.8% |
| ov_SC07_010 | 2323 | 1682 | 0 | 2405 | 2523 | 95.3% |
| ov_SC07_011 | 2341 | 1659 | 0 | 2421 | 2448 | 98.9% |
phase-ends/CURRENT_PHASE.md
+15 -1
View File
@@ -69,5 +69,19 @@ R22 clean-fleet **213/213** after every banked batch · tools-health green · 0
## Blockers
(none)
## 🛑 SESSION CHECKPOINT (refreshed 2026-08-14, end of the build arc)
## 🛑 SESSION CHECKPOINT (FINAL for this session, 2026-08-14 — campaign mid-flight, resume in a fresh session)
**Phase 31 CONTINUES (campaign-to-ceiling; do NOT close).** Session totals: **65 banked** (17 mechanical @$0 + wave A 12+1prop @~117k tok/bank + wave B **35/37 gated, 95% conversion** @~88k tok/bank — the decl-matching lesson nearly eliminated integration failures). Stubs ≈ **11,995** (from 12,059). All banks byte-gated + committed; wave banks propagated where sharers existed.
**RESUME STEPS (fresh session, after the standard load order):**
1. `git log --oneline -20` to see the wave-B bank commits; run **R22** (`make clean && make extract-all && make check-all` → expect 213/213) — it was NOT run after wave B (context ran out; the per-bank gates each verified their own binary, but the standing clean-fleet proof is owed FIRST).
2. `make atlas` (regenerates maps + atlas post-banks, ~15 min, $0).
3. **Wave C is STAGED, not launched**: `.run/wave_p31c_cards.json` (14 §172b tell-cards [sonnet] + 24 weak-seed haiku cards — measures the two untested agent lanes). Launch via the persisted workflow script `workflows/scripts/p31-adapt-wave-a-wf_2fbef223-859.js` pattern (args = the cards; NOTE the tell/weak cards have different fields than adapt cards — adapt the prompt per lane or write a v2 script). Needs `/effort ultracode` (R27).
4. Adapt pile remains ~630 SMALL-EDIT cards — the proven 73-95% lane; wave D+ = next 48 by the same selection (exclude banked; see `.run/wave_p31{a,b}_cards.json` for taken).
5. Grinder queue armed: 59 warmstart + 6 wave-A NEARs + 8 wave-B NEARs (4 at close ≤3). Relaunch: `GATE_PHASE=phase-31 .venv/bin/python tools/grinder.py --once --batch 15 …` (single-writer: never while a gate runs).
6. Ledger discipline: velocity row per wave (the table above); distill lessons per R16/R30; close the phase ONLY on measured multi-session yield decay (plan file §Leg-C).
**Watch-fors:** gate_lane aborts on dirty src/config (clean first); symfix-first before every gate (§173); the safety-classifier can rate-limit under 48-agent bursts (harmless — retry).
## (superseded) previous checkpoint (end of build arc)
**T0–T9 ALL COMPLETE AND COMMITTED** (through `commit:2181`). Phase totals: **17 banked, 0 agent tokens**; stubs 12,059 → 12,042; R22 213/213 verified twice (post-T1, post-T6). The machine: the Atlas (5,139 groups, `make atlas`), the widened lanes (symfix STALE-DELTA, recover_integration isolation + macro-externs/tu-scope, family_align + len_tells + lenmiss routing), the armed queues (grinder: 59 warmstart records; cards: 954 weak + 192 len + 704 adapt; permuter-49). NEXT = **T10+ the campaign loop**: L3 grinder running in background (launched at checkpoint time); **card/crack WAVES need Drew's `/effort ultracode` toggle first (R27)** — prompt and WAIT. Campaign cadence + close criterion: the plan file §Leg-C. If resuming fresh: read the approved plan + this log; check `.run/auto/grinder_heartbeat.json`; run `make atlas` to refresh; continue the loop.