Synthesize Verification Report

Synthesize Verification Report

Produce the final verification output JSON and verdict.

Input Contract

Read all findings from:

• statement_checks
• reference_checks

Each issue must include location and issue.

Procedure

1. Collect all critical errors and all gaps from previous checks.
2. Build a complete verification_report object with:
   • summary
   • critical_errors
   • gaps
3. Apply strict verdict rule:
   • correct iff critical_errors=[] and gaps=[].
   • otherwise wrong.
4. If verdict is wrong, produce concrete non-empty repair_hints.
5. Validate the output via validate_verification_output.
6. Persist output via write_verification_output.

Output Contract

Final output JSON:

{
  "verification_report": {
    "summary": "string",
    "critical_errors": [],
    "gaps": []
  },
  "verdict": "correct",
  "repair_hints": ""
}

If there is any error or gap, verdict must be "wrong" and repair_hints must be non-empty.

MCP Tools

• memory_query
• memory_append
• validate_verification_output
• write_verification_output