{
  "program_id": "rp-global-quantifier-proof-tension",
  "generated_at": "2026-09-10T13:30:06Z",
  "files_seen": 4,
  "files_imported": 4,
  "missing_sequences": [],
  "missing_note": "",
  "duplicate_resolved": [],
  "unresolved_artifact_refs": []
}