 Drew T
|
b5699a3fee
|
phase-36: S105 s105_f6 — func_80182184 banked at 0 through the whole-object gate + propagated — f6 zero pins, one marked do-while (P_TAG bitfield reads + the OT base used for every read; 3 pins → 0)
|
2026-09-11 17:50:50 -06:00 |
|
|
Drew T
|
d5f86e9c14
|
phase-36: S105 s105_f6 — func_8018122C banked at 0 through the whole-object gate + propagated — f6 zero pins, one marked do-while (a +1 flow-time ref breaks the allocno_compare tie; 1 pin → 0)
|
2026-09-11 17:50:32 -06:00 |
|
|
Drew T
|
bd461c81bc
|
phase-36: S105 s105_f6 — func_8017F584 banked at 0 through the whole-object gate + propagated — f6 plain C (a twice-set constant local split set-once per block — update_equiv_regs doubles a REG_EQUIV constant's live length)
|
2026-09-11 17:50:14 -06:00 |
|
|
Drew T
|
f6702551b0
|
phase-36: S105 — f6/f8 cut by the session limit and resumed by id on Drew's word | 🛑 T7 RUNNING
|
2026-09-11 17:46:21 -06:00 |
|
|
Drew T
|
d3ab56bbe0
|
phase-36: S105 — f7 landed 6/6 (5 plain C + 1 minimum-lever), R22's two more blind spots fixed (+1 header bank), R22 218/218, census 4,065 / 0 unmarked (exit 0); Drew: no new agents; METHOD step 20; checkpoint refreshed | 🛑 T7 RUNNING
|
2026-09-11 14:13:06 -06:00 |
|
|
Drew T
|
d85a4e3877
|
phase-36: S105 s105_r22b — func_80146B9C.h banked at 0 by the fixed R22 (IDENTICAL on every includer)
|
2026-09-11 14:09:52 -06:00 |
|
|
Drew T
|
bb2012f78d
|
phase-36: S105 harvest f7 — R22 tries every same-base sibling (not only the literal base) and no longer reads a cast store as a set; known-true 37 → 0 on func_8017FD14; selftest OK
|
2026-09-11 14:07:56 -06:00 |
|
|
Drew T
|
d62cb1170c
|
phase-36: S105 s105_f7_minlever — func_8017EF50 banked at 0 through the whole-object gate + propagated — f7 minimum-lever 3 → 2 (the keepalive was dead; the two pins are find_free_reg's lowest-free rule, unreachable by priority)
|
2026-09-11 14:04:59 -06:00 |
|
|
Drew T
|
9a0a6590b6
|
phase-36: S105 s105_f7 — func_8017F114 banked at 0 through the whole-object gate + propagated — f7 plain C (goto chain → for, per-arm calls, the giv-base law; 4 pins → 0)
|
2026-09-11 14:04:28 -06:00 |
|
|
Drew T
|
a5368f55f7
|
phase-36: S105 s105_f7 — func_8017FD14 banked at 0 through the whole-object gate + propagated — f7 plain C (every access off the real biv — the giv-base law)
|
2026-09-11 14:04:11 -06:00 |
|
|
Drew T
|
64a8d90b3f
|
phase-36: S105 s105_f7 — func_80180590 banked at 0 through the whole-object gate + propagated — f7 plain C (per-arm store + per-arm call)
|
2026-09-11 14:03:54 -06:00 |
|
|
Drew T
|
13a081fc93
|
phase-36: S105 s105_f7 — func_8017F5BC banked at 0 through the whole-object gate + propagated — f7 plain C (two independent stores swapped — a birthing load's life)
|
2026-09-11 14:03:37 -06:00 |
|
|
Drew T
|
3d2949e3ae
|
phase-36: S105 s105_f7 — func_8017EB2C banked at 0 through the whole-object gate + propagated — f7 plain C (the % with no target variable — expand_divmod)
|
2026-09-11 14:03:19 -06:00 |
|
|
Drew T
|
3964ed4e86
|
phase-36: S105 — f9/f10 briefs + packs (ov_SC02_027, ov_SC06_006)
|
2026-09-11 13:29:28 -06:00 |
|
|
Drew T
|
3db2bf98a8
|
phase-36: S105 — f4 + f5 landed 12/12 plain C, R45/R46 harvested (regen 0 free), R22 218/218, census 4,077 / 0 unmarked (exit 0); METHOD step 19; checkpoint refreshed | 🛑 T7 RUNNING
|
2026-09-11 13:28:58 -06:00 |
|
|
Drew T
|
4a503fce1e
|
phase-36: S105 harvest f5 — generators R45 derived_pointer_store (known-true 0 alone on two f5 bodies) and R46 set_once_chain (ALL 0 on func_8018FA34); selftest OK; SETUP rows
|
2026-09-11 13:25:01 -06:00 |
|
|
Drew T
|
bbe6bee42a
|
phase-36: S105 s105_f5 — func_8018F72C banked at 0 through the whole-object gate + propagated — f5 plain C (two derived pointers)
|
2026-09-11 13:20:18 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 13:20:00 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 13:19:43 -06:00 |
|
|
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 |
|