RESULTS.json

{
  "step": "C315",
  "status": "passed",
  "assertions_passed": 47,
  "checks": [
    "inherited five successful biographies",
    "j3 admitted Noah death",
    "j3 same biography sequence",
    "j3 8395 residual",
    "j3 no sameGear selectedFlood alias",
    "j3 1/4 all biography durations",
    "j3 1/4 fixed residual",
    "j3 -1/4 all biography durations",
    "j3 -1/4 fixed residual",
    "j3 no retainedphase repair",
    "j4 admitted Noah death",
    "j4 same biography sequence",
    "j4 8395 residual",
    "j4 no sameGear selectedFlood alias",
    "j4 1/4 all biography durations",
    "j4 1/4 fixed residual",
    "j4 -1/4 all biography durations",
    "j4 -1/4 fixed residual",
    "j4 no retainedphase repair",
    "j5 admitted Noah death",
    "j5 same biography sequence",
    "j5 8395 residual",
    "j5 no sameGear selectedFlood alias",
    "j5 1/4 all biography durations",
    "j5 1/4 fixed residual",
    "j5 -1/4 all biography durations",
    "j5 -1/4 fixed residual",
    "j5 no retainedphase repair",
    "j6 admitted Noah death",
    "j6 same biography sequence",
    "j6 8395 residual",
    "j6 no sameGear selectedFlood alias",
    "j6 1/4 all biography durations",
    "j6 1/4 fixed residual",
    "j6 -1/4 all biography durations",
    "j6 -1/4 fixed residual",
    "j6 no retainedphase repair",
    "j7 admitted Noah death",
    "j7 same biography sequence",
    "j7 8395 residual",
    "j7 no sameGear selectedFlood alias",
    "j7 1/4 all biography durations",
    "j7 1/4 fixed residual",
    "j7 -1/4 all biography durations",
    "j7 -1/4 fixed residual",
    "j7 no retainedphase repair",
    "aliases occur only in lower two Gears"
  ],
  "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 C307_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."
}