4781 Commits

Author SHA1 Message Date
Drew T 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) 2026-09-12 14:32:37 -06:00
Drew T 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) 2026-09-12 14:13:11 -06:00
Drew T 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) 2026-09-12 14:07:12 -06:00
Drew T 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) 2026-09-12 13:46:44 -06:00
Drew T 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) 2026-09-12 13:27:05 -06:00
Drew T 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) 2026-09-12 13:07:03 -06:00
Drew T 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) 2026-09-12 12:45:43 -06:00
Drew T 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) 2026-09-12 12:42:29 -06:00
Drew T 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) 2026-09-12 12:27:26 -06:00
Drew T 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) 2026-09-12 11:44:51 -06:00
Drew T 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) 2026-09-12 11:27:13 -06:00
Drew T 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) 2026-09-12 11:22:12 -06:00
Drew T 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) 2026-09-12 11:16:49 -06:00
Drew T 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) 2026-09-12 11:04:57 -06:00
Drew T 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) 2026-09-12 10:58:59 -06:00
Drew T 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) 2026-09-12 10:52:57 -06:00
Drew T 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) 2026-09-12 10:47:14 -06:00
Drew T 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) 2026-09-12 10:41:27 -06:00
Drew T 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) 2026-09-12 10:35:24 -06:00
Drew T 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) 2026-09-12 10:29:14 -06:00
Drew T 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) 2026-09-12 10:21:07 -06:00
Drew T 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 2026-09-12 10:10:09 -06:00
Drew T 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) 2026-09-12 10:04:16 -06:00
Drew T 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) 2026-09-12 09:47:24 -06:00
Drew T 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) 2026-09-12 09:40:36 -06:00
Drew T 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) 2026-09-12 08:19:12 -06:00
Drew T 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) 2026-09-12 08:09:29 -06:00
Drew T 48e68c5b7a phase-37: T2 — docs/tool-index.md regenerated for tools/restruct.py | 🛑 T3 NEXT 2026-09-12 01:27:55 -06:00
Drew T 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) 2026-09-12 01:27:45 -06:00
Drew T 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) 2026-09-11 23:54:15 -06:00
Drew T 23fc5d2159 phase-37: log — the struct map is Claude's recommendation on Drew's question, not Drew's proposal (record corrected) | 🛑 T1 NEXT 2026-09-11 22:53:04 -06:00
Drew T 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) 2026-09-11 22:52:01 -06:00
Drew T 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) 2026-09-11 22:48:42 -06:00
Drew T 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) 2026-09-11 22:45:24 -06:00
Drew T 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 2026-09-11 21:47:22 -06:00
Drew T 7a7f78e255 phase-36: T8 ☑ T9 ☑ — logged with their verify lines | 🛑 T10 NEXT (the PhaseEnd, Max) 2026-09-11 21:31:16 -06:00
Drew T 47bb0e88cd phase-36: T9 — kit corpus regenerated after the record edits 2026-09-11 21:30:52 -06:00
Drew T 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 2026-09-11 21:29:55 -06:00
Drew T 223cf384e3 phase-36: T9 — the Gen3 pages date-stamped with Phase 36's outcome (where-next, standards, handoff); doc_links strict OK 2026-09-11 21:29:19 -06:00
Drew T 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) 2026-09-11 21:28:33 -06:00
Drew T 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 2026-09-11 21:23:52 -06:00
Drew T c0f2fc7ab2 phase-36: T8 — kit_coverage: the P36 S99 and S105 accelerator entries dispositioned (DK-61, DK-69) 2026-09-11 21:14:59 -06:00
Drew T 0fcf000c5a phase-36: T8 — kit_lint leak fixed (the delever_regen dictionary row named generator families as bare R-tokens); kit corpus regenerated 2026-09-11 21:06:06 -06:00
Drew T 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 2026-09-11 20:56:44 -06:00
Drew T 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 2026-09-11 20:48:00 -06:00
Drew T 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) 2026-09-11 20:44:41 -06:00
Drew T 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) 2026-09-11 20:44:23 -06:00
Drew T 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) 2026-09-11 20:44:04 -06:00
Drew T 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) 2026-09-11 20:43:46 -06:00
Drew T 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) 2026-09-11 20:43:29 -06:00