RESULTS.json

{
  "step": "C336",
  "status": "passed",
  "assertions_passed": 29,
  "checks": [
    "i3 baseline pair admission",
    "i3 upper pair domain",
    "i3 full cumulative translation",
    "i3 cumulative lifespan invariant",
    "i3 held OFF Flood distinction",
    "i3 full MT translation",
    "i3 MT interval invariant",
    "i3 old Noah to new Flood",
    "i4 baseline pair admission",
    "i4 upper pair domain",
    "i4 full cumulative translation",
    "i4 cumulative lifespan invariant",
    "i4 held OFF Flood distinction",
    "i4 full MT translation",
    "i4 MT interval invariant",
    "i4 old Noah to new Flood",
    "i5 baseline pair admission",
    "i5 upper pair domain",
    "i5 full cumulative translation",
    "i5 cumulative lifespan invariant",
    "i5 held OFF Flood distinction",
    "i5 full MT translation",
    "i5 MT interval invariant",
    "i5 old Noah to new Flood",
    "i6 baseline pair admission",
    "i6 upper pair domain",
    "i7 baseline pair admission",
    "i7 upper pair domain",
    "three complete lifts"
  ],
  "source_checks_passed": 17,
  "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 C319_DATA.json",
    "frozen C317_DATA.json",
    "frozen C331_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."
}