Drew T 2e7bc09474 phase-36: S104 s104_e1 — func_801AB818 banked at 0 through the whole-object gate + propagated — memory barrier → 0: a memory read between the two stack-slot stores (flow.c:1726-1727/2379) spelled as an array index (expr.c:4568-4577, sched.c:831-839)

2026-09-11 00:42:31 -06:00

..

md_MAIN_001

…

md_MAIN_003

phase-36: the tail pass g6 + g6b (47 + 63 of 400 small classes; 186/191 siblings propagated), R22 218/218; 30,806 → 30,358 sites; --try (a candidate scored without a tree write), delever_pack.py (the 57 T7 packs + PROMPT.md), --restore refuses an empty snapshot; the checkpoint: T7 as one agent at a time, approved, starts in the fresh session

2026-09-09 23:32:57 -06:00

md_MAIN_007

…

md_MAIN_008

…

md_MAIN_009

phase-36: the tail pass g6 + g6b (47 + 63 of 400 small classes; 186/191 siblings propagated), R22 218/218; 30,806 → 30,358 sites; --try (a candidate scored without a tree write), delever_pack.py (the 57 T7 packs + PROMPT.md), --restore refuses an empty snapshot; the checkpoint: T7 as one agent at a time, approved, starts in the fresh session

2026-09-09 23:32:57 -06:00

md_MAIN_011

…

md_MAIN_013

…

md_MAIN_014

…

md_MAIN_015

phase-36: the tail pass g6 + g6b (47 + 63 of 400 small classes; 186/191 siblings propagated), R22 218/218; 30,806 → 30,358 sites; --try (a candidate scored without a tree write), delever_pack.py (the 57 T7 packs + PROMPT.md), --restore refuses an empty snapshot; the checkpoint: T7 as one agent at a time, approved, starts in the fresh session

2026-09-09 23:32:57 -06:00

md_MAIN_016

…

md_MAIN_017

…

md_MAIN_018

…

md_MAIN_019

…

md_MAIN_020

…

md_MAIN_021

phase-36: T7 sweeps s2/s3 — the constant-holder census corrected (537 of 17,302, not 284 of 10,958) and 10 bodies closed; the propagate namespace bug fixed

2026-09-10 02:49:05 -06:00

md_MAIN_022

phase-36: T7 sweep s5 — the TAIL closes at 36%: 285 of 800 bodies lever-free for zero tokens (29,527 → 29,204 sites, R22 218/218)

2026-09-10 07:21:39 -06:00

md_MAIN_023

…

md_MAIN_024

…

md_MAIN_025

…

md_MAIN_026

phase-36: T7 sweep s6 — the last never-attempted exemplars: 25 of 337 (29,204 → 29,148 sites, R22 218/218)

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

md_MAIN_027

phase-36: the tail pass g6 + g6b (47 + 63 of 400 small classes; 186/191 siblings propagated), R22 218/218; 30,806 → 30,358 sites; --try (a candidate scored without a tree write), delever_pack.py (the 57 T7 packs + PROMPT.md), --restore refuses an empty snapshot; the checkpoint: T7 as one agent at a time, approved, starts in the fresh session

2026-09-09 23:32:57 -06:00

md_MAIN_028

…

md_MAIN_029

…

md_MAIN_030

…

md_MAIN_031

phase-36: T7 sweep s5 — the TAIL closes at 36%: 285 of 800 bodies lever-free for zero tokens (29,527 → 29,204 sites, R22 218/218)

2026-09-10 07:21:39 -06:00

md_MAIN_032

…

md_MAIN_033

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

md_MAIN_034

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

md_MAIN_035

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

md_MAIN_036

…

md_MAIN_037

…

md_MAIN_038

…

md_MAIN_039

…

md_MAIN_040

phase-36: the tail pass g6 + g6b (47 + 63 of 400 small classes; 186/191 siblings propagated), R22 218/218; 30,806 → 30,358 sites; --try (a candidate scored without a tree write), delever_pack.py (the 57 T7 packs + PROMPT.md), --restore refuses an empty snapshot; the checkpoint: T7 as one agent at a time, approved, starts in the fresh session

2026-09-09 23:32:57 -06:00

md_MAIN_041

…

md_MAIN_042

…

md_MAIN_043

phase-36: the tail pass g6 + g6b (47 + 63 of 400 small classes; 186/191 siblings propagated), R22 218/218; 30,806 → 30,358 sites; --try (a candidate scored without a tree write), delever_pack.py (the 57 T7 packs + PROMPT.md), --restore refuses an empty snapshot; the checkpoint: T7 as one agent at a time, approved, starts in the fresh session

2026-09-09 23:32:57 -06:00

md_MAIN_044

phase-36: the tail pass g6 + g6b (47 + 63 of 400 small classes; 186/191 siblings propagated), R22 218/218; 30,806 → 30,358 sites; --try (a candidate scored without a tree write), delever_pack.py (the 57 T7 packs + PROMPT.md), --restore refuses an empty snapshot; the checkpoint: T7 as one agent at a time, approved, starts in the fresh session

2026-09-09 23:32:57 -06:00

md_MAIN_045

phase-36: the tail pass g6 + g6b (47 + 63 of 400 small classes; 186/191 siblings propagated), R22 218/218; 30,806 → 30,358 sites; --try (a candidate scored without a tree write), delever_pack.py (the 57 T7 packs + PROMPT.md), --restore refuses an empty snapshot; the checkpoint: T7 as one agent at a time, approved, starts in the fresh session

2026-09-09 23:32:57 -06:00

md_MAIN_046

…

md_MAIN_047

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

md_SC02_009

…

md_SC03_053

phase-36: the tail pass g6 + g6b (47 + 63 of 400 small classes; 186/191 siblings propagated), R22 218/218; 30,806 → 30,358 sites; --try (a candidate scored without a tree write), delever_pack.py (the 57 T7 packs + PROMPT.md), --restore refuses an empty snapshot; the checkpoint: T7 as one agent at a time, approved, starts in the fresh session

2026-09-09 23:32:57 -06:00

md_SC03_054

…

md_SC03_056

…

md_SC03_073

…

md_SC03_074

…

md_SC03_075

phase-36: T7 sweeps s2/s3 — the constant-holder census corrected (537 of 17,302, not 284 of 10,958) and 10 bodies closed; the propagate namespace bug fixed

2026-09-10 02:49:05 -06:00

md_SC03_076

phase-36: S104 s104_d9 — func_801F2348 banked at 0 through the whole-object gate + propagated — barrier→0: the goto chain as a structured || (a label between condjump and store blocks jump.c:805/1019)

2026-09-10 21:24:43 -06:00

md_SC03_077

…

md_SC03_078

…

md_SC03_079

…

md_SC03_132

…

md_SC03_133

…

md_SC03_134

phase-36: T7 sweeps s2/s3 — the constant-holder census corrected (537 of 17,302, not 284 of 10,958) and 10 bodies closed; the propagate namespace bug fixed

2026-09-10 02:49:05 -06:00

md_SC03_135

phase-36: S104 s104_d9 — func_801E559C banked at 0 through the whole-object gate + propagated — d9's sibling port

2026-09-10 21:26:49 -06:00

md_SC03_136

…

md_SC03_137

…

md_SC03_138

…

md_SC04_024

…

md_SC04_025

…

md_SC04_026

phase-36: the tail pass g6 + g6b (47 + 63 of 400 small classes; 186/191 siblings propagated), R22 218/218; 30,806 → 30,358 sites; --try (a candidate scored without a tree write), delever_pack.py (the 57 T7 packs + PROMPT.md), --restore refuses an empty snapshot; the checkpoint: T7 as one agent at a time, approved, starts in the fresh session

2026-09-09 23:32:57 -06:00

md_SC04_027

phase-36: S104 s104_d9 — func_801EAB04 banked at 0 through the whole-object gate + propagated — d9's sibling port

2026-09-10 21:26:05 -06:00

md_SC04_028

…

md_SC04_029

…

md_SC04_030

…

md_SC05_023

…

md_SC05_024

…

md_SC05_025

phase-36: the tail pass g6 + g6b (47 + 63 of 400 small classes; 186/191 siblings propagated), R22 218/218; 30,806 → 30,358 sites; --try (a candidate scored without a tree write), delever_pack.py (the 57 T7 packs + PROMPT.md), --restore refuses an empty snapshot; the checkpoint: T7 as one agent at a time, approved, starts in the fresh session

2026-09-09 23:32:57 -06:00

md_SC05_026

phase-36: S104 sweep banks — 5 classes from the all-families regen (R12 ×3, R15, R19) + 12 siblings, each IDENTICAL through the whole-object gate; R22 follows the batch

2026-09-10 21:05:27 -06:00

md_SC05_027

…

md_SC05_028

…

md_SC05_029

…

md_SC07_003

phase-36: S104 sweep banks part 2 — 39 of 44 MATCH rows (R27 ports 21, R7 do-while marked 7, R8/R18/R12/R19/R20/R9) + 35 siblings, each IDENTICAL through the whole-object gate; R22 follows

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

md_SC07_004

phase-36: S104 s104_e1 — func_801AB818 banked at 0 through the whole-object gate + propagated — memory barrier → 0: a memory read between the two stack-slot stores (flow.c:1726-1727/2379) spelled as an array index (expr.c:4568-4577, sched.c:831-839)

2026-09-11 00:42:31 -06:00

ov_MAIN_012

phase-36: S104 sweep banks part 2 — 39 of 44 MATCH rows (R27 ports 21, R7 do-while marked 7, R8/R18/R12/R19/R20/R9) + 35 siblings, each IDENTICAL through the whole-object gate; R22 follows

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

ov_SC01_000

phase-36: S104 part-3 bank resumed — 6 of 38 MATCH rows banked (the rest banked before the timeout); e1–e5 TU-batch packs; R22 follows

2026-09-11 00:32:13 -06:00

ov_SC01_001

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_SC01_004

phase-36: S104 s104_d33 — func_8017DC38 banked at 0 through the whole-object gate + propagated — d33 copy

2026-09-10 23:43:34 -06:00

ov_SC01_005

phase-36: S104 s104_d33 — func_8017DD70 banked at 0 through the whole-object gate + propagated — 3 levers → 0: s16 c and s16 changed, the per-arm copy temps deleted, one flag test after the join (combine.c:7926-7942; global.c:594-607)

2026-09-10 23:42:44 -06:00

ov_SC01_008

phase-36: S104 s104_d33 — func_8017DD70 banked at 0 through the whole-object gate + propagated — 3 levers → 0: s16 c and s16 changed, the per-arm copy temps deleted, one flag test after the join (combine.c:7926-7942; global.c:594-607)

2026-09-10 23:42:44 -06:00

ov_SC01_009

phase-36: S104 s104_d33 — func_8017DD70 banked at 0 through the whole-object gate + propagated — 3 levers → 0: s16 c and s16 changed, the per-arm copy temps deleted, one flag test after the join (combine.c:7926-7942; global.c:594-607)

2026-09-10 23:42:44 -06:00

ov_SC01_074

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_SC01_077

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC01_080

phase-36: S104 part-3 bank resumed — 6 of 38 MATCH rows banked (the rest banked before the timeout); e1–e5 TU-batch packs; R22 follows

2026-09-11 00:32:13 -06:00

ov_SC01_084

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_SC02_000

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_SC02_004

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_SC02_005

phase-36: S104 d1 — func_80185960 at 0 levers (was 1 launder): the one-armed abs as an if/else with the non-simple value in the ELSE arm (jump1 keeps it, jump.c:739-741; cse's skip-block path stops at the join, cse.c:8116); 10 bodies, gate IDENTICAL each

2026-09-10 21:08:34 -06:00

ov_SC02_011

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC02_015

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_SC02_016

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_SC02_017

phase-36: S104 s104_d24 — func_8018003C banked at 0 through the whole-object gate + propagated — 4 pins + a $0 copy → 0: the parameter copy deleted (cse.c:846-862 → the two tails merge, jump.c:2371), the call at its real arity, += per field

2026-09-10 22:57:37 -06:00

ov_SC02_021

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_SC02_026

phase-36: S104 s104_d37 — func_8017DAB8 banked at 0 through the whole-object gate + propagated — 2 pins → 0: the always-1 flag as a constant store + the two per-arm pointer loads as one variable (allocno_compare 15000 > 14426, global.c:595-603)

2026-09-10 23:59:56 -06:00

ov_SC02_027

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC02_028

phase-36: S104 s104_d37 — func_8017DAB8 banked at 0 through the whole-object gate + propagated — 2 pins → 0: the always-1 flag as a constant store + the two per-arm pointer loads as one variable (allocno_compare 15000 > 14426, global.c:595-603)

2026-09-10 23:59:56 -06:00

ov_SC02_031

phase-36: S104 s104_d38 — func_801818A4 banked at 0 through the whole-object gate + propagated — $16 pin → 0: the cast copy of the parameter deleted (cse.c:846-856 + the second pass :8352-8355 kept a copy that crossed the call)

2026-09-11 00:03:35 -06:00

ov_SC02_035

phase-36: S104 s104_d7 — func_80180CF4 banked at 0 through the whole-object gate + propagated — d7 port

2026-09-10 21:29:27 -06:00

ov_SC02_037

phase-36: S104 sweep banks part 2 — 39 of 44 MATCH rows (R27 ports 21, R7 do-while marked 7, R8/R18/R12/R19/R20/R9) + 35 siblings, each IDENTICAL through the whole-object gate; R22 follows

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

ov_SC02_039

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_SC02_041

phase-36: S104 s104_d4 — func_80182358 banked at 0 through the whole-object gate + propagated — launder→0 asm/pin + 1 marked do-while (a LOOP-note barrier, sched.c:2058-2074; Drew S104 (a))

2026-09-10 21:30:49 -06:00

ov_SC03_001

phase-36: S104 part-3 bank resumed — 6 of 38 MATCH rows banked (the rest banked before the timeout); e1–e5 TU-batch packs; R22 follows

2026-09-11 00:32:13 -06:00

ov_SC03_002

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_003

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_006

phase-36: S104 s104_d15 — func_8018594C banked at 0 through the whole-object gate + propagated — 3 levers → 0: the reused temp as direct stores (local-alloc.c:472) + an s16 parameter (function.c:3664-3676)

2026-09-10 22:19:26 -06:00

ov_SC03_007

phase-36: S104 s104_d25 — func_8017E060 banked at 0 through the whole-object gate + propagated — $4 pin → 0: the twice-set pointer as one expression (combine leaves reg_n_refs on a folded pseudo, combine.c:2305-2337 → alter_reg gives it a slot, reload1.c:2327-2352)

2026-09-10 23:03:03 -06:00

ov_SC03_010

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_011

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_012

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_013

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_014

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC03_023

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_024

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC03_028

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_029

phase-36: S104 s104_d24 — func_8018003C banked at 0 through the whole-object gate + propagated — 4 pins + a $0 copy → 0: the parameter copy deleted (cse.c:846-862 → the two tails merge, jump.c:2371), the call at its real arity, += per field

2026-09-10 22:57:37 -06:00

ov_SC03_030

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_031

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_089

phase-36: S104 s104_d39 — func_80185484 banked at 0 through the whole-object gate + propagated — 2 levers → 0: (s16) casts at BOTH shift sites (c-typeck.c:2418-2450, cse.c:5577-5667)

2026-09-11 00:07:41 -06:00

ov_SC03_090

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC03_091

phase-36: S104 s104_d35 — func_8018486C banked at 0 through the whole-object gate + propagated — 3 pins → 0: the goto chain as three for loops with break (loop notes: hoisted constants + doubled refs, loop.c:702/flow.c:2067) and the cmp local as a literal

2026-09-11 00:01:34 -06:00

ov_SC03_092

phase-36: S104 s104_d37 — func_8017DAB8 banked at 0 through the whole-object gate + propagated — 2 pins → 0: the always-1 flag as a constant store + the two per-arm pointer loads as one variable (allocno_compare 15000 > 14426, global.c:595-603)

2026-09-10 23:59:56 -06:00

ov_SC03_093

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_094

phase-36: S104 s104_d7 — func_80180CF4 banked at 0 through the whole-object gate + propagated — d7 port

2026-09-10 21:29:27 -06:00

ov_SC03_095

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_096

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_097

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_098

phase-36: S104 s104_d7 — func_80181B18 banked at 0 through the whole-object gate + propagated — 3 levers→0: sub and v declared per switch case (a per-case local crossing a call takes $s0 in local-alloc, local-alloc.c:2101-2106; combine_regs ties v to the constant, :1722/:1773)

2026-09-10 21:27:49 -06:00

ov_SC03_099

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_100

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_101

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC03_102

phase-36: S104 sweep banks part 2 — 39 of 44 MATCH rows (R27 ports 21, R7 do-while marked 7, R8/R18/R12/R19/R20/R9) + 35 siblings, each IDENTICAL through the whole-object gate; R22 follows

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

ov_SC03_103

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_104

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC03_105

phase-36: S104 sweep banks part 2 — 39 of 44 MATCH rows (R27 ports 21, R7 do-while marked 7, R8/R18/R12/R19/R20/R9) + 35 siblings, each IDENTICAL through the whole-object gate; R22 follows

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

ov_SC03_107

phase-36: S104 s104_d23 — func_8017FE24 banked at 0 through the whole-object gate + propagated — d23 copy

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

ov_SC03_108

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_109

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_110

phase-36: S104 s104_d31 — func_80182FB4 banked at 0 through the whole-object gate + propagated — 3 levers → 0: the argument computed whole in each arm (block-global → $a1 by preference; cross-jump re-merges the tails, jump.c:2371), the merge value stored in its arm, the goto chain as a switch

2026-09-10 23:45:06 -06:00

ov_SC03_111

phase-36: S104 s104_d23 — func_801800F8 banked at 0 through the whole-object gate + propagated — d23 copy

2026-09-10 23:00:51 -06:00

ov_SC03_112

phase-36: S104 s104_d31 — func_80182FB4 banked at 0 through the whole-object gate + propagated — 3 levers → 0: the argument computed whole in each arm (block-global → $a1 by preference; cross-jump re-merges the tails, jump.c:2371), the merge value stored in its arm, the goto chain as a switch

2026-09-10 23:45:06 -06:00

ov_SC03_113

phase-36: S104 s104_d23 — func_80181864 banked at 0 through the whole-object gate + propagated — 3 levers → 0: a loop-local next for the list walk (cse.c:846-857), each arm stores before its counter so cross-jump keeps the four stores (jump.c:2371)

2026-09-10 22:59:47 -06:00

ov_SC03_114

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_115

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_116

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_117

phase-36: S104 s104_d23 — func_80181864 banked at 0 through the whole-object gate + propagated — 3 levers → 0: a loop-local next for the list walk (cse.c:846-857), each arm stores before its counter so cross-jump keeps the four stores (jump.c:2371)

2026-09-10 22:59:47 -06:00

ov_SC03_118

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC03_121

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC03_124

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC03_125

phase-36: S104 s104_d18 — func_8017C234 banked at 0 through the whole-object gate + propagated — d18 copy

2026-09-10 22:25:30 -06:00

ov_SC03_126

phase-36: T7 agents c14 + c16 — func_801670E4 (all seven levers; its refuted @stuck note replaced in 136 copies) and func_8013D178 (one pointer per if-group), 261 bodies; R23 widened to one open block and now closes func_8013D178 alone; c9's reading of func_8013CF68 (38 -> 10, not closed) (18,776 → 17,715 sites, R22 218/218)

2026-09-10 15:24:01 -06:00

ov_SC04_000

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_SC04_002

phase-36: S104 s104_d32 — func_801831B8 banked at 0 through the whole-object gate + propagated — d32 copy

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

ov_SC04_003

phase-36: S104 s104_d32 — func_80181744 banked at 0 through the whole-object gate + propagated — 3 levers → 0: the s16 timer as a memory decrement with a store per arm (combine sign-extend split, combine.c:1887-1935), the stack array at its real size, the late add as one expression

2026-09-10 23:46:53 -06:00

ov_SC04_004

phase-36: S104 s104_d32 — func_80181744 banked at 0 through the whole-object gate + propagated — 3 levers → 0: the s16 timer as a memory decrement with a store per arm (combine sign-extend split, combine.c:1887-1935), the stack array at its real size, the late add as one expression

2026-09-10 23:46:53 -06:00

ov_SC04_005

phase-36: S104 s104_d27 — func_80184B94 banked at 0 through the whole-object gate + propagated — $2 pin → 0: return constants instead of a result local (jump1 store-flag on hard $v0, jump.c:1140-1210, pins the order after the call-result copy)

2026-09-10 23:18:11 -06:00

ov_SC04_006

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_SC04_007

phase-36: S104 s104_d27 — func_8017F080 banked at 0 through the whole-object gate + propagated — d27 port onto a two-pin sibling

2026-09-10 23:19:10 -06:00

ov_SC04_008

phase-36: S104 s104_d25 — func_8017DE40 banked at 0 through the whole-object gate + propagated — d25 copy

2026-09-10 23:03:32 -06:00

ov_SC04_009

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_SC04_010

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_SC04_011

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC04_012

phase-36: S104 s104_d25 — func_8017E060 banked at 0 through the whole-object gate + propagated — $4 pin → 0: the twice-set pointer as one expression (combine leaves reg_n_refs on a folded pseudo, combine.c:2305-2337 → alter_reg gives it a slot, reload1.c:2327-2352)

2026-09-10 23:03:03 -06:00

ov_SC04_015

phase-36: S104 s104_d16 — func_8017F368 banked at 0 through the whole-object gate + propagated — 2 pins → 0: arrays indexed by the loop counter (givs combine into one register, loop.c:4341/5494), a u8 copy, one pointer per loop

2026-09-10 22:31:05 -06:00

ov_SC04_016

phase-36: S104 banks — R29/R31/R32/R33 pass: 4 of 4 MATCH (R28–R34 families' first residue pass: 945 classes in 842 s); R27 pass remainder: 2 more (25 MATCH of 995 in all); each IDENTICAL through the whole-object gate; R22 follows

2026-09-10 22:45:44 -06:00

ov_SC04_018

phase-36: S104 s104_d16 — func_8018A2E0 banked at 0 through the whole-object gate + propagated — d16 copy

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

ov_SC04_020

phase-36: S104 s104_d18 — func_8017C234 banked at 0 through the whole-object gate + propagated — d18 copy

2026-09-10 22:25:30 -06:00

ov_SC04_021

phase-36: T7 agents c14 + c16 — func_801670E4 (all seven levers; its refuted @stuck note replaced in 136 copies) and func_8013D178 (one pointer per if-group), 261 bodies; R23 widened to one open block and now closes func_8013D178 alone; c9's reading of func_8013CF68 (38 -> 10, not closed) (18,776 → 17,715 sites, R22 218/218)

2026-09-10 15:24:01 -06:00

ov_SC05_000

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_SC05_001

phase-36: S104 s104_d31 — func_80182FB4 banked at 0 through the whole-object gate + propagated — 3 levers → 0: the argument computed whole in each arm (block-global → $a1 by preference; cross-jump re-merges the tails, jump.c:2371), the merge value stored in its arm, the goto chain as a switch

2026-09-10 23:45:06 -06:00

ov_SC05_002

phase-36: S104 sweep banks part 2 — 39 of 44 MATCH rows (R27 ports 21, R7 do-while marked 7, R8/R18/R12/R19/R20/R9) + 35 siblings, each IDENTICAL through the whole-object gate; R22 follows

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

ov_SC05_003

phase-36: S104 — the widened R31/R35 pass (882 classes, 482 s): delever_regen --bank: 4 of 4 MATCH row(s) banked, 1 sibling(s) propagated — no

2026-09-11 00:36:21 -06:00

ov_SC05_004

phase-36: S104 s104_d23 — func_801800F8 banked at 0 through the whole-object gate + propagated — d23 copy

2026-09-10 23:00:51 -06:00

ov_SC05_005

phase-36: S104 — the widened R31/R35 pass (882 classes, 482 s): delever_regen --bank: 4 of 4 MATCH row(s) banked, 1 sibling(s) propagated — no

2026-09-11 00:36:21 -06:00

ov_SC05_006

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC05_007

phase-36: S104 sweep banks part 2 — 39 of 44 MATCH rows (R27 ports 21, R7 do-while marked 7, R8/R18/R12/R19/R20/R9) + 35 siblings, each IDENTICAL through the whole-object gate; R22 follows

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

ov_SC05_008

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_SC05_009

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC05_010

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_SC05_011

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_SC05_017

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_SC05_018

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC05_019

phase-36: T7 agents c14 + c16 — func_801670E4 (all seven levers; its refuted @stuck note replaced in 136 copies) and func_8013D178 (one pointer per if-group), 261 bodies; R23 widened to one open block and now closes func_8013D178 alone; c9's reading of func_8013CF68 (38 -> 10, not closed) (18,776 → 17,715 sites, R22 218/218)

2026-09-10 15:24:01 -06:00

ov_SC06_000

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC06_006

phase-36: S104 — the widened R31/R35 pass (882 classes, 482 s): delever_regen --bank: 4 of 4 MATCH row(s) banked, 1 sibling(s) propagated — no

2026-09-11 00:36:21 -06:00

ov_SC06_008

phase-36: S104 s104_d34 — func_8017EF54 banked at 0 through the whole-object gate + propagated — d34 copy

2026-09-11 00:10:33 -06:00

ov_SC06_010

phase-36: S104 s104_d34 — func_80181408 banked at 0 through the whole-object gate + propagated — 2 levers + a dead pad → 0: the address alias for the second call (cse.c:1937/2107), the goto chain as an if/else with a store per arm, the field decremented in place

2026-09-11 00:09:58 -06:00

ov_SC06_011

phase-36: S104 d3 — func_8017FB4C at 0 levers (was 1 $2 pin): the goto chain as structured if/else with one constant store per arm, the flag test before the angle mask (sched.c:2428 tie-break → allocno_compare 8333 > 8000), one variable for the global and its child; 4 bodies, gate IDENTICAL each

2026-09-10 21:11:56 -06:00

ov_SC06_013

phase-36: S104 d3 — func_8017FB4C at 0 levers (was 1 $2 pin): the goto chain as structured if/else with one constant store per arm, the flag test before the angle mask (sched.c:2428 tie-break → allocno_compare 8333 > 8000), one variable for the global and its child; 4 bodies, gate IDENTICAL each

2026-09-10 21:11:56 -06:00

ov_SC06_014

phase-36: S104 d3 — func_8017FB4C at 0 levers (was 1 $2 pin): the goto chain as structured if/else with one constant store per arm, the flag test before the angle mask (sched.c:2428 tie-break → allocno_compare 8333 > 8000), one variable for the global and its child; 4 bodies, gate IDENTICAL each

2026-09-10 21:11:56 -06:00

ov_SC06_015

phase-36: S104 d3 — func_8017FB4C at 0 levers (was 1 $2 pin): the goto chain as structured if/else with one constant store per arm, the flag test before the angle mask (sched.c:2428 tie-break → allocno_compare 8333 > 8000), one variable for the global and its child; 4 bodies, gate IDENTICAL each

2026-09-10 21:11:56 -06:00

ov_SC06_016

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC06_018

phase-36: S104 s104_d34 — func_8017ED60 banked at 0 through the whole-object gate + propagated — d34 copy

2026-09-11 00:11:28 -06:00

ov_SC06_020

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_SC06_022

phase-36: S104 s104_d34 — func_80181408 banked at 0 through the whole-object gate + propagated — 2 levers + a dead pad → 0: the address alias for the second call (cse.c:1937/2107), the goto chain as an if/else with a store per arm, the field decremented in place

2026-09-11 00:09:58 -06:00

ov_SC06_024

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC06_025

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC06_027

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_SC06_029

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC06_030

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_SC06_032

phase-36: S104 s104_d34 — func_8018BA4C banked at 0 through the whole-object gate + propagated — d34 copy

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

ov_SC06_033

phase-36: S104 s104_d34 — func_80181408 banked at 0 through the whole-object gate + propagated — 2 levers + a dead pad → 0: the address alias for the second call (cse.c:1937/2107), the goto chain as an if/else with a store per arm, the field decremented in place

2026-09-11 00:09:58 -06:00

ov_SC07_000

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_SC07_001

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC07_002

phase-36: S104 part-3 bank (R37 ×4 + the all-families pass since part 2, live residue only), interrupted by a 590 s tool timeout mid-run — the 30 files it had written verified by R22 check-all 218/218 before this commit; the rest resumes

2026-09-11 00:27:14 -06:00

ov_SC07_006

phase-36: S104 sweep banks part 2 — 39 of 44 MATCH rows (R27 ports 21, R7 do-while marked 7, R8/R18/R12/R19/R20/R9) + 35 siblings, each IDENTICAL through the whole-object gate; R22 follows

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

ov_SC07_007

phase-36: S104 sweep banks part 2 — 39 of 44 MATCH rows (R27 ports 21, R7 do-while marked 7, R8/R18/R12/R19/R20/R9) + 35 siblings, each IDENTICAL through the whole-object gate; R22 follows

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

ov_SC07_008

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_SC07_009

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_SC07_010

phase-36: S104 sweep banks part 2 — 39 of 44 MATCH rows (R27 ports 21, R7 do-while marked 7, R8/R18/R12/R19/R20/R9) + 35 siblings, each IDENTICAL through the whole-object gate; R22 follows

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

ov_SC07_011

phase-36: S104 sweep banks part 2 — 39 of 44 MATCH rows (R27 ports 21, R7 do-while marked 7, R8/R18/R12/R19/R20/R9) + 35 siblings, each IDENTICAL through the whole-object gate; R22 follows

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

resident

phase-36: T7 sweep s5 — the TAIL closes at 36%: 285 of 800 bodies lever-free for zero tokens (29,527 → 29,204 sites, R22 218/218)

2026-09-10 07:21:39 -06:00

shared

phase-36: S104 part-3 bank resumed — 6 of 38 MATCH rows banked (the rest banked before the timeout); e1–e5 TU-batch packs; R22 follows

2026-09-11 00:32:13 -06:00

800_b_2.c

phase-36: S104 sweep banks part 2 — 39 of 44 MATCH rows (R27 ports 21, R7 do-while marked 7, R8/R18/R12/R19/R20/R9) + 35 siblings, each IDENTICAL through the whole-object gate; R22 follows

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

800_b_o0a.c

…

800_b.c

…

800_c.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

800_shared.h

…

800.c

phase-36: S104 part-3 bank resumed — 6 of 38 MATCH rows banked (the rest banked before the timeout); e1–e5 TU-batch packs; R22 follows

2026-09-11 00:32:13 -06:00

800b2.c

…

apicard1.c

…

apicard2.c

…

apicard3.c

…

apicard4.c

…

apicard5.c

…

apicard6.c

…

apicard7.c

…

boot.c

…

gap.c

…

libapi1.c

…

libapi2.c

…

libc2_1.c

…

libc2_2.c

…

libcd1.c

…

libcd2.c

…

libetc.c

…

libgpu2.c

…

libgpu.c

…

libgs1.c

…

libgs2.c

…

libgs3.c

…

libgs4.c

…

libgs5.c

…

libgs6.c

…

libgs7.c

…

libgs8.c

…

libgte1.c

…

libgte2.c

…

libgte3.c

…

libgte4.c

…

libgte5.c

…

libgte6.c

…

libgte7.c

…

libgte8.c

…

libgte9.c

…

libgte10.c

…

libgte11.c

…

libgte12.c

…

libgte13.c

…

libgte14.c

…

libgte15.c

…

libgte16.c

…

libgte17.c

…

libgte18.c

…

libgte19.c

…

libgte20.c

…

libgte21.c

…

libgte22.c

…

libgte23.c

…

libgte24.c

…

libgte25.c

…

libgte26.c

…

libgte27.c

…

libgte28.c

…

libgte29.c

…

libgte30.c

…

libmcrd1.c

…

libmcrd2.c

…

libpad1.c

…

libpad2.c

…

NOTICE.md

…

sgap_2.c

…

sgap_3.c

…

sgap_4.c

phase-36: T7 sweep s5 — the TAIL closes at 36%: 285 of 800 bodies lever-free for zero tokens (29,527 → 29,204 sites, R22 218/218)

2026-09-10 07:21:39 -06:00

sgap_5.c

…

sgap_6.c

…

sgap_8.c

phase-36: T7 sweep s5 — the TAIL closes at 36%: 285 of 800 bodies lever-free for zero tokens (29,527 → 29,204 sites, R22 218/218)

2026-09-10 07:21:39 -06:00

sgap.c

…

snd1.c

…

snd2.c

…

snd3.c

…

snd4.c

…

snd5.c

…

snd6.c

…

snd7.c

…

snd8.c

…

snd9.c

…

snd10.c

…

snd11.c

…

snd12.c

…