Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 721a9c0635 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) Drew T 2026-09-10 23:59:56 -06:00
• 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 Drew T 2026-09-10 23:55:47 -06:00
• 93e2a9170c 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) Drew T 2026-09-10 23:50:01 -06:00
• 2e05e1238d phase-36: S104 s104_d32 — func_801831B8 banked at 0 through the whole-object gate + propagated — d32 copy Drew T 2026-09-10 23:47:31 -06:00
• 97e5d721b4 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 Drew T 2026-09-10 23:46:53 -06:00
• b074d7f207 phase-36: S104 s104_d31 — func_8017F2E8 banked at 0 through the whole-object gate + propagated — d31 copy Drew T 2026-09-10 23:45:46 -06:00
• df43d0c955 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 Drew T 2026-09-10 23:45:06 -06:00
• b7ed4f3a68 phase-36: S104 s104_d33 — func_8017DC38 banked at 0 through the whole-object gate + propagated — d33 copy Drew T 2026-09-10 23:43:34 -06:00
• f37af138f9 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) Drew T 2026-09-10 23:42:44 -06:00
• caba5c4506 phase-36: S104 s104_d30 — func_801811DC banked at 0 through the whole-object gate + propagated — d30 copy Drew T 2026-09-10 23:41:37 -06:00
• 563b9ab144 phase-36: S104 s104_d30 — func_80183884 banked at 0 through the whole-object gate + propagated — $16 pin → 0: case 3's two call results share one ret (allocno_compare 16000 > 13503.6, global.c:595-607) Drew T 2026-09-10 23:40:32 -06:00
• 4fbb0ecb8e phase-36: localalloc_sim models block_alloc's three-quantity switch in both passes (local-alloc.c:1439-1462, :1486-1507 compare quantity numbers, not a sort) — d5's rule; on d5's dumps the old tool mispredicted 387/16/228 blocks, the new 0/0/0 Drew T 2026-09-10 23:38:57 -06:00
• bbe0d66336 phase-36: generator R37 return_constants (d27: a pinned result local as constant returns; known-true 0) Drew T 2026-09-10 23:26:58 -06:00
• 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 Drew T 2026-09-10 23:25:28 -06:00
• 1d42fff3c2 phase-36: S104 s104_d27 — func_8013E448 banked at 0 through the whole-object gate + propagated — d27 port onto the shared header (136 includers) Drew T 2026-09-10 23:20:34 -06:00
• 22d88b58d8 phase-36: S104 s104_d27 — func_8017F080 banked at 0 through the whole-object gate + propagated — d27 port onto a two-pin sibling Drew T 2026-09-10 23:19:10 -06:00
• 958a5289da 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) Drew T 2026-09-10 23:18:11 -06:00
• 34ce0a76ae phase-36: S104 s104_d21 — func_8018BDE0 banked at 0 through the whole-object gate + propagated — d21 copy Drew T 2026-09-10 23:15:36 -06:00
• 4833a380dd phase-36: S104 s104_d21 — func_8018179C banked at 0 through the whole-object gate + propagated — 2 pins → 0: one function-scope ret for the three call results (allocno_compare global.c:594-607) + a compound &= in case 0 (local-alloc.c:1486-1500) Drew T 2026-09-10 23:13:59 -06:00
• d79efee078 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) Drew T 2026-09-10 23:12:37 -06:00
• 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) Drew T 2026-09-10 23:11:13 -06:00
• 1058ced5f3 phase-36: S104 s104_d26 — func_8018EC50 banked at 0 through the whole-object gate + propagated — d26 copy Drew T 2026-09-10 23:08:56 -06:00
• ef8fd52c5b phase-36: S104 s104_d26 — func_80181FC4 banked at 0 through the whole-object gate + propagated — d26 copy Drew T 2026-09-10 23:08:22 -06:00
• 9fb4baa2f7 phase-36: S104 s104_d26 — func_8018C608 banked at 0 through the whole-object gate + propagated — d26 copy Drew T 2026-09-10 23:07:20 -06:00
• 9d0423817d phase-36: S104 s104_d26 — func_8017FB10 banked at 0 through the whole-object gate + propagated — pin → 0: the +0x14 store first (sched.c:2425-2428 tie-break) and the counter as a pre-decrement in the condition (qty_compare refs, local-alloc.c:1579) Drew T 2026-09-10 23:06:43 -06:00
• 0aaa40f029 phase-36: S104 s104_d25 — func_8017DE40 banked at 0 through the whole-object gate + propagated — d25 copy Drew T 2026-09-10 23:03:32 -06:00
• 53d158ba03 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) Drew T 2026-09-10 23:03:03 -06:00
• 0ab2802e20 phase-36: S104 s104_d23 — func_8017FE24 banked at 0 through the whole-object gate + propagated — d23 copy Drew T 2026-09-10 23:01:30 -06:00
• 6d923ea839 phase-36: S104 s104_d23 — func_801800F8 banked at 0 through the whole-object gate + propagated — d23 copy Drew T 2026-09-10 23:00:51 -06:00
• 2b83a9aa3f 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) Drew T 2026-09-10 22:59:47 -06:00
• 1f4989b4cd phase-36: S104 s104_d24 — func_80187CE8 banked at 0 through the whole-object gate + propagated — d24 copy Drew T 2026-09-10 22:58:11 -06:00
• 48bb124be5 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 Drew T 2026-09-10 22:57:37 -06:00
• 66eafc8a54 phase-36: S104 s104_d22 — func_801861FC banked at 0 through the whole-object gate + propagated — $2 pin → 0: one variable per value across switch cases (flow.c:2058-2061 made the shared t global; per-case t is local and ties to $2, local-alloc.c:1722) Drew T 2026-09-10 22:55:40 -06:00
• 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 Drew T 2026-09-10 22:51:40 -06:00
• 13069c142d 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 Drew T 2026-09-10 22:45:44 -06:00
• 954e06093b phase-36: S104 s104_d17 — func_80180D50 banked at 0 through the whole-object gate + propagated — d17 copy Drew T 2026-09-10 22:38:04 -06:00
• 4e145caef4 phase-36: S104 s104_d17 — func_80181DAC banked at 0 through the whole-object gate + propagated — $0 pin + keepalive → 0: the goto chain as a switch, the do-while as a for with continue (a LOOP_VTOP note flips mostly_true_jump, reorg.c:1364-1372), the hoisted copy deleted (cse.c:846-862) Drew T 2026-09-10 22:37:25 -06:00
• 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 Drew T 2026-09-10 22:35:45 -06:00
• 91ae94a64e phase-36: S104 s104_d16 — func_8018A2E0 banked at 0 through the whole-object gate + propagated — d16 copy Drew T 2026-09-10 22:32:12 -06:00
• a225fe560e 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 Drew T 2026-09-10 22:31:05 -06:00
• 4c2e503ecc phase-36: S104 s104_d19 — func_80189030 banked at 0 through the whole-object gate + propagated — keepalive → 0: the search loops index with j, raising its allocno_compare priority over p (global.c:587-610) Drew T 2026-09-10 22:29:56 -06:00
• b9cadc83b0 phase-36: S104 s104_d14 — func_801860B8 banked at 0 through the whole-object gate + propagated — 3 pins → 0: late locals reuse earlier-dead variables (combine_regs refused, local-alloc.c:1845 → find_reg order) Drew T 2026-09-10 22:28:45 -06:00
• 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 Drew T 2026-09-10 22:27:07 -06:00
• 9300051f14 phase-36: S104 s104_d18 — func_8017C234 banked at 0 through the whole-object gate + propagated — d18 copy Drew T 2026-09-10 22:25:30 -06:00
• e91077bbaf phase-36: S104 s104_d18 — func_8017BF70 banked at 0 through the whole-object gate + propagated — d18 copy Drew T 2026-09-10 22:24:28 -06:00
• df20d261e1 phase-36: S104 s104_d18 — func_8017BF50 banked at 0 through the whole-object gate + propagated — d18 copy Drew T 2026-09-10 22:23:12 -06:00
• 9dd2703b40 phase-36: S104 s104_d18 — func_8017BF50 banked at 0 through the whole-object gate + propagated — $17 pin → 0: the invented second stepped pointer deleted, its stores as offsets from the loop pointer (combine_givs loop.c:5494) Drew T 2026-09-10 22:22:22 -06:00
• d7a998b545 phase-36: S104 s104_d15 — func_80183F70 banked at 0 through the whole-object gate + propagated — d15 copy, s16 local form (a file-scope s32 prototype) Drew T 2026-09-10 22:21:04 -06:00
• 4f350da88d phase-36: S104 s104_d15 — func_8017FD6C banked at 0 through the whole-object gate + propagated — d15 copy, s16 local form (a file-scope s32 prototype) Drew T 2026-09-10 22:20:06 -06:00
• a92706a800 phase-36: S104 s104_d15 — func_8018594C banked at 0 through the whole-object gate + propagated — 3 levers → 0: the reused temp as direct stores (local-alloc.c:472) + an s16 parameter (function.c:3664-3676) Drew T 2026-09-10 22:19:26 -06:00
• e936a63acb phase-36: S104 s104_d13 — func_801875D0 banked at 0 through the whole-object gate + propagated — d13 copy Drew T 2026-09-10 22:17:44 -06:00
• 99471279d0 phase-36: S104 s104_d13 — func_8018C3F8 banked at 0 through the whole-object gate + propagated — d13 copy Drew T 2026-09-10 22:17:04 -06:00
• 5a396937bd phase-36: S104 s104_d13 — func_8018F694 banked at 0 through the whole-object gate + propagated — launder → 0: (s16)t >> 6 at the shift (c-typeck.c:2418-2450 short_shift; cse.c:5577-5667) Drew T 2026-09-10 22:16:11 -06:00
• bb39bdad7c phase-36: S104 s104_d12 — func_801898E4 banked at 0 through the whole-object gate + propagated — 5 pins → 0: the split locals merged (count/descCount, table/table2), s16 b, the $0 temp deleted (find_reg global.c:945-966) Drew T 2026-09-10 22:15:01 -06:00
• 1b93327f24 phase-36: S104 s104_d11 — func_801800F0 banked at 0 through the whole-object gate + propagated — sign-split range tests as one ternary condition (cross-jump finds no match, jump.c:2412; cookbook §396(a)) Drew T 2026-09-10 22:13:36 -06:00
• 72153b4af1 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 Drew T 2026-09-10 22:11:30 -06:00
• 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 Drew T 2026-09-10 21:51:49 -06:00
• 0d26d8d82a phase-36: S104 s104_d10 — func_8017F040 banked at 0 through the whole-object gate + propagated — d10's sibling, the same union move Drew T 2026-09-10 21:46:18 -06:00
• 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) Drew T 2026-09-10 21:44:46 -06:00
• 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) Drew T 2026-09-10 21:43:05 -06:00
• 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 Drew T 2026-09-10 21:35:39 -06:00
• 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)) Drew T 2026-09-10 21:30:49 -06:00
• 29c857eaa2 phase-36: S104 s104_d7 — func_80180CF4 banked at 0 through the whole-object gate + propagated — d7 port Drew T 2026-09-10 21:29:27 -06:00
• 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) Drew T 2026-09-10 21:27:49 -06:00
• 14210a8e67 phase-36: S104 s104_d9 — func_801E559C banked at 0 through the whole-object gate + propagated — d9's sibling port Drew T 2026-09-10 21:26:49 -06:00
• 78d87919c2 phase-36: S104 s104_d9 — func_801EAB04 banked at 0 through the whole-object gate + propagated — d9's sibling port Drew T 2026-09-10 21:26:05 -06:00
• 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) Drew T 2026-09-10 21:24:43 -06:00
• 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) Drew T 2026-09-10 21:23:41 -06:00
• 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) Drew T 2026-09-10 21:22:44 -06:00
• 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 Drew T 2026-09-10 21:12:58 -06:00
• 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 Drew T 2026-09-10 21:11:56 -06:00
• 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 Drew T 2026-09-10 21:08:34 -06:00
• 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 Drew T 2026-09-10 21:07:10 -06:00
• 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 Drew T 2026-09-10 21:05:27 -06:00
• 16411105e2 phase-36: kit corpus regenerated for the delever_regen and lever_census changes (tool_census --check OK, 0 gaps) Drew T 2026-09-10 20:59:56 -06:00
• 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 Drew T 2026-09-10 20:57:55 -06:00
• 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 Drew T 2026-09-10 20:54:20 -06:00
• 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 Drew T 2026-09-10 20:50:56 -06:00
• 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 Drew T 2026-09-10 20:28:00 -06:00
• 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) Drew T 2026-09-10 19:13:58 -06:00
• 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) Drew T 2026-09-10 19:05:22 -06:00
• 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 Drew T 2026-09-10 18:51:17 -06:00
• 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) Drew T 2026-09-10 18:48:23 -06:00
• 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) Drew T 2026-09-10 18:44:29 -06:00
• 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) Drew T 2026-09-10 18:38:42 -06:00
• 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) Drew T 2026-09-10 18:32:46 -06:00
• 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) Drew T 2026-09-10 18:17:41 -06:00
• 2a4f28f835 phase-36: where the residue is — 70% of the lever weight in 9 read classes; the minimum-lever pivot recorded Drew T 2026-09-10 18:12:03 -06:00
• 54311fa359 phase-36: T7 agents c38 + c40 — func_80180EDC, func_8018431C, func_80185DD8, func_80184854 closed (30 bodies) (R22 218/218) Drew T 2026-09-10 18:11:17 -06:00
• 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) Drew T 2026-09-10 18:07:41 -06:00
• 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) Drew T 2026-09-10 17:49:55 -06:00
• 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) Drew T 2026-09-10 17:38:58 -06:00
• 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) Drew T 2026-09-10 17:32:29 -06:00
• 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 Drew T 2026-09-10 17:18:29 -06:00
• 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) Drew T 2026-09-10 17:14:30 -06:00
• 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) Drew T 2026-09-10 16:58:14 -06:00
• 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) Drew T 2026-09-10 16:58:01 -06:00
• 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) Drew T 2026-09-10 16:45:14 -06:00
• 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) Drew T 2026-09-10 16:03:55 -06:00
• 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) Drew T 2026-09-10 16:03:01 -06:00