← Back to suites
proof-p4-g9-s2 zero-budget semantic-index

P4-G9-S2 proof suite

Proof set for Agent calls `cv_profile.replace` with a malformed tree — broker rejects, no partial state

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
[agent operator] have my agent's malformed tree get rejected without corrupting state
@cv/ui · playwright · stories/agent/p4-g9-s2-agent-malformed-tree-rejected.spec.ts
catalog
cv document model helpers
graph-proven · graph-checks-edge
cv op catalog applier
graph-proven · graph-checks-edge
cv profile replace op
graph-proven · graph-checks-edge
node tree zod schema
graph-proven · graph-checks-edge
Test