proof-s1 zero-budget semantic-index
S1 proof suite
Proof set for Provider-neutral test execution
Behaviours 1 Tests 1 Graph 4 nodes · 3 edges Runner - CircleCI - Source wiki/content/stories/SYSTEM-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 |