phase9: ledger — rare-epilogue census (16 sites, library band)

phase-ends/CURRENT_PHASE.md

@@ -391,3 +391,15 @@ cluster addresses as the class's strongest members.
 - Queue machinery: negatives reconciled per merge (excluded_recorded_
   negative=80), worklist regen per merge (1,443 rows, disjoint 486/486/486).
 - Registry: 346 / 337. All gates green; SHA-1 stable; 229 tests.
+
+## Cycle 4 — rare-epilogue-order census (finding 11 corrected and measured)
+
+- Coordinator census of the rare epilogue order (`lw ra,off(sp)` / `nop` /
+  `jr ra` / `addiu sp,sp,N` with the restore in the jr slot — vs the common
+  form's nop-in-slot): **16 sites** across the payload, all in the
+  `0x800FBxxx`-`0x8010xxxx` library band. Finding 11's "13 sites, CRT
+  region" is now 16 sites, definitively outside the CRT entry — it is a
+  LIBRARY-CODE compiler-output signature. Three phase-9 rows hit it:
+  0x800F88F0 (worker C, F21), 0x80100334 (worker A), 0x8010036C
+  (coordinator). Not reachable from plain C with the game's cc1: recorded
+  as a class, consistent with the library-vs-game split (P9-T5 adjacent).