diff --git a/phase-ends/logs/Phase12.md b/phase-ends/logs/Phase12.md index 516fa56..acddb2e 100644 --- a/phase-ends/logs/Phase12.md +++ b/phase-ends/logs/Phase12.md @@ -2372,3 +2372,32 @@ supersedes that count. **Count after task 22: 717 bodies / 726 regions (+115 bodies from the Phase 12 open baseline; +33 remain to milestone 750).** + +### Bounded attempts after task 22 — no registrations + +* `0x8010A8D8`: the 60-iteration ×13 loop is semantically identified, but plain C eliminates the dead + locals; `volatile` and an explicit `goto` loop both produce 104 bytes against 92. Stopped after + those distinct source-shape attempts. +* `0x80012960`: register binding and the corrected loaded-vs-address argument reduce the body to a + 2-byte branch-delay residual; an explicit convergence label regresses to 116 bytes. Stopped. +* `0x8001896C`: length-exact at 124 bytes, but direct and ordered hard-bound locals both change the + save/allocation order and leave a 44-byte register residual. Stopped. +* `0x8002E44C`: the global addresses, pointer materialization, and call order were reconstructed; + the remaining pointer live range is not reproduced without a scheduler/assembly transform. The + final candidates were 116 bytes against 124. Stopped. +* `0x80073284`: packed-color stores and the 0x8000 materialization were reconstructed, but the + candidate remains 132 bytes against 136 with branch/store placement differences. Stopped. +* `0x80057F08`: the 44-byte-stride loop is semantically identified, but the original saves and + schedules five registers differently; the first candidate is length-exact with 75 differing bytes. + Stopped. +* `0x8003A644`: the nested-pointer validation and three delta updates are identified, but the + candidate is 140 bytes against 156 because the original preserves an earlier pointer live range. + Stopped. +* `0x800247A4`: the 36-byte template copy and allocation-null path are identified, but aggregate + assignment emits a loop rather than the original's unrolled copy; candidate is 144 bytes against + 148. Stopped. +* `0x80050674`: the staged source remains at the known one-byte second-`addu` operand tie after a + direct source-order swap; no new source was promoted. + +These are staging-only experiments; no tracked source or registry row was added for any bounded +attempt. The authoritative count remains **717 bodies / 726 regions**.