Verification Battery (V1-V14)
The V-battery runs after the spec is constructed and before the human review gate.
| Check | What it verifies | Blocking? |
|---|---|---|
| V1 | APU coverage --- every input concept mapped to the spec | Yes |
| V2 | Structural completeness --- all required sections present | Yes |
| V3 | Internal consistency --- no contradictions | Yes |
| V4 | Fragment completeness --- all node fragments produced | Yes |
| V5 | Trace completeness --- all APUs traced | Yes |
| V6 | Cascade coverage --- spec covers all APU chains | Yes |
| V7a | Citation quality | Advisory |
| V7b | Reference integrity | Advisory |
| V8 | Non-goal classification | Advisory |
| V9 | Constraint coverage | Yes |
| V10 | Falsifiability --- testable acceptance criteria | Advisory |
| V11 | Spec-graph parity --- spec text matches graph.json | Yes |
| V12 | Dependency soundness | Advisory |
| V13 | HG5 compliance --- brainstorm elicitation recorded | Yes (full mode) |
| V14 | Wiring-contract carry-through (harness-forge only) | Yes (harness-forge) |
Failed blocking checks halt the pipeline. Advisory checks are surfaced as warnings at the human gate.