RESULTS.json

{
  "step": "C467",
  "status": "passed",
  "assertions_passed": 13,
  "checks": [
    "K_no_reach_None",
    "K_no_reach_('E', 2756)",
    "K_no_reach_('E', 2758)",
    "K_no_reach_('E', 2816)",
    "K_no_reach_('E', 2818)",
    "K_no_reach_('E', 3620)",
    "K_no_reach_('E', 3622)",
    "K_no_reach_('E', 3680)",
    "K_no_reach_('E', 3682)",
    "K_no_reach_('R', 3188)",
    "K_no_reach_('R', 3190)",
    "K_no_reach_('R', 3248)",
    "K_no_reach_('R', 3250)"
  ],
  "source_checks_passed": 21,
  "source_checks": [
    "PREVIOUS_CERTIFICATE.json",
    "PREVIOUS_DATA.json",
    "PREVIOUS_RESULTS.json",
    "PREVIOUS_CHECKPOINT.md",
    "PREVIOUS_NEXT_STEP.json",
    "File_18.md",
    "File_09.md",
    "File_02.md",
    "File_46.md",
    "C286_DATA.json",
    "C444_DATA.json",
    "C444_CERTIFICATE.json",
    "C444_CHECKPOINT.md",
    "C438_DATA.json",
    "C451_DATA.json",
    "C454_DATA.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json",
    "C444 data certificate"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}