RESULTS.json

{
  "step": "C382",
  "status": "passed",
  "assertions_passed": 78,
  "checks": [
    "mixed defect symbolic coefficients",
    "source moving mixed square 0",
    "exact shift condition 0",
    "fixed pivot order defect 0",
    "source moving mixed square 1",
    "exact shift condition 1",
    "fixed pivot order defect 1",
    "source moving mixed square 2",
    "exact shift condition 2",
    "fixed pivot order defect 2",
    "source moving mixed square 3",
    "exact shift condition 3",
    "fixed pivot order defect 3",
    "source moving mixed square 4",
    "exact shift condition 4",
    "fixed pivot order defect 4",
    "source moving mixed square 5",
    "exact shift condition 5",
    "fixed pivot order defect 5",
    "common center in translated frame (0, 0, 'J')",
    "common center in translated frame (0, 0, 'P')",
    "common center in translated frame (0, 1, 'J')",
    "common center in translated frame (0, 1, 'P')",
    "common center in translated frame (0, 2, 'J')",
    "common center in translated frame (0, 2, 'P')",
    "finite word endpoint and slope (0, 'PPP')",
    "finite word endpoint and slope (0, 'PPJ')",
    "finite word endpoint and slope (0, 'PJP')",
    "operator order independence within counts (0, 'PJP')",
    "finite word endpoint and slope (0, 'PJJ')",
    "finite word endpoint and slope (0, 'JPP')",
    "operator order independence within counts (0, 'JPP')",
    "finite word endpoint and slope (0, 'JPJ')",
    "operator order independence within counts (0, 'JPJ')",
    "finite word endpoint and slope (0, 'JJP')",
    "operator order independence within counts (0, 'JJP')",
    "finite word endpoint and slope (0, 'JJJ')",
    "different operator counts remain different 0",
    "common center in translated frame (1, 0, 'J')",
    "common center in translated frame (1, 0, 'P')",
    "common center in translated frame (1, 1, 'J')",
    "common center in translated frame (1, 1, 'P')",
    "common center in translated frame (1, 2, 'J')",
    "common center in translated frame (1, 2, 'P')",
    "finite word endpoint and slope (1, 'PPP')",
    "finite word endpoint and slope (1, 'PPJ')",
    "finite word endpoint and slope (1, 'PJP')",
    "operator order independence within counts (1, 'PJP')",
    "finite word endpoint and slope (1, 'PJJ')",
    "finite word endpoint and slope (1, 'JPP')",
    "operator order independence within counts (1, 'JPP')",
    "finite word endpoint and slope (1, 'JPJ')",
    "operator order independence within counts (1, 'JPJ')",
    "finite word endpoint and slope (1, 'JJP')",
    "operator order independence within counts (1, 'JJP')",
    "finite word endpoint and slope (1, 'JJJ')",
    "different operator counts remain different 1",
    "common center in translated frame (2, 0, 'J')",
    "common center in translated frame (2, 0, 'P')",
    "common center in translated frame (2, 1, 'J')",
    "common center in translated frame (2, 1, 'P')",
    "finite word endpoint and slope (2, 'PP')",
    "finite word endpoint and slope (2, 'PJ')",
    "finite word endpoint and slope (2, 'JP')",
    "operator order independence within counts (2, 'JP')",
    "finite word endpoint and slope (2, 'JJ')",
    "different operator counts remain different 2",
    "common center in translated frame (3, 0, 'J')",
    "common center in translated frame (3, 0, 'P')",
    "common center in translated frame (3, 1, 'J')",
    "common center in translated frame (3, 1, 'P')",
    "finite word endpoint and slope (3, 'PP')",
    "finite word endpoint and slope (3, 'PJ')",
    "finite word endpoint and slope (3, 'JP')",
    "operator order independence within counts (3, 'JP')",
    "finite word endpoint and slope (3, 'JJ')",
    "different operator counts remain different 3",
    "finite source inventory"
  ],
  "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 C380_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."
}