Commit Graph

4678 Commits

Author SHA1 Message Date
Drew T 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) 2026-09-11 13:19:26 -06:00
Drew T 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) 2026-09-11 13:19:08 -06:00
Drew T 04a26686ea phase-36: S105 s105_f5 — func_801900B0 banked at 0 through the whole-object gate + propagated — f5 plain C (two return constants) 2026-09-11 13:18:51 -06:00
Drew T 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) 2026-09-11 13:18:34 -06:00
Drew T 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) 2026-09-11 13:17:39 -06:00
Drew T 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) 2026-09-11 13:17:21 -06:00
Drew T 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) 2026-09-11 13:17:02 -06:00
Drew T 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) 2026-09-11 13:16:44 -06:00
Drew T 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) 2026-09-11 13:16:25 -06:00
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 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) 2026-09-11 13:08:13 -06:00
Drew T 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 2026-09-11 13:07:46 -06:00
Drew T 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) 2026-09-11 13:07:28 -06:00
Drew T 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) 2026-09-11 13:07:10 -06:00
Drew T 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) 2026-09-11 13:06:52 -06:00
Drew T 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) 2026-09-11 13:06:34 -06:00
Drew T e7a78c2f17 phase-36: S105 — mkbrief.py (a brief + packs per TU from pick.json); f7/f8 briefs ready 2026-09-11 12:39:17 -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 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) 2026-09-11 12:35:20 -06:00
Drew T 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) 2026-09-11 12:34:45 -06:00
Drew T 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) 2026-09-11 12:34:24 -06:00
Drew T 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) 2026-09-11 12:34:04 -06:00
Drew T 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) 2026-09-11 12:33:43 -06:00
Drew T 9c91476bbc phase-36: S105 checkpoint (live) — cap 2, f1/f3 in flight, f4–f6 briefs ready | 🛑 T7 RUNNING 2026-09-11 12:04:13 -06:00
Drew T 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 2026-09-11 12:03:43 -06:00
Drew T 23a5744abe phase-36: S105 — census evidence at 4,132 2026-09-11 12:01:26 -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 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) 2026-09-11 11:58:28 -06:00
Drew T a73fd1bf8c phase-36: S105 — pack ORDER.tsv + an UNSTRIPPABLE residual note regenerated by the pack builds 2026-09-11 11:57:16 -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 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) 2026-09-11 11:50:15 -06:00
Drew T 17f2d5b100 phase-36: S105 s105_f2 — func_80038958 banked at 0 through the whole-object gate + propagated — f2 plain C 2026-09-11 11:49:58 -06:00
Drew T 05008f605b phase-36: S105 s105_f2 — func_80038838 banked at 0 through the whole-object gate + propagated — f2 plain C 2026-09-11 11:49:41 -06:00
Drew T 9e8508ab6a phase-36: S105 s105_f2 — func_80039F50 banked at 0 through the whole-object gate + propagated — f2 plain C 2026-09-11 11:49:24 -06:00
Drew T 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 2026-09-11 11:22:30 -06:00
Drew T 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 2026-09-11 11:17:42 -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 765704ca58 phase-36: S104 s104_e37 — func_80185150 banked at 0 through the whole-object gate + propagated — e37 copy 2026-09-11 06:31:35 -06:00
Drew T ff3f630f7c phase-36: S104 s104_e37 — func_8018B2C4 banked at 0 through the whole-object gate + propagated — e37 copy 2026-09-11 06:31:18 -06:00
Drew T e178021abb phase-36: S104 s104_e37 — func_8018234C banked at 0 through the whole-object gate + propagated — e37 copy 2026-09-11 06:31:01 -06:00
Drew T 3cff744de1 phase-36: S104 s104_e37 — func_801865DC banked at 0 through the whole-object gate + propagated — e37 copy 2026-09-11 06:30:45 -06:00
Drew T 5d95be42f4 phase-36: S104 s104_e37 — func_801829F8 banked at 0 through the whole-object gate + propagated — e37 copy 2026-09-11 06:30:28 -06:00
Drew T bb39251e3f phase-36: S104 s104_e37 — func_80184918 banked at 0 through the whole-object gate + propagated — e37 copy 2026-09-11 06:30:11 -06:00
Drew T 16258f7e1e phase-36: S104 s104_e37 — func_80185E34 banked at 0 through the whole-object gate + propagated — e37 copy 2026-09-11 06:29:54 -06:00
Drew T 0ed0d5f200 phase-36: S104 s104_e37 — func_801844D4 banked at 0 through the whole-object gate + propagated — e37 copy 2026-09-11 06:29:38 -06:00
Drew T 488b32588e phase-36: S104 s104_e37 — func_80187314 banked at 0 through the whole-object gate + propagated — e37 copy 2026-09-11 06:29:21 -06:00
Drew T 5f04c6b2a7 phase-36: S104 s104_e37 — func_8018EBCC banked at 0 through the whole-object gate + propagated — e37 copy 2026-09-11 06:29:03 -06:00
Drew T a2552106bc phase-36: S104 s104_e37 — func_801860E8 banked at 0 through the whole-object gate + propagated — e37 copy 2026-09-11 06:28:46 -06:00
Drew T a7ce4408a8 phase-36: S104 s104_e37 — func_8018B23C banked at 0 through the whole-object gate + propagated — e37 copy 2026-09-11 06:28:29 -06:00