Commit Graph

  • bbe6bee42a phase-36: S105 s105_f5 — func_8018F72C banked at 0 through the whole-object gate + propagated — f5 plain C (two derived pointers) Drew T 2026-09-11 13:20:18 -06:00
  • e399db17e7 phase-36: S105 s105_f5 — func_8018FEA0 banked at 0 through the whole-object gate + propagated — f5 plain C (two derived pointers; the s0/s1 swap was the ref count) Drew T 2026-09-11 13:20:00 -06:00
  • ac4460cb3e phase-36: S105 s105_f5 — func_8018FCE4 banked at 0 through the whole-object gate + propagated — f5 plain C (derived pointer + set-once chain) Drew T 2026-09-11 13:19:43 -06:00
  • ba665f30db phase-36: S105 s105_f5 — func_8018FB8C banked at 0 through the whole-object gate + propagated — f5 plain C (the set-once chain; the addu lever was a0v = 0) Drew T 2026-09-11 13:19:26 -06:00
  • 7f33a7510c phase-36: S105 s105_f5 — func_8018FA34 banked at 0 through the whole-object gate + propagated — f5 plain C (the set-once chain as one expression) Drew T 2026-09-11 13:19:08 -06:00
  • 04a26686ea phase-36: S105 s105_f5 — func_801900B0 banked at 0 through the whole-object gate + propagated — f5 plain C (two return constants) Drew T 2026-09-11 13:18:51 -06:00
  • 855743df19 phase-36: S105 s105_f5 — func_8018F944 banked at 0 through the whole-object gate + propagated — f5 plain C (a derived pointer born before the store — cse find_best_addr) Drew T 2026-09-11 13:18:34 -06:00
  • d49b4fc375 phase-36: S105 s105_f4 — func_8018489C banked at 0 through the whole-object gate + propagated — f4 plain C (s16 parameter copies at the top, the early result on the copy) Drew T 2026-09-11 13:17:39 -06:00
  • aeb5f48f6c phase-36: S105 s105_f4 — func_80183058 banked at 0 through the whole-object gate + propagated — f4 plain C (the $4 pin was a missing call argument + one store per arm + the s16 split) Drew T 2026-09-11 13:17:21 -06:00
  • 951b60ab05 phase-36: S105 s105_f4 — func_80182BBC banked at 0 through the whole-object gate + propagated — f4 plain C (a u16 counter tied with a symbol → s32) Drew T 2026-09-11 13:17:02 -06:00
  • 0e8ec9df76 phase-36: S105 s105_f4 — func_8018315C banked at 0 through the whole-object gate + propagated — f4 plain C (the same split; the $0 pin faked the copy; pad deleted) Drew T 2026-09-11 13:16:44 -06:00
  • a59914878f phase-36: S105 s105_f4 — func_801835B0 banked at 0 through the whole-object gate + propagated — f4 plain C (single-set s16 loaded directly — combine's narrow-load split; pad deleted) Drew T 2026-09-11 13:16:25 -06:00
  • 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 Drew T 2026-09-11 13:10:57 -06:00
  • cadb6cacc0 phase-36: S105 — METHOD step 18: f3's five (the multi-set chain, the field compound update, loop inits after the call, the reused-holder negative rule) Drew T 2026-09-11 13:08:13 -06:00
  • 5bc2951d8b phase-36: S105 s105_f3_minlever — func_801ADF5C banked at 0 through the whole-object gate + propagated — f3 minimum-lever PROVEN 5 → 5 (every 4-subset of the levers scores 2; the markers now carry the pass) — no site change Drew T 2026-09-11 13:07:46 -06:00
  • 71e32fed05 phase-36: S105 s105_f3 — func_801AB21C banked at 0 through the whole-object gate + propagated — f3 plain C (per-arm compound-update tag) Drew T 2026-09-11 13:07:28 -06:00
  • 6aabe19050 phase-36: S105 s105_f3 — func_801AADA8 banked at 0 through the whole-object gate + propagated — f3 plain C (compound-update RMW value + the parameter's store first) Drew T 2026-09-11 13:07:10 -06:00
  • e16cb5d6f2 phase-36: S105 s105_f3 — func_801A4258 banked at 0 through the whole-object gate + propagated — f3 plain C (compound updates on the field, pad + barrier + 4 pins gone) Drew T 2026-09-11 13:06:52 -06:00
  • f4521a0775 phase-36: S105 s105_f3 — func_801AEB94 banked at 0 through the whole-object gate + propagated — f3 plain C (loop inits moved after the call, a for loop) Drew T 2026-09-11 13:06:34 -06:00
  • e7a78c2f17 phase-36: S105 — mkbrief.py (a brief + packs per TU from pick.json); f7/f8 briefs ready Drew T 2026-09-11 12:39:17 -06:00
  • 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 Drew T 2026-09-11 12:38:12 -06:00
  • 389373f6df phase-36: S105 — METHOD step 17: f1/f2's eight closes (the loop family's biv rule, the P_TAG bitfield store, the callee-arity read, the s16 switch value, the priority-contest minimum-lever) Drew T 2026-09-11 12:35:20 -06:00
  • d4e91f60d4 phase-36: S105 s105_f1_minlever — func_80015D4C banked at 0 through the whole-object gate + propagated — f1 minimum-lever 3 → 1 (a local-alloc priority contest the plain body loses by 6/44 vs 6/56) Drew T 2026-09-11 12:34:45 -06:00
  • 0afcea1ddc phase-36: S105 s105_f1_minlever — func_80029D3C banked at 0 through the whole-object gate + propagated — f1 minimum-lever 2 → 1 (the $4 pin is the function's own missing parameter — a parked signature change) Drew T 2026-09-11 12:34:24 -06:00
  • a91f4efffd phase-36: S105 s105_f1 — func_80025504 banked at 0 through the whole-object gate + propagated — f1 plain C (walk the parameter / a local copy per the giv init) Drew T 2026-09-11 12:34:04 -06:00
  • a4038d5da1 phase-36: S105 s105_f1 — func_80016638 banked at 0 through the whole-object gate + propagated — f1 plain C (the P_TAG bitfield store) Drew T 2026-09-11 12:33:43 -06:00
  • 9c91476bbc phase-36: S105 checkpoint (live) — cap 2, f1/f3 in flight, f4–f6 briefs ready | 🛑 T7 RUNNING Drew T 2026-09-11 12:04:13 -06:00
  • bd44b1c131 phase-36: S105 — the instruction table learns addu %0,$zero,$zero (= 0): func_8018FB8C's pack now strips (was UNSTRIPPABLE); f5/f6 packs built Drew T 2026-09-11 12:03:43 -06:00
  • 23a5744abe phase-36: S105 — census evidence at 4,132 Drew T 2026-09-11 12:01:26 -06:00
  • 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 Drew T 2026-09-11 12:01:17 -06:00
  • 0076a9d2ee phase-36: S105 s105_r44r22 — 3 classes banked at 0 by the R44/R22 regen (func_800CFB3C R22, func_8014A2E4.h R44 IDENTICAL on 141 objects, func_80180FF4 R44) Drew T 2026-09-11 11:58:28 -06:00
  • a73fd1bf8c phase-36: S105 — pack ORDER.tsv + an UNSTRIPPABLE residual note regenerated by the pack builds Drew T 2026-09-11 11:57:16 -06:00
  • 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 Drew T 2026-09-11 11:56:31 -06:00
  • e4fdd3c8f5 phase-36: S105 s105_f2_minlever — func_800385C0 banked at 0 through the whole-object gate + propagated — f2 minimum-lever 2 → 1 (the $4 pin is a parked signature change) Drew T 2026-09-11 11:50:15 -06:00
  • 17f2d5b100 phase-36: S105 s105_f2 — func_80038958 banked at 0 through the whole-object gate + propagated — f2 plain C Drew T 2026-09-11 11:49:58 -06:00
  • 05008f605b phase-36: S105 s105_f2 — func_80038838 banked at 0 through the whole-object gate + propagated — f2 plain C Drew T 2026-09-11 11:49:41 -06:00
  • 9e8508ab6a phase-36: S105 s105_f2 — func_80039F50 banked at 0 through the whole-object gate + propagated — f2 plain C Drew T 2026-09-11 11:49:24 -06:00
  • cd41429df6 phase-36: S105 — R43 sweep spent (0 of 679 classes); agents f1/f2 launched on src/800.c + src/800_c.c; f3/f4 packs built | 🛑 T7 RUNNING Drew T 2026-09-11 11:22:30 -06:00
  • 13ac763a5e phase-36: S105 open — Drew: agent cap 2; the picker as a file (616 drawable classes / 307 TUs); R43 sweep owed before drawing | 🛑 T7 RUNNING Drew T 2026-09-11 11:17:42 -06:00
  • 44d4492704 phase-36: S104 — docs/tool-index.md regenerated by the kit corpus run Drew T 2026-09-11 06:34:06 -06:00
  • 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 Drew T 2026-09-11 06:33:50 -06:00
  • 765704ca58 phase-36: S104 s104_e37 — func_80185150 banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:31:35 -06:00
  • ff3f630f7c phase-36: S104 s104_e37 — func_8018B2C4 banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:31:18 -06:00
  • e178021abb phase-36: S104 s104_e37 — func_8018234C banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:31:01 -06:00
  • 3cff744de1 phase-36: S104 s104_e37 — func_801865DC banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:30:45 -06:00
  • 5d95be42f4 phase-36: S104 s104_e37 — func_801829F8 banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:30:28 -06:00
  • bb39251e3f phase-36: S104 s104_e37 — func_80184918 banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:30:11 -06:00
  • 16258f7e1e phase-36: S104 s104_e37 — func_80185E34 banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:29:54 -06:00
  • 0ed0d5f200 phase-36: S104 s104_e37 — func_801844D4 banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:29:38 -06:00
  • 488b32588e phase-36: S104 s104_e37 — func_80187314 banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:29:21 -06:00
  • 5f04c6b2a7 phase-36: S104 s104_e37 — func_8018EBCC banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:29:03 -06:00
  • a2552106bc phase-36: S104 s104_e37 — func_801860E8 banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:28:46 -06:00
  • a7ce4408a8 phase-36: S104 s104_e37 — func_8018B23C banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:28:29 -06:00
  • 2e5b6f0708 phase-36: S104 s104_e37 — func_8017F398 banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:28:12 -06:00
  • 158da88a61 phase-36: S104 s104_e37 — func_8017EE6C banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:27:53 -06:00
  • 5ade115a20 phase-36: S104 s104_e37 — func_8018383C banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:27:23 -06:00
  • b683786e1d phase-36: S104 s104_e37 — func_80180400 banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:27:06 -06:00
  • 033c68de99 phase-36: S104 s104_e37 — func_80181EDC banked at 0 through the whole-object gate + propagated — e37 copy Drew T 2026-09-11 06:26:49 -06:00
  • cc184deb32 phase-36: S104 s104_e37 — func_80182498 banked at 0 through the whole-object gate + propagated — 2 launders + $29 pin → 0: if (c) call(B) else call(A) (cse1 stops at a two-use join; cross-jump re-merges) Drew T 2026-09-11 06:26:30 -06:00
  • 8d8f543e8e phase-36: S104 s104_e37 — func_8017F7E4 banked at 0 through the whole-object gate + propagated — launder + barrier → 0: the goto chain as a switch with if (A && B) / else if (cse1 label-use count, cse.c:8102-8170) Drew T 2026-09-11 06:26:13 -06:00
  • f0f439068d phase-36: S104 s104_e37 — func_8017FEA0 banked at 0 through the whole-object gate + propagated — $2 pin → 0: the block's short temps merged into one second variable (allocno_compare order) Drew T 2026-09-11 06:25:56 -06:00
  • b005aa2d86 phase-36: S104 s104_e37 — func_80180D54 banked at 0 through the whole-object gate + propagated — $2 pin → 0: return constants (jump.c:1140-1210) Drew T 2026-09-11 06:25:40 -06:00
  • 31452b05ec phase-36: S104 s104_e38 — func_800D24D0 banked at 0 through the whole-object gate + propagated — → 0: the first global read moved above the frame struct copy (cse cannot prove the frame store disjoint), the goto as if/else Drew T 2026-09-11 06:19:53 -06:00
  • f3816d8eb3 phase-36: S104 s104_e35 — func_801A4ACC banked at 0 through the whole-object gate + propagated — 2 pins → 0: the shared pointer declared per case (global.c priority arithmetic) Drew T 2026-09-11 06:09:23 -06:00
  • 6c511fce43 phase-36: S104 s104_e35 — func_801ABEE0 banked at 0 through the whole-object gate + propagated — 2 pins → 0: inner/ptr1 pinned to one register are one variable (global.c:594-610) Drew T 2026-09-11 06:09:06 -06:00
  • 899d0aef4a phase-36: S104 s104_e35 — func_801A3594 banked at 0 through the whole-object gate + propagated — 2 pins → 0: per-case tw with the test + copy sunk into the case (cse.c:4836-4870; local-alloc.c:1486-1500) Drew T 2026-09-11 06:08:48 -06:00
  • c27da130e0 phase-36: S104 s104_e36 — func_8018271C banked at 0 through the whole-object gate + propagated — e36 copy Drew T 2026-09-11 05:53:59 -06:00
  • 6e29e3cc6c phase-36: S104 s104_e36 — func_80184BAC banked at 0 through the whole-object gate + propagated — e36 copy Drew T 2026-09-11 05:53:41 -06:00
  • f1000a8140 phase-36: S104 s104_e36 — func_80184888 banked at 0 through the whole-object gate + propagated — e36 copy Drew T 2026-09-11 05:53:04 -06:00
  • ef4676a1d5 phase-36: S104 s104_e36 — func_80187CBC banked at 0 through the whole-object gate + propagated — e36 copy Drew T 2026-09-11 05:52:33 -06:00
  • f2e20bde76 phase-36: S104 s104_e36 — func_80188B64 banked at 0 through the whole-object gate + propagated — launder → 0: returns rv via the TU's def-side asm-label alias (class E, like func_80185730) Drew T 2026-09-11 05:52:15 -06:00
  • f308b46a7b phase-36: S104 s104_e36 — func_801880E8 banked at 0 through the whole-object gate + propagated — 3 levers → 0: the pinned word copies as ONE struct assignment (expand_block_move mips.c:2331) Drew T 2026-09-11 05:51:44 -06:00
  • e69218dc51 phase-36: cookbook §456 — the S104 lever-removal move catalog (R16) Drew T 2026-09-11 05:50:24 -06:00
  • 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) Drew T 2026-09-11 05:49:47 -06:00
  • 32531fa8b8 phase-36: S104 e36 func_80185730 banked (returns a0 via the TU's def-side alias, class E) Drew T 2026-09-11 05:48:29 -06:00
  • 4c7f601545 phase-36: S104 s104_e36 — func_80185730 banked at 0 through the whole-object gate + propagated — pin + keepalive → 0: the function returns a0 — the TU's existing def-side asm-label alias (class E, like e9's func_8018209C) Drew T 2026-09-11 05:47:36 -06:00
  • 26c19c6f11 phase-36: S104 — calibration record Drew T 2026-09-11 05:44:47 -06:00
  • e403609f87 phase-36: S104 FINAL checkpoint at the weekly usage limit — agents e35–e38 died (ids recorded for SendMessage resume), e36's two finished bodies unbanked, the lane's next steps, the park list; census 4,227 / 0 unmarked, R22 218/218 at 046e84600 | 🛑 T7 RUNNING Drew T 2026-09-11 05:44:39 -06:00
  • cc3cbcf55e phase-36: S104 s104_e36 — func_8018632C banked at 0 through the whole-object gate + propagated — → 0: d39's (s16) casts at both shifts, ported (the TU's aF8018632C alias) Drew T 2026-09-11 05:43:05 -06:00
  • 046e846007 phase-36: S104 R22 218/218 after e30–e34; census exit 0 | 🛑 T7 RUNNING Drew T 2026-09-11 04:54:50 -06:00
  • a4f043bc35 phase-36: S104 e31 (5) + e32 (6) banked; func_801834A4 NOT banked (a steering dead store — Drew's call, like d20); e38 packs (md_MAIN_003) Drew T 2026-09-11 04:52:31 -06:00
  • 6d1b2d078b phase-36: S104 s104_e32 — func_80181DE4 banked at 0 through the whole-object gate + propagated — e32 copy Drew T 2026-09-11 04:52:17 -06:00
  • 55a84c4fd7 phase-36: S104 s104_e32 — func_80181CDC banked at 0 through the whole-object gate + propagated — e32 copy Drew T 2026-09-11 04:52:00 -06:00
  • 0a272b4ce4 phase-36: S104 s104_e32 — func_80184CA8 banked at 0 through the whole-object gate + propagated — e32 sibling, the same cast Drew T 2026-09-11 04:51:43 -06:00
  • b6b1bbc1d1 phase-36: S104 s104_e32 — func_8018574C banked at 0 through the whole-object gate + propagated — 2 levers → 0: (s16)t >> 7 (d13's idiom) Drew T 2026-09-11 04:51:27 -06:00
  • 35076c26a7 phase-36: S104 s104_e32 — func_80183DA0 banked at 0 through the whole-object gate + propagated — pin + launder → 0: lvl = 7 above the call, s16 lvl, one (u16) packing cast (cse.c:7440-7474) Drew T 2026-09-11 04:51:10 -06:00
  • ae63eded38 phase-36: S104 s104_e32 — func_80181C84 banked at 0 through the whole-object gate + propagated — 2 pins → 0: the goto-shared tail per case (global.c:594-607; cross-jump re-merges) + q per block Drew T 2026-09-11 04:50:53 -06:00
  • 536e7dba3c phase-36: S104 s104_e31 — func_8002FF0C banked at 0 through the whole-object gate + propagated — 3 barriers → 2 marked do-whiles (ruling (a)) + a struct-typed read; the zero-lever record-field form is link-only (parked) Drew T 2026-09-11 04:49:55 -06:00
  • ae50f9cfed phase-36: S104 s104_e31 — func_80032A74 banked at 0 through the whole-object gate + propagated — pin + 2 barriers → 0: cast byte-offset stores (sched.c:834-836), the lerp into vv (local-alloc.c:1722) Drew T 2026-09-11 04:49:38 -06:00
  • ba64a78989 phase-36: S104 s104_e31 — func_800335B8 banked at 0 through the whole-object gate + propagated — 2 launders → 0: a u16 copy read inside the loop, one shared rec pointer (cse.c:826-880; loop.c:4447-4449) Drew T 2026-09-11 04:49:21 -06:00
  • b274f6d5d6 phase-36: S104 s104_e31 — func_8003350C banked at 0 through the whole-object gate + propagated — e31 twin Drew T 2026-09-11 04:49:04 -06:00
  • 5b0993531e phase-36: S104 s104_e31 — func_8003324C banked at 0 through the whole-object gate + propagated — pin + keepalive → 0: p[i] indexed by the counter (record_giv loop.c:4341; combine_givs :5494) Drew T 2026-09-11 04:48:47 -06:00
  • 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) Drew T 2026-09-11 04:48:05 -06:00
  • 963713cf47 phase-36: S104 e30 func_8018C14C 2 → 1 lever (one pin + a marked do-while in place of the asm barrier) Drew T 2026-09-11 04:46:57 -06:00
  • 497bc22c7f phase-36: S104 s104_e30 — func_8018BAC4 banked at 0 through the whole-object gate + propagated — 2 pins → 0: the same-register pair merged + s16 t (cse.c:7440-7474) Drew T 2026-09-11 04:46:40 -06:00
  • f85baa2baa phase-36: S104 s104_e30 — func_801836D4 banked at 0 through the whole-object gate + propagated — 2 pins → 0: the test + copy in each case on a case-local tw (cse.c:4836; local-alloc.c:1486-1500) Drew T 2026-09-11 04:46:22 -06:00
  • fa72721566 phase-36: S104 s104_e30 — func_80180B24 banked at 0 through the whole-object gate + propagated — 3 launders → 0: every load/+1/store triple as a struct-field x++ (sched.c:2477-2490) Drew T 2026-09-11 04:46:05 -06:00
  • 5fa21c77ef phase-36: S104 e34 banked 4 (resident; func_800D128C with a class-E call alias); e36 packs (ov_SC03_091) Drew T 2026-09-11 04:45:33 -06:00
  • 8b0e8645e4 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) Drew T 2026-09-11 04:44:51 -06:00
  • 889a7ad138 phase-36: S104 s104_e34 — func_800D1658 banked at 0 through the whole-object gate + propagated — 3 levers → 0: (u16)ret == 0x8000 (cse.c:4850-4869) + the goto chain as one condition Drew T 2026-09-11 04:44:34 -06:00