RESULTS.json

{
  "step": "C392",
  "status": "passed",
  "assertions_passed": 20,
  "checks": [
    "graph lossless 0",
    "four expected E edges present 0",
    "unit E source edges only full branch 0",
    "graph lossless 1",
    "four expected E edges present 1",
    "unit E source edges only full branch 1",
    "graph lossless 2",
    "four expected E edges present 2",
    "unit E source edges only full branch 2",
    "coherent reverse Gear unit E (2, 'SP')",
    "coherent reverse Gear unit E (2, 'LXX')",
    "unit E variant arithmetic 2",
    "graph lossless 3",
    "four expected E edges present 3",
    "unit E source edges only full branch 3",
    "coherent reverse Gear unit E (3, 'SP')",
    "coherent reverse Gear unit E (3, 'LXX')",
    "unit E variant arithmetic 3",
    "full finite input domain",
    "observed graph closure"
  ],
  "source_checks_passed": 16,
  "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 C385_DATA.json",
    "frozen C391_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."
}