BFM-decomp

ov_SC03_108_after.c

phase-36: T7 agents c12 + c10 — the func_80148E54/D44 twins (implicit handler argument) and func_80135A4C (cross-jump tails, parameters passed through), 395 bodies; delever_pack writes related.txt (20,206 → 19,276 sites, R22 218/218)

2026-09-10 15:03:27 -06:00

ov_SC03_108_jr_8012ACE0.c

phase-36: S103 ends — c51 func_8012E364 at two marked pins (134 bodies); 46 orphan markers scrubbed (one scrub false positive restored, the defect recorded); census 5,097 sites, 0 unmarked, exit 0; checkpoint final (R22 218/218)

2026-09-10 19:13:58 -06:00

ov_SC03_108_jr_8013C98C.c

phase-36: minimum-lever banks — func_8013D9B0 (2 marked GTE asm instead of 34 levers) and func_80140958 (2 marked levers), 266 bodies; c52 closes four ov_SC06_010 classes with the R26 alias (R22 218/218)

2026-09-10 18:44:29 -06:00

ov_SC03_108_jr_8013F350.c

phase-36: c50 closes func_80136824 with zero levers body-only (off the types-phase list, 130 bodies); c49 func_8013F350 at two marked head levers (133 bodies); delever_regen survives stale sites (R22 218/218)

2026-09-10 18:38:42 -06:00

ov_SC03_108_jr_8013FFD8.c

phase-36: 16,759 lying call declarations repaired across 3,439 units, byte-identical (R22 218/218) + the Gen3 readability series

2026-09-10 12:11:22 -06:00

ov_SC03_108_jr_8015A3C8.c

phase-36: 16,759 lying call declarations repaired across 3,439 units, byte-identical (R22 218/218) + the Gen3 readability series

2026-09-10 12:11:22 -06:00

ov_SC03_108_jr_8015AE2C.c

phase-36: 16,759 lying call declarations repaired across 3,439 units, byte-identical (R22 218/218) + the Gen3 readability series

2026-09-10 12:11:22 -06:00

ov_SC03_108_jr_8015C32C.c

phase-36: re-draws c25 (func_80166F58, a narrowing copy) and c26 (func_80133CD4, split temps) closed, 254 bodies; tools/localalloc_sim.py (c26's local-alloc simulator, 0 mismatches over 150 blocks); propagate no longer trusts stale ledger hashes; R25 regen 3 classes; regen reports COMPILE-ERROR (14,xxx -> 13,083 sites, R22 218/218)

2026-09-10 16:58:01 -06:00

ov_SC03_108_jr_8016AB6C.c

phase-36: T7 agent b3 — func_8016CBC0 closed from a residual of 55 (128 bodies), and its move toolified as R20

2026-09-10 12:57:06 -06:00

ov_SC03_108_jr_8017A4AC.c

phase-36: 16,759 lying call declarations repaired across 3,439 units, byte-identical (R22 218/218) + the Gen3 readability series

2026-09-10 12:11:22 -06:00

ov_SC03_108_jr_8017AE2C.c

phase-36: re-draw c30 — func_8017B614 closed with no do-while (one pointer across both arms; struct/array spellings let sched2 restore the order), 125 bodies (R22 218/218)

2026-09-10 17:32:29 -06:00

ov_SC03_108_jr_8017BEBC.c

phase-36: S104 banks — the R23(case-label)/R34/R35/R36 pass: 915 classes in 1,757 s, MATCH 16 (bank line above); d20's minimum-lever func_80180324 (8 → 2 marked dead branches) PARKED for Drew — an invented always-false condition is not covered by ruling (a)

2026-09-10 23:50:01 -06:00

ov_SC03_108_jr_8017F83C.c

phase-36: S104 s104_e26 — func_801809A0 banked at 0 through the whole-object gate + propagated — e26 sibling

2026-09-11 04:02:02 -06:00

ov_SC03_108_jr_80135A4C.c

phase-36: T7 agents c12 + c10 — the func_80148E54/D44 twins (implicit handler argument) and func_80135A4C (cross-jump tails, parameters passed through), 395 bodies; delever_pack writes related.txt (20,206 → 19,276 sites, R22 218/218)

2026-09-10 15:03:27 -06:00

ov_SC03_108_jr_80135D20.c

phase-36: c50 closes func_80136824 with zero levers body-only (off the types-phase list, 130 bodies); c49 func_8013F350 at two marked head levers (133 bodies); delever_regen survives stale sites (R22 218/218)

2026-09-10 18:38:42 -06:00

ov_SC03_108_jr_80154C24.c

phase-36: 16,759 lying call declarations repaired across 3,439 units, byte-identical (R22 218/218) + the Gen3 readability series

2026-09-10 12:11:22 -06:00

ov_SC03_108_jr_80159C84.c

phase-36: 16,759 lying call declarations repaired across 3,439 units, byte-identical (R22 218/218) + the Gen3 readability series

2026-09-10 12:11:22 -06:00

ov_SC03_108_jr_80171B4C.c

phase-36: 16,759 lying call declarations repaired across 3,439 units, byte-identical (R22 218/218) + the Gen3 readability series

2026-09-10 12:11:22 -06:00

ov_SC03_108_jr_80178D40.c

phase-36: 16,759 lying call declarations repaired across 3,439 units, byte-identical (R22 218/218) + the Gen3 readability series

2026-09-10 12:11:22 -06:00

ov_SC03_108_jr_801380E0.c

phase-36: re-draw c21 — func_801397B0 closed (a do-while reference-weight wrapper, on the a4/c15 precedent), 125 bodies; c22's and c28's readings (func_8012E364 at 4, func_8013F350's head irreducible); --try parallel-safe per call with --keep (R22 218/218)

2026-09-10 17:14:30 -06:00

ov_SC03_108_jr_801588CC.c

phase-36: 16,759 lying call declarations repaired across 3,439 units, byte-identical (R22 218/218) + the Gen3 readability series

2026-09-10 12:11:22 -06:00

ov_SC03_108_jr_801734BC.c

phase-36: the first minimum-lever bank (func_80177B5C: 1 marked launder instead of 23 levers, 133 bodies); c43/c44/c45/c37 closes with their cross-address copies (delever --port-scan); generator R26 alias_repeated_addresses (known-true: c45's close from its start text) (R22 218/218)

2026-09-10 18:32:46 -06:00

ov_SC03_108_jr_801789AC.c

phase-36: 16,759 lying call declarations repaired across 3,439 units, byte-identical (R22 218/218) + the Gen3 readability series

2026-09-10 12:11:22 -06:00

ov_SC03_108_jr_8015444C.c

phase-36: 16,759 lying call declarations repaired across 3,439 units, byte-identical (R22 218/218) + the Gen3 readability series

2026-09-10 12:11:22 -06:00

ov_SC03_108_jr_80135888.c

phase-36: T7 agent b8 — func_80135888, the largest class left, closed with all five levers gone (134 bodies; 24,789 → 24,119 sites, R22 218/218)

2026-09-10 13:31:47 -06:00

ov_SC03_108_jr_80140608.c

phase-36: minimum-lever banks — func_8013D9B0 (2 marked GTE asm instead of 34 levers) and func_80140958 (2 marked levers), 266 bodies; c52 closes four ov_SC06_010 classes with the R26 alias (R22 218/218)

2026-09-10 18:44:29 -06:00

ov_SC03_108_o0b.c

src(phase-35): T4 finalize — engine_core.h, ov_setters.h and clearTbl40.h deleted; the legacy sites converted (clearTbl40 as the SHARED_FN parameterized control in src/800_c.c; the three SC01_005 accessors as headers), the whale header moved under ov/ with every -O0 includer rewritten, 7 alias-form bodies given their own __asm__ binding, the registry's source/func lines text-edited by id, three non-shared headers rewritten; --verify OK (0 macro sites, no macro header); R22 clean fleet check-all: 218 passed, 0 failed of 218 in 145 s; dedup-check 2220/0; audit-binaries OK; the census 362,389/362,389 with 0 macro sites; SETUP + dictionary rows; kit corpus

2026-09-08 18:06:04 -06:00

ov_SC03_108_o0c.c

phase-36: 16,759 lying call declarations repaired across 3,439 units, byte-identical (R22 218/218) + the Gen3 readability series

2026-09-10 12:11:22 -06:00

ov_SC03_108.c

phase-36: re-draws c24 (func_8012956C: a phantom 4th argument + a switch) and c23 (func_80133784: the exit block inside a real loop, overturning b4's de-loop reading) closed, 252 bodies; R25 trim_arguments; argcheck reads K&R definitions (95 callees were invisible); the selftest asserts every dispatched family is registered (R22 218/218)

2026-09-10 16:45:14 -06:00