mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-28 14:59:48 -04:00

Files

T

Drew T d804449be5 fix(distill): carry banked=False through to the distiller and the verifier

The distill prompt asserted 'the whole-binary byte-gate ACCEPTED the final draft, so the final body is
ground truth' for EVERY target. With --with-unbanked now feeding it drafts the gate REFUSED, that
sentence would have laundered an unproven body into a byte-proven cookbook entry (R14/G3). A target
with banked=False now gets an explicit PROVENANCE WARNING telling the distiller to extract the lever
anyway (cookbook 52: a model that FAILS still distils the idiom that cracks its siblings) but to mark
every claim UNPROVEN and never assert byte-equality; the verifier is told the same so its
entry_markdown carries the label. Exercised this session: the one surviving ADDENDUM came from an
unbanked draft and is filed UNPROVEN.

Also regenerates the scoreboard after the day's banks.

2026-08-29 19:03:28 -06:00

12 KiB

Raw Blame History

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

213 binaries: main + resident + 211 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: 361704 / 362983 = 99.65% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay) FLEET instr-weighted : 13374441 / 13523865 = 98.9% (shipped .text across main + resident + 211 overlays; the decomp.dev-DISPLAY number) FLEET distinct-code(uniq): 5711976 / 5851972 = 97.6% (89948/90929 unique fns; the DISTINCT-RE number) MAIN game-code weighted : 31834 / 79510 = 40.0% (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: 13342607 / 13444355 = 99.2%)

FLEET REAL substantive : 359532 (of which dedup-shared 254655 via 2165 groups / 254731 instances) FLEET LINKED PsyQ objs : 959 FLEET NON_MATCHING : 3 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 1276 FLEET matchable : 362983

binary	REAL	shared	LINKED	byte-ident	matchable	byte-ident %
main	789	2	959	1791	1929	92.8%
resident	137	0	0	139	145	95.9%
md_MAIN_001	10	0	0	10	11	90.9%
md_MAIN_003	35	0	0	35	53	66.0%
md_MAIN_008	6	0	0	6	6	100.0%
md_MAIN_011	17	0	0	18	21	85.7%
md_MAIN_013	12	0	0	12	16	75.0%
md_MAIN_014	12	0	0	13	13	100.0%
md_MAIN_015	19	0	0	19	20	95.0%
md_MAIN_016	9	0	0	10	13	76.9%
md_MAIN_017	10	0	0	10	10	100.0%
md_MAIN_018	10	0	0	11	11	100.0%
md_MAIN_019	22	0	0	22	22	100.0%
md_MAIN_020	10	0	0	11	13	84.6%
md_MAIN_021	10	0	0	11	11	100.0%
md_MAIN_022	31	0	0	33	33	100.0%
md_MAIN_023	4	0	0	5	6	83.3%
md_MAIN_024	4	0	0	6	6	100.0%
md_MAIN_025	29	0	0	29	30	96.7%
md_MAIN_026	23	0	0	23	24	95.8%
md_MAIN_027	26	0	0	28	29	96.6%
md_MAIN_028	20	0	0	20	22	90.9%
md_MAIN_029	8	0	0	9	11	81.8%
md_MAIN_030	10	0	0	10	10	100.0%
md_MAIN_031	16	0	0	16	18	88.9%
md_MAIN_032	9	0	0	9	10	90.0%
md_MAIN_033	16	0	0	16	19	84.2%
md_MAIN_034	25	0	0	26	28	92.9%
md_MAIN_035	15	0	0	16	16	100.0%
md_MAIN_036	26	0	0	27	28	96.4%
md_MAIN_037	15	0	0	15	17	88.2%
md_MAIN_038	18	0	0	18	20	90.0%
md_MAIN_039	25	0	0	25	26	96.2%
md_MAIN_040	17	0	0	17	19	89.5%
md_MAIN_041	12	0	0	12	15	80.0%
md_MAIN_042	4	0	0	4	4	100.0%
md_MAIN_043	21	0	0	22	23	95.7%
md_MAIN_044	38	0	0	39	44	88.6%
md_MAIN_045	18	0	0	19	21	90.5%
md_MAIN_046	36	0	0	37	39	94.9%
md_MAIN_047	9	0	0	10	12	83.3%
md_SC02_009	40	0	0	40	40	100.0%
md_SC03_073	27	10	0	27	28	96.4%
md_SC03_074	29	10	0	29	29	100.0%
md_SC03_075	40	10	0	40	41	97.6%
md_SC03_076	64	0	0	66	66	100.0%
md_SC03_077	33	0	0	35	35	100.0%
md_SC03_078	27	9	0	27	27	100.0%
md_SC03_079	27	0	0	29	29	100.0%
md_SC03_132	25	0	0	27	28	96.4%
md_SC03_133	26	1	0	28	29	96.6%
md_SC03_134	39	1	0	41	41	100.0%
md_SC03_135	63	0	0	65	66	98.5%
md_SC03_136	33	0	0	35	35	100.0%
md_SC03_137	24	1	0	26	27	96.3%
md_SC03_138	33	1	0	37	37	100.0%
md_SC04_024	26	0	0	28	28	100.0%
md_SC04_025	26	0	0	28	29	96.6%
md_SC04_026	38	0	0	40	41	97.6%
md_SC04_027	63	0	0	65	66	98.5%
md_SC04_028	33	0	0	35	35	100.0%
md_SC04_029	24	0	0	26	27	96.3%
md_SC04_030	27	0	0	31	31	100.0%
md_SC05_023	24	0	0	26	28	92.9%
md_SC05_024	25	0	0	27	29	93.1%
md_SC05_025	37	0	0	39	41	95.1%
md_SC05_026	63	0	0	65	66	98.5%
md_SC05_027	33	0	0	35	35	100.0%
md_SC05_028	24	0	0	26	27	96.3%
md_SC05_029	27	0	0	31	31	100.0%
md_SC07_003	91	0	0	91	100	91.0%
md_SC07_004	295	0	0	295	316	93.4%
ov_MAIN_012	2318	1689	0	2397	2402	99.8%
ov_SC01_000	2397	1809	0	2397	2403	99.8%
ov_SC01_001	2453	1811	0	2455	2465	99.6%
ov_SC01_004	2412	1802	0	2413	2414	100.0%
ov_SC01_005	2498	1833	0	2498	2503	99.8%
ov_SC01_006	2498	1833	0	2498	2503	99.8%
ov_SC01_008	2423	1803	0	2425	2426	100.0%
ov_SC01_009	2497	1803	0	2498	2507	99.6%
ov_SC01_074	2422	1803	0	2424	2426	99.9%
ov_SC01_077	2578	1764	0	2580	2586	99.8%
ov_SC01_080	2492	1806	0	2492	2512	99.2%
ov_SC01_084	2556	1811	0	2561	2579	99.3%
ov_SC02_000	2675	1889	0	2675	2683	99.7%
ov_SC02_003	2672	1889	0	2672	2683	99.6%
ov_SC02_004	2398	1806	0	2398	2401	99.9%
ov_SC02_005	2869	1802	0	2879	2926	98.4%
ov_SC02_011	2870	1810	0	2880	2893	99.6%
ov_SC02_015	2413	1808	0	2413	2414	100.0%
ov_SC02_016	2539	1810	0	2542	2545	99.9%
ov_SC02_017	2712	1810	0	2720	2732	99.6%
ov_SC02_021	2432	1808	0	2432	2437	99.8%
ov_SC02_026	2562	1807	0	2568	2572	99.8%
ov_SC02_027	2676	1828	0	2685	2692	99.7%
ov_SC02_028	2689	1827	0	2699	2701	99.9%
ov_SC02_031	2551	1809	0	2556	2562	99.8%
ov_SC02_035	2512	1806	0	2515	2520	99.8%
ov_SC02_037	2429	1704	0	2511	2516	99.8%
ov_SC02_039	2414	1807	0	2414	2416	99.9%
ov_SC02_041	2557	1806	0	2560	2561	100.0%
ov_SC03_001	2840	1807	0	2857	2869	99.6%
ov_SC03_002	2614	1815	0	2629	2631	99.9%
ov_SC03_003	2422	1806	0	2423	2423	100.0%
ov_SC03_006	2754	1814	0	2763	2767	99.9%
ov_SC03_007	2613	1806	0	2617	2623	99.8%
ov_SC03_010	2466	1807	0	2466	2471	99.8%
ov_SC03_011	2516	1807	0	2522	2527	99.8%
ov_SC03_012	2404	1806	0	2405	2406	100.0%
ov_SC03_013	2487	1807	0	2487	2493	99.8%
ov_SC03_014	2682	1855	0	2682	2685	99.9%
ov_SC03_015	2464	1855	0	2464	2468	99.8%
ov_SC03_023	2433	1806	0	2434	2435	100.0%
ov_SC03_024	2614	1813	0	2621	2641	99.2%
ov_SC03_028	2648	1807	0	2652	2664	99.5%
ov_SC03_029	2624	1810	0	2634	2644	99.6%
ov_SC03_030	2488	1811	0	2490	2495	99.8%
ov_SC03_031	2509	1808	0	2512	2514	99.9%
ov_SC03_089	2570	1811	0	2577	2581	99.8%
ov_SC03_090	2611	1811	0	2619	2625	99.8%
ov_SC03_091	2626	1828	0	2634	2640	99.8%
ov_SC03_092	2570	1811	0	2582	2588	99.8%
ov_SC03_093	2555	1828	0	2559	2563	99.8%
ov_SC03_094	2568	1806	0	2574	2577	99.9%
ov_SC03_095	2468	1806	0	2471	2474	99.9%
ov_SC03_096	2455	1806	0	2458	2465	99.7%
ov_SC03_097	2588	1827	0	2595	2603	99.7%
ov_SC03_098	2536	1828	0	2539	2541	99.9%
ov_SC03_099	2500	1806	0	2503	2504	100.0%
ov_SC03_100	2534	1828	0	2538	2539	100.0%
ov_SC03_101	2517	1811	0	2521	2528	99.7%
ov_SC03_102	2485	1806	0	2488	2492	99.8%
ov_SC03_103	2505	1808	0	2508	2510	99.9%
ov_SC03_104	2601	1811	0	2608	2616	99.7%
ov_SC03_105	2561	1807	0	2568	2596	98.9%
ov_SC03_107	2405	1689	0	2488	2496	99.7%
ov_SC03_108	2431	1807	0	2431	2443	99.5%
ov_SC03_109	2416	1807	0	2418	2424	99.8%
ov_SC03_110	2461	1830	0	2461	2468	99.7%
ov_SC03_111	2502	1806	0	2505	2510	99.8%
ov_SC03_112	2509	1808	0	2511	2526	99.4%
ov_SC03_113	2461	1808	0	2464	2468	99.8%
ov_SC03_114	2410	1806	0	2412	2415	99.9%
ov_SC03_115	2466	1806	0	2468	2472	99.8%
ov_SC03_116	2432	1806	0	2435	2438	99.9%
ov_SC03_117	2545	1806	0	2551	2557	99.8%
ov_SC03_118	2668	1845	0	2669	2684	99.4%
ov_SC03_119	2669	1845	0	2670	2685	99.4%
ov_SC03_121	2452	1807	0	2454	2459	99.8%
ov_SC03_124	2703	1802	0	2723	2741	99.3%
ov_SC03_125	2570	1815	0	2582	2588	99.8%
ov_SC03_126	2419	1810	0	2419	2423	99.8%
ov_SC04_000	2533	1811	0	2542	2546	99.8%
ov_SC04_002	2625	1806	0	2629	2636	99.7%
ov_SC04_003	2494	1813	0	2497	2502	99.8%
ov_SC04_004	2550	1807	0	2552	2558	99.8%
ov_SC04_005	2596	1806	0	2602	2612	99.6%
ov_SC04_006	2449	1812	0	2451	2454	99.9%
ov_SC04_007	2559	1807	0	2563	2569	99.8%
ov_SC04_008	2410	1806	0	2410	2415	99.8%
ov_SC04_009	2437	1806	0	2440	2441	100.0%
ov_SC04_010	2416	1806	0	2417	2419	99.9%
ov_SC04_011	2780	1811	0	2786	2804	99.4%
ov_SC04_012	2414	1806	0	2415	2420	99.8%
ov_SC04_015	2594	1807	0	2605	2611	99.8%
ov_SC04_016	2432	1806	0	2434	2440	99.8%
ov_SC04_018	2839	1892	0	2839	2857	99.4%
ov_SC04_019	2840	1892	0	2840	2857	99.4%
ov_SC04_020	2546	1815	0	2558	2567	99.6%
ov_SC04_021	2419	1810	0	2419	2423	99.8%
ov_SC05_000	2417	1810	0	2420	2422	99.9%
ov_SC05_001	2560	1808	0	2565	2574	99.7%
ov_SC05_002	2437	1806	0	2440	2442	99.9%
ov_SC05_003	2472	1806	0	2473	2481	99.7%
ov_SC05_004	2452	1806	0	2454	2464	99.6%
ov_SC05_005	2483	1812	0	2484	2491	99.7%
ov_SC05_006	2429	1808	0	2429	2430	100.0%
ov_SC05_007	2474	1806	0	2479	2482	99.9%
ov_SC05_008	2526	1806	0	2528	2543	99.4%
ov_SC05_009	2432	1806	0	2436	2438	99.9%
ov_SC05_010	2567	1807	0	2571	2588	99.3%
ov_SC05_011	2404	1806	0	2405	2409	99.8%
ov_SC05_017	2822	1806	0	2833	2842	99.7%
ov_SC05_018	2650	1814	0	2663	2673	99.6%
ov_SC05_019	2419	1810	0	2419	2423	99.8%
ov_SC06_000	2681	1817	0	2684	2691	99.7%
ov_SC06_006	2507	1807	0	2508	2511	99.9%
ov_SC06_008	2534	1808	0	2540	2542	99.9%
ov_SC06_010	2508	1806	0	2513	2516	99.9%
ov_SC06_011	2459	1806	0	2463	2468	99.8%
ov_SC06_013	2423	1806	0	2424	2425	100.0%
ov_SC06_014	2447	1806	0	2449	2453	99.8%
ov_SC06_015	2419	1806	0	2419	2421	99.9%
ov_SC06_016	2541	1807	0	2543	2549	99.8%
ov_SC06_018	2644	1807	0	2651	2665	99.5%
ov_SC06_020	2506	1808	0	2507	2518	99.6%
ov_SC06_022	2612	1806	0	2620	2642	99.2%
ov_SC06_024	2648	1806	0	2654	2667	99.5%
ov_SC06_025	2555	1806	0	2560	2572	99.5%
ov_SC06_027	2406	1806	0	2407	2408	100.0%
ov_SC06_029	2628	1807	0	2640	2662	99.2%
ov_SC06_030	2450	1807	0	2450	2456	99.8%
ov_SC06_032	2633	1807	0	2640	2657	99.4%
ov_SC06_033	2613	1807	0	2620	2631	99.6%
ov_SC07_000	2509	1811	0	2511	2521	99.6%
ov_SC07_001	2447	1807	0	2449	2454	99.8%
ov_SC07_002	2563	1807	0	2567	2578	99.6%
ov_SC07_006	2371	1625	0	2451	2457	99.8%
ov_SC07_007	2516	1660	0	2600	2612	99.5%
ov_SC07_008	2386	1806	0	2386	2386	100.0%
ov_SC07_009	2424	1806	0	2426	2430	99.8%
ov_SC07_010	2429	1682	0	2511	2523	99.5%
ov_SC07_011	2366	1659	0	2446	2448	99.9%

12 KiB Raw Blame History Unescape Escape