Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• f3b8af0ec1 phase-37: CHECKPOINT for a fresh session (84 % context) — T4 in progress: the D cycles (17,316 declarations canonical, 1,302 K&R sites marked, 207 data aliases typed, 10 __builtin_abs), the alias-defined-function class (120 of 149 back under their real names, 29 kept with causes; the unit's per-file prototype ladder, the hoist, the K&R-style definition), the planner's DECL-NONE settling; the timeline's lower panel redrawn on Drew's word (every lever increment with its method, the casts as two instruments); decision log + accelerators P37 S107, story §10 + retrospective §7 advanced; the 🛑 block rewritten with T4's exact resume | R22 check-all: 218 passed, 0 failed of 218 at f2b58011e | 🛑 T4 NEXT (resume per the checkpoint §1) main Drew T 2026-09-12 14:32:37 -06:00
• f2b58011e4 src(phase-37): T4 batch t4_D20 — restruct: batch t4_D20 rung D — 300 files (TUs; 3877 drawable) · 193 declaration units: 104 canonical / 0 promoted / 0 K&R marked / 0 aliases typed / 0 __builtin_abs → abs / 89 kept · compiles 242 in 32 s wall · final 300/300 identical · written 12 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle) Drew T 2026-09-12 14:13:11 -06:00
• 0330765013 src(phase-37): T4 unalias t4_ua9 — 7 more alias-defined functions back under their real names (pure callers whose lie is load-bearing left untouched; 13 files) | R22 check-all: 218 passed, 0 failed of 218 | 🛑 T4 in progress (S107) Drew T 2026-09-12 14:07:12 -06:00
• 688280fa9e src(phase-37): T4 unalias t4_ua8 — 5 more alias-defined functions back under their real names (the definition TU's own declarations may go (); 5 files) | R22 check-all: 218 passed, 0 failed of 218 | 🛑 T4 in progress (S107) Drew T 2026-09-12 13:46:44 -06:00
• 7f8d448449 src(phase-37): T4 unalias t4_ua7 — func_80131CA8 back under its real name as a K&R-style definition (callers pass more arguments than its byte-true head declares; 235 files, 202 objects IDENTICAL); the unit's per-file prototype ladder (exact → promoted → () → untouched) | R22 check-all: 218 passed, 0 failed of 218 | 🛑 T4 in progress (S107) Drew T 2026-09-12 13:27:05 -06:00
• b2c6b23646 src(phase-37): T4 unalias t4_ua6 — 6 more alias-defined functions back under their real names (612 files; the hoist of a shared header's declaration into its includers landed 4 of them) | R22 check-all: 218 passed, 0 failed of 218 | 🛑 T4 in progress (S107) Drew T 2026-09-12 13:07:03 -06:00
• 111e98d758 src(phase-37): T4 unalias t4_ua4 — func_801466F0 back under its real name as a K&R-style definition (narrow u16 parameters in the block) with promoted prototypes everywhere (172 files, 316 objects IDENTICAL) | R22 check-all: 218 passed, 0 failed of 218 | 🛑 T4 in progress (S107) Drew T 2026-09-12 12:45:43 -06:00
• 7ae2e7f811 src(phase-37): T4 unalias t4_ua3 (partial, stopped with SIGINT) — 1 more alias-defined function back under its real name (136 files); the unit gains the hoist pre-step, the arity/conflict/DIFFERS fallbacks and the promoted (K&R-style definition) mode | R22 check-all: 218 passed, 0 failed of 218 | 🛑 T4 in progress (S107) Drew T 2026-09-12 12:42:29 -06:00
• 783bacb5e8 src(phase-37): T4 unalias t4_ua2 — 98 of 148 alias-defined functions back under their real names with their byte-true signatures (592 files; 50 kept, causes bucketed) | R22 check-all: 218 passed, 0 failed of 218 | 🛑 T4 in progress (S107) Drew T 2026-09-12 12:27:26 -06:00
• 74aac39e74 src(phase-37): T4 unalias t4_ua1 — func_8012EFB8 back under its real name (s32 (void *, void *)): 194 alias prototypes gone, 375 declarations canonical, 2 shared headers K&R-marked; the --unalias unit + the planner's settled-TU skip + the same-name-alias fix | IDENTICAL on 478 objects | R22 check-all: 218 passed, 0 failed of 218 | 🛑 T4 in progress (S107) Drew T 2026-09-12 11:44:51 -06:00
• 37b832c4f0 src(phase-37): T4 batch t4_D11 — restruct: batch t4_D11 rung D — 300 files (TUs; 3877 drawable) · 16 declaration units: 16 canonical / 0 promoted / 0 K&R marked / 0 aliases typed / 0 __builtin_abs → abs / 0 kept · compiles 2 in 26 s wall · final 300/300 identical · written 1 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle) Drew T 2026-09-12 11:27:13 -06:00
• 2f591071c4 src(phase-37): T4 batch t4_D10 — restruct: batch t4_D10 rung D — 300 files (TUs; 3878 drawable) · 528 declaration units: 55 canonical / 0 promoted / 4 K&R marked / 0 aliases typed / 0 __builtin_abs → abs / 8 kept · compiles 70 in 44 s wall · final 300/300 identical · written 3 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle) Drew T 2026-09-12 11:22:12 -06:00
• 7381156213 src(phase-37): T4 batch t4_D9 — restruct: batch t4_D9 rung D — 300 files (TUs; 3878 drawable) · 551 declaration units: 53 canonical / 0 promoted / 11 K&R marked / 2 aliases typed / 0 __builtin_abs → abs / 34 kept · compiles 102 in 65 s wall · final 300/300 identical · written 6 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle) Drew T 2026-09-12 11:16:49 -06:00
• f1606cb4c0 src(phase-37): T4 batch t4_D8 — restruct: batch t4_D8 rung D — 300 files (TUs; 3878 drawable) · 1268 declaration units: 767 canonical / 0 promoted / 140 K&R marked / 0 aliases typed / 0 __builtin_abs → abs / 140 kept · compiles 1149 in 66 s wall · final 300/300 identical · written 70 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle) Drew T 2026-09-12 11:04:57 -06:00
• 4eeb4412f0 src(phase-37): T4 batch t4_D7 — restruct: batch t4_D7 rung D — 300 files (TUs; 3878 drawable) · 1566 declaration units: 1084 canonical / 0 promoted / 108 K&R marked / 0 aliases typed / 0 __builtin_abs → abs / 160 kept · compiles 1564 in 76 s wall · final 300/300 identical · written 103 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle) Drew T 2026-09-12 10:58:59 -06:00
• 8f99ec5a22 src(phase-37): T4 batch t4_D6 — restruct: batch t4_D6 rung D — 300 files (TUs; 3878 drawable) · 2086 declaration units: 1670 canonical / 0 promoted / 2 K&R marked / 0 aliases typed / 0 __builtin_abs → abs / 159 kept · compiles 2215 in 73 s wall · final 300/300 identical · written 152 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle) Drew T 2026-09-12 10:52:57 -06:00
• cebc2a3c46 src(phase-37): T4 batch t4_D5 — restruct: batch t4_D5 rung D — 300 files (TUs; 3878 drawable) · 2618 declaration units: 2213 canonical / 0 promoted / 2 K&R marked / 0 aliases typed / 0 __builtin_abs → abs / 189 kept · compiles 2851 in 76 s wall · final 300/300 identical · written 187 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle) Drew T 2026-09-12 10:47:14 -06:00
• 42d9cf5707 src(phase-37): T4 batch t4_D4 — restruct: batch t4_D4 rung D — 300 files (TUs; 3878 drawable) · 2941 declaration units: 2549 canonical / 0 promoted / 0 K&R marked / 0 aliases typed / 0 __builtin_abs → abs / 213 kept · compiles 3277 in 92 s wall · final 300/300 identical · written 214 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle) Drew T 2026-09-12 10:41:27 -06:00
• 4741f6cba9 src(phase-37): T4 batch t4_D3 — restruct: batch t4_D3 rung D — 300 files (TUs; 3878 drawable) · 3441 declaration units: 2948 canonical / 0 promoted / 24 K&R marked / 61 aliases typed / 3 __builtin_abs → abs / 261 kept · compiles 3981 in 100 s wall · final 300/300 identical · written 220 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle) Drew T 2026-09-12 10:35:24 -06:00
• 2dd78c3e47 src(phase-37): T4 batch t4_D2 — restruct: batch t4_D2 rung D — 300 files (TUs; 3878 drawable) · 4995 declaration units: 4354 canonical / 1 promoted / 85 K&R marked / 84 aliases typed / 7 __builtin_abs → abs / 469 kept · compiles 5836 in 196 s wall · final 300/300 identical · written 264 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle) Drew T 2026-09-12 10:29:14 -06:00
• dd21e7e267 src(phase-37): T4 batch t4_D1 — restruct: batch t4_D1 rung D — 40 files (TUs; 3878 drawable) · 1441 declaration units: 1261 canonical / 0 promoted / 29 K&R marked / 60 aliases typed / 0 __builtin_abs → abs / 120 kept · compiles 1554 in 70 s wall · final 40/40 identical · written 40 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle) Drew T 2026-09-12 10:21:07 -06:00
• 32673a7d90 chore(phase-37): the size gate = GitHub's 100 MiB hard limit (was its 50 MiB warning) — the red no-rom CI was SIZE alone on the P36 judgement ledger (74.8 MiB, our own rows; ROM checks 1/2/4 clean), Drew's decision; audit_public WARNs above 80 MiB; workflow, wiki and SETUP wording follow | audit_public: OK — 0 offenders among 15219 tracked paths | 🛑 T4 NEXT Drew T 2026-09-12 10:10:09 -06:00
• 545092d376 phase-37: T3 ☑ — the tools: tools/struct_layout.py (the o32 layout engine + the canonical-type writer in the final style + the naming invariant), tools/restruct.py's full form (rungs S/S2/S+A/X/R/D/L, the ledger, inflight restore, selftest 48 + --real 53), delever_oracle's LINKED mode (the build's own ld on the candidate object; f3 known-true + negative; the snapshot guard that caught T2's contaminated build/ object), include/common.h's reinterpret macros (proven equal on cc1's assembly), tools/restruct_cycle.sh (detached); rung D banked on ov_SC04_011 (258 units: 242 canonical / 8 K&R marked / 16 kept with causes); SETUP §P37 S107, dictionary rows, kit corpus, decision log + accelerators P37 S107, cookbook §458 addendum, story §10 + retrospective §7 + timeline | R22 check-all: 218 passed, 0 failed of 218 (r22_t3c) | 🛑 T4 NEXT (the declaration layer; P6 rules check first) Drew T 2026-09-12 10:04:16 -06:00
• 42a57f576d phase-37: T3 (in progress) — rung D redraw t3d2 on ov_SC04_011: the cause reader learns cpp's context lines + the all-() K&R candidate (8 K&R marked / 16 kept, 5 files) | R22 check-all: 218 passed, 0 failed of 218 | 🛑 T3 in progress (S107) Drew T 2026-09-12 09:47:24 -06:00
• 21d2ccc141 phase-37: T3 (in progress) — the engine's first bank: tools/struct_layout.py (the layout engine + the writer + the naming invariant), delever_oracle's LINKED mode (the build's own ld on the candidate object; f3 known-true + negative; the snapshot guard that caught T2's contaminated build/ object), tools/restruct.py (rungs S/S2/S+A/X/R/D/L, the ledger, inflight restore, selftest 48/48 + --real 51/51); rung D batch t3d1 on ov_SC04_011: 258 units — 242 canonical / 6 K&R marked / 16 kept | R22 check-all: 218 passed, 0 failed of 218 | 🛑 T3 in progress (S107) Drew T 2026-09-12 09:39:44 -06:00
• 775a3eafb6 phase-37: the post-100 % story is told, not only recorded — docs/story.md §10 (Gen3: dedup, levers, structs so far) + docs/retrospective.md §7 written from the record; tools/timeline.py draws the lever and readability series as a lower panel + two columns (78 rows); the rule (advance §10/§7 + regenerate the timeline at the end of EVERY session) in the wiki conventions page, T9 and the checkpoint procedure — on Drew's word | 🛑 T3 NEXT (the tools, Max design) Drew T 2026-09-12 08:19:12 -06:00
• ea75e0f231 phase-37: CHECKPOINT for a fresh session — T0–T2 ☑; the record banked: decision log P37 S106 (struct spelling moves bytes; the /s per-access dial), accelerators P37 S106 (→ DK-65 corrected in the kit), cookbook §458 (the func_801814AC byte-read), the handoff and wiki 'byte-neutral' claims date-stamped; the 🛑 block rewritten with T3's full design brief, the counters, the probe's findings and every command | 🛑 T3 NEXT (the tools, Max design) Drew T 2026-09-12 08:09:29 -06:00
• 48e68c5b7a phase-37: T2 — docs/tool-index.md regenerated for tools/restruct.py | 🛑 T3 NEXT Drew T 2026-09-12 01:27:55 -06:00
• cd39c79de6 phase-37: T2 ☑ — the probe: rung 1 (struct spelling) byte-neutral on 126/139 judged bodies (90.6 %, 716 sites moved), rung S2 closes 13/13 DIFFERS with 27 casts kept (139/139); the definition's signature free for 4,473/4,828 (TU, callee) pairs (92.6 %, 0 DIFFERS; 355 compile refusals = K&R sites + multi-spellings); the definition fold 12/20 TUs clean (opaque folds need member renames); the layout engine cc1-validated on 5,283 definitions / 29,248 fields (0 rejected; two engine gaps fixed: nested-paren attributes, per-field aligned(N); 27 dead-guarded standalone blocks blanked); the relocation control (object DIFFERS, binary identical) proves T3's linked mode; engine_types.h fan-out 3,975 objects in 35 s; tools/restruct.py (--try/--probe/--probe-decls/--probe-defs/--audit-layouts/--fanout-cost) + SETUP + dictionary | 🛑 T3 NEXT (the tools, Max design) Drew T 2026-09-12 01:27:45 -06:00
• da26c05d67 phase-37: T1 ☑ — tools/type_census.py + the struct map: 7,261 struct definitions (525 layouts, 206 duplicate classes / 2,789 names, 39 VARIANT), 503,016 raw pointer-cast dereferences in four forms (coverage OK; + 18,912 address-of, 36,681 typed cast-member), 98,648 lying declarations / 1,609 callees, 18,760 evidence-clustered types explaining 99.2 % of sites, 24 parked P36 classes in parked.tsv, controls 4/4; lever_census controls re-keyed and --strict made literal (6,717 direct GTE statements in bodies); progress.py types block + README sentence + 2 corrections; the readability series read by column name with 16 census columns; docs/struct-map.md; SETUP §P37 S106; dictionary row; kit corpus | 🛑 T2 NEXT (the probe, Max) Drew T 2026-09-11 23:54:15 -06:00
• 23fc5d2159 phase-37: log — the struct map is Claude's recommendation on Drew's question, not Drew's proposal (record corrected) | 🛑 T1 NEXT Drew T 2026-09-11 22:53:04 -06:00
• 89c1efc541 phase-37: gate-1 adjustment (P5d) — T1 delivers the fleet-wide struct map (every function analysed, bases clustered into the needed types with membership/evidence/coverage/conflicts; T4's prototypes carry the mapped parameter types); no tags/releases at phase closes (the v2.2.0 tag deleted; the close pushed as a normal commit on Drew's word) | 🛑 T1 NEXT (the type census + the struct map, xHigh) Drew T 2026-09-11 22:52:01 -06:00
• 0a55cb0fda phase-37: T0 ☑ — gate 1 approved (grind to zero; placeholders + cited evidence; the P36 agent lane at Drew's cap; the full canonical declaration layer); R107–R117 ratified; R22 at the open check-all: 218 passed, 0 failed of 218; oracle recipes 4,284 + baseline 7,428 objects + calibration 147/147 identical, positive control DIFFERS; .gitignore P37 evidence allowlist; CURRENT_PHASE.md with the plan verbatim | 🛑 T1 NEXT (the type census, xHigh) Drew T 2026-09-11 22:48:42 -06:00
• 79b2f6f150 chore(phase-36): CLOSE — levers off to the measured floor: 53,234 → 4,010 register pins + asm statements (−92.5 %), every survivor marked with its pass and its instrument and named for the structs phase; the GTE idiom in one header; 16,759 lying call declarations repaired; the lever and readability series published; 218/218 at every step (v2.2.0) Drew T 2026-09-11 22:45:24 -06:00
• db212f167b phase-36: close rows for both Gen3 series — levers 4,010 (78 milestones); readability: 33 lying declarations left in 25 pinned bodies (was 461 in 314 at S102), 98,648 over 1,609 callees now that argcheck reads K&R definitions Drew T 2026-09-11 21:47:22 -06:00
• 7a7f78e255 phase-36: T8 ☑ T9 ☑ — logged with their verify lines | 🛑 T10 NEXT (the PhaseEnd, Max) Drew T 2026-09-11 21:31:16 -06:00
• 47bb0e88cd phase-36: T9 — kit corpus regenerated after the record edits Drew T 2026-09-11 21:30:52 -06:00
• 96553029e3 phase-36: T9 — cookbook §197-A superseded by the plain-C cure (cast at the shift; nine bodies); §457 documents the @unstuck(P36) tag; index regenerated Drew T 2026-09-11 21:29:55 -06:00
• 223cf384e3 phase-36: T9 — the Gen3 pages date-stamped with Phase 36's outcome (where-next, standards, handoff); doc_links strict OK Drew T 2026-09-11 21:29:19 -06:00
• fe4a624206 phase-36: T9 — 30,138 stale @stuck: header notes above now lever-free functions retagged @unstuck(P36): in 2,693 files (comment-only; R22 218/218; census 4,010 unchanged) Drew T 2026-09-11 21:28:33 -06:00
• 60c4bb1ccc phase-36: T8 ☑ — make tools-health OK on run 4 (lever_census rung green: 4,010 / 0 UNMARKED; S1 10,180/10,180; sdk-dual OK; kit_coverage OK); evidence regenerated Drew T 2026-09-11 21:23:52 -06:00
• c0f2fc7ab2 phase-36: T8 — kit_coverage: the P36 S99 and S105 accelerator entries dispositioned (DK-61, DK-69) Drew T 2026-09-11 21:14:59 -06:00
• 0fcf000c5a phase-36: T8 — kit_lint leak fixed (the delever_regen dictionary row named generator families as bare R-tokens); kit corpus regenerated Drew T 2026-09-11 21:06:06 -06:00
• 5a2bd70fbd phase-36: T8 — the published split regenerated by report (README block + progress.json: 2,141 pins + 1,869 asm in 1,980 functions, all marked); Reference-index rows for the two Gen3 series Drew T 2026-09-11 20:56:44 -06:00
• 676626afb3 phase-36: S105 — f11 landed 4/4 + 4 copies, R22 218/218, census 4,010 / 0 unmarked (exit 0); T7 ☑ ENDED (Drew) | 🛑 T8 NEXT Drew T 2026-09-11 20:48:00 -06:00
• 31cf8695fc phase-36: S105 s105_f11_minlever — func_8018AD9C banked at 0 through the whole-object gate + propagated — f11 copy in ov_SC06_033 (minimum-lever 10 → 3) Drew T 2026-09-11 20:44:41 -06:00
• 52a3953b2f phase-36: S105 s105_f11_minlever — func_8018EDB0 banked at 0 through the whole-object gate + propagated — f11 copy in ov_SC06_032 (minimum-lever 10 → 3) Drew T 2026-09-11 20:44:23 -06:00
• 389e4d068e phase-36: S105 s105_f11_minlever — func_8018F060 banked at 0 through the whole-object gate + propagated — f11 minimum-lever 10 → 3 (per-block pointer temps for the asm block; the three surviving launders are cse's constant-class re-tie, proven) Drew T 2026-09-11 20:44:04 -06:00
• a4a244c7fa phase-36: S105 s105_f11 — func_8018BB48 banked at 0 through the whole-object gate + propagated — f11 copy in ov_SC06_033 (plain C, 3 → 0) Drew T 2026-09-11 20:43:46 -06:00
• b58d4c014b phase-36: S105 s105_f11 — func_80185B4C banked at 0 through the whole-object gate + propagated — f11 copy in ov_SC06_032 (plain C, 3 → 0) Drew T 2026-09-11 20:43:29 -06:00
• cd993d65b9 phase-36: S105 s105_f11 — func_8018FE0C banked at 0 through the whole-object gate + propagated — f11 plain C (the same class, its declaration alias kept; 3 → 0) Drew T 2026-09-11 20:43:10 -06:00
• 5a981f67be phase-36: S105 s105_f11 — func_8018A974 banked at 0 through the whole-object gate + propagated — f11 plain C (the parameter's store first + the multi-set tag chain — md_SC07_004's twin, first try; 3 → 0) Drew T 2026-09-11 20:42:53 -06:00
• 4f382cb1d6 phase-36: S105 s105_f11 — func_8018A688 banked at 0 through the whole-object gate + propagated — f11 plain C (the decompiler's if/do-while as a for — a frame-only residual; the SC06_032 twin's spelling) Drew T 2026-09-11 20:42:35 -06:00
• c7b184dfe4 phase-36: T8 — attribution check: 4,026 of 4,026 counted lever sites name their instrument (rung B 2,620 · S103 agents 933 · T5 450 · S105 22 · S104 1) Drew T 2026-09-11 20:24:47 -06:00
• b3369d0279 phase-36: T8 — lever_census --selftest + --check wired into make tools-health (0 UNMARKED, 0 orphans); --strict stays the structs phase's finish line Drew T 2026-09-11 20:23:35 -06:00
• a4c8301976 phase-36: S105 — Drew: close the phase after f11 (no more agents); the residue bucketed for the record | 🛑 T7 ENDING Drew T 2026-09-11 20:22:52 -06:00
• 295ef3fe4a phase-36: S105 (cont.) — f10 landed 4/4 plain C (three type changes), R22 218/218, census 4,026 / 0 unmarked (exit 0); METHOD step 24; checkpoint refreshed | 🛑 T7 RUNNING Drew T 2026-09-11 19:56:07 -06:00
• ff22c1fba0 phase-36: S105 s105_f10 — func_8017E734 banked at 0 through the whole-object gate + propagated — f10 plain C (the byte and its index as one variable + the difference in its own then-block) Drew T 2026-09-11 19:53:18 -06:00
• fd55fc6990 phase-36: S105 s105_f10 — func_80180FE8 banked at 0 through the whole-object gate + propagated — f10 plain C (a struct-typed cast of the global base; launder + $7 pin → 0) Drew T 2026-09-11 19:53:01 -06:00
• a1e074f93a phase-36: S105 s105_f10 — func_8017E078 banked at 0 through the whole-object gate + propagated — f10 plain C (byte-of-word ((w >> 8) & 0xFF) — the main siblings' spelling; pad deleted) Drew T 2026-09-11 19:52:44 -06:00
• d89dc0c47f phase-36: S105 s105_f10 — func_80180AE8 banked at 0 through the whole-object gate + propagated — f10 plain C (a body-local struct type — mem/s field stores drop sched's anti-dependence) Drew T 2026-09-11 19:52:27 -06:00
• f349f260d9 phase-36: S105 — f11/f12 briefs + packs (ov_SC06_018, ov_SC07_002) Drew T 2026-09-11 19:17:44 -06:00
• 134abd5e04 phase-36: S105 (cont.) — f9 landed 6/6 (3 plain C, 1 do-while, 2 proven + parked), R22 218/218, census 4,032 / 0 unmarked (exit 0); METHOD step 23; checkpoint refreshed | 🛑 T7 RUNNING Drew T 2026-09-11 19:17:22 -06:00
• c2455f5d3e phase-36: S105 s105_f9_minlever — func_80186CE0 banked at 0 through the whole-object gate + propagated — f9 minimum-lever PROVEN 3 → 3 (a 20-byte struct copy over five carved word symbols — a parked carve change; markers carry the pass) Drew T 2026-09-11 19:14:20 -06:00
• f0aba38fc6 phase-36: S105 s105_f9_minlever — func_80180A54 banked at 0 through the whole-object gate + propagated — f9 minimum-lever PROVEN 2 → 2 (a void function that RETURNS the slot — a parked signature change with its patch; markers carry the pass) Drew T 2026-09-11 19:14:01 -06:00
• 9e66211683 phase-36: S105 s105_f9 — func_80186C0C banked at 0 through the whole-object gate + propagated — f9 zero pins, one marked do-while (the sibling copies' spelling; 2 → 0) Drew T 2026-09-11 19:13:43 -06:00
• 7195a5ff91 phase-36: S105 s105_f9 — func_80187D18 banked at 0 through the whole-object gate + propagated — f9 plain C (the same-TU sibling's spelling: an address alias + the multi-set abs chain; 3 → 0) Drew T 2026-09-11 19:13:25 -06:00
• 8a982ef6cd phase-36: S105 s105_f9 — func_8017F498 banked at 0 through the whole-object gate + propagated — f9 plain C (the constant holder declared per arm; 2 → 0) Drew T 2026-09-11 19:13:08 -06:00
• 41ab73ae62 phase-36: S105 s105_f9 — func_801810A0 banked at 0 through the whole-object gate + propagated — f9 plain C (the narrow-load split; the empty delay slots followed; pad shrunk; 5 levers → 0) Drew T 2026-09-11 19:12:49 -06:00
• ea05569512 phase-36: S105 (cont.) — comment-boundary strip fixed, 2 free banks, R22 218/218, census 4,044 / 0 unmarked (exit 0); checkpoint refreshed | 🛑 T7 RUNNING Drew T 2026-09-11 18:48:07 -06:00
• 3d61118281 phase-36: S105 s105_comment6 — 2 of the six formerly-unstrippable classes banked at 0 by the regen (func_80185840 R15 sink, func_8018009C R9 swap) Drew T 2026-09-11 18:45:28 -06:00
• 5c80301196 phase-36: S105 — the strip keeps a block-comment tail and drops the marker rung B wrote inside it: the six comment-boundary UNSTRIPPABLE classes strip (0 orphans); selftests OK Drew T 2026-09-11 18:35:38 -06:00
• b98dd00fcb phase-36: S105 (cont.) — Drew: cap 1; f9 launched on ov_SC02_027 | 🛑 T7 RUNNING Drew T 2026-09-11 18:33:16 -06:00
• 1feaff5390 phase-36: S105 FINAL — f8 landed 5/5 plain C, R22 218/218 at 36be9acef, census 4,046 / 0 unmarked (exit 0), nothing in flight; 42/42 drawn classes at 0 this session; cookbook §457, accelerators + decision log P36 S105, kit corpus; checkpoint final | 🛑 T7 RUNNING Drew T 2026-09-11 18:25:35 -06:00
• 75dddf4e7a phase-36: S105 — cookbook §457 (the S105 move catalog) + accelerators (a generator's refusals are an unaudited population) Drew T 2026-09-11 18:22:34 -06:00
• 36be9acefb phase-36: S105 s105_f8 — func_8018CA74 banked at 0 through the whole-object gate + propagated — f8 plain C (copy-first after the call + a store straddle; 3 pins → 0) Drew T 2026-09-11 18:19:07 -06:00
• d21cd56161 phase-36: S105 s105_f8 — func_8018D270 banked at 0 through the whole-object gate + propagated — f8 plain C (the $5 pin was a dropped call argument — restored through a cast) Drew T 2026-09-11 18:18:50 -06:00
• 4d96e472cd phase-36: S105 s105_f8 — func_8018622C banked at 0 through the whole-object gate + propagated — f8 plain C (the lever-free OR-sibling's spelling ported; 3 pins → 0) Drew T 2026-09-11 18:18:32 -06:00
• 21f2fd8e4b phase-36: S105 s105_f8 — func_80186424 banked at 0 through the whole-object gate + propagated — f8 plain C (the global read as a one-element array + chained stores; two barriers → 0) Drew T 2026-09-11 18:18:15 -06:00
• 7069f8c3dc phase-36: S105 s105_f8 — func_8018A6A0 banked at 0 through the whole-object gate + propagated — f8 plain C (goto bottom-test loop → while; the gte block → library macros) Drew T 2026-09-11 18:17:58 -06:00
• f3e65cc426 phase-36: S105 — f6 landed 6/6 (1 plain C, 2 do-while, 3 minimum-lever), R22 218/218, census 4,058 / 0 unmarked (exit 0); METHOD step 21; checkpoint refreshed | 🛑 T7 RUNNING Drew T 2026-09-11 17:54:45 -06:00
• 4bca24866a phase-36: S105 s105_f6_minlever — func_8017DFB8 banked at 0 through the whole-object gate + propagated — f6 minimum-lever 4 → 3 (the $16 pin off by the parameter/pointer role split; la + addiu + $4 proven with their passes) Drew T 2026-09-11 17:51:48 -06:00
• eb0d076a03 phase-36: S105 s105_f6_minlever — func_80181F4C banked at 0 through the whole-object gate + propagated — f6 minimum-lever PROVEN 1 → 1 (qty_compare_1 1858 vs 1756 with births fixed by the bytes; marker carries the pass) Drew T 2026-09-11 17:51:29 -06:00
• 00f9f8638b phase-36: S105 s105_f6_minlever — func_80180FA4 banked at 0 through the whole-object gate + propagated — f6 minimum-lever 2 → 1 (the $6 pin is the function's own third parameter — a parked signature change with its patch) Drew T 2026-09-11 17:51:11 -06:00
• 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) Drew T 2026-09-11 17:50:50 -06:00
• 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) Drew T 2026-09-11 17:50:32 -06:00
• 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) Drew T 2026-09-11 17:50:14 -06:00
• f6702551b0 phase-36: S105 — f6/f8 cut by the session limit and resumed by id on Drew's word | 🛑 T7 RUNNING Drew T 2026-09-11 17:46:21 -06:00
• 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 Drew T 2026-09-11 14:13:06 -06:00
• d85a4e3877 phase-36: S105 s105_r22b — func_80146B9C.h banked at 0 by the fixed R22 (IDENTICAL on every includer) Drew T 2026-09-11 14:09:52 -06:00
• 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 Drew T 2026-09-11 14:07:56 -06:00
• 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) Drew T 2026-09-11 14:04:59 -06:00
• 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) Drew T 2026-09-11 14:04:28 -06:00
• 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) Drew T 2026-09-11 14:04:11 -06:00
• 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) Drew T 2026-09-11 14:03:54 -06:00
• 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) Drew T 2026-09-11 14:03:37 -06:00
• 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) Drew T 2026-09-11 14:03:19 -06:00
• 3964ed4e86 phase-36: S105 — f9/f10 briefs + packs (ov_SC02_027, ov_SC06_006) Drew T 2026-09-11 13:29:28 -06:00
• 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 Drew T 2026-09-11 13:28:58 -06:00
• 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 Drew T 2026-09-11 13:25:01 -06:00