mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-28 06:49:47 -04:00

Files

T

Drew T 3e99d2836d feat(phase-19): T3 batch-2 wave — 25 matched, 8 propagated ×134, fleet 57.62%->57.93%

- Ultracode wave (38 targets, clean hints after the gen_harvest_targets fix): 35/38 match_one
  MATCH (92%, up from 88%); 2 of 3 garble-retries now match; 3 DIFF = genuine (delay-slot
  schedule, call-crossing hoist-vs-remat, narrow-param STOP)
- gen_harvest_targets.py: fixed INLINE_DEF_RE (was matching indented `if(func_X(...)){`
  call-exprs as defs -> garbled callee hints agents pasted as externs); 0 garbled of 749
- whole-binary gate: 25 banked. ALL 18 stage failures were the shared-caller ARITY class ->
  NEW tools/fix_arity_callers.py automates the no-proto caller-extern recovery (+8); 10 remain
  = genuine loose-typing conflicts (caller sig != def sig), Phase-16 documented wall
- pipeline finding folded in: gate canon-only FIRST, sig_unify FALLBACK (.run/t3_gate2.sh)
- propagated 8 ×134 (17 stayed ov_SC01_077-local: inline named structs need engine_types lifting)
- check-all 136/136 BYTE-IDENTICAL (R22); dedup 1475->1483 validated/0 failed; 0 NON_MATCHING (G4)
- fleet byte-identical 57.62% -> 57.93% (+0.31%)

2026-06-20 19:51:50 -06:00

8.2 KiB

Raw Blame History

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

136 binaries: main + resident + 134 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.

FLEET REAL substantive : 197628 (of which dedup-shared 197124 via 1483 groups / 197168 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 199275 / 344010 = 57.93% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 144728 FLEET matchable : 344010

binary	REAL	shared	LINKED	byte-ident	matchable	byte-ident %
main	54	2	959	1055	2096	50.3%
resident	123	0	0	125	146	85.6%
ov_SC01_000	1475	1475	0	1475	2403	61.4%
ov_SC01_001	1475	1475	0	1477	2467	59.9%
ov_SC01_004	1467	1467	0	1468	2416	60.8%
ov_SC01_005	1474	1474	0	1481	2504	59.1%
ov_SC01_006	1474	1474	0	1481	2504	59.1%
ov_SC01_008	1467	1467	0	1469	2428	60.5%
ov_SC01_009	1467	1467	0	1468	2510	58.5%
ov_SC01_074	1467	1467	0	1469	2427	60.5%
ov_SC01_077	1764	1435	0	1766	2586	68.3%
ov_SC01_080	1471	1471	0	1471	2515	58.5%
ov_SC01_084	1471	1471	0	1476	2581	57.2%
ov_SC02_000	1475	1475	0	1482	2684	55.2%
ov_SC02_003	1475	1475	0	1482	2684	55.2%
ov_SC02_004	1471	1471	0	1471	2403	61.2%
ov_SC02_005	1467	1467	0	1477	2930	50.4%
ov_SC02_011	1473	1473	0	1485	2896	51.3%
ov_SC02_015	1473	1473	0	1473	2416	61.0%
ov_SC02_016	1473	1473	0	1476	2548	57.9%
ov_SC02_017	1473	1473	0	1481	2735	54.1%
ov_SC02_021	1473	1473	0	1473	2439	60.4%
ov_SC02_026	1471	1471	0	1477	2575	57.4%
ov_SC02_027	1471	1471	0	1480	2695	54.9%
ov_SC02_028	1471	1471	0	1481	2704	54.8%
ov_SC02_031	1471	1471	0	1477	2565	57.6%
ov_SC02_035	1471	1471	0	1474	2523	58.4%
ov_SC02_039	1471	1471	0	1471	2418	60.8%
ov_SC02_041	1471	1471	0	1474	2563	57.5%
ov_SC03_001	1471	1471	0	1489	2870	51.9%
ov_SC03_002	1475	1475	0	1491	2632	56.6%
ov_SC03_003	1471	1471	0	1472	2425	60.7%
ov_SC03_006	1477	1477	0	1486	2768	53.7%
ov_SC03_007	1471	1471	0	1475	2626	56.2%
ov_SC03_010	1471	1471	0	1471	2472	59.5%
ov_SC03_011	1471	1471	0	1477	2530	58.4%
ov_SC03_012	1471	1471	0	1472	2408	61.1%
ov_SC03_013	1471	1471	0	1471	2495	59.0%
ov_SC03_014	1471	1471	0	1481	2688	55.1%
ov_SC03_015	1471	1471	0	1481	2688	55.1%
ov_SC03_023	1471	1471	0	1472	2437	60.4%
ov_SC03_024	1471	1471	0	1483	2644	56.1%
ov_SC03_028	1471	1471	0	1475	2667	55.3%
ov_SC03_029	1473	1473	0	1483	2647	56.0%
ov_SC03_030	1475	1475	0	1477	2498	59.1%
ov_SC03_031	1471	1471	0	1475	2517	58.6%
ov_SC03_089	1471	1471	0	1478	2584	57.2%
ov_SC03_090	1471	1471	0	1479	2628	56.3%
ov_SC03_091	1471	1471	0	1479	2643	56.0%
ov_SC03_092	1471	1471	0	1483	2590	57.3%
ov_SC03_093	1471	1471	0	1475	2566	57.5%
ov_SC03_094	1471	1471	0	1477	2579	57.3%
ov_SC03_095	1471	1471	0	1474	2477	59.5%
ov_SC03_096	1471	1471	0	1474	2468	59.7%
ov_SC03_097	1471	1471	0	1478	2606	56.7%
ov_SC03_098	1471	1471	0	1474	2544	57.9%
ov_SC03_099	1471	1471	0	1474	2507	58.8%
ov_SC03_100	1471	1471	0	1475	2542	58.0%
ov_SC03_101	1471	1471	0	1475	2531	58.3%
ov_SC03_102	1471	1471	0	1474	2495	59.1%
ov_SC03_103	1473	1473	0	1476	2513	58.7%
ov_SC03_104	1471	1471	0	1478	2619	56.4%
ov_SC03_105	1471	1471	0	1478	2600	56.8%
ov_SC03_108	1471	1471	0	1471	2446	60.1%
ov_SC03_109	1471	1471	0	1473	2426	60.7%
ov_SC03_110	1471	1471	0	1471	2471	59.5%
ov_SC03_111	1471	1471	0	1474	2513	58.7%
ov_SC03_112	1473	1473	0	1475	2529	58.3%
ov_SC03_113	1473	1473	0	1476	2471	59.7%
ov_SC03_114	1471	1471	0	1473	2417	60.9%
ov_SC03_115	1471	1471	0	1473	2475	59.5%
ov_SC03_116	1471	1471	0	1474	2441	60.4%
ov_SC03_117	1471	1471	0	1477	2560	57.7%
ov_SC03_118	1471	1471	0	1484	2688	55.2%
ov_SC03_119	1471	1471	0	1484	2688	55.2%
ov_SC03_121	1471	1471	0	1474	2462	59.9%
ov_SC03_124	1467	1467	0	1487	2744	54.2%
ov_SC03_125	1471	1471	0	1483	2591	57.2%
ov_SC03_126	1471	1471	0	1472	2425	60.7%
ov_SC04_000	1475	1475	0	1484	2547	58.3%
ov_SC04_002	1471	1471	0	1475	2639	55.9%
ov_SC04_003	1471	1471	0	1475	2505	58.9%
ov_SC04_004	1471	1471	0	1473	2561	57.5%
ov_SC04_005	1471	1471	0	1477	2615	56.5%
ov_SC04_006	1471	1471	0	1473	2456	60.0%
ov_SC04_007	1471	1471	0	1475	2572	57.3%
ov_SC04_008	1471	1471	0	1471	2417	60.9%
ov_SC04_009	1471	1471	0	1474	2443	60.3%
ov_SC04_010	1471	1471	0	1472	2421	60.8%
ov_SC04_011	1471	1471	0	1477	2806	52.6%
ov_SC04_012	1471	1471	0	1472	2422	60.8%
ov_SC04_015	1471	1471	0	1483	2614	56.7%
ov_SC04_016	1471	1471	0	1473	2442	60.3%
ov_SC04_018	1471	1471	0	1484	2858	51.9%
ov_SC04_019	1471	1471	0	1484	2858	51.9%
ov_SC04_020	1471	1471	0	1483	2570	57.7%
ov_SC04_021	1471	1471	0	1472	2425	60.7%
ov_SC05_000	1475	1475	0	1478	2422	61.0%
ov_SC05_001	1471	1471	0	1476	2577	57.3%
ov_SC05_002	1471	1471	0	1474	2445	60.3%
ov_SC05_003	1471	1471	0	1472	2484	59.3%
ov_SC05_004	1471	1471	0	1473	2467	59.7%
ov_SC05_005	1471	1471	0	1472	2494	59.0%
ov_SC05_006	1471	1471	0	1471	2432	60.5%
ov_SC05_007	1471	1471	0	1476	2485	59.4%
ov_SC05_008	1471	1471	0	1473	2546	57.9%
ov_SC05_009	1471	1471	0	1475	2440	60.5%
ov_SC05_010	1471	1471	0	1475	2591	56.9%
ov_SC05_011	1471	1471	0	1472	2411	61.1%
ov_SC05_017	1467	1467	0	1479	2845	52.0%
ov_SC05_018	1471	1471	0	1484	2676	55.5%
ov_SC05_019	1471	1471	0	1472	2425	60.7%
ov_SC06_000	1475	1475	0	1483	2692	55.1%
ov_SC06_006	1471	1471	0	1472	2514	58.6%
ov_SC06_008	1473	1473	0	1479	2544	58.1%
ov_SC06_010	1471	1471	0	1476	2520	58.6%
ov_SC06_011	1471	1471	0	1475	2471	59.7%
ov_SC06_013	1471	1471	0	1472	2427	60.7%
ov_SC06_014	1471	1471	0	1473	2455	60.0%
ov_SC06_015	1471	1471	0	1471	2423	60.7%
ov_SC06_016	1471	1471	0	1473	2552	57.7%
ov_SC06_018	1471	1471	0	1479	2668	55.4%
ov_SC06_020	1471	1471	0	1472	2521	58.4%
ov_SC06_022	1471	1471	0	1479	2645	55.9%
ov_SC06_024	1471	1471	0	1477	2670	55.3%
ov_SC06_025	1471	1471	0	1476	2575	57.3%
ov_SC06_027	1471	1471	0	1472	2410	61.1%
ov_SC06_029	1471	1471	0	1483	2665	55.6%
ov_SC06_030	1471	1471	0	1471	2459	59.8%
ov_SC06_032	1471	1471	0	1478	2661	55.5%
ov_SC06_033	1471	1471	0	1478	2634	56.1%
ov_SC07_000	1475	1475	0	1477	2522	58.6%
ov_SC07_001	1471	1471	0	1473	2457	60.0%
ov_SC07_002	1471	1471	0	1475	2582	57.1%
ov_SC07_008	1471	1471	0	1471	2388	61.6%
ov_SC07_009	1471	1471	0	1473	2432	60.6%

8.2 KiB Raw Blame History

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

136 binaries: main + resident + 134 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.

8.2 KiB

Raw Blame History

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