RESULTS.json

{
  "step": "C389",
  "status": "passed",
  "assertions_passed": 40,
  "checks": [
    "finite reflected membership (0, 'Noah_center')",
    "finite reflected membership (0, 'next_Noah_center')",
    "finite reflected membership (0, 'J_Flood_pivot')",
    "finite reflected membership (0, 'MT_Noah_input')",
    "finite reflected membership (0, 'MT_Noah_output')",
    "finite reflected membership (0, 'Shem_input')",
    "finite reflected membership (0, 'Shem_output')",
    "finite reflected membership (0, 'J_Shem_death_pivot')",
    "original cumulative repair recovered 0",
    "new points shifted beyond menu 0",
    "reflected algebra exact 0",
    "new cumulative outer side1100 0",
    "reflection reverses ancestry phase (0, Fraction(-1, 4))",
    "phase does not rescue missing source (0, Fraction(-1, 4), Fraction(3206, 1))",
    "phase does not rescue missing source (0, Fraction(-1, 4), Fraction(3208, 1))",
    "phase does not rescue missing source (0, Fraction(-1, 4), Fraction(2608, 1))",
    "reflection reverses ancestry phase (0, Fraction(1, 4))",
    "phase does not rescue missing source (0, Fraction(1, 4), Fraction(3206, 1))",
    "phase does not rescue missing source (0, Fraction(1, 4), Fraction(3208, 1))",
    "phase does not rescue missing source (0, Fraction(1, 4), Fraction(2608, 1))",
    "finite reflected membership (1, 'Noah_center')",
    "finite reflected membership (1, 'next_Noah_center')",
    "finite reflected membership (1, 'J_Flood_pivot')",
    "finite reflected membership (1, 'MT_Noah_input')",
    "finite reflected membership (1, 'MT_Noah_output')",
    "finite reflected membership (1, 'Shem_input')",
    "finite reflected membership (1, 'Shem_output')",
    "finite reflected membership (1, 'J_Shem_death_pivot')",
    "original cumulative repair recovered 1",
    "new points shifted beyond menu 1",
    "reflected algebra exact 1",
    "new cumulative outer side1100 1",
    "reflection reverses ancestry phase (1, Fraction(-1, 4))",
    "phase does not rescue missing source (1, Fraction(-1, 4), Fraction(3208, 1))",
    "phase does not rescue missing source (1, Fraction(-1, 4), Fraction(3210, 1))",
    "phase does not rescue missing source (1, Fraction(-1, 4), Fraction(2610, 1))",
    "reflection reverses ancestry phase (1, Fraction(1, 4))",
    "phase does not rescue missing source (1, Fraction(1, 4), Fraction(3208, 1))",
    "phase does not rescue missing source (1, Fraction(1, 4), Fraction(3210, 1))",
    "phase does not rescue missing source (1, Fraction(1, 4), Fraction(2610, 1))"
  ],
  "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 C385_DATA.json",
    "frozen C379_DATA.json",
    "frozen C365_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."
}