proof-p1-g9-s3 zero-budget semantic-index
P1-G9-S3 proof suite
Proof set for Iterate profile (activate the new quarry node via selection.update)
Behaviours 1 Tests 1 Graph 7 nodes · 12 edges Runner - CircleCI - Source wiki/content/stories/USER-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 |
|---|---|---|---|
[solo applicant] activate a previously-pooled variant via the selection checkbox @cv/ui · playwright · stories/solo/g9-activate-quarry-node.spec.ts | catalog | cv op catalog applier graph-proven · graph-checks-edge node tree mutations graph-proven · graph-checks-edge selection update op graph-proven · graph-checks-edge | Test |