Drew T 963713cf47 phase-36: S104 e30 func_8018C14C 2 → 1 lever (one pin + a marked do-while in place of the asm barrier)

2026-09-11 04:46:57 -06:00

..

md_MAIN_001

src(phase-36): T4 batch tus9 — delever: batch tus9 — 300 files (TUs; 383 drawable) · 1901 bodies: 454 lever-free, 1430 residue, 8 refused · sites removed 2244 / needed 2937 / refused 42 / deferred 9 · replays 522 (0 disagreed) · compiles 5262 in 294 s wall · final 300/300 identical · written 297 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,459 sites in 12,656 bodies (1,909 distinct) · marked !FAKE 32,473 · UNMARKED 1,986 (delever_cycle)

2026-09-09 04:15:14 -06:00

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

src(phase-36): T4 batch tus9 — delever: batch tus9 — 300 files (TUs; 383 drawable) · 1901 bodies: 454 lever-free, 1430 residue, 8 refused · sites removed 2244 / needed 2937 / refused 42 / deferred 9 · replays 522 (0 disagreed) · compiles 5262 in 294 s wall · final 300/300 identical · written 297 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,459 sites in 12,656 bodies (1,909 distinct) · marked !FAKE 32,473 · UNMARKED 1,986 (delever_cycle)

2026-09-09 04:15:14 -06:00

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

src(phase-36): T4 batch tus9 — delever: batch tus9 — 300 files (TUs; 383 drawable) · 1901 bodies: 454 lever-free, 1430 residue, 8 refused · sites removed 2244 / needed 2937 / refused 42 / deferred 9 · replays 522 (0 disagreed) · compiles 5262 in 294 s wall · final 300/300 identical · written 297 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,459 sites in 12,656 bodies (1,909 distinct) · marked !FAKE 32,473 · UNMARKED 1,986 (delever_cycle)

2026-09-09 04:15:14 -06:00

md_MAIN_014

src(phase-36): T4 batch tus9 — delever: batch tus9 — 300 files (TUs; 383 drawable) · 1901 bodies: 454 lever-free, 1430 residue, 8 refused · sites removed 2244 / needed 2937 / refused 42 / deferred 9 · replays 522 (0 disagreed) · compiles 5262 in 294 s wall · final 300/300 identical · written 297 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,459 sites in 12,656 bodies (1,909 distinct) · marked !FAKE 32,473 · UNMARKED 1,986 (delever_cycle)

2026-09-09 04:15:14 -06:00

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

src(phase-36): T4 batch tus9 — delever: batch tus9 — 300 files (TUs; 383 drawable) · 1901 bodies: 454 lever-free, 1430 residue, 8 refused · sites removed 2244 / needed 2937 / refused 42 / deferred 9 · replays 522 (0 disagreed) · compiles 5262 in 294 s wall · final 300/300 identical · written 297 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,459 sites in 12,656 bodies (1,909 distinct) · marked !FAKE 32,473 · UNMARKED 1,986 (delever_cycle)

2026-09-09 04:15:14 -06:00

md_MAIN_017

…

md_MAIN_018

src(phase-36): T4 batch tus9 — delever: batch tus9 — 300 files (TUs; 383 drawable) · 1901 bodies: 454 lever-free, 1430 residue, 8 refused · sites removed 2244 / needed 2937 / refused 42 / deferred 9 · replays 522 (0 disagreed) · compiles 5262 in 294 s wall · final 300/300 identical · written 297 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,459 sites in 12,656 bodies (1,909 distinct) · marked !FAKE 32,473 · UNMARKED 1,986 (delever_cycle)

2026-09-09 04:15:14 -06:00

md_MAIN_019

phase-36: T5 — the consolidation applied (644 files: 8,951 per-TU GTE definitions gone, 629 clobber variants byte-identical without the clobber, 70 kept as marked levers, 575 direct statements → canonical calls, 85 header-bound homonyms kept) + the marker repair (scrub 344 misplaced, re-mark 349); four instrument fixes: scoped renames, header-bound homonyms kept, object-like macros, the canonical table stable (the header's definitions in the inventory) and the census cache keyed on the tables; R22 218/218; the number 34,090 (33,625 + 465 GTE levers) all marked, 0 orphans, --check OK; kit corpus; log entry

2026-09-09 06:29:00 -06:00

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

src(phase-36): T4 batch tus10 — delever: batch tus10 — 83 files (TUs; 83 drawable) · 362 bodies: 99 lever-free, 258 residue, 2 refused · sites removed 411 / needed 483 / refused 37 / deferred 3 · replays 4 (0 disagreed) · compiles 1171 in 25 s wall · final 83/83 identical · written 83 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,100 sites in 12,570 bodies (1,823 distinct) · marked !FAKE 32,973 · UNMARKED 1,127 (delever_cycle)

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

md_MAIN_029

src(phase-36): T4 batch tus10 — delever: batch tus10 — 83 files (TUs; 83 drawable) · 362 bodies: 99 lever-free, 258 residue, 2 refused · sites removed 411 / needed 483 / refused 37 / deferred 3 · replays 4 (0 disagreed) · compiles 1171 in 25 s wall · final 83/83 identical · written 83 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,100 sites in 12,570 bodies (1,823 distinct) · marked !FAKE 32,973 · UNMARKED 1,127 (delever_cycle)

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

md_MAIN_030

src(phase-36): T4 batch tus10 — delever: batch tus10 — 83 files (TUs; 83 drawable) · 362 bodies: 99 lever-free, 258 residue, 2 refused · sites removed 411 / needed 483 / refused 37 / deferred 3 · replays 4 (0 disagreed) · compiles 1171 in 25 s wall · final 83/83 identical · written 83 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,100 sites in 12,570 bodies (1,823 distinct) · marked !FAKE 32,973 · UNMARKED 1,127 (delever_cycle)

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

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

src(phase-36): T4 batch tus10 — delever: batch tus10 — 83 files (TUs; 83 drawable) · 362 bodies: 99 lever-free, 258 residue, 2 refused · sites removed 411 / needed 483 / refused 37 / deferred 3 · replays 4 (0 disagreed) · compiles 1171 in 25 s wall · final 83/83 identical · written 83 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,100 sites in 12,570 bodies (1,823 distinct) · marked !FAKE 32,973 · UNMARKED 1,127 (delever_cycle)

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

md_MAIN_039

src(phase-36): T5 batch gte2 — gte_consolidate: batch gte2 — 244 files: 237 consolidated, 0 defs-only, 6 unchanged, 1 refused, 0 no-recipe · definitions deleted 895 / renamed as lever variants 60 (variant trials: 213 freed, 65 kept) · header-bound definitions kept 5 · use renames 105 · direct statements → calls 115 / lever 108 / unmatched 17 · markers 184 · compiles 1240 · final 237/237 written files identical · refused 1 (restored, ledgered) | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,085 sites in 12,710 bodies (1,757 distinct) · marked !FAKE 33,741 · UNMARKED 344 (delever_cycle)

2026-09-09 06:01:52 -06:00

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

src(phase-36): T4 batch tus10 — delever: batch tus10 — 83 files (TUs; 83 drawable) · 362 bodies: 99 lever-free, 258 residue, 2 refused · sites removed 411 / needed 483 / refused 37 / deferred 3 · replays 4 (0 disagreed) · compiles 1171 in 25 s wall · final 83/83 identical · written 83 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,100 sites in 12,570 bodies (1,823 distinct) · marked !FAKE 32,973 · UNMARKED 1,127 (delever_cycle)

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

md_MAIN_042

src(phase-36): T4 batch tus10 — delever: batch tus10 — 83 files (TUs; 83 drawable) · 362 bodies: 99 lever-free, 258 residue, 2 refused · sites removed 411 / needed 483 / refused 37 / deferred 3 · replays 4 (0 disagreed) · compiles 1171 in 25 s wall · final 83/83 identical · written 83 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,100 sites in 12,570 bodies (1,823 distinct) · marked !FAKE 32,973 · UNMARKED 1,127 (delever_cycle)

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

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

src(phase-36): T4 batch tus10 — delever: batch tus10 — 83 files (TUs; 83 drawable) · 362 bodies: 99 lever-free, 258 residue, 2 refused · sites removed 411 / needed 483 / refused 37 / deferred 3 · replays 4 (0 disagreed) · compiles 1171 in 25 s wall · final 83/83 identical · written 83 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,100 sites in 12,570 bodies (1,823 distinct) · marked !FAKE 32,973 · UNMARKED 1,127 (delever_cycle)

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

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_e27 — func_801AE82C banked at 0 through the whole-object gate + propagated — $0 pin + pad → 0: test-then-compound-assign (local-alloc.c:1004-1006)

2026-09-11 04:07:04 -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 e15 banked 4 (800.c); R40/R41 pass banked 2 of 2 (774 classes, 110 s); e20–e22 packs

2026-09-11 02:43:53 -06:00

ov_SC01_080

phase-36: S104 e19 func_80180D54 3 → 2 levers (the mask pin by per-block masks; two launders remain)

2026-09-11 02:47:51 -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_e13 — func_801842E0 banked at 0 through the whole-object gate + propagated — 2 pins + launder → 0: two updates as one expression (set_preference global.c:1535), the narrowing inside the call

2026-09-11 02:05:39 -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 s104_e18 — func_80182868 banked at 0 through the whole-object gate + propagated — launder → 0: the same split

2026-09-11 02:45:18 -06:00

ov_SC02_028

phase-36: S104 s104_e18 — func_80180970 banked at 0 through the whole-object gate + propagated — e18 copy

2026-09-11 02:45:36 -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 widened R39 pass banked 1 of 1 (732 classes, 112 s); R42 pass banked 2 of 2 (745 classes, 2,640 s)

2026-09-11 04:10:21 -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 s104_e28 — func_801889B4 banked at 0 through the whole-object gate + propagated — e28 copy

2026-09-11 04:04:10 -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_e28 — func_801842CC banked at 0 through the whole-object gate + propagated — 2 pins + launder → t split out, one expression, + a marked do-while (sched.c:2053-2080) — ruling (a)

2026-09-11 04:03:50 -06:00

ov_SC03_028

phase-36: S104 s104_e17 — func_8017F278 banked at 0 through the whole-object gate + propagated — e17 copy

2026-09-11 02:37:36 -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 e15 banked 4 (800.c); R40/R41 pass banked 2 of 2 (774 classes, 110 s); e20–e22 packs

2026-09-11 02:43:53 -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 s104_e17 — func_8017D994 banked at 0 through the whole-object gate + propagated — e17 copy

2026-09-11 02:37:19 -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 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_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_e26 — func_80182944 banked at 0 through the whole-object gate + propagated — e26 sibling

2026-09-11 04:01:40 -06:00

ov_SC03_111

phase-36: S104 R39 pass banked 6 of 6 (778 classes, 32 s); e17 copies (5) banked; func_80188A30 parked (void → s32)

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

ov_SC03_112

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

2026-09-11 04:01:40 -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 R39 pass banked 6 of 6 (778 classes, 32 s); e17 copies (5) banked; func_80188A30 parked (void → s32)

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

ov_SC03_118

phase-36: S104 R39 pass banked 6 of 6 (778 classes, 32 s); e17 copies (5) banked; func_80188A30 parked (void → s32)

2026-09-11 02:39:01 -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 R39 pass banked 6 of 6 (778 classes, 32 s); e17 copies (5) banked; func_80188A30 parked (void → s32)

2026-09-11 02:39:01 -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_e24 — func_80185B70 banked at 0 through the whole-object gate + propagated — e24 sibling: an unmarked do-while removed

2026-09-11 03:10:54 -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 e30 func_8018C14C 2 → 1 lever (one pin + a marked do-while in place of the asm barrier)

2026-09-11 04:46:57 -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_e33 — func_8017F0EC banked at 0 through the whole-object gate + propagated — launder → a class-E declaration alias of D_801C8B64 (R26's form; cse.c:6776-6803)

2026-09-11 04:42:45 -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: S104 s104_e17 — func_8017E1D4 banked at 0 through the whole-object gate + propagated — e17 copy

2026-09-11 02:37:53 -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 s104_e28 — func_80185354 banked at 0 through the whole-object gate + propagated — $16 pin → 0: an indexed loop (record_giv loop.c:4341; combine_givs :5494)

2026-09-11 04:04:29 -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_e26 — func_8017E764 banked at 0 through the whole-object gate + propagated — $3 pin → 0: the early temp renamed to val (sched.c:2489-2490) + i = 0 moved up; the byte-needed volatile kept unmarked (decision 3)

2026-09-11 04:02:40 -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 widened R39 pass banked 1 of 1 (732 classes, 112 s); R42 pass banked 2 of 2 (745 classes, 2,640 s)

2026-09-11 04:10:21 -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 s104_e24 — func_80181998 banked at 0 through the whole-object gate + propagated — e24 sibling: a marked do-while removed

2026-09-11 03:10:22 -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 s104_e22 — func_80184EFC banked at 0 through the whole-object gate + propagated — 2 pins → 0: the parameter copy deleted, the flags |= in place, the tag as one expression (sched.c:2507-2544)

2026-09-11 03:54:10 -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_80182B74 banked at 0 through the whole-object gate + propagated — e5 copy

2026-09-11 01:57:45 -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 s104_e17 — func_8017E7E8 banked at 0 through the whole-object gate + propagated — e17 copy

2026-09-11 02:38:10 -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: S104 s104_e34 — func_800D128C banked at 0 through the whole-object gate + propagated — 3 levers → 0 asm + a class-E call alias: s16 ret, gotos into case 16 (jump.c:2371/2406/3991-3992; varasm.c:478-485)

2026-09-11 04:44:51 -06:00

shared

phase-36: S104 widened R39 pass banked 1 of 1 (732 classes, 112 s); R42 pass banked 2 of 2 (745 classes, 2,640 s)

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

800_b_2.c

phase-36: S104 s104_e23 — func_800314DC banked at 0 through the whole-object gate + propagated — 2 pins + a pad → 0: a reused dead local, stores in each arm, the pointer folded (local-alloc.c:472/1598; reload1.c:2331-2352)

2026-09-11 03:22:13 -06:00

800_b_o0a.c

…

800_b.c

src(phase-36): T4 batch tus9 — delever: batch tus9 — 300 files (TUs; 383 drawable) · 1901 bodies: 454 lever-free, 1430 residue, 8 refused · sites removed 2244 / needed 2937 / refused 42 / deferred 9 · replays 522 (0 disagreed) · compiles 5262 in 294 s wall · final 300/300 identical · written 297 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,459 sites in 12,656 bodies (1,909 distinct) · marked !FAKE 32,473 · UNMARKED 1,986 (delever_cycle)

2026-09-09 04:15:14 -06:00

800_c.c

phase-36: S104 s104_e27 — func_800377D8 banked at 0 through the whole-object gate + propagated — pin + 3 barriers → 0: nxt set twice (birthing_insn_p sched.c:2469-2490) + the zero stores in each arm (jump.c:1985)

2026-09-11 04:07:22 -06:00

800_shared.h

…

800.c

phase-36: S104 s104_e29 — func_8002AAB4 banked at 0 through the whole-object gate + propagated — 4 pins → 0: four call results + (a+b+c+d)/4 (expmed.c:2979-2995) + one table index with the loop-test load in thr (loop.c:4341)

2026-09-11 04:08:21 -06:00

800b2.c

…

apicard1.c

…

apicard2.c

…

apicard3.c

…

apicard4.c

…

apicard5.c

…

apicard6.c

…

apicard7.c

…

boot.c

src(phase-36): T4 batch tus9 — delever: batch tus9 — 300 files (TUs; 383 drawable) · 1901 bodies: 454 lever-free, 1430 residue, 8 refused · sites removed 2244 / needed 2937 / refused 42 / deferred 9 · replays 522 (0 disagreed) · compiles 5262 in 294 s wall · final 300/300 identical · written 297 files | R22 check-all: 218 passed, 0 failed of 218 | census: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 34,459 sites in 12,656 bodies (1,909 distinct) · marked !FAKE 32,473 · UNMARKED 1,986 (delever_cycle)

2026-09-09 04:15:14 -06:00

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

…