Phase 1 — Pure-logic libs (semver, cc)
ADR-0009 §3.3 Phase 1. Lowest-risk, first exercise of TDD-per-phase and the harness.
Gate: contract C-tests + bats-derived table tests green; equivalence harness fires green on curated fixtures.
Contracts refined: none new. Semver-round-trip property (§3.2) lands here as exemplar.
Discipline (§5): fail-loud gates (sentinel errors), trivalent-verdict + exit-code discipline, absence-needs-positive-control.
References: ADR-0009 §3.3 phase 1; ADR-0008 §5 phase 1 (566 LOC across semver + cc).
No due date
100% Completed
Label
Project
Assignee
Sort