RESULTS.json

{
  "step": "C379",
  "status": "passed",
  "assertions_passed": 51,
  "checks": [
    "MT coherent source context (0, 1)",
    "counterpart coherent source context (0, 1, 'LXX')",
    "source529 side and repair (0, 1, 'LXX')",
    "counterpart coherent source context (0, 1, 'SP')",
    "source529 side and repair (0, 1, 'SP')",
    "SP LXX primary coordinate aliases (0, 1)",
    "paired side normal form (0, 1, 0)",
    "paired side normal form (0, 1, 1)",
    "paired side normal form (0, 1, 2)",
    "paired side normal form (0, 1, 3)",
    "paired side normal form (0, 1, 4)",
    "paired side normal form (0, 1, 5)",
    "MT coherent source context (0, 2)",
    "counterpart coherent source context (0, 2, 'LXX')",
    "source529 side and repair (0, 2, 'LXX')",
    "counterpart coherent source context (0, 2, 'SP')",
    "source529 side and repair (0, 2, 'SP')",
    "SP LXX primary coordinate aliases (0, 2)",
    "paired side normal form (0, 2, 0)",
    "paired side normal form (0, 2, 1)",
    "paired side normal form (0, 2, 2)",
    "paired side normal form (0, 2, 3)",
    "paired side normal form (0, 2, 4)",
    "paired side normal form (0, 2, 5)",
    "MT coherent source context (1, 1)",
    "counterpart coherent source context (1, 1, 'LXX')",
    "source529 side and repair (1, 1, 'LXX')",
    "counterpart coherent source context (1, 1, 'SP')",
    "source529 side and repair (1, 1, 'SP')",
    "SP LXX primary coordinate aliases (1, 1)",
    "paired side normal form (1, 1, 0)",
    "paired side normal form (1, 1, 1)",
    "paired side normal form (1, 1, 2)",
    "paired side normal form (1, 1, 3)",
    "paired side normal form (1, 1, 4)",
    "paired side normal form (1, 1, 5)",
    "MT coherent source context (1, 2)",
    "counterpart coherent source context (1, 2, 'LXX')",
    "source529 side and repair (1, 2, 'LXX')",
    "counterpart coherent source context (1, 2, 'SP')",
    "source529 side and repair (1, 2, 'SP')",
    "SP LXX primary coordinate aliases (1, 2)",
    "paired side normal form (1, 2, 0)",
    "paired side normal form (1, 2, 1)",
    "paired side normal form (1, 2, 2)",
    "paired side normal form (1, 2, 3)",
    "paired side normal form (1, 2, 4)",
    "paired side normal form (1, 2, 5)",
    "full branch uniform215 translation 1",
    "full branch uniform215 translation 2",
    "two original coupled rectangles"
  ],
  "source_checks_passed": 14,
  "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",
    "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."
}