Drew T 14fba34119 phase-36: S104 s104_e5 — func_80181F40 banked at 0 through the whole-object gate + propagated — e5 copy

2026-09-11 01:57:27 -06:00

..

md_MAIN_001

…

md_MAIN_003

…

md_MAIN_007

…

md_MAIN_008

…

md_MAIN_009

…

md_MAIN_011

…

md_MAIN_013

…

md_MAIN_014

…

md_MAIN_015

…

md_MAIN_016

…

md_MAIN_017

…

md_MAIN_018

…

md_MAIN_019

…

md_MAIN_020

…

md_MAIN_021

…

md_MAIN_022

…

md_MAIN_023

…

md_MAIN_024

…

md_MAIN_025

…

md_MAIN_026

…

md_MAIN_027

…

md_MAIN_028

…

md_MAIN_029

…

md_MAIN_030

…

md_MAIN_031

…

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

…

md_MAIN_041

…

md_MAIN_042

…

md_MAIN_043

…

md_MAIN_044

…

md_MAIN_045

…

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

…

md_SC03_054

…

md_SC03_056

…

md_SC03_073

…

md_SC03_074

…

md_SC03_075

…

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

…

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

…

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

…

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_e8 — func_801AB78C banked at 0 through the whole-object gate + propagated — $3 pin → 0: u8 b, s16 t inside the test (two single-user zero-extensions fold)

2026-09-11 01:43:38 -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 s104_e6 — func_8017DE10 banked at 0 through the whole-object gate + propagated — e6 copy

2026-09-11 01:31:22 -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_e9 — func_8018209C banked at 0 through the whole-object gate + propagated — pin + keepalive + gte asm → 0: e7's func_80181E98 ported, s32 through the file's existing _impl asm-label alias (class E, deferred)

2026-09-11 01:51:08 -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_e6 — func_8017EE3C banked at 0 through the whole-object gate + propagated — e6 copy

2026-09-11 01:31:41 -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_e6 — func_80182F4C banked at 0 through the whole-object gate + propagated — $4 pin → 0: the load split from its update, p1 = list + dx (prune_preferences; global.c:1535-1573, find_reg :950-953)

2026-09-11 01:28:31 -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 s104_e6 — func_8017FBC8 banked at 0 through the whole-object gate + propagated — e6 copy

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

ov_SC03_028

phase-36: S104 s104_e6 — func_8017D370 banked at 0 through the whole-object gate + propagated — e6 copy

2026-09-11 01:32:20 -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_e6 — func_8017E7C0 banked at 0 through the whole-object gate + propagated — e6 copy

2026-09-11 01:29:37 -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_e6 — func_8017C95C banked at 0 through the whole-object gate + propagated — e6 copy

2026-09-11 01:32:41 -06:00

ov_SC03_112

phase-36: S104 s104_e6 — func_801808D8 banked at 0 through the whole-object gate + propagated — e6 copy

2026-09-11 01:30:18 -06:00

ov_SC03_113

phase-36: S104 s104_e6 — func_8017E878 banked at 0 through the whole-object gate + propagated — e6 copy

2026-09-11 01:33:05 -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: S104 s104_e6 — func_8017E8D0 banked at 0 through the whole-object gate + propagated — e6 copy

2026-09-11 01:30:38 -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 s104_e6 — func_8017EA24 banked at 0 through the whole-object gate + propagated — e6 copy

2026-09-11 01:33:51 -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_e6 — func_801808D8 banked at 0 through the whole-object gate + propagated — e6 copy

2026-09-11 01:30:18 -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_e6 — func_8017DB00 banked at 0 through the whole-object gate + propagated — e6 copy

2026-09-11 01:34:16 -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 s104_e6 — func_8017EE80 banked at 0 through the whole-object gate + propagated — e6 copy

2026-09-11 01:31:02 -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_e5 — func_8018B9D4 banked at 0 through the whole-object gate + propagated — pin → 0: compound assignment on the field, the temp chain + pad + keepalives deleted (combine.c:1887-1940; local-alloc.c:1003-1007)

2026-09-11 01:56:49 -06:00

ov_SC06_020

phase-36: S104 s104_e5 — func_80181F40 banked at 0 through the whole-object gate + propagated — e5 copy

2026-09-11 01:57:27 -06:00

ov_SC06_022

phase-36: S104 s104_e5 — func_80185E64 banked at 0 through the whole-object gate + propagated — e5 copy

2026-09-11 01:55:26 -06:00

ov_SC06_024

phase-36: S104 s104_e5 — func_8018833C banked at 0 through the whole-object gate + propagated — e5 copy

2026-09-11 01:56:01 -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_e5 — func_80185F4C banked at 0 through the whole-object gate + propagated — e5 copy

2026-09-11 01:57:10 -06:00

ov_SC06_033

phase-36: S104 s104_e5 — func_80186858 banked at 0 through the whole-object gate + propagated — e5 copy

2026-09-11 01:55:44 -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

…

shared

phase-36: S104 s104_e6 — func_8017D0BC banked at 0 through the whole-object gate + propagated — e6 port onto the shared header (4 includers)

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

800_b_2.c

phase-36: S104 s104_e2 — func_800348A8 banked at 0 through the whole-object gate + propagated — → 0: return ++i raises the counter's refs past q's (allocno_compare global.c:587-603); the tree's hand-built q pointer deleted

2026-09-11 01:17:15 -06:00

800_b_o0a.c

…

800_b.c

…

800_c.c

phase-36: S104 s104_e3 — func_80036FB0 banked at 0 through the whole-object gate + propagated — keepalive + dead f64 → 0: the TU's own for-loop idiom over an indexed array (duplicate_loop_exit_test jump.c:2131; combine.c:2306 → reload1.c:2331 slot)

2026-09-11 01:06:00 -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

…

sgap_5.c

…

sgap_6.c

…

sgap_8.c

…

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

…