Repository navigation
TR-12: dogfood renacer in CRUX (TRACE-001) #4569
Description
Spec TRACE-001 v1.2 (docs/specifications/TRACE-001-tracing-consumers.md, operator 2026-09-27), row TR-12. 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̂ |
|---|---|---|---|---|---|---|
| 5 | TR-12 dogfood renacer in CRUX | After TR-15 records E-S1 parity: switch the 8 strace-based CRUX falsifiers (G16) to the in-tree renacer via scripts/renacer_bin.sh, keeping strace as a recorded oracle arm |
8 existing contracts | each falsifier's outcome identical under both tools on 3 runs; renacer is the instrument in 8/8 | 15 | 90 |
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
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.