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

ADV-S6 proof suite

Proof set for Agent submits op with stale `OP_CATALOG_VERSION` — rejected with version mismatch

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] be told to refresh when my op catalog version is stale
@cv/ui · playwright · stories/adversarial/stale-op-catalog-version.spec.ts
catalog
cv api workspace router
graph-proven · graph-checks-edge
cv op catalog applier
graph-proven · graph-checks-edge
op catalog version guard
graph-proven · graph-checks-edge
workspace ops endpoint
graph-proven · graph-checks-edge
Test