proof-adv-s5 zero-budget semantic-index
ADV-S5 proof suite
Proof set for Agent submits op with `kind` not in op catalog
Behaviours 1 Tests 1 Graph 10 nodes · 21 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 |
|---|---|---|---|
[automated agent] fail safely when I post an op that the server does not recognise @cv/ui · playwright · stories/adversarial/unknown-op-kind.spec.ts | catalog | cv api workspace router graph-proven · graph-checks-edge cv op catalog applier graph-proven · graph-checks-edge cv workspace client sdk graph-proven · graph-checks-edge op catalog apply graph-proven · graph-checks-edge workspace client route op graph-proven · graph-checks-edge workspace ops endpoint graph-proven · graph-checks-edge | Test |