RESULTS.json

{
  "step": "C396",
  "status": "passed",
  "assertions_passed": 94,
  "checks": [
    "coherent moving Noah pair (1, 0)",
    "coherent moving Noah pair (1, 1)",
    "coherent moving Noah pair (1, 2)",
    "coherent moving Noah pair (1, 3)",
    "coherent moving Noah pair (1, 4)",
    "coherent moving Noah pair (1, 5)",
    "coherent moving Noah pair (1, 6)",
    "coherent moving Noah pair (1, 7)",
    "coherent moving Noah pair (1, 8)",
    "coherent moving Noah pair (1, 9)",
    "coherent moving Noah pair (1, 10)",
    "coherent moving Noah pair (1, 11)",
    "coherent moving Noah pair (1, 12)",
    "coherent moving Noah pair (1, 13)",
    "coherent moving Noah pair (1, 14)",
    "coherent moving Noah pair (1, 15)",
    "coherent moving Noah pair (1, 16)",
    "coherent moving Noah pair (1, 17)",
    "coherent moving Noah pair (1, 18)",
    "coherent moving Noah pair (1, 19)",
    "coherent moving Noah pair (1, 20)",
    "coherent moving Noah pair (1, 21)",
    "coherent moving Noah pair (1, 22)",
    "coherent moving Noah pair (1, 23)",
    "coherent moving Noah pair (1, 24)",
    "coherent moving Noah pair (1, 25)",
    "coherent moving Noah pair (1, 26)",
    "coherent moving Noah pair (1, 27)",
    "coherent moving Noah pair (1, 28)",
    "coherent moving Noah pair (1, 29)",
    "coherent moving Noah pair (1, 30)",
    "coherent moving Noah pair (1, 31)",
    "coherent moving Noah pair (2, 0)",
    "coherent moving Noah pair (2, 1)",
    "coherent moving Noah pair (2, 2)",
    "coherent moving Noah pair (2, 3)",
    "coherent moving Noah pair (2, 4)",
    "coherent moving Noah pair (2, 5)",
    "coherent moving Noah pair (2, 6)",
    "coherent moving Noah pair (2, 7)",
    "coherent moving Noah pair (2, 8)",
    "coherent moving Noah pair (2, 9)",
    "coherent moving Noah pair (2, 10)",
    "coherent moving Noah pair (2, 11)",
    "coherent moving Noah pair (2, 12)",
    "coherent moving Noah pair (2, 13)",
    "coherent moving Noah pair (2, 14)",
    "coherent moving Noah pair (2, 15)",
    "coherent moving Noah pair (2, 16)",
    "coherent moving Noah pair (2, 17)",
    "coherent moving Noah pair (2, 18)",
    "coherent moving Noah pair (2, 19)",
    "coherent moving Noah pair (2, 20)",
    "coherent moving Noah pair (2, 21)",
    "coherent moving Noah pair (2, 22)",
    "coherent moving Noah pair (2, 23)",
    "coherent moving Noah pair (2, 24)",
    "coherent moving Noah pair (2, 25)",
    "coherent moving Noah pair (2, 26)",
    "coherent moving Noah pair (2, 27)",
    "coherent moving Noah pair (2, 28)",
    "coherent moving Noah pair (2, 29)",
    "coherent moving Noah pair (2, 30)",
    "coherent moving Noah pair (2, 31)",
    "derived primitive distances 0",
    "25-year source context displacement 0",
    "derived primitive distances 1",
    "25-year source context displacement 1",
    "derived primitive distances 2",
    "25-year source context displacement 2",
    "existing common P J return 2",
    "typed P Flood sources 2",
    "derived primitive distances 3",
    "25-year source context displacement 3",
    "derived primitive distances 4",
    "25-year source context displacement 4",
    "derived primitive distances 5",
    "25-year source context displacement 5",
    "derived primitive distances 6",
    "25-year source context displacement 6",
    "derived primitive distances 7",
    "25-year source context displacement 7",
    "derived primitive distances 8",
    "25-year source context displacement 8",
    "existing common P J return 8",
    "typed P Flood sources 8",
    "derived primitive distances 9",
    "25-year source context displacement 9",
    "derived primitive distances 10",
    "25-year source context displacement 10",
    "derived primitive distances 11",
    "25-year source context displacement 11",
    "census domain",
    "observed loop inventory"
  ],
  "source_checks_passed": 15,
  "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",
    "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."
}