engineering/arborist
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs/TICKETS: refresh #000006 status row + calculator-test-patterns.md description

Browse source 
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.
This commit is contained in:
russell@unturf.com 2026-05-10 17:00:37 -04:00
parent 245543bda9
commit 12bf2df9d0
No known key found for this signature in database
1 changed files with 13 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

19
docs/TICKETS.md
View file

@ -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 |