proof-e1 zero-budget semantic-index
E1 proof suite
Proof set for Default quality run spends no budget
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 |
|---|---|---|---|
paid provider guard @cv/scripts · script · scripts/check-paid-forbidden.ts | catalog | missing implementation link | Test |