 Drew T
|
310cea91fa
|
phase-36: S105 — f3 landed 5/5 (4 plain C + 1 minimum-lever proven), R22 218/218, census 4,111 / 0 unmarked (exit 0); checkpoint refreshed | 🛑 T7 RUNNING
|
2026-09-11 13:10:57 -06:00 |
|
|
Drew T
|
3eec512315
|
phase-36: S105 — f1 landed 4/4 (2 plain C + 2 minimum-lever), R22 218/218, census 4,125 / 0 unmarked (exit 0); checkpoint refreshed | 🛑 T7 RUNNING
|
2026-09-11 12:38:12 -06:00 |
|
|
Drew T
|
e859bac7af
|
phase-36: S105 — f2 landed 4/4 (3 plain C + 1 minimum-lever), R44 harvested + R22's && blind spot fixed, 3 regen banks, R22 218/218, census 4,132 / 0 unmarked (exit 0) | 🛑 T7 RUNNING
|
2026-09-11 12:01:17 -06:00 |
|
|
Drew T
|
ae522dbc49
|
phase-36: S105 harvest f2 — generator R44 counter_derived_pointer (known-true 0 on e21's start text, 18 on f2's loop 2), R22 extended to same-base offsets, the && read-as-&p refusal in R22/R44 fixed; selftest OK
|
2026-09-11 11:56:31 -06:00 |
|
|
Drew T
|
44d4492704
|
phase-36: S104 — docs/tool-index.md regenerated by the kit corpus run
|
2026-09-11 06:34:06 -06:00 |
|
|
Drew T
|
a3a0044e38
|
phase-36: S104 FINAL — e35–e38 resumed and banked (e37's four closes + 19 copies), R22 218/218 at 765704ca5, census 4,152 / 0 unmarked (exit 0), nothing in flight; checkpoint final | 🛑 T7 RUNNING
|
2026-09-11 06:33:50 -06:00 |
|
|
Drew T
|
e69218dc51
|
phase-36: cookbook §456 — the S104 lever-removal move catalog (R16)
|
2026-09-11 05:50:24 -06:00 |
|
|
Drew T
|
2dbe59b61e
|
phase-36: decision log P36 S104 (Drew's four rulings via sotn, the sweep-before-agent rule, the TU-batch lane, six instrument findings); kit corpus regenerated (tool_census --check OK)
|
2026-09-11 05:49:47 -06:00 |
|
|
Drew T
|
046e846007
|
phase-36: S104 R22 218/218 after e30–e34; census exit 0 | 🛑 T7 RUNNING
|
2026-09-11 04:54:50 -06:00 |
|
|
Drew T
|
37b7433691
|
phase-36: S104 agent-start pass — 14 MATCH of 27, 0 new banks (all already closed by agents or parked; the bank filter recorded in SETUP); e37 packs (ov_SC03_097)
|
2026-09-11 04:48:05 -06:00 |
|
|
Drew T
|
47166c6d3f
|
phase-36: S104 log + checkpoint refresh (~08:00) — ~175 closes, R27–R43, census 4,272 / 0 unmarked, e30–e34 in flight | 🛑 T7 RUNNING
|
2026-09-11 04:14:49 -06:00 |
|
|
Drew T
|
2fe2d27f1f
|
phase-36: generator R43 sign_test_to_mask (+ dead-pad drop; a composition move); e26 (11) + e28 (6) banked
|
2026-09-11 04:06:10 -06:00 |
|
|
Drew T
|
c97b798d9d
|
phase-36: delever_regen also starts from an agent's lever-free near-miss (e22: the families finished its 28 body in one pass); e22 banked 3 (ov_SC06_029); func_80185D44 stays at its one lever
|
2026-09-11 03:55:08 -06:00 |
|
|
Drew T
|
7205767275
|
phase-36: S104 R22 218/218 after e14–e25; census 4,340 / 0 unmarked (exit 0) | 🛑 T7 RUNNING
|
2026-09-11 03:31:01 -06:00 |
|
|
Drew T
|
2b1393dd9a
|
phase-36: lever_free_body refuses a strip that unbalances block comments (R43) — e24 found a start text left as invalid C; 7 residue classes had been silently UNSCORED, now named
|
2026-09-11 03:17:48 -06:00 |
|
|
Drew T
|
b93e3cab89
|
phase-36: R39 widened — 1–3 statements after the join, blank lines skipped (e24's store pair; known-true 0 on all three)
|
2026-09-11 03:16:25 -06:00 |
|
|
Drew T
|
c621e6d82f
|
phase-36: generator R42 move_statement_far (e19; a composition move — alone 8 on its start text); e19 banked 4 (ov_SC01_080)
|
2026-09-11 02:49:19 -06:00 |
|
|
Drew T
|
99355f6723
|
phase-36: generators R40 return_preincrement and R41 swap_if_else_arms (e2/e16), known-true 0 on all three; e16 banked 4 (800_b_2)
|
2026-09-11 02:35:25 -06:00 |
|
|
Drew T
|
bd6fc3c5c1
|
phase-36: generator R39 duplicate_join_statement (the integer-tie split of e12/e14; known-true 0 on two of three)
|
2026-09-11 02:30:13 -06:00 |
|
|
Drew T
|
8caf6ba259
|
phase-36: alloc_table prints gcc's truncated integer priority and flags ties (global.c:594-607) — e14's integer-tie closes were invisible in the float column; e14 banked 4 (ov_SC06_010)
|
2026-09-11 02:29:04 -06:00 |
|
|
Drew T
|
d9a6af0669
|
phase-36: S104 R22 218/218 after e6 (3 closes + 15 copies + a shared header) and the TU batches; census 4,473 / 0 unmarked (exit 0); R38 pass: 831 classes, 0 candidates (its population is spent) | 🛑 T7 RUNNING
|
2026-09-11 01:37:21 -06:00 |
|
|
Drew T
|
d737200579
|
phase-36: generator R38 shift_to_division (e7's hand-expanded signed division as a real division; a composition move — alone 6 → 6/7 on e7's start text)
|
2026-09-11 01:21:37 -06:00 |
|
|
Drew T
|
16c9d2fb6d
|
phase-36: delever_pack's related search falls back to the TU's directory for main (every main pack's related.txt was empty); e3 banked func_80036FB0, parked func_800384A8 (s16→s32 parameter) and func_80037144 (linked-identical, needs gate_main); e8 packs
|
2026-09-11 01:07:58 -06:00 |
|
|
Drew T
|
8fb959e077
|
phase-36: R31 emits an all-shifts cast candidate (d39) and R35 handles cast copies of a parameter (d38), both known-true 0; named_definitions indexes func_X_body asm-label definitions
|
2026-09-11 00:13:37 -06:00 |
|
|
Drew T
|
34db194a8a
|
phase-36: S104 checkpoint refresh — R22 218/218, census 4,603 / 0 unmarked (exit 0); 32 agent closes; d20/d29 parked; d34–d38 in flight | 🛑 T7 RUNNING
|
2026-09-10 23:55:47 -06:00 |
|
|
Drew T
|
bbe0d66336
|
phase-36: generator R37 return_constants (d27: a pinned result local as constant returns; known-true 0)
|
2026-09-10 23:26:58 -06:00 |
|
|
Drew T
|
39d814fed2
|
phase-36: S104 — R22 218/218 after d21–d27; census 4,661 / 0 unmarked (exit 0); d29 parked for the structs phase (a void→s32 signature); METHOD step 15 | 🛑 T7 RUNNING
|
2026-09-10 23:25:28 -06:00 |
|
|
Drew T
|
ba98d26df8
|
phase-36: R23 accepts a case/default label as a statement boundary (d22's split, known-true 0); generators R35 drop_param_copies (d24) and R36 merge_set_chains (d25, known-true 0)
|
2026-09-10 23:11:13 -06:00 |
|
|
Drew T
|
eadfa5977d
|
phase-36: S104 checkpoint — d1–d19 all at 0, generators R27–R34, census 4,732 / 0 unmarked (exit 0), R22 218/218; d20–d24 in flight; METHOD step 14 | 🛑 T7 RUNNING
|
2026-09-10 22:51:40 -06:00 |
|
|
Drew T
|
c48582300c
|
phase-36: S104 R22 check-all 218/218 after d11–d19 + copies; census 4,753 sites, 0 unmarked, exit 0; lever_progress snapshot | 🛑 T7 RUNNING
|
2026-09-10 22:35:45 -06:00 |
|
|
Drew T
|
d94d993102
|
phase-36: generators R28 merge_pinned_twins, R29 fold_store_temps, R31 shift_operand_casts, R32 compound_assignments, R33 else_arm_assignments, R34 merge_disjoint_locals — harvested from d1/d5/d8/d12/d13/d14/d15/d19, each run against its agent's start text (R31/R32/R33 reproduce the close, R28/R29 the measured single-move score); METHOD step 13
|
2026-09-10 22:27:07 -06:00 |
|
|
Drew T
|
06302b97c2
|
phase-36: S104 — the census counts a marker on a kept ordinary-C fake (do-while / dead init, Drew's ruling (a)) apart instead of as an orphan; R7 marks its do-while; log: d1–d10 all at 0, R27, the R97 correction for 830650946 | 🛑 T7 RUNNING, census 4,928 / 0 unmarked, exit 0
|
2026-09-10 21:51:49 -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
|
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
|
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
|
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
|
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
|
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
|
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 |
|