proof-s5 zero-budget semantic-index
S5 proof suite
Proof set for Quality service is a product surface
Behaviours 1 Tests 1 Graph 5 nodes · 6 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 |
|---|---|---|---|
quality HTTP smoke tools/quality · cargo · tools/quality/tests/http_smoke.rs | catalog | quality http surface graph-proven · graph-checks-edge | Test |