Verification Contract Gate
Role
Ensure downstream projects declare enough verification intent before completion claims are trusted.
When to use
executionPlane == product_project- Before
completion-verifieror fallback shell verification is treated as authoritative
Inputs
analysisContext.signals.executionPlaneanalysisContext.signals.verificationContractReadyanalysisContext.signals.workflowProfileanalysisContext.artifacts.verificationContractPath
Gate logic
- If
executionPlane != product_project, return pass with note. - If
verificationContractReady == true, return pass. - If
workflowProfile == standard, returnpass_with_warningand recommend adding a contract. - If
workflowProfile == strict, block until the contract exists or project policy explicitly defines equivalent verification rules.
Minimum Verification Contract Areas
- Required commands
- Required evidence artifacts
- Runtime verification policy
- Indeterminate handling policy
- Strict-mode triggers
Output (patch)
notes:
- "verification-contract-gate: blocked in strict mode"
missingInfo:
- category: verification-contract
priority: HIGH
question: "Add `.claude/verification.contract.yaml` or equivalent project verification policy before completion."
completionStatus:
gateDecision: failed
Rules
- This gate does not run tests by itself.
- It only validates that downstream verification expectations are declared clearly enough.