RESULTS.json

{
  "step": "C364",
  "status": "passed",
  "assertions_passed": 30,
  "checks": [
    "32 frozen cumulative members",
    "joined cumulative geometry 0",
    "no source internal or terminal 0",
    "phase cannot supply source 0-1/4",
    "phase cannot supply source 01/4",
    "joined cumulative geometry 1",
    "no source internal or terminal 1",
    "phase cannot supply source 1-1/4",
    "phase cannot supply source 11/4",
    "joined cumulative geometry 2",
    "no source internal or terminal 2",
    "phase cannot supply source 2-1/4",
    "phase cannot supply source 21/4",
    "joined cumulative geometry 3",
    "no source internal or terminal 3",
    "phase cannot supply source 3-1/4",
    "phase cannot supply source 31/4",
    "joined cumulative geometry 4",
    "no source internal or terminal 4",
    "phase cannot supply source 4-1/4",
    "phase cannot supply source 41/4",
    "joined cumulative geometry 5",
    "no source internal or terminal 5",
    "phase cannot supply source 5-1/4",
    "phase cannot supply source 51/4",
    "no500 or1100 interval anywhere in32 member menu",
    "retained458600 repair 2",
    "retained458600 repair 3",
    "retained458600 repair 4",
    "retained458600 repair 5"
  ],
  "source_checks_passed": 17,
  "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 C351_DATA.json",
    "frozen C359_DATA.json",
    "frozen File_02.md",
    "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."
}