RESULTS.json

{
  "step": "C419",
  "status": "passed",
  "assertions_passed": 32,
  "checks": [
    "equal joined cross-spans ('Noah birth', 26, 1)",
    "equal joined cross-spans ('Noah birth', 27, 2)",
    "equal joined cross-spans ('Noah birth', 28, 3)",
    "equal joined cross-spans ('Noah birth', 29, 4)",
    "equal joined cross-spans ('Noah birth', 30, 5)",
    "equal joined cross-spans ('Noah birth', 31, 6)",
    "equal joined cross-spans ('Shem birth', 26, 1)",
    "equal joined cross-spans ('Shem birth', 27, 2)",
    "equal joined cross-spans ('Shem birth', 28, 3)",
    "equal joined cross-spans ('Shem birth', 29, 4)",
    "equal joined cross-spans ('Shem birth', 30, 5)",
    "equal joined cross-spans ('Shem birth', 31, 6)",
    "equal joined cross-spans ('Noah death', 26, 1)",
    "equal joined cross-spans ('Noah death', 27, 2)",
    "equal joined cross-spans ('Noah death', 28, 3)",
    "equal joined cross-spans ('Noah death', 29, 4)",
    "equal joined cross-spans ('Noah death', 30, 5)",
    "equal joined cross-spans ('Noah death', 31, 6)",
    "equal joined cross-spans ('Shem death', 26, 1)",
    "equal joined cross-spans ('Shem death', 27, 2)",
    "equal joined cross-spans ('Shem death', 28, 3)",
    "equal joined cross-spans ('Shem death', 29, 4)",
    "equal joined cross-spans ('Shem death', 30, 5)",
    "equal joined cross-spans ('Shem death', 31, 6)",
    "equal joined cross-spans ('selected Flood boundary', 26, 1)",
    "equal joined cross-spans ('selected Flood boundary', 27, 2)",
    "equal joined cross-spans ('selected Flood boundary', 28, 3)",
    "equal joined cross-spans ('selected Flood boundary', 29, 4)",
    "equal joined cross-spans ('selected Flood boundary', 30, 5)",
    "equal joined cross-spans ('selected Flood boundary', 31, 6)",
    "only established exchange constants",
    "five established2K station pairs"
  ],
  "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 C365_DATA.json",
    "frozen C416_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."
}