Evidence

RESULTS.json

Download source fileOpen in research workspace
{
  "step": "C354",
  "status": "passed",
  "assertions_passed": 174,
  "checks": [
    "32 separate tradition rail context families",
    "matched600 ('LXX', None, 0, 0, 0) G1",
    "matched600 ('LXX', None, 0, 0, 0) G2",
    "matched600 ('LXX', None, 0, 0, 0) G3",
    "adjacent and repairs ('LXX', None, 0, 0, 0) G1",
    "adjacent and repairs ('LXX', None, 0, 0, 0) G2",
    "matched600 ('LXX', None, 0, 0, 1) G1",
    "matched600 ('LXX', None, 0, 0, 1) G2",
    "matched600 ('LXX', None, 0, 0, 1) G3",
    "adjacent and repairs ('LXX', None, 0, 0, 1) G1",
    "adjacent and repairs ('LXX', None, 0, 0, 1) G2",
    "matched600 ('LXX', None, 0, 1, 0) G1",
    "matched600 ('LXX', None, 0, 1, 0) G2",
    "matched600 ('LXX', None, 0, 1, 0) G3",
    "adjacent and repairs ('LXX', None, 0, 1, 0) G1",
    "adjacent and repairs ('LXX', None, 0, 1, 0) G2",
    "matched600 ('LXX', None, 0, 1, 1) G1",
    "matched600 ('LXX', None, 0, 1, 1) G2",
    "matched600 ('LXX', None, 0, 1, 1) G3",
    "adjacent and repairs ('LXX', None, 0, 1, 1) G1",
    "adjacent and repairs ('LXX', None, 0, 1, 1) G2",
    "matched600 ('LXX', None, 1, 0, 0) G1",
    "matched600 ('LXX', None, 1, 0, 0) G2",
    "matched600 ('LXX', None, 1, 0, 0) G3",
    "adjacent and repairs ('LXX', None, 1, 0, 0) G1",
    "adjacent and repairs ('LXX', None, 1, 0, 0) G2",
    "matched600 ('LXX', None, 1, 0, 1) G1",
    "matched600 ('LXX', None, 1, 0, 1) G2",
    "matched600 ('LXX', None, 1, 0, 1) G3",
    "adjacent and repairs ('LXX', None, 1, 0, 1) G1",
    "adjacent and repairs ('LXX', None, 1, 0, 1) G2",
    "matched600 ('LXX', None, 1, 1, 0) G1",
    "matched600 ('LXX', None, 1, 1, 0) G2",
    "matched600 ('LXX', None, 1, 1, 0) G3",
    "adjacent and repairs ('LXX', None, 1, 1, 0) G1",
    "adjacent and repairs ('LXX', None, 1, 1, 0) G2",
    "matched600 ('LXX', None, 1, 1, 1) G1",
    "matched600 ('LXX', None, 1, 1, 1) G2",
    "matched600 ('LXX', None, 1, 1, 1) G3",
    "adjacent and repairs ('LXX', None, 1, 1, 1) G1",
    "adjacent and repairs ('LXX', None, 1, 1, 1) G2",
    "matched600 ('MT', None, 0, 0, 0) G1",
    "matched600 ('MT', None, 0, 0, 0) G2",
    "matched600 ('MT', None, 0, 0, 0) G3",
    "adjacent and repairs ('MT', None, 0, 0, 0) G1",
    "adjacent and repairs ('MT', None, 0, 0, 0) G2",
    "matched600 ('MT', None, 0, 0, 1) G1",
    "matched600 ('MT', None, 0, 0, 1) G2",
    "matched600 ('MT', None, 0, 0, 1) G3",
    "adjacent and repairs ('MT', None, 0, 0, 1) G1",
    "adjacent and repairs ('MT', None, 0, 0, 1) G2",
    "matched600 ('MT', None, 0, 1, 0) G1",
    "matched600 ('MT', None, 0, 1, 0) G2",
    "matched600 ('MT', None, 0, 1, 0) G3",
    "adjacent and repairs ('MT', None, 0, 1, 0) G1",
    "adjacent and repairs ('MT', None, 0, 1, 0) G2",
    "matched600 ('MT', None, 0, 1, 1) G1",
    "matched600 ('MT', None, 0, 1, 1) G2",
    "matched600 ('MT', None, 0, 1, 1) G3",
    "adjacent and repairs ('MT', None, 0, 1, 1) G1",
    "adjacent and repairs ('MT', None, 0, 1, 1) G2",
    "matched600 ('MT', None, 1, 0, 0) G1",
    "matched600 ('MT', None, 1, 0, 0) G2",
    "matched600 ('MT', None, 1, 0, 0) G3",
    "adjacent and repairs ('MT', None, 1, 0, 0) G1",
    "adjacent and repairs ('MT', None, 1, 0, 0) G2",
    "matched600 ('MT', None, 1, 0, 1) G1",
    "matched600 ('MT', None, 1, 0, 1) G2",
    "matched600 ('MT', None, 1, 0, 1) G3",
    "adjacent and repairs ('MT', None, 1, 0, 1) G1",
    "adjacent and repairs ('MT', None, 1, 0, 1) G2",
    "matched600 ('MT', None, 1, 1, 0) G1",
    "matched600 ('MT', None, 1, 1, 0) G2",
    "matched600 ('MT', None, 1, 1, 0) G3",
    "adjacent and repairs ('MT', None, 1, 1, 0) G1",
    "adjacent and repairs ('MT', None, 1, 1, 0) G2",
    "matched600 ('MT', None, 1, 1, 1) G1",
    "matched600 ('MT', None, 1, 1, 1) G2",
    "matched600 ('MT', None, 1, 1, 1) G3",
    "adjacent and repairs ('MT', None, 1, 1, 1) G1",
    "adjacent and repairs ('MT', None, 1, 1, 1) G2",
    "matched600 ('SP', 'companion', 0, 0, 0) G1",
    "matched600 ('SP', 'companion', 0, 0, 0) G2",
    "matched600 ('SP', 'companion', 0, 0, 0) G3",
    "adjacent and repairs ('SP', 'companion', 0, 0, 0) G1",
    "adjacent and repairs ('SP', 'companion', 0, 0, 0) G2",
    "matched600 ('SP', 'companion', 0, 0, 1) G1",
    "matched600 ('SP', 'companion', 0, 0, 1) G2",
    "matched600 ('SP', 'companion', 0, 0, 1) G3",
    "adjacent and repairs ('SP', 'companion', 0, 0, 1) G1",
    "adjacent and repairs ('SP', 'companion', 0, 0, 1) G2",
    "matched600 ('SP', 'companion', 0, 1, 0) G1",
    "matched600 ('SP', 'companion', 0, 1, 0) G2",
    "matched600 ('SP', 'companion', 0, 1, 0) G3",
    "adjacent and repairs ('SP', 'companion', 0, 1, 0) G1",
    "adjacent and repairs ('SP', 'companion', 0, 1, 0) G2",
    "matched600 ('SP', 'companion', 0, 1, 1) G1",
    "matched600 ('SP', 'companion', 0, 1, 1) G2",
    "matched600 ('SP', 'companion', 0, 1, 1) G3",
    "adjacent and repairs ('SP', 'companion', 0, 1, 1) G1",
    "adjacent and repairs ('SP', 'companion', 0, 1, 1) G2",
    "matched600 ('SP', 'companion', 1, 0, 0) G1",
    "matched600 ('SP', 'companion', 1, 0, 0) G2",
    "matched600 ('SP', 'companion', 1, 0, 0) G3",
    "adjacent and repairs ('SP', 'companion', 1, 0, 0) G1",
    "adjacent and repairs ('SP', 'companion', 1, 0, 0) G2",
    "matched600 ('SP', 'companion', 1, 0, 1) G1",
    "matched600 ('SP', 'companion', 1, 0, 1) G2",
    "matched600 ('SP', 'companion', 1, 0, 1) G3",
    "adjacent and repairs ('SP', 'companion', 1, 0, 1) G1",
    "adjacent and repairs ('SP', 'companion', 1, 0, 1) G2",
    "matched600 ('SP', 'companion', 1, 1, 0) G1",
    "matched600 ('SP', 'companion', 1, 1, 0) G2",
    "matched600 ('SP', 'companion', 1, 1, 0) G3",
    "adjacent and repairs ('SP', 'companion', 1, 1, 0) G1",
    "adjacent and repairs ('SP', 'companion', 1, 1, 0) G2",
    "matched600 ('SP', 'companion', 1, 1, 1) G1",
    "matched600 ('SP', 'companion', 1, 1, 1) G2",
    "matched600 ('SP', 'companion', 1, 1, 1) G3",
    "adjacent and repairs ('SP', 'companion', 1, 1, 1) G1",
    "adjacent and repairs ('SP', 'companion', 1, 1, 1) G2",
    "matched600 ('SP', 'primary', 0, 0, 0) G1",
    "matched600 ('SP', 'primary', 0, 0, 0) G2",
    "matched600 ('SP', 'primary', 0, 0, 0) G3",
    "adjacent and repairs ('SP', 'primary', 0, 0, 0) G1",
    "adjacent and repairs ('SP', 'primary', 0, 0, 0) G2",
    "matched600 ('SP', 'primary', 0, 0, 1) G1",
    "matched600 ('SP', 'primary', 0, 0, 1) G2",
    "matched600 ('SP', 'primary', 0, 0, 1) G3",
    "adjacent and repairs ('SP', 'primary', 0, 0, 1) G1",
    "adjacent and repairs ('SP', 'primary', 0, 0, 1) G2",
    "matched600 ('SP', 'primary', 0, 1, 0) G1",
    "matched600 ('SP', 'primary', 0, 1, 0) G2",
    "matched600 ('SP', 'primary', 0, 1, 0) G3",
    "adjacent and repairs ('SP', 'primary', 0, 1, 0) G1",
    "adjacent and repairs ('SP', 'primary', 0, 1, 0) G2",
    "matched600 ('SP', 'primary', 0, 1, 1) G1",
    "matched600 ('SP', 'primary', 0, 1, 1) G2",
    "matched600 ('SP', 'primary', 0, 1, 1) G3",
    "adjacent and repairs ('SP', 'primary', 0, 1, 1) G1",
    "adjacent and repairs ('SP', 'primary', 0, 1, 1) G2",
    "matched600 ('SP', 'primary', 1, 0, 0) G1",
    "matched600 ('SP', 'primary', 1, 0, 0) G2",
    "matched600 ('SP', 'primary', 1, 0, 0) G3",
    "adjacent and repairs ('SP', 'primary', 1, 0, 0) G1",
    "adjacent and repairs ('SP', 'primary', 1, 0, 0) G2",
    "matched600 ('SP', 'primary', 1, 0, 1) G1",
    "matched600 ('SP', 'primary', 1, 0, 1) G2",
    "matched600 ('SP', 'primary', 1, 0, 1) G3",
    "adjacent and repairs ('SP', 'primary', 1, 0, 1) G1",
    "adjacent and repairs ('SP', 'primary', 1, 0, 1) G2",
    "matched600 ('SP', 'primary', 1, 1, 0) G1",
    "matched600 ('SP', 'primary', 1, 1, 0) G2",
    "matched600 ('SP', 'primary', 1, 1, 0) G3",
    "adjacent and repairs ('SP', 'primary', 1, 1, 0) G1",
    "adjacent and repairs ('SP', 'primary', 1, 1, 0) G2",
    "matched600 ('SP', 'primary', 1, 1, 1) G1",
    "matched600 ('SP', 'primary', 1, 1, 1) G2",
    "matched600 ('SP', 'primary', 1, 1, 1) G3",
    "adjacent and repairs ('SP', 'primary', 1, 1, 1) G1",
    "adjacent and repairs ('SP', 'primary', 1, 1, 1) G2",
    "retained birth belongs to598 comparison 3H",
    "E expands598 to650 3H",
    "death image outside frozen register 3H",
    "retained birth belongs to598 comparison 3S",
    "E expands598 to650 3S",
    "death image outside frozen register 3S",
    "retained birth belongs to598 comparison 5H",
    "E expands598 to650 5H",
    "death image outside frozen register 5H",
    "retained birth belongs to598 comparison 5S",
    "E expands598 to650 5S",
    "death image outside frozen register 5S",
    "64 adjacent comparisons 96 biographies"
  ],
  "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 File_02.md",
    "frozen C349_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."
}

Linked sources and evidence

Edition and provenance

RESULTS.json

SHA-256 3de118bdc75e826ddf6ef416c015197d5503cb2b551963363f5ed9d391c4d475

C01–C479/packets/C354/evidence/RESULTS.json