RESULTS.json

{
  "step": "C325",
  "status": "passed",
  "assertions_passed": 70,
  "checks": [
    "G1 inherited reverseindex",
    "G1 Noah birth frozen membership",
    "G1 Noah birth Shem birth -1/4 phasebinding",
    "G1 Noah birth Shem birth 1/4 phasebinding",
    "G1 Noah birth exactphasepair",
    "G1 Noah birth terminalrolebound",
    "G1 Noah birth -1/4 C314terminal",
    "G1 Noah birth -1/4 C271anchor",
    "G1 Noah birth 1/4 C314terminal",
    "G1 Noah birth 1/4 C271anchor",
    "G1 Shem birth frozen membership",
    "G1 Flood start frozen membership",
    "G1 Flood start Shem death -1/4 phasebinding",
    "G1 Flood start Shem death 1/4 phasebinding",
    "G1 Flood start exactphasepair",
    "G1 Flood start terminalrolebound",
    "G1 Flood start -1/4 C314terminal",
    "G1 Flood start -1/4 C271anchor",
    "G1 Flood start 1/4 C314terminal",
    "G1 Flood start 1/4 C271anchor",
    "G1 Noah death frozen membership",
    "G1 Shem death frozen membership",
    "G2 inherited reverseindex",
    "G2 Noah birth frozen membership",
    "G2 Noah birth Shem birth -1/4 phasebinding",
    "G2 Noah birth Shem birth 1/4 phasebinding",
    "G2 Noah birth exactphasepair",
    "G2 Noah birth terminalrolebound",
    "G2 Noah birth -1/4 C314terminal",
    "G2 Noah birth -1/4 C271anchor",
    "G2 Noah birth 1/4 C314terminal",
    "G2 Noah birth 1/4 C271anchor",
    "G2 Shem birth frozen membership",
    "G2 Flood start frozen membership",
    "G2 Flood start Shem death -1/4 phasebinding",
    "G2 Flood start Shem death 1/4 phasebinding",
    "G2 Flood start exactphasepair",
    "G2 Flood start terminalrolebound",
    "G2 Flood start -1/4 C314terminal",
    "G2 Flood start -1/4 C271anchor",
    "G2 Flood start 1/4 C314terminal",
    "G2 Flood start 1/4 C271anchor",
    "G2 Noah death frozen membership",
    "G2 Shem death frozen membership",
    "G3 inherited reverseindex",
    "G3 Noah birth frozen membership",
    "G3 Noah birth Shem birth -1/4 phasebinding",
    "G3 Noah birth Shem birth 1/4 phasebinding",
    "G3 Noah birth exactphasepair",
    "G3 Noah birth terminalrolebound",
    "G3 Noah birth -1/4 C314terminal",
    "G3 Noah birth -1/4 C271anchor",
    "G3 Noah birth 1/4 C314terminal",
    "G3 Noah birth 1/4 C271anchor",
    "G3 Shem birth frozen membership",
    "G3 Flood start frozen membership",
    "G3 Flood start Shem death -1/4 phasebinding",
    "G3 Flood start Shem death 1/4 phasebinding",
    "G3 Flood start exactphasepair",
    "G3 Flood start terminalrolebound",
    "G3 Flood start -1/4 C314terminal",
    "G3 Flood start -1/4 C271anchor",
    "G3 Flood start 1/4 C314terminal",
    "G3 Flood start 1/4 C271anchor",
    "G3 Noah death frozen membership",
    "G3 Shem death frozen membership",
    "finiteannualdomain",
    "finitephasedomain",
    "sixsourcechains",
    "two rolefamilies"
  ],
  "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 C322_DATA.json",
    "frozen C314_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."
}