mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-27 22:45:39 -04:00

Files

T

Drew T 2ce6c5fade feat(phase-29): SESSION-21 — 3 family exemplars banked + the §85 return-axis widen (R22 140/140)

BANKED (whole-binary byte-gate, the sole arbiter): func_8014D2A0 (80 ins ×138) · func_80158638
(87 ×138) · func_8016B6BC (94 ×138). Stubs in ov_SC01_077: 150 -> 147, 0 new stubs.
R22 CLEAN-FLEET: extract-all 139/139, check-all 140 passed / 0 failed. dedup 1886/0,
0 NON_MATCHING (G4). Fleet 81.7% instr / 69.3% distinct-code / 89.52% fn-count.

- WAVE STOPPED at Drew's request with 15/24 agents returned, ALL 15 status=match. Only the
  completed drafts were gated; in-flight ones are still being written (§90d).
- PRE-GATE, both oracles, all 15: match_one MATCH + reloc_verify ALL RESOLVED. Routed 7 plain /
  8 to the §81 jtbl carve chain.
- THE BLOCKER, MEASURED: 7 of 7 plain drafts failed PLUMBING, 0 DIFF, 0 compiler walls — the same
  shape as SESSION-20's T0.2. §58b applies: the draft sig is byte-TRUTH (it MATCHed), the header
  decl is the stale stub-era guess, so conform the DECLS.
- §85 RETURN-AXIS WIDEN, all-or-nothing: 3,471 decl sites / 1,736 files, precondition verified
  (ZERO callers consume the return => byte-neutral by construction) + an R32 completion assertion
  (old-form decls remaining: 0). func_8014D820's s32 return is load-bearing — forcing `void` costs
  2 instructions (302 vs 304), so the decls had to move, not the draft.

TWO HONESTY ITEMS:
 1. I REPORTED "0 of 7 banked"; the true number was already 2. My diagnostic pass printed only
    lines starting with "- func_" (the failures) and hid its own successes while I read it for
    error text. A script that prints only failures cannot tell you it succeeded — the R32
    silent-skip shape aimed at my own instrumentation. Ground truth is the stub count (§55b(3)).
 2. A REAL FINDING fell out of that mistake: same drafts, same tree, minutes apart — gate_stage's
    full ladder banked 0/7 while bare harvest_verify banked 2/7. The LADDER REGRESSED two drafts
    the bare gate accepts (§19's "sig_unify regresses already-canonical drafts", one level up, and
    the exact mirror of SESSION-20's missing-ladder false 33%). Neither "always ladder" nor "never
    ladder" is right — run both, let the byte-gate arbitrate. One build per draft.

OPEN: func_8014D820 still a stub — after the widen its error moved from `conflicting types` to an
assembler-stage failure, not finished diagnosing. Recorded as open, NOT as a wall.

2026-07-27 09:58:17 -06:00

9.1 KiB

Raw Blame History

BFM FLEET matching progress (generated by tools/progress.py --fleet — authoritative)

140 binaries: main + resident + 138 location overlays. DETERMINISTIC,

source-derived (committed src/*.c + config/dedup.us.yaml). Live byte gate: `make check-all`;

cross-binary collapsible-byte leverage: docs/duplicates.cross.md.

THREE progress metrics (all matter — see the labels):

FLEET fn-count byte-ident: 316662 / 353720 = 89.52% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 10736549 / 13141652 = 81.7% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 3902527 / 5634875 = 69.3% (65202/87459 unique fns; the DISTINCT-RE number) MAIN game-code weighted : 436 / 60201 = 0.7% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated 2026-06-14; 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: 10736113 / 13081451 = 82.1%)

FLEET REAL substantive : 314807 (of which dedup-shared 239530 via 1886 groups / 239604 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 37051 FLEET matchable : 353720

binary	REAL	shared	LINKED	byte-ident	matchable	byte-ident %
main	54	2	959	1055	2096	50.3%
resident	129	0	0	131	145	90.3%
ov_SC01_000	2255	1742	0	2255	2403	93.8%
ov_SC01_001	2260	1743	0	2262	2466	91.7%
ov_SC01_004	2250	1734	0	2251	2414	93.2%
ov_SC01_005	2280	1757	0	2280	2503	91.1%
ov_SC01_006	2280	1757	0	2280	2503	91.1%
ov_SC01_008	2250	1734	0	2252	2426	92.8%
ov_SC01_009	2276	1735	0	2277	2507	90.8%
ov_SC01_074	2254	1735	0	2256	2425	93.0%
ov_SC01_077	2436	1702	0	2438	2585	94.3%
ov_SC01_080	2292	1738	0	2292	2512	91.2%
ov_SC01_084	2299	1738	0	2304	2579	89.3%
ov_SC02_000	2352	1773	0	2352	2683	87.7%
ov_SC02_003	2352	1773	0	2352	2683	87.7%
ov_SC02_004	2258	1738	0	2258	2401	94.0%
ov_SC02_005	2366	1734	0	2376	2927	81.2%
ov_SC02_011	2379	1741	0	2390	2893	82.6%
ov_SC02_015	2260	1740	0	2260	2414	93.6%
ov_SC02_016	2294	1740	0	2297	2545	90.3%
ov_SC02_017	2337	1740	0	2345	2732	85.8%
ov_SC02_021	2266	1740	0	2266	2437	93.0%
ov_SC02_026	2281	1738	0	2287	2572	88.9%
ov_SC02_027	2304	1738	0	2313	2692	85.9%
ov_SC02_028	2306	1738	0	2316	2701	85.7%
ov_SC02_031	2292	1739	0	2297	2562	89.7%
ov_SC02_035	2267	1738	0	2270	2520	90.1%
ov_SC02_039	2251	1738	0	2251	2416	93.2%
ov_SC02_041	2289	1738	0	2292	2561	89.5%
ov_SC03_001	2386	1739	0	2403	2869	83.8%
ov_SC03_002	2312	1743	0	2327	2631	88.4%
ov_SC03_003	2261	1738	0	2262	2423	93.4%
ov_SC03_006	2328	1744	0	2337	2767	84.5%
ov_SC03_007	2306	1738	0	2310	2623	88.1%
ov_SC03_010	2269	1738	0	2269	2471	91.8%
ov_SC03_011	2275	1738	0	2281	2527	90.3%
ov_SC03_012	2253	1738	0	2254	2406	93.7%
ov_SC03_013	2274	1738	0	2274	2493	91.2%
ov_SC03_014	2332	1763	0	2332	2685	86.9%
ov_SC03_015	2332	1763	0	2332	2685	86.9%
ov_SC03_023	2260	1738	0	2261	2435	92.9%
ov_SC03_024	2320	1743	0	2327	2641	88.1%
ov_SC03_028	2300	1738	0	2304	2664	86.5%
ov_SC03_029	2302	1740	0	2312	2644	87.4%
ov_SC03_030	2275	1743	0	2277	2495	91.3%
ov_SC03_031	2271	1738	0	2274	2514	90.5%
ov_SC03_089	2288	1738	0	2295	2581	88.9%
ov_SC03_090	2289	1738	0	2297	2625	87.5%
ov_SC03_091	2292	1738	0	2300	2640	87.1%
ov_SC03_092	2302	1738	0	2314	2587	89.4%
ov_SC03_093	2278	1738	0	2282	2563	89.0%
ov_SC03_094	2273	1738	0	2279	2577	88.4%
ov_SC03_095	2263	1738	0	2266	2474	91.6%
ov_SC03_096	2263	1738	0	2266	2465	91.9%
ov_SC03_097	2293	1738	0	2300	2603	88.4%
ov_SC03_098	2271	1738	0	2274	2541	89.5%
ov_SC03_099	2264	1738	0	2267	2504	90.5%
ov_SC03_100	2274	1738	0	2278	2539	89.7%
ov_SC03_101	2274	1738	0	2278	2528	90.1%
ov_SC03_102	2267	1738	0	2270	2492	91.1%
ov_SC03_103	2270	1740	0	2273	2510	90.6%
ov_SC03_104	2296	1738	0	2303	2616	88.0%
ov_SC03_105	2287	1738	0	2294	2597	88.3%
ov_SC03_108	2255	1738	0	2255	2443	92.3%
ov_SC03_109	2258	1738	0	2260	2424	93.2%
ov_SC03_110	2262	1738	0	2262	2468	91.7%
ov_SC03_111	2273	1738	0	2276	2510	90.7%
ov_SC03_112	2269	1740	0	2271	2526	89.9%
ov_SC03_113	2262	1740	0	2265	2468	91.8%
ov_SC03_114	2251	1738	0	2253	2415	93.3%
ov_SC03_115	2268	1738	0	2270	2472	91.8%
ov_SC03_116	2259	1738	0	2262	2438	92.8%
ov_SC03_117	2286	1738	0	2292	2557	89.6%
ov_SC03_118	2332	1762	0	2333	2685	86.9%
ov_SC03_119	2331	1762	0	2332	2685	86.9%
ov_SC03_121	2266	1738	0	2269	2459	92.3%
ov_SC03_124	2344	1734	0	2364	2741	86.2%
ov_SC03_125	2300	1738	0	2312	2588	89.3%
ov_SC03_126	2263	1740	0	2263	2423	93.4%
ov_SC04_000	2279	1742	0	2288	2546	89.9%
ov_SC04_002	2298	1738	0	2302	2636	87.3%
ov_SC04_003	2274	1738	0	2278	2502	91.0%
ov_SC04_004	2283	1738	0	2285	2558	89.3%
ov_SC04_005	2293	1738	0	2299	2612	88.0%
ov_SC04_006	2263	1738	0	2265	2454	92.3%
ov_SC04_007	2287	1738	0	2291	2569	89.2%
ov_SC04_008	2255	1738	0	2255	2415	93.4%
ov_SC04_009	2270	1738	0	2273	2441	93.1%
ov_SC04_010	2260	1738	0	2261	2419	93.5%
ov_SC04_011	2318	1738	0	2324	2803	82.9%
ov_SC04_012	2257	1738	0	2258	2420	93.3%
ov_SC04_015	2322	1739	0	2333	2611	89.4%
ov_SC04_016	2260	1738	0	2262	2440	92.7%
ov_SC04_018	2370	1773	0	2370	2857	83.0%
ov_SC04_019	2376	1773	0	2376	2857	83.2%
ov_SC04_020	2287	1738	0	2299	2567	89.6%
ov_SC04_021	2264	1740	0	2264	2423	93.4%
ov_SC05_000	2261	1742	0	2264	2422	93.5%
ov_SC05_001	2283	1738	0	2288	2574	88.9%
ov_SC05_002	2266	1738	0	2269	2442	92.9%
ov_SC05_003	2263	1738	0	2264	2481	91.3%
ov_SC05_004	2259	1738	0	2261	2464	91.8%
ov_SC05_005	2264	1738	0	2265	2491	90.9%
ov_SC05_006	2257	1738	0	2257	2430	92.9%
ov_SC05_007	2267	1738	0	2272	2482	91.5%
ov_SC05_008	2284	1738	0	2286	2543	89.9%
ov_SC05_009	2263	1738	0	2267	2438	93.0%
ov_SC05_010	2290	1738	0	2294	2588	88.6%
ov_SC05_011	2259	1738	0	2260	2409	93.8%
ov_SC05_017	2366	1735	0	2377	2842	83.6%
ov_SC05_018	2313	1738	0	2326	2673	87.0%
ov_SC05_019	2264	1740	0	2264	2423	93.4%
ov_SC06_000	2328	1747	0	2331	2691	86.6%
ov_SC06_006	2280	1738	0	2281	2511	90.8%
ov_SC06_008	2300	1740	0	2306	2542	90.7%
ov_SC06_010	2280	1738	0	2285	2517	90.8%
ov_SC06_011	2268	1738	0	2272	2468	92.1%
ov_SC06_013	2262	1738	0	2263	2425	93.3%
ov_SC06_014	2268	1738	0	2270	2453	92.5%
ov_SC06_015	2265	1738	0	2265	2421	93.6%
ov_SC06_016	2283	1738	0	2285	2549	89.6%
ov_SC06_018	2294	1740	0	2301	2665	86.3%
ov_SC06_020	2272	1740	0	2273	2518	90.3%
ov_SC06_022	2291	1738	0	2299	2642	87.0%
ov_SC06_024	2301	1738	0	2307	2667	86.5%
ov_SC06_025	2285	1738	0	2290	2572	89.0%
ov_SC06_027	2250	1738	0	2251	2408	93.5%
ov_SC06_029	2311	1738	0	2323	2662	87.3%
ov_SC06_030	2264	1738	0	2264	2456	92.2%
ov_SC06_032	2286	1739	0	2293	2658	86.3%
ov_SC06_033	2288	1739	0	2295	2631	87.2%
ov_SC07_000	2279	1742	0	2281	2521	90.5%
ov_SC07_001	2263	1738	0	2265	2454	92.3%
ov_SC07_002	2291	1738	0	2295	2579	89.0%
ov_SC07_006	2064	1555	0	2144	2456	87.3%
ov_SC07_007	2058	1586	0	2142	2613	82.0%
ov_SC07_008	2248	1738	0	2248	2386	94.2%
ov_SC07_009	2257	1738	0	2259	2430	93.0%
ov_SC07_010	2090	1608	0	2173	2524	86.1%
ov_SC07_011	2058	1585	0	2138	2449	87.3%

9.1 KiB Raw Blame History Unescape Escape