← Back to suites
mcp-contracts zero-budget semantic-index

MCP op-envelope contracts

Pin the two invariants every MCP / agent flow silently depends on: every MCP tool requires a wsId to write anything (no implicit "current workspace" on a stateless protocol), and the op envelope's actorClass/agentId are honoured end-to-end into the cell-origins projection. If either breaks, agent tinting, the human-write-protection gate, and the headless server fallback all degrade silently.

Behaviours 0 Tests 4 Graph 13 nodes · 20 edges Runner - CircleCI browser_mcp_contracts Source qa/suites/mcp-contracts.yaml

Test witnesses

These tests belong to the suite. Missing implementation links stay visible until a code-backed graph claim records them.

TestStatusImplementationOpen
agent op envelope produces an agent cell-origin record
@cv/ui · playwright · mcp-contracts/op-envelope-actor-class-honored.spec.ts
catalog
cell origins projection
graph-proven · graph-checks-edge
cv api workspace router
graph-proven · graph-checks-edge
cv cell origins projection
graph-proven · graph-checks-edge
op envelope actor class
graph-proven · graph-checks-edge
workspace ops endpoint
graph-proven · graph-checks-edge
Test
system op envelope produces a system cell-origin record
@cv/ui · playwright · mcp-contracts/op-envelope-actor-class-honored.spec.ts
catalog
cell origins projection
graph-proven · graph-checks-edge
cv api workspace router
graph-proven · graph-checks-edge
cv cell origins projection
graph-proven · graph-checks-edge
op envelope actor class
graph-proven · graph-checks-edge
workspace ops endpoint
graph-proven · graph-checks-edge
Test
every tool rejects calls without wsId with InvalidShape
@cv/ui · playwright · mcp-contracts/wsId-required-for-all-tools.spec.ts
catalog
cv mcp worker entry
graph-proven · graph-checks-edge
mcp jsonrpc endpoint
graph-proven · graph-checks-edge
mcp tool input validation
graph-proven · graph-checks-edge
Test
tools/list returns the full catalog
@cv/ui · playwright · mcp-contracts/wsId-required-for-all-tools.spec.ts
catalog
cv mcp worker entry
graph-proven · graph-checks-edge
mcp jsonrpc endpoint
graph-proven · graph-checks-edge
mcp tool input validation
graph-proven · graph-checks-edge
Test