RESULTS.json

{
  "step": "C390",
  "status": "passed",
  "assertions_passed": 67,
  "checks": [
    "source family two-year edge (1, 0)",
    "source family two-year edge (1, 1)",
    "source family two-year edge (1, 2)",
    "source family two-year edge (1, 3)",
    "source family two-year edge (1, 4)",
    "source family two-year edge (1, 5)",
    "source family two-year edge (1, 6)",
    "source family two-year edge (1, 7)",
    "source family two-year edge (1, 8)",
    "source family two-year edge (1, 9)",
    "source family two-year edge (1, 10)",
    "source family two-year edge (1, 11)",
    "source family two-year edge (1, 12)",
    "source family two-year edge (1, 13)",
    "source family two-year edge (1, 14)",
    "source family two-year edge (1, 15)",
    "source family two-year edge (1, 16)",
    "source family two-year edge (1, 17)",
    "source family two-year edge (1, 18)",
    "source family two-year edge (1, 19)",
    "source family two-year edge (1, 20)",
    "source family two-year edge (1, 21)",
    "source family two-year edge (1, 22)",
    "source family two-year edge (1, 23)",
    "source family two-year edge (1, 24)",
    "source family two-year edge (1, 25)",
    "source family two-year edge (1, 26)",
    "source family two-year edge (1, 27)",
    "source family two-year edge (1, 28)",
    "source family two-year edge (1, 29)",
    "source family two-year edge (1, 30)",
    "source family two-year edge (1, 31)",
    "source family two-year edge (2, 0)",
    "source family two-year edge (2, 1)",
    "source family two-year edge (2, 2)",
    "source family two-year edge (2, 3)",
    "source family two-year edge (2, 4)",
    "source family two-year edge (2, 5)",
    "source family two-year edge (2, 6)",
    "source family two-year edge (2, 7)",
    "source family two-year edge (2, 8)",
    "source family two-year edge (2, 9)",
    "source family two-year edge (2, 10)",
    "source family two-year edge (2, 11)",
    "source family two-year edge (2, 12)",
    "source family two-year edge (2, 13)",
    "source family two-year edge (2, 14)",
    "source family two-year edge (2, 15)",
    "source family two-year edge (2, 16)",
    "source family two-year edge (2, 17)",
    "source family two-year edge (2, 18)",
    "source family two-year edge (2, 19)",
    "source family two-year edge (2, 20)",
    "source family two-year edge (2, 21)",
    "source family two-year edge (2, 22)",
    "source family two-year edge (2, 23)",
    "source family two-year edge (2, 24)",
    "source family two-year edge (2, 25)",
    "source family two-year edge (2, 26)",
    "source family two-year edge (2, 27)",
    "source family two-year edge (2, 28)",
    "source family two-year edge (2, 29)",
    "source family two-year edge (2, 30)",
    "source family two-year edge (2, 31)",
    "fixed family inventory",
    "complete finite census",
    "post-census comparison equals earlier positive cases"
  ],
  "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 C385_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."
}