proof-e2 zero-budget semantic-index
E2 proof suite
Proof set for Fast checks stay fast enough for local loops
Behaviours 1 Tests 1 Graph 4 nodes · 3 edges Runner - CircleCI - Source wiki/content/stories/EFFICIENCY-STORIES.md
Test witnesses
These tests belong to the suite. Missing implementation links stay visible until a code-backed graph claim records them.
| Test | Status | Implementation | Open |
|---|---|---|---|
fast suite duration guard @cv/scripts · script · scripts/check-fast-suite-duration.ts | catalog | missing implementation link | Test |