mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-26 21:36:06 -04:00

Files

T

Drew T 070cf375c9 feat(phase-17): T3 — bank 42 sig_unify matches + propagate x134 (fleet 54.48%->55.00%); fix taxonomy classifier

- banked 42 gate-proven SIG_FIXABLE_KR matches in ov_SC01_077 (of 48 predicted; 6 honestly
  reverted by the whole-binary byte-gate, P9) + propagated 13 h_exact-shared x134 via
  dedup_propagate (one body -> 134 overlays, each byte-gated, fail-closed)
- fleet byte-identical-from-source 54.48% -> 55.00% (+0.52%); REAL +1,778; dedup groups
  1395 -> 1408; make check-all 136/136 byte-identical (R22); dedup-check 1408 validated/0 failed
- wall probe (R14): raw drafts 0/99 + sig_unify fails -> the K&R/sig_unify avenue is exhausted;
  the residual conflict-class is ARITY_WALL (the §14e param-count dead-end) or structural (T4/T5)
- FIX a T1 classifier bug surfaced by verifying the wall vs the bytes: tu_compile_error captured
  the baseline's pre-existing byte-NEUTRAL warnings ("makes integer from pointer", cc1 rc=0) and
  mislabeled 99 fns LOOSE_TYPING_WALL; now keeps only non-warning errors -> there is NO loose-typing
  wall, the real residual wall is ARITY_WALL=74. docs/wall-taxonomy.md amended with the correction.
- 134 overlay .c files carry the propagated DEFINE_func instantiations; a one-time full-fleet
  make extract was required for the per-overlay propagation gate + check-all

2026-06-19 12:13:38 -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 : 187557 (of which dedup-shared 187074 via 1408 groups / 187118 instances) FLEET LINKED PsyQ objs : 959 FLEET byte-identical : 189204 / 344010 = 55.00% (REAL+LINKED+empties) FLEET NON_MATCHING : 7 (0 in any default build — G4) FLEET INCLUDE_ASM stubs : 154799 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	1400	1400	0	1400	2403	58.3%
ov_SC01_001	1400	1400	0	1402	2467	56.8%
ov_SC01_004	1392	1392	0	1393	2416	57.7%
ov_SC01_005	1399	1399	0	1406	2504	56.2%
ov_SC01_006	1399	1399	0	1406	2504	56.2%
ov_SC01_008	1392	1392	0	1394	2428	57.4%
ov_SC01_009	1392	1392	0	1393	2510	55.5%
ov_SC01_074	1392	1392	0	1394	2427	57.4%
ov_SC01_077	1668	1360	0	1670	2586	64.6%
ov_SC01_080	1396	1396	0	1396	2515	55.5%
ov_SC01_084	1396	1396	0	1401	2581	54.3%
ov_SC02_000	1400	1400	0	1407	2684	52.4%
ov_SC02_003	1400	1400	0	1407	2684	52.4%
ov_SC02_004	1396	1396	0	1396	2403	58.1%
ov_SC02_005	1392	1392	0	1402	2930	47.8%
ov_SC02_011	1398	1398	0	1410	2896	48.7%
ov_SC02_015	1398	1398	0	1398	2416	57.9%
ov_SC02_016	1398	1398	0	1401	2548	55.0%
ov_SC02_017	1398	1398	0	1406	2735	51.4%
ov_SC02_021	1398	1398	0	1398	2439	57.3%
ov_SC02_026	1396	1396	0	1402	2575	54.4%
ov_SC02_027	1396	1396	0	1405	2695	52.1%
ov_SC02_028	1396	1396	0	1406	2704	52.0%
ov_SC02_031	1396	1396	0	1402	2565	54.7%
ov_SC02_035	1396	1396	0	1399	2523	55.4%
ov_SC02_039	1396	1396	0	1396	2418	57.7%
ov_SC02_041	1396	1396	0	1399	2563	54.6%
ov_SC03_001	1396	1396	0	1414	2870	49.3%
ov_SC03_002	1400	1400	0	1416	2632	53.8%
ov_SC03_003	1396	1396	0	1397	2425	57.6%
ov_SC03_006	1402	1402	0	1411	2768	51.0%
ov_SC03_007	1396	1396	0	1400	2626	53.3%
ov_SC03_010	1396	1396	0	1396	2472	56.5%
ov_SC03_011	1396	1396	0	1402	2530	55.4%
ov_SC03_012	1396	1396	0	1397	2408	58.0%
ov_SC03_013	1396	1396	0	1396	2495	56.0%
ov_SC03_014	1396	1396	0	1406	2688	52.3%
ov_SC03_015	1396	1396	0	1406	2688	52.3%
ov_SC03_023	1396	1396	0	1397	2437	57.3%
ov_SC03_024	1396	1396	0	1408	2644	53.3%
ov_SC03_028	1396	1396	0	1400	2667	52.5%
ov_SC03_029	1398	1398	0	1408	2647	53.2%
ov_SC03_030	1400	1400	0	1402	2498	56.1%
ov_SC03_031	1396	1396	0	1400	2517	55.6%
ov_SC03_089	1396	1396	0	1403	2584	54.3%
ov_SC03_090	1396	1396	0	1404	2628	53.4%
ov_SC03_091	1396	1396	0	1404	2643	53.1%
ov_SC03_092	1396	1396	0	1408	2590	54.4%
ov_SC03_093	1396	1396	0	1400	2566	54.6%
ov_SC03_094	1396	1396	0	1402	2579	54.4%
ov_SC03_095	1396	1396	0	1399	2477	56.5%
ov_SC03_096	1396	1396	0	1399	2468	56.7%
ov_SC03_097	1396	1396	0	1403	2606	53.8%
ov_SC03_098	1396	1396	0	1399	2544	55.0%
ov_SC03_099	1396	1396	0	1399	2507	55.8%
ov_SC03_100	1396	1396	0	1400	2542	55.1%
ov_SC03_101	1396	1396	0	1400	2531	55.3%
ov_SC03_102	1396	1396	0	1399	2495	56.1%
ov_SC03_103	1398	1398	0	1401	2513	55.8%
ov_SC03_104	1396	1396	0	1403	2619	53.6%
ov_SC03_105	1396	1396	0	1403	2600	54.0%
ov_SC03_108	1396	1396	0	1396	2446	57.1%
ov_SC03_109	1396	1396	0	1398	2426	57.6%
ov_SC03_110	1396	1396	0	1396	2471	56.5%
ov_SC03_111	1396	1396	0	1399	2513	55.7%
ov_SC03_112	1398	1398	0	1400	2529	55.4%
ov_SC03_113	1398	1398	0	1401	2471	56.7%
ov_SC03_114	1396	1396	0	1398	2417	57.8%
ov_SC03_115	1396	1396	0	1398	2475	56.5%
ov_SC03_116	1396	1396	0	1399	2441	57.3%
ov_SC03_117	1396	1396	0	1402	2560	54.8%
ov_SC03_118	1396	1396	0	1409	2688	52.4%
ov_SC03_119	1396	1396	0	1409	2688	52.4%
ov_SC03_121	1396	1396	0	1399	2462	56.8%
ov_SC03_124	1392	1392	0	1412	2744	51.5%
ov_SC03_125	1396	1396	0	1408	2591	54.3%
ov_SC03_126	1396	1396	0	1397	2425	57.6%
ov_SC04_000	1400	1400	0	1409	2547	55.3%
ov_SC04_002	1396	1396	0	1400	2639	53.1%
ov_SC04_003	1396	1396	0	1400	2505	55.9%
ov_SC04_004	1396	1396	0	1398	2561	54.6%
ov_SC04_005	1396	1396	0	1402	2615	53.6%
ov_SC04_006	1396	1396	0	1398	2456	56.9%
ov_SC04_007	1396	1396	0	1400	2572	54.4%
ov_SC04_008	1396	1396	0	1396	2417	57.8%
ov_SC04_009	1396	1396	0	1399	2443	57.3%
ov_SC04_010	1396	1396	0	1397	2421	57.7%
ov_SC04_011	1396	1396	0	1402	2806	50.0%
ov_SC04_012	1396	1396	0	1397	2422	57.7%
ov_SC04_015	1396	1396	0	1408	2614	53.9%
ov_SC04_016	1396	1396	0	1398	2442	57.2%
ov_SC04_018	1396	1396	0	1409	2858	49.3%
ov_SC04_019	1396	1396	0	1409	2858	49.3%
ov_SC04_020	1396	1396	0	1408	2570	54.8%
ov_SC04_021	1396	1396	0	1397	2425	57.6%
ov_SC05_000	1400	1400	0	1403	2422	57.9%
ov_SC05_001	1396	1396	0	1401	2577	54.4%
ov_SC05_002	1396	1396	0	1399	2445	57.2%
ov_SC05_003	1396	1396	0	1397	2484	56.2%
ov_SC05_004	1396	1396	0	1398	2467	56.7%
ov_SC05_005	1396	1396	0	1397	2494	56.0%
ov_SC05_006	1396	1396	0	1396	2432	57.4%
ov_SC05_007	1396	1396	0	1401	2485	56.4%
ov_SC05_008	1396	1396	0	1398	2546	54.9%
ov_SC05_009	1396	1396	0	1400	2440	57.4%
ov_SC05_010	1396	1396	0	1400	2591	54.0%
ov_SC05_011	1396	1396	0	1397	2411	57.9%
ov_SC05_017	1392	1392	0	1404	2845	49.3%
ov_SC05_018	1396	1396	0	1409	2676	52.7%
ov_SC05_019	1396	1396	0	1397	2425	57.6%
ov_SC06_000	1400	1400	0	1408	2692	52.3%
ov_SC06_006	1396	1396	0	1397	2514	55.6%
ov_SC06_008	1398	1398	0	1404	2544	55.2%
ov_SC06_010	1396	1396	0	1401	2520	55.6%
ov_SC06_011	1396	1396	0	1400	2471	56.7%
ov_SC06_013	1396	1396	0	1397	2427	57.6%
ov_SC06_014	1396	1396	0	1398	2455	56.9%
ov_SC06_015	1396	1396	0	1396	2423	57.6%
ov_SC06_016	1396	1396	0	1398	2552	54.8%
ov_SC06_018	1396	1396	0	1404	2668	52.6%
ov_SC06_020	1396	1396	0	1397	2521	55.4%
ov_SC06_022	1396	1396	0	1404	2645	53.1%
ov_SC06_024	1396	1396	0	1402	2670	52.5%
ov_SC06_025	1396	1396	0	1401	2575	54.4%
ov_SC06_027	1396	1396	0	1397	2410	58.0%
ov_SC06_029	1396	1396	0	1408	2665	52.8%
ov_SC06_030	1396	1396	0	1396	2459	56.8%
ov_SC06_032	1396	1396	0	1403	2661	52.7%
ov_SC06_033	1396	1396	0	1403	2634	53.3%
ov_SC07_000	1400	1400	0	1402	2522	55.6%
ov_SC07_001	1396	1396	0	1398	2457	56.9%
ov_SC07_002	1396	1396	0	1400	2582	54.2%
ov_SC07_008	1396	1396	0	1396	2388	58.5%
ov_SC07_009	1396	1396	0	1398	2432	57.5%

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`;