diff --git a/docs/progress.fleet.md b/docs/progress.fleet.md index ad6e465f1..42e90d77d 100644 --- a/docs/progress.fleet.md +++ b/docs/progress.fleet.md @@ -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: 350712 / 363380 = 96.51% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) -FLEET instr-weighted : 12860334 / 13523856 = 95.1% (shipped .text across main + resident + 211 overlays; the decomp.dev-DISPLAY number) -FLEET distinct-code(uniq): 5249614 / 5851963 = 89.7% (80927/90928 unique fns; the DISTINCT-RE number) +FLEET fn-count byte-ident: 350760 / 363380 = 96.53% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) +FLEET instr-weighted : 12866809 / 13523856 = 95.1% (shipped .text across main + resident + 211 overlays; the decomp.dev-DISPLAY number) +FLEET distinct-code(uniq): 5255228 / 5851963 = 89.8% (80968/90928 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: 12859898 / 13444346 = 95.7%) + (fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 12866373 / 13444346 = 95.7%) -FLEET REAL substantive : 348530 (of which dedup-shared 249221 via 1949 groups / 249295 instances) +FLEET REAL substantive : 348578 (of which dedup-shared 249221 via 1949 groups / 249295 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) -FLEET INCLUDE_ASM stubs : 12661 +FLEET INCLUDE_ASM stubs : 12613 FLEET matchable : 363380 | binary | REAL | shared | LINKED | byte-ident | matchable | byte-ident % | @@ -90,7 +90,7 @@ FLEET matchable : 363380 | md_SC05_029 | 19 | 0 | 0 | 23 | 31 | 74.2% | | md_SC07_003 | 17 | 0 | 0 | 17 | 100 | 17.0% | | md_SC07_004 | 43 | 0 | 0 | 43 | 315 | 13.7% | -| ov_MAIN_012 | 2214 | 1658 | 0 | 2293 | 2403 | 95.4% | +| ov_MAIN_012 | 2221 | 1658 | 0 | 2300 | 2403 | 95.7% | | ov_SC01_000 | 2390 | 1775 | 0 | 2390 | 2403 | 99.5% | | ov_SC01_001 | 2398 | 1776 | 0 | 2400 | 2466 | 97.3% | | ov_SC01_004 | 2399 | 1767 | 0 | 2400 | 2414 | 99.4% | @@ -102,8 +102,8 @@ FLEET matchable : 363380 | ov_SC01_077 | 2568 | 1733 | 0 | 2570 | 2586 | 99.4% | | ov_SC01_080 | 2426 | 1771 | 0 | 2426 | 2512 | 96.6% | | ov_SC01_084 | 2450 | 1776 | 0 | 2455 | 2579 | 95.2% | -| ov_SC02_000 | 2532 | 1815 | 0 | 2532 | 2683 | 94.4% | -| ov_SC02_003 | 2531 | 1815 | 0 | 2531 | 2683 | 94.3% | +| ov_SC02_000 | 2533 | 1815 | 0 | 2533 | 2683 | 94.4% | +| ov_SC02_003 | 2532 | 1815 | 0 | 2532 | 2683 | 94.4% | | ov_SC02_004 | 2391 | 1771 | 0 | 2391 | 2401 | 99.6% | | ov_SC02_005 | 2541 | 1767 | 0 | 2551 | 2927 | 87.2% | | ov_SC02_011 | 2638 | 1774 | 0 | 2649 | 2893 | 91.6% | @@ -116,11 +116,11 @@ FLEET matchable : 363380 | ov_SC02_028 | 2572 | 1776 | 0 | 2582 | 2701 | 95.6% | | ov_SC02_031 | 2499 | 1772 | 0 | 2504 | 2562 | 97.7% | | ov_SC02_035 | 2495 | 1771 | 0 | 2498 | 2520 | 99.1% | -| ov_SC02_037 | 2325 | 1658 | 0 | 2407 | 2516 | 95.7% | +| ov_SC02_037 | 2334 | 1658 | 0 | 2416 | 2516 | 96.0% | | ov_SC02_039 | 2396 | 1771 | 0 | 2396 | 2416 | 99.2% | | ov_SC02_041 | 2487 | 1771 | 0 | 2490 | 2561 | 97.2% | -| ov_SC03_001 | 2679 | 1772 | 0 | 2696 | 2869 | 94.0% | -| ov_SC03_002 | 2546 | 1776 | 0 | 2561 | 2631 | 97.3% | +| ov_SC03_001 | 2680 | 1772 | 0 | 2697 | 2869 | 94.0% | +| ov_SC03_002 | 2547 | 1776 | 0 | 2562 | 2631 | 97.4% | | ov_SC03_003 | 2400 | 1771 | 0 | 2401 | 2423 | 99.1% | | ov_SC03_006 | 2562 | 1778 | 0 | 2571 | 2767 | 92.9% | | ov_SC03_007 | 2465 | 1771 | 0 | 2469 | 2623 | 94.1% | @@ -153,7 +153,7 @@ FLEET matchable : 363380 | ov_SC03_103 | 2497 | 1773 | 0 | 2500 | 2510 | 99.6% | | ov_SC03_104 | 2549 | 1776 | 0 | 2556 | 2616 | 97.7% | | ov_SC03_105 | 2451 | 1772 | 0 | 2458 | 2597 | 94.6% | -| ov_SC03_107 | 2261 | 1658 | 0 | 2344 | 2497 | 93.9% | +| ov_SC03_107 | 2268 | 1658 | 0 | 2351 | 2497 | 94.2% | | ov_SC03_108 | 2402 | 1771 | 0 | 2402 | 2443 | 98.3% | | ov_SC03_109 | 2409 | 1771 | 0 | 2411 | 2424 | 99.5% | | ov_SC03_110 | 2443 | 1778 | 0 | 2443 | 2468 | 99.0% | @@ -167,8 +167,8 @@ FLEET matchable : 363380 | ov_SC03_118 | 2562 | 1796 | 0 | 2563 | 2685 | 95.5% | | ov_SC03_119 | 2560 | 1796 | 0 | 2561 | 2685 | 95.4% | | ov_SC03_121 | 2404 | 1771 | 0 | 2407 | 2459 | 97.9% | -| ov_SC03_124 | 2589 | 1767 | 0 | 2609 | 2741 | 95.2% | -| ov_SC03_125 | 2531 | 1771 | 0 | 2543 | 2588 | 98.3% | +| ov_SC03_124 | 2592 | 1767 | 0 | 2612 | 2741 | 95.3% | +| ov_SC03_125 | 2532 | 1771 | 0 | 2544 | 2588 | 98.3% | | ov_SC03_126 | 2401 | 1773 | 0 | 2401 | 2423 | 99.1% | | ov_SC04_000 | 2476 | 1775 | 0 | 2485 | 2546 | 97.6% | | ov_SC04_002 | 2513 | 1771 | 0 | 2517 | 2636 | 95.5% | @@ -182,11 +182,11 @@ FLEET matchable : 363380 | ov_SC04_010 | 2404 | 1771 | 0 | 2405 | 2419 | 99.4% | | ov_SC04_011 | 2519 | 1776 | 0 | 2525 | 2803 | 90.1% | | ov_SC04_012 | 2401 | 1771 | 0 | 2402 | 2420 | 99.3% | -| ov_SC04_015 | 2539 | 1772 | 0 | 2550 | 2611 | 97.7% | +| ov_SC04_015 | 2540 | 1772 | 0 | 2551 | 2611 | 97.7% | | ov_SC04_016 | 2402 | 1771 | 0 | 2404 | 2440 | 98.5% | -| ov_SC04_018 | 2685 | 1808 | 0 | 2685 | 2857 | 94.0% | -| ov_SC04_019 | 2681 | 1808 | 0 | 2681 | 2857 | 93.8% | -| ov_SC04_020 | 2517 | 1771 | 0 | 2529 | 2567 | 98.5% | +| ov_SC04_018 | 2686 | 1808 | 0 | 2686 | 2857 | 94.0% | +| ov_SC04_019 | 2684 | 1808 | 0 | 2684 | 2857 | 93.9% | +| ov_SC04_020 | 2518 | 1771 | 0 | 2530 | 2567 | 98.6% | | ov_SC04_021 | 2401 | 1773 | 0 | 2401 | 2423 | 99.1% | | ov_SC05_000 | 2407 | 1775 | 0 | 2410 | 2422 | 99.5% | | ov_SC05_001 | 2482 | 1772 | 0 | 2487 | 2574 | 96.6% | @@ -200,8 +200,8 @@ FLEET matchable : 363380 | ov_SC05_009 | 2410 | 1771 | 0 | 2414 | 2438 | 99.0% | | ov_SC05_010 | 2452 | 1772 | 0 | 2456 | 2588 | 94.9% | | ov_SC05_011 | 2397 | 1771 | 0 | 2398 | 2409 | 99.5% | -| ov_SC05_017 | 2658 | 1768 | 0 | 2669 | 2842 | 93.9% | -| ov_SC05_018 | 2550 | 1771 | 0 | 2563 | 2673 | 95.9% | +| ov_SC05_017 | 2661 | 1768 | 0 | 2672 | 2842 | 94.0% | +| ov_SC05_018 | 2551 | 1771 | 0 | 2564 | 2673 | 95.9% | | ov_SC05_019 | 2401 | 1773 | 0 | 2401 | 2423 | 99.1% | | ov_SC06_000 | 2540 | 1780 | 0 | 2543 | 2691 | 94.5% | | ov_SC06_006 | 2424 | 1771 | 0 | 2425 | 2511 | 96.6% | @@ -212,16 +212,16 @@ FLEET matchable : 363380 | ov_SC06_014 | 2418 | 1771 | 0 | 2420 | 2453 | 98.7% | | ov_SC06_015 | 2412 | 1771 | 0 | 2412 | 2421 | 99.6% | | ov_SC06_016 | 2455 | 1772 | 0 | 2457 | 2549 | 96.4% | -| ov_SC06_018 | 2540 | 1773 | 0 | 2547 | 2665 | 95.6% | -| ov_SC06_020 | 2468 | 1773 | 0 | 2469 | 2518 | 98.1% | -| ov_SC06_022 | 2515 | 1771 | 0 | 2523 | 2642 | 95.5% | -| ov_SC06_024 | 2534 | 1771 | 0 | 2540 | 2667 | 95.2% | +| ov_SC06_018 | 2541 | 1773 | 0 | 2548 | 2665 | 95.6% | +| ov_SC06_020 | 2469 | 1773 | 0 | 2470 | 2518 | 98.1% | +| ov_SC06_022 | 2516 | 1771 | 0 | 2524 | 2642 | 95.5% | +| ov_SC06_024 | 2535 | 1771 | 0 | 2541 | 2667 | 95.3% | | ov_SC06_025 | 2453 | 1771 | 0 | 2458 | 2572 | 95.6% | | ov_SC06_027 | 2392 | 1771 | 0 | 2393 | 2408 | 99.4% | | ov_SC06_029 | 2479 | 1772 | 0 | 2491 | 2662 | 93.6% | | ov_SC06_030 | 2414 | 1772 | 0 | 2414 | 2456 | 98.3% | -| ov_SC06_032 | 2523 | 1772 | 0 | 2530 | 2658 | 95.2% | -| ov_SC06_033 | 2524 | 1772 | 0 | 2531 | 2631 | 96.2% | +| ov_SC06_032 | 2524 | 1772 | 0 | 2531 | 2658 | 95.2% | +| ov_SC06_033 | 2526 | 1772 | 0 | 2533 | 2631 | 96.3% | | ov_SC07_000 | 2436 | 1775 | 0 | 2438 | 2521 | 96.7% | | ov_SC07_001 | 2406 | 1771 | 0 | 2408 | 2454 | 98.1% | | ov_SC07_002 | 2465 | 1772 | 0 | 2469 | 2579 | 95.7% | diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index 57560bc90..f4fede6ec 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -200,8 +200,30 @@ stub on a named wall/behemoth/queue ledger** — 140/140 byte-identical througho > **Cousins are SEEDED CRACKS, never remaps** (skeleton drift ⇒ per-member compile); byte-gate > stays the sole arbiter. Discount seeds on <~40-ins fns (boilerplate inflates short ratios). > -> **Next in-session:** lane-A re-sweep first (575/592 recorded failure verdicts predate the last -> two S48 instrument repairs — the ledger is pre-repair), then wave 7 off the unit slate. +> **LANE-A RE-SWEEP ✅ (same session): 48 members banked · R22 213/213 from clean.** +> Non-jr: `family_sweep --hseq --band all` over 158 families → **30 banked** (R37 probe first: +> the PLUMBING-retry family went 0/4 → **4/4** on the repaired instruments — the pre-repair ledger +> was partly fiction — but the bulk shows most survivors are the REAL decl-agreement wall). +> jr lane: `jtbl_family_bank` serial over 22 families → **18 banked** (8018cc40 ×9, 80189030 ×3, +> 80180b04 ×3 — the CC1-probe family banking through the CARVE path where the plain sweep failed, +> §53 —, 80185440 ×1, 80183bac ×2). Fleet: **96.53% fn / 95.1% instr / 89.8% distinct · stubs +> 12,661 → 12,613 · dedup 1,949/0**. +> **The fresh post-repair failure ledger (the deliverable):** 458 verdicts — **~331 loose-typing +> decl-agreement** (conflicting-types 213 · arity 45 · undeclared 40 · undef-ref 23 · redef 13 · +> void-value 7) · **28 genuine DIFF** · 89 md typedef-gather (the known 0x801edc18 reach-57 +> blocker). Skipped by design: **264 STRUCT → cousin/wave fuel** · 122 unresolved-IMM (T2a gap). +> **Named tool findings:** (1) reconcile transform emits `syntax error before '*'` on the +> func_80189540 jr family (0/4 — tool, not codegen); (2) §154-A md probe fresh refusal: "jump +> tables only, not an island of mixed included data" — 20 md jr members ledgered; (3) +> `family_sweep` commit tag hardcodes `phase-26` (cosmetic, GATE_PHASE not read); (4) +> `jtbl_family_bank` does NOT self-commit — the serial driver must commit per family (v2 does; +> v1 stopped loudly on its own guard, nothing lost). +> **Candidate lever (sized, not built):** route sweep failures through the reconcile ladder / +> §165 asm-alias selectively — ~331 members are decl-agreement, the class with known levers. +> +> **Next in-session:** wave 7 off the cousin slate. Preconditions: regen chain (sigs → +> family_hseq → family_cousins --targets 40 — the tool fails loud on the stale map by design) +> + Drew's `/effort ultracode` toggle (R26/R27). T5 phase close stays a live option (milestone met). # 🛑 SESSION S48 CHECKPOINT — FINAL (2026-08-12) — FRESH SESSION SAFE HERE > **Tree CLEAN** but for R23 `db.*.gbf` churn — never stage. **Nothing running.** 197 commits.