← Back to suites
proof-adv-s7 zero-budget semantic-index

ADV-S7 proof suite

Proof set for Agent retries a write 100× with same opId — only first commit lands; others dedupe

Behaviours 1 Tests 1 Graph 8 nodes · 15 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
[automated agent] safely retry the same op many times without duplicating writes
@cv/ui · playwright · stories/adversarial/retry-storm-same-opid.spec.ts
catalog
cv api workspace router
graph-proven · graph-checks-edge
cv server workspace storage
graph-proven · graph-checks-edge
workspace ops endpoint
graph-proven · graph-checks-edge
workspace sub doc op dedup
graph-proven · graph-checks-edge
Test