proof-p4-g6-s3 zero-budget semantic-index
P4-G6-S3 proof suite
Proof set for Agent violates selection cardinality (maxCount=1 with 2 actives) — rejected without `force: true`
Behaviours 1 Tests 1 Graph 6 nodes · 9 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 |
|---|---|---|---|
[agent operator] enforce selection.maxCount when an agent overshoots without force @cv/ui · playwright · stories/agent/p4-g6-s3-cardinality-rejects-without-force.spec.ts | catalog | cv op catalog applier graph-proven · graph-checks-edge op validate cardinality graph-proven · graph-checks-edge | Test |