examples/input.json

{
  "requirements": [
    {"id": "R1", "text": "Release decisions must be traceable to supplied evidence."},
    {"id": "R2", "text": "Only the approved reader may access the report."}
  ],
  "decisions": [
    {"id": "D1", "title": "Use reviewed release evidence", "rationale": "The release record is supported by the supplied review note.", "requirement_ids": ["R1"], "evidence_ids": ["E1"]},
    {"id": "D2", "title": "Keep report access restricted", "rationale": "The permission observation confirms the declared boundary.", "requirement_ids": ["R2"], "evidence_ids": ["E2"]}
  ],
  "evidence": [
    {"id": "E1", "origin": "synthetic:review-note", "content": "Release reviewed by the change owner.", "requirement_ids": ["R1"]},
    {"id": "E2", "origin": "synthetic:access-log", "content": "reader may read report.", "requirement_ids": ["R2"]}
  ],
  "access_checks": [
    {"id": "A1", "subject": "reader", "resource": "report", "action": "read", "expected": "allow", "observed": "allow", "evidence_ids": ["E2"], "requirement_ids": ["R2"]}
  ]
}