{
  "version": 1,
  "status": "verified-local-release-candidate",
  "verified_at": "2026-09-21",
  "claims": [
    {
      "id": "false-completion-is-rejected",
      "statement": "Factory rejects delivered when five blocking questions are unanswered and two acceptance criteria use the invalid status partly met.",
      "status": "verified-local",
      "artifacts": ["proof/terminal-gate/false-delivery/state.json", "proof/terminal-gate/false-delivery/ac-matrix.md", "proof/terminal-gate/false-delivery/receipts.md"],
      "required_output": ["[false-delivery] exit=1", "state.open_questions[4] is blocking and unanswered", "ac-matrix.md row 'AC-2' has status 'partly met'"],
      "limit": "The fixture is a redacted reconstruction of the historical failure shape, not the original private run."
    },
    {
      "id": "valid-completion-is-accepted",
      "statement": "The same terminal gate accepts delivered when every represented question is answered and every represented acceptance criterion is met.",
      "status": "verified-local",
      "artifacts": ["proof/terminal-gate/honest-delivery/state.json", "proof/terminal-gate/honest-delivery/ac-matrix.md", "proof/terminal-gate/honest-delivery/receipts.md"],
      "required_output": ["[honest-delivery] exit=0", "GATE: PASS  run=honest-delivery terminal=delivered matrix=clean"],
      "limit": "This proves the terminal gate accepts this fixture; it is not a complete multi-phase delivery run."
    },
    {
      "id": "terminal-mismatch-bypass-is-closed",
      "statement": "Factory rejects a request to validate delivered when state.json already records blocked.",
      "status": "verified-local",
      "artifacts": ["proof/terminal-gate/mismatched-terminal/state.json", "proof/terminal-gate/mismatched-terminal/ac-matrix.md", "proof/terminal-gate/mismatched-terminal/receipts.md", "proof/case-studies/terminal-state-mismatch/README.md", "proof/case-studies/terminal-state-mismatch/before.txt", "proof/case-studies/terminal-state-mismatch/after.txt", "proof/case-studies/terminal-state-mismatch/regression-test.patch"],
      "required_output": ["[mismatched-terminal] exit=1", "state.terminal 'blocked' does not match requested terminal 'delivered'"],
      "commits": { "baseline": "e0f8277804949502fda1134e75e4e6056c8478ae", "fixed_by": "fd1cd03381451bc610e7424123132cb2f6a12aba" },
      "limit": "The before/after case was reconstructed from repository history after the fix; it was not a Phase 0-6 Factory-orchestrated run."
    }
  ],
  "verification": { "command": "python3 scripts/verify-proof.py", "runner": "bash proof/terminal-gate/run.sh" },
  "boundaries": ["Public-source installation was verified in a disposable repository on 2026-09-22; global installation and fresh-session invocation remain unproven.", "No production adoption, time saving, defect reduction, or benchmark result is claimed.", "A complete redacted Phase 0-6 Factory run remains required before claiming end-to-end Factory validation."]
}