 Drew T
|
699fbbfdde
|
phase-36: S104 s104_d10 — func_8017EF88 banked at 0 through the whole-object gate + propagated — 3 pins + 2 keepalives + a do-while + a dead pad → 0: register unions {struct{s16 x,y;}v; s32 sxy;} — the field insert makes flow mark them live from entry (global.c:640-660)
|
2026-09-10 21:44:46 -06:00 |
|
|
Drew T
|
30fd6796f9
|
phase-36: generator R27 named_ports — the same function lever-free in another binary, ported by pairing the two original objects' relocation sequences (+ carried file-scope externs, the target's return type); wired into delever_regen and recipe_candidates; 511/1,010 residue classes have a donor, a 24-class probe closed 4; METHOD step 12 (S104's landings)
|
2026-09-10 21:43:05 -06:00 |
|
|
Drew T
|
830650946c
|
phase-36: S104 R22 check-all 218/218 after the d1–d9 + sweep banks; census 5,097 → 4,963 sites, 0 unmarked; lever_progress snapshot | 🛑 T7 RUNNING
|
2026-09-10 21:35:39 -06:00 |
|
|
Drew T
|
9108751393
|
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 |
|
|
Drew T
|
29c857eaa2
|
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 |
|
|
Drew T
|
f2c25f3727
|
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 |
|
|
Drew T
|
14210a8e67
|
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 |
|
|
Drew T
|
78d87919c2
|
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 |
|
|
Drew T
|
da9aad38c4
|
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 |
|
|
Drew T
|
9b85f42530
|
phase-36: S104 s104_d8 — func_80186440 banked at 0 through the whole-object gate + propagated — the $4 pin→0: the field increment as (*(u16 *)(p + 2))++ — a SUBREG destination fails birthing_insn_p (sched.c:2477-2490)
|
2026-09-10 21:23:41 -06:00 |
|
|
Drew T
|
d5111014d1
|
phase-36: S104 s104_d6 — func_8017B614 banked at 0 through the whole-object gate + propagated — 3 levers→0: the banked ov_SC01_000 variant ported (one-scope src, struct-member tail reads, D_8012694C[0] store)
|
2026-09-10 21:22:44 -06:00 |
|
|
Drew T
|
8030518bcc
|
phase-36: S104 d5 — func_801837E8 at 0 levers (was 1 $2 pin): the hoisted +0xFC temp folded into a compound assignment so the left side is born first (local-alloc.c:1486-1507, block_alloc's three-quantity order is by birth, not a sort); gate IDENTICAL each
|
2026-09-10 21:12:58 -06:00 |
|
|
Drew T
|
f644ecb9d2
|
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 |
|
|
Drew T
|
547571fd18
|
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 |
|
|
Drew T
|
55ef71b95f
|
phase-36: S104 d2 — func_80166F58 (ov_MAIN_012 class) at 0 levers (was 5): the banked SC04_011 header ported (return type from the TU's extern, table symbol renamed) + a re-extended short copy with a second use (combine.c:7926-7942, local-alloc.c:700); 8 bodies, gate IDENTICAL each
|
2026-09-10 21:07:10 -06:00 |
|
|
Drew T
|
7db8372ae2
|
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 |
|
|
Drew T
|
16411105e2
|
phase-36: kit corpus regenerated for the delever_regen and lever_census changes (tool_census --check OK, 0 gaps)
|
2026-09-10 20:59:56 -06:00 |
|
|
Drew T
|
98a4bbcb65
|
phase-36: S104 — the all-families free sweep running (2 R12 matches so far); agents d1–d5 drawn from sweep-judged classes; METHOD S104 section (Drew's rulings) | 🛑 T7 RUNNING, census 5,097 / 0 unmarked
|
2026-09-10 20:57:55 -06:00 |
|
|
Drew T
|
7b6418c179
|
phase-36: the census walker defaults to the tree's cross-file asm-macro table for every out-of-census caller (delever scrub/bank/judge) — S103's scrub false positive on an ENGINE_SHB launder reproduced and fixed; control still finds a real orphan; census unchanged 5,097 / 0 unmarked
|
2026-09-10 20:54:20 -06:00 |
|
|
Drew T
|
48176e51ff
|
phase-36: delever_regen forks worker processes after warming the shared caches (threads sat on the GIL with zero compiles) and appends each judged class to <label>.jsonl as it lands; the S104 all-families sweep runs
|
2026-09-10 20:50:56 -06:00 |
|
|
Drew T
|
c1ac890e3f
|
phase-36: S104 opens — Drew's dispositions of S103's four questions, read against sotn-decomp's tree (0 pins, !FAKE do-while kept as C, one GTE header with project-local macros); milestone amended: unclosed sites stay marked and go to the structs phase
|
2026-09-10 20:28:07 -06:00 |
|
|
Drew T
|
b27c987ba9
|
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 |
|
|
Drew T
|
94520756e0
|
phase-36: the R26 regen closes 28 classes (71 bodies); c55 and c53 close five tier classes; census 5,231 sites, 0 unmarked — exit 1 on 45 orphan !FAKE markers, scrubbed next (R22 218/218)
|
2026-09-10 19:05:22 -06:00 |
|
|
Drew T
|
0ef49b5154
|
phase-36: the S103 checkpoint refreshed at 89% context — 5,376 sites, the minimum-lever pivot, the late tools, the four decisions for Drew, what is in flight
|
2026-09-10 18:51:17 -06:00 |
|
|
Drew T
|
baac1f851c
|
phase-36: c56 ports the func_8013D9B0 minimum-lever text to ov_MAIN_012's 7-copy class; c54 ports func_8017B238 (8 bodies) (R22 218/218)
|
2026-09-10 18:48:23 -06:00 |
|
|
Drew T
|
c02fc7cd55
|
phase-36: minimum-lever banks — func_8013D9B0 (2 marked GTE asm instead of 34 levers) and func_80140958 (2 marked levers), 266 bodies; c52 closes four ov_SC06_010 classes with the R26 alias (R22 218/218)
|
2026-09-10 18:44:29 -06:00 |
|
|
Drew T
|
433aa07018
|
phase-36: c50 closes func_80136824 with zero levers body-only (off the types-phase list, 130 bodies); c49 func_8013F350 at two marked head levers (133 bodies); delever_regen survives stale sites (R22 218/218)
|
2026-09-10 18:38:42 -06:00 |
|
|
Drew T
|
aada3bdc2b
|
phase-36: the first minimum-lever bank (func_80177B5C: 1 marked launder instead of 23 levers, 133 bodies); c43/c44/c45/c37 closes with their cross-address copies (delever --port-scan); generator R26 alias_repeated_addresses (known-true: c45's close from its start text) (R22 218/218)
|
2026-09-10 18:32:46 -06:00 |
|
|
Drew T
|
8bc06a2cb8
|
phase-36: T7 agent c42 — func_80186A8C and func_80182058 closed through cross-jump readings (10 bodies); related.txt requires evidence before calling a same-name body a variant (R22 218/218)
|
2026-09-10 18:17:41 -06:00 |
|
|
Drew T
|
2a4f28f835
|
phase-36: where the residue is — 70% of the lever weight in 9 read classes; the minimum-lever pivot recorded
|
2026-09-10 18:12:03 -06:00 |
|
|
Drew T
|
54311fa359
|
phase-36: T7 agents c38 + c40 — func_80180EDC, func_8018431C, func_80185DD8, func_80184854 closed (30 bodies) (R22 218/218)
|
2026-09-10 18:11:17 -06:00 |
|
|
Drew T
|
321b540e7f
|
phase-36: propagate ignores body-local externs (re-propagation: 97 siblings banked of 145 candidates); R19 cast-arity regen 8 classes; c39 ports two variants; c41, c34, c32 closes; related.txt lists the same function lever-free elsewhere; cc1_dumps_tu.sh -dd (R22 218/218)
|
2026-09-10 18:07:41 -06:00 |
|
|
Drew T
|
7d5964b279
|
phase-36: T7 agents c36 + c35 — four tier classes closed (func_8014305C, func_80141874, func_8017DBE4, func_80185994; 39 bodies); R19 reads the arity a call's own cast asserts (known-true: c35's close from its start text) (R22 218/218)
|
2026-09-10 17:49:55 -06:00 |
|
|
Drew T
|
dd5e44c247
|
phase-36: T7 agent c33 — func_80169058 and func_80168D94 closed (per-arm call results, a load born last), 12 bodies; c31 proves func_80178970's pin irreducible in plain C (two passes each delete the copy; the milestone question raised) (R22 218/218)
|
2026-09-10 17:38:58 -06:00 |
|
|
Drew T
|
a2a1fc1865
|
phase-36: re-draw c30 — func_8017B614 closed with no do-while (one pointer across both arms; struct/array spellings let sched2 restore the order), 125 bodies (R22 218/218)
|
2026-09-10 17:32:29 -06:00 |
|
|
Drew T
|
5ddbc3a7f1
|
phase-36: c27's reading of func_8013CF68 (10; the address-spelling route refuted on mechanism); packs for the ≥5-copy tier (64); the S103 checkpoint refreshed at 12,957 sites
|
2026-09-10 17:18:29 -06:00 |
|
|
Drew T
|
01f066923d
|
phase-36: re-draw c21 — func_801397B0 closed (a do-while reference-weight wrapper, on the a4/c15 precedent), 125 bodies; c22's and c28's readings (func_8012E364 at 4, func_8013F350's head irreducible); --try parallel-safe per call with --keep (R22 218/218)
|
2026-09-10 17:14:30 -06:00 |
|
|
Drew T
|
44f7f8ddb6
|
phase-36: log correction — e984e5822's message says '14,xxx -> 13,083'; the start figure was 13,842 (a typed placeholder, R66/R85; not amended, P5c)
|
2026-09-10 16:58:14 -06:00 |
|
|
Drew T
|
e984e5822f
|
phase-36: re-draws c25 (func_80166F58, a narrowing copy) and c26 (func_80133CD4, split temps) closed, 254 bodies; tools/localalloc_sim.py (c26's local-alloc simulator, 0 mismatches over 150 blocks); propagate no longer trusts stale ledger hashes; R25 regen 3 classes; regen reports COMPILE-ERROR (14,xxx -> 13,083 sites, R22 218/218)
|
2026-09-10 16:58:01 -06:00 |
|
|
Drew T
|
96820256ce
|
phase-36: re-draws c24 (func_8012956C: a phantom 4th argument + a switch) and c23 (func_80133784: the exit block inside a real loop, overturning b4's de-loop reading) closed, 252 bodies; R25 trim_arguments; argcheck reads K&R definitions (95 callees were invisible); the selftest asserts every dispatched family is registered (R22 218/218)
|
2026-09-10 16:45:14 -06:00 |
|
|
Drew T
|
ae87bf75a7
|
phase-36: c17's reading of func_8013D9B0 (96 -> 15 in plain C; the last 15 are a GTE header macro — T5's question, for Drew)
|
2026-09-10 16:03:55 -06:00 |
|
|
Drew T
|
970d88f386
|
phase-36: T7 agent c15 — func_80135EB0 closed (one if per case defeats jump2's cross-jump, struct-spelled stores keep the dependence; the register swap via a do-while, banked on the a4 precedent and raised with Drew), 128 bodies (R22 218/218)
|
2026-09-10 16:03:01 -06:00 |
|
|
Drew T
|
a620e1880f
|
phase-36: generator R24 (the addPrim copy read as a whole word, c20's move) + its regen pass (2 classes, the func_80140D68 header on 140 objects); c13's reading of func_80140958 (43 -> 4, not closed) (R22 218/218)
|
2026-09-10 15:57:16 -06:00 |
|
|
Drew T
|
5eb46b267f
|
phase-36: T7 agent c20 — func_8013DD68 closed on a re-draw (the bit-field copy read as a whole word: a phantom flow-time mask reference), 128 bodies (16,273 → 16,015 sites, R22 218/218)
|
2026-09-10 15:49:51 -06:00 |
|
|
Drew T
|
9f2b6b24aa
|
phase-36: cc1_dumps_tu.sh takes a .c file and resolves ../shared includes (six agents had written their own dump.sh)
|
2026-09-10 15:43:03 -06:00 |
|
|
Drew T
|
71b9636905
|
phase-36: the S103 checkpoint — the five-agent lane, R22/R23 + delever_regen, the header-TU scorer fix, CI's verbatim guard, and what the next session must not rediscover
|
2026-09-10 15:41:13 -06:00 |
|
|
Drew T
|
750797a048
|
phase-36: T7 agent c18 — func_80176734 closed (one variable per role across blocks, s16 flag in a nested if, u8 copy), 128 bodies (R22 218/218)
|
2026-09-10 15:39:50 -06:00 |
|
|
Drew T
|
164825b5d8
|
phase-36: delever_regen — R22+R23 re-run over the whole residue closes 17 classes / 22 bodies with no agent; --try learns header TUs (24 classes had never been scorable) (17,715 → 17,692 sites, R22 218/218)
- tools/delever_regen.py: read-only pass (both starting texts, only the named families, delever_search --try --body,
one worker per class) + --bank (re-score on the current tree, apply_body_core, propagate); dictionary + SETUP rows
- pass 1: 1169 classes in 127 s, 14 MATCH; the 25 UNSCORED read before banking: 24 were header-TU classes whose
includer's ../shared include never resolved in --try (fixed; controlled: unchanged body 0, lever-free 32, mutated 1),
1 a body-local #define (R22/R23 now refuse preprocessor lines); pass 2 over header TUs: 104 judged, 3 MATCH
- banked: 14/14 + 3/3 (two shared headers IDENTICAL on 141 objects each); R23 12 classes, R22 5
- check-all 218 passed 0 failed; lever_census 17,692 marked 0 UNMARKED
|
2026-09-10 15:36:01 -06:00 |
|
|
Drew T
|
a060705725
|
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 |
|
|
Drew T
|
6252516263
|
phase-36: T7 agent c11 — func_80175AB8 closed (derived-pointer reads, one temp for both $a1 values, a cast-wrapped table read), 124 bodies; cc1_dumps_tu.sh dumps .cse2 and .jump2 (R22 218/218)
|
2026-09-10 15:15:34 -06:00 |
|