From 12bf2df9d092156509cf087d96a9058386501955 Mon Sep 17 00:00:00 2001 From: "russell@unturf.com" Date: Sun, 10 May 2026 17:00:37 -0400 Subject: [PATCH] docs/TICKETS: refresh #000006 status row + calculator-test-patterns.md description MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Two drifts caught in TICKETS.md sweep after today's wave: 1. **#000006 status row drift** — fox amended ticket #000006's file header on 2026-05-10 to: Status: open · rolling research log (verifier-ladder healthy at 134 cycles; emergent gems still being mined) But the TICKETS.md index row still said just `open · rolling`. Convention from peer rows (#000031, #000037, #000025) is for the index status field to carry the same descriptors that the ticket file header carries — the index is the load-bearing surface for at-a-glance reading. Refresh. 2. **calculator-test-patterns.md description drift** — the description in §"Distinction from other docs" was authored when the doc was a 9-item-checklist codification of a three-module pattern bench (t3_bound_calculator / phi_alignment_probe / anchor_prg, 2026-05-10 morning). Today evening's commit `f5dbfab` extended the doc with three new patterns (projective-contract, dispatch-order pin, tie-breaking-rule pin) sourced from fox's overnight π* kernel commits, plus four new exemplar test files (pi_star_arithmetic / _logic / _code / _time_series). The description should reflect the 12-pattern split (9 core + 3 domain-specific contract pins) and the now-seven-exemplar inventory. Refresh. Spot-checked status text in 9 in-progress / open / parked tickets against their file headers — all in sync: #000043 #000037 #000036 #000035 #000034 #000033 #000025 #000016 #000012 #000006 was the only divergence. Closed-ticket alias counts (74 / 13 / 92/92) all match live; refreshed in earlier commits this session. Hygiene: docs-only commit, no code, no tests touched. Verification: ``pytest tests/test_doc_counts.py`` 3/3 pass in 1.97s. --- docs/TICKETS.md | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) 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 |