RESULTS.json

{
  "step": "C375",
  "status": "passed",
  "assertions_passed": 47,
  "checks": [
    "source outer and pivot correspondence 2",
    "middle source membership condition 2",
    "no invented MT person companion 2",
    "affine coefficient conjugacy (2, 'J')",
    "repaired point commutation (2, 'J')",
    "affine coefficient conjugacy (2, 'P')",
    "repaired point commutation (2, 'P')",
    "phase orientation under fixed source-corner sum (2, Fraction(-1, 4), Fraction(-1, 4))",
    "phase orientation under fixed source-corner sum (2, Fraction(-1, 4), Fraction(1, 4))",
    "phase orientation under fixed source-corner sum (2, Fraction(1, 4), Fraction(-1, 4))",
    "phase orientation under fixed source-corner sum (2, Fraction(1, 4), Fraction(1, 4))",
    "source outer and pivot correspondence 3",
    "middle source membership condition 3",
    "no invented MT person companion 3",
    "affine coefficient conjugacy (3, 'J')",
    "repaired point commutation (3, 'J')",
    "affine coefficient conjugacy (3, 'P')",
    "repaired point commutation (3, 'P')",
    "phase orientation under fixed source-corner sum (3, Fraction(-1, 4), Fraction(-1, 4))",
    "phase orientation under fixed source-corner sum (3, Fraction(-1, 4), Fraction(1, 4))",
    "phase orientation under fixed source-corner sum (3, Fraction(1, 4), Fraction(-1, 4))",
    "phase orientation under fixed source-corner sum (3, Fraction(1, 4), Fraction(1, 4))",
    "source outer and pivot correspondence 4",
    "middle source membership condition 4",
    "no invented MT person companion 4",
    "affine coefficient conjugacy (4, 'J')",
    "repaired point commutation (4, 'J')",
    "affine coefficient conjugacy (4, 'P')",
    "repaired point commutation (4, 'P')",
    "phase orientation under fixed source-corner sum (4, Fraction(-1, 4), Fraction(-1, 4))",
    "phase orientation under fixed source-corner sum (4, Fraction(-1, 4), Fraction(1, 4))",
    "phase orientation under fixed source-corner sum (4, Fraction(1, 4), Fraction(-1, 4))",
    "phase orientation under fixed source-corner sum (4, Fraction(1, 4), Fraction(1, 4))",
    "source outer and pivot correspondence 5",
    "middle source membership condition 5",
    "no invented MT person companion 5",
    "affine coefficient conjugacy (5, 'J')",
    "repaired point commutation (5, 'J')",
    "affine coefficient conjugacy (5, 'P')",
    "repaired point commutation (5, 'P')",
    "phase orientation under fixed source-corner sum (5, Fraction(-1, 4), Fraction(-1, 4))",
    "phase orientation under fixed source-corner sum (5, Fraction(-1, 4), Fraction(1, 4))",
    "phase orientation under fixed source-corner sum (5, Fraction(1, 4), Fraction(-1, 4))",
    "phase orientation under fixed source-corner sum (5, Fraction(1, 4), Fraction(1, 4))",
    "primary only source lift",
    "no common sum for four retained rows",
    "phase totals"
  ],
  "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 C370_DATA.json",
    "frozen C364_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."
}