proof-e3 zero-budget semantic-index
E3 proof suite
Proof set for Slow free checks stay repeatable
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 |
|---|---|---|---|
flakiness budget guard @cv/scripts · script · scripts/check-flakiness-budget.ts | catalog | missing implementation link | Test |