 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
|
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
|
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
|
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 |
|
|
Drew T
|
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)
|
2026-09-11 20:43:10 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 20:42:53 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 20:42:35 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 19:53:18 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 19:53:01 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 19:52:44 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 19:52:27 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 19:14:20 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 19:14:01 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 19:13:43 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 19:13:25 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 19:13:08 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 19:12:49 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 18:45:38 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 18:19:07 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 18:18:50 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 18:18:32 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 18:18:15 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 18:17:58 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 17:51:48 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 17:51:29 -06:00 |
|
|
Drew T
|
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)
|
2026-09-11 17:51:11 -06:00 |
|
|
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
|
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
|
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
|
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 |
|