 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 |
|
|
Drew T
|
2e5b6f0708
|
phase-36: S104 s104_e37 — func_8017F398 banked at 0 through the whole-object gate + propagated — e37 copy
|
2026-09-11 06:28:12 -06:00 |
|
|
Drew T
|
158da88a61
|
phase-36: S104 s104_e37 — func_8017EE6C banked at 0 through the whole-object gate + propagated — e37 copy
|
2026-09-11 06:27:53 -06:00 |
|
|
Drew T
|
5ade115a20
|
phase-36: S104 s104_e37 — func_8018383C banked at 0 through the whole-object gate + propagated — e37 copy
|
2026-09-11 06:27:23 -06:00 |
|
|
Drew T
|
b683786e1d
|
phase-36: S104 s104_e37 — func_80180400 banked at 0 through the whole-object gate + propagated — e37 copy
|
2026-09-11 06:27:06 -06:00 |
|
|
Drew T
|
033c68de99
|
phase-36: S104 s104_e37 — func_80181EDC banked at 0 through the whole-object gate + propagated — e37 copy
|
2026-09-11 06:26:49 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 06:26:30 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 06:26:13 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 06:25:56 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 06:25:40 -06:00 |
|
|
Drew T
|
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
|
2026-09-11 06:19:53 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 06:09:23 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 06:09:06 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 06:08:48 -06:00 |
|
|
Drew T
|
c27da130e0
|
phase-36: S104 s104_e36 — func_8018271C banked at 0 through the whole-object gate + propagated — e36 copy
|
2026-09-11 05:53:59 -06:00 |
|