RESULTS.json

{
  "step": "C349",
  "status": "passed",
  "assertions_passed": 142,
  "checks": [
    "i3 distinct11",
    "i3/E_N/N membership",
    "i3/E_N/R membership",
    "i3/E_N/H membership",
    "i3/E_N/F membership",
    "i3/E_N/M membership",
    "i3/E_N/D membership",
    "i3/E_N/S membership",
    "i3/E_N/U membership",
    "i3/E_N/V membership",
    "i3/E_N/B membership",
    "i3/E_N/C membership",
    "i3/E_N_inverse/N membership",
    "i3/E_N_inverse/R membership",
    "i3/E_N_inverse/H membership",
    "i3/E_N_inverse/F membership",
    "i3/E_N_inverse/M membership",
    "i3/E_N_inverse/D membership",
    "i3/E_N_inverse/S membership",
    "i3/E_N_inverse/U membership",
    "i3/E_N_inverse/V membership",
    "i3/E_N_inverse/B membership",
    "i3/E_N_inverse/C membership",
    "i3/J_R/N membership",
    "i3/J_R/R membership",
    "i3/J_R/H membership",
    "i3/J_R/F membership",
    "i3/J_R/M membership",
    "i3/J_R/D membership",
    "i3/J_R/S membership",
    "i3/J_R/U membership",
    "i3/J_R/V membership",
    "i3/J_R/B membership",
    "i3/J_R/C membership",
    "i3/J_R_inverse/N membership",
    "i3/J_R_inverse/R membership",
    "i3/J_R_inverse/H membership",
    "i3/J_R_inverse/F membership",
    "i3/J_R_inverse/M membership",
    "i3/J_R_inverse/D membership",
    "i3/J_R_inverse/S membership",
    "i3/J_R_inverse/U membership",
    "i3/J_R_inverse/V membership",
    "i3/J_R_inverse/B membership",
    "i3/J_R_inverse/C membership",
    "i3/J_M/N membership",
    "i3/J_M/R membership",
    "i3/J_M/H membership",
    "i3/J_M/F membership",
    "i3/J_M/M membership",
    "i3/J_M/D membership",
    "i3/J_M/S membership",
    "i3/J_M/U membership",
    "i3/J_M/V membership",
    "i3/J_M/B membership",
    "i3/J_M/C membership",
    "i3/J_M_inverse/N membership",
    "i3/J_M_inverse/R membership",
    "i3/J_M_inverse/H membership",
    "i3/J_M_inverse/F membership",
    "i3/J_M_inverse/M membership",
    "i3/J_M_inverse/D membership",
    "i3/J_M_inverse/S membership",
    "i3/J_M_inverse/U membership",
    "i3/J_M_inverse/V membership",
    "i3/J_M_inverse/B membership",
    "i3/J_M_inverse/C membership",
    "i3/E_N inverse closure",
    "i3/J_R inverse closure",
    "i3/J_M inverse closure",
    "i3 two E steps",
    "i5 distinct11",
    "i5/E_N/N membership",
    "i5/E_N/R membership",
    "i5/E_N/H membership",
    "i5/E_N/F membership",
    "i5/E_N/M membership",
    "i5/E_N/D membership",
    "i5/E_N/S membership",
    "i5/E_N/U membership",
    "i5/E_N/V membership",
    "i5/E_N/B membership",
    "i5/E_N/C membership",
    "i5/E_N_inverse/N membership",
    "i5/E_N_inverse/R membership",
    "i5/E_N_inverse/H membership",
    "i5/E_N_inverse/F membership",
    "i5/E_N_inverse/M membership",
    "i5/E_N_inverse/D membership",
    "i5/E_N_inverse/S membership",
    "i5/E_N_inverse/U membership",
    "i5/E_N_inverse/V membership",
    "i5/E_N_inverse/B membership",
    "i5/E_N_inverse/C membership",
    "i5/J_R/N membership",
    "i5/J_R/R membership",
    "i5/J_R/H membership",
    "i5/J_R/F membership",
    "i5/J_R/M membership",
    "i5/J_R/D membership",
    "i5/J_R/S membership",
    "i5/J_R/U membership",
    "i5/J_R/V membership",
    "i5/J_R/B membership",
    "i5/J_R/C membership",
    "i5/J_R_inverse/N membership",
    "i5/J_R_inverse/R membership",
    "i5/J_R_inverse/H membership",
    "i5/J_R_inverse/F membership",
    "i5/J_R_inverse/M membership",
    "i5/J_R_inverse/D membership",
    "i5/J_R_inverse/S membership",
    "i5/J_R_inverse/U membership",
    "i5/J_R_inverse/V membership",
    "i5/J_R_inverse/B membership",
    "i5/J_R_inverse/C membership",
    "i5/J_M/N membership",
    "i5/J_M/R membership",
    "i5/J_M/H membership",
    "i5/J_M/F membership",
    "i5/J_M/M membership",
    "i5/J_M/D membership",
    "i5/J_M/S membership",
    "i5/J_M/U membership",
    "i5/J_M/V membership",
    "i5/J_M/B membership",
    "i5/J_M/C membership",
    "i5/J_M_inverse/N membership",
    "i5/J_M_inverse/R membership",
    "i5/J_M_inverse/H membership",
    "i5/J_M_inverse/F membership",
    "i5/J_M_inverse/M membership",
    "i5/J_M_inverse/D membership",
    "i5/J_M_inverse/S membership",
    "i5/J_M_inverse/U membership",
    "i5/J_M_inverse/V membership",
    "i5/J_M_inverse/B membership",
    "i5/J_M_inverse/C membership",
    "i5/E_N inverse closure",
    "i5/J_R inverse closure",
    "i5/J_M inverse closure",
    "i5 two E steps"
  ],
  "source_checks_passed": 18,
  "source_checks": [
    "frozen PREVIOUS_CERTIFICATE.json",
    "frozen PREVIOUS_RESULTS.json",
    "frozen PREVIOUS_DATA.json",
    "frozen PREVIOUS_CHECKPOINT.md",
    "frozen PREVIOUS_NEXT_STEP.json",
    "frozen File_18.md",
    "frozen File_09.md",
    "frozen C286_DATA.json",
    "frozen C287_DATA.json",
    "frozen C271_REGISTER.json",
    "frozen C340_DATA.json",
    "frozen C344_DATA.json",
    "frozen C346_DATA.json",
    "frozen C347_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json"
  ],
  "canonical_or_graph_edits": false,
  "check_scope": "Finite source-labelled calculation; counts are verification inventory, not witness counts."
}