phase12: checkpoint bounded matching attempts

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**.