← Back to suites
proof-p1-g9-s4 zero-budget semantic-index

P1-G9-S4 proof suite

Proof set for Iterate profile (delete a variant — pool memory preserved unless explicit)

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.

TestStatusImplementationOpen
[solo applicant] preserve pool memory unless the user explicitly deletes a variant
@cv/ui · playwright · stories/solo/g9-delete-variant-pool-memory.spec.ts
catalog
cv op catalog applier
graph-proven · graph-checks-edge
cvl node delete
graph-proven · graph-checks-edge
cvl selection update
graph-proven · graph-checks-edge
Test