Repository navigation
TR-07: external serve witness (= APR-OBS OBS-16) (TRACE-001) #4562
Description
Spec TRACE-001 v1.2 (docs/specifications/TRACE-001-tracing-consumers.md, operator 2026-09-27), row TR-07. Minted by the cop (aprender-77) under the single-minter rule. Epic #4000 (0.72.0; milestone rules in §4.1).
| EV | Row | Work | Contract | Done when (all must hold) | deps | K̂ |
|---|---|---|---|---|---|---|
| 4 | TR-07 external serve witness | Rust parser (aprender-profile subcommand or xtask) from renacer JSON to apr-serve-witness-v1 rows per §2.3; overhead ratio measured. Filed on APR-OBS as OBS-16, joined to OBS-01/OBS-03 rows by connection and request_id |
serve-external-witness-v1 |
Kani KANI-TRACE-WITNESS declared; planted skew RED from the witness alone; overhead ratio committed [V] |
05, APR-OBS OBS-03 | 180 |
Hard rules §5 (R-1..R-7) and STOP conditions §7 (S-1..S-9) apply. A row that misses its cut moves on with slipped_from:; if it serves an exit criterion (V1/V2/V6/V7), the move needs an operator ruling.
Activity
fix(contracts): FALSIFY-WITNESS-002 test ref ends at the test name so…
test(profile): pin the anchor when a write precedes the read — plante…
noahgift commentedon Oct 14, 2026
merged into #5314 (master ticket for epic #4000; triage rule 7b, 2026-10-14). It is a checklist row there; reopen this issue when work on it starts or its PR opens.