RESULTS.json

{
  "step": "C399",
  "status": "passed",
  "assertions_passed": 44,
  "checks": [
    "signed unique E return ('cumulative', 0)",
    "signed common P J geometry ('cumulative', 0)",
    "signed loop pivot spans ('cumulative', 0)",
    "complete source membership ('cumulative', 0)",
    "signed unique E return ('cumulative', 1)",
    "signed common P J geometry ('cumulative', 1)",
    "signed loop pivot spans ('cumulative', 1)",
    "complete source membership ('cumulative', 1)",
    "signed unique E return ('cumulative', 2)",
    "signed common P J geometry ('cumulative', 2)",
    "signed loop pivot spans ('cumulative', 2)",
    "complete source membership ('cumulative', 2)",
    "signed unique E return ('cumulative', 3)",
    "signed common P J geometry ('cumulative', 3)",
    "signed loop pivot spans ('cumulative', 3)",
    "complete source membership ('cumulative', 3)",
    "signed unique E return ('cumulative', 4)",
    "signed common P J geometry ('cumulative', 4)",
    "signed loop pivot spans ('cumulative', 4)",
    "complete source membership ('cumulative', 4)",
    "signed unique E return ('cumulative', 5)",
    "signed common P J geometry ('cumulative', 5)",
    "signed loop pivot spans ('cumulative', 5)",
    "complete source membership ('cumulative', 5)",
    "signed unique E return ('regular', 0)",
    "signed common P J geometry ('regular', 0)",
    "signed loop pivot spans ('regular', 0)",
    "complete source membership ('regular', 0)",
    "admitted pivot is existing MT Noah 0",
    "signed unique E return ('regular', 1)",
    "signed common P J geometry ('regular', 1)",
    "signed loop pivot spans ('regular', 1)",
    "complete source membership ('regular', 1)",
    "admitted pivot is existing MT Noah 1",
    "signed unique E return ('regular', 2)",
    "signed common P J geometry ('regular', 2)",
    "signed loop pivot spans ('regular', 2)",
    "complete source membership ('regular', 2)",
    "signed unique E return ('regular', 3)",
    "signed common P J geometry ('regular', 3)",
    "signed loop pivot spans ('regular', 3)",
    "complete source membership ('regular', 3)",
    "complete correspondence to family census",
    "all ten common edges covered"
  ],
  "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 C378_DATA.json",
    "frozen C365_DATA.json",
    "frozen C396_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."
}