diff --git a/docs/TICKETS.md b/docs/TICKETS.md
index b32c88d..a62e040 100644
--- a/docs/TICKETS.md
+++ b/docs/TICKETS.md
@@ -57,13 +57,20 @@ proposing change. Examples that stay un-numbered:
   `#000031`. Per-pillar substrate map, ingest patterns, alias
   discipline, cascade tuning, honest tier breakdown.)
 - `calculator-test-patterns.md` (architecture reference for
-  testing calculator / probe-style code: KAT regression,
+  testing calculator / probe-style code. Twelve patterns split
+  into two tiers: the original 9-item core (KAT regression,
   hand-computed formula assertions, monotonicity, closure /
   sum-of-parts invariants, parametrized invalid-input cones, CLI
-  subprocess, doc parity, module-export shape. Codified
-  2026-05-10 from the three-module pattern bench across
-  `t3_bound_calculator` / `phi_alignment_probe` / `anchor_prg`.
-  Explicit "doesn't apply to verifier-style code" caveat.)
+  subprocess, doc parity, module-export shape) plus three
+  domain-specific contract pins (projective-contract for one-way
+  canonicalizers, dispatch-order pin for Python type-hierarchy
+  gotchas, tie-breaking-rule pin for banker's rounding).
+  Codified 2026-05-10 from the original three-module pattern
+  bench across `t3_bound_calculator` / `phi_alignment_probe` /
+  `anchor_prg`; extended same day with the four π* kernel
+  exemplars (`pi_star_arithmetic` / `_logic` / `_code` /
+  `_time_series`). Explicit "doesn't apply to verifier-style
+  code" caveat.)
 
 If a doc proposes change AND awaits a decision AND has scoped
 implementation cost, it's a ticket. Otherwise it's reference.
@@ -111,7 +118,7 @@ Newest first. Update on every open/close.
 | #000009  | Preflight run-DAG node binding (#000008+#000010) | closed · re-landed 2026-05-04 (§8 corrections: reject-path DAG, nested CTI clauses) | 2026-05-03 | D3, D4    |
 | #000008  | Broad-quantifier preflight guard               | closed · landed in `4f2b5a6`; Phase 5 DAG binding split into #000009 | 2026-05-02 | —         |
 | #000007  | Query-layer hyphen folding                     | closed · 2026-05-02   | 2026-05-02 | —         |
-| #000006  | Bench-emergent findings (rolling research log) | open · rolling        | 2026-05-02 | —         |
+| #000006  | Bench-emergent findings (rolling research log) | open · rolling research log (verifier-ladder healthy at 134 cycles; emergent gems still being mined) | 2026-05-02 | —         |
 | #000005  | Label ladder migration (POINTER-LINKED → …)    | closed · 2026-05-02   | 2026-05-01 | D7        |
 | #000004  | Directive coverage in bench summary            | closed · `acd1f9c`    | 2026-05-01 | D8        |
 | #000003  | Anchor-class warrant generalization (Module H+)| closed · 2026-05-02   | 2026-05-01 | D6        |