RESULTS.json

{
  "step": "C408",
  "status": "passed",
  "assertions_passed": 59,
  "checks": [
    "exactly three two E candidate paths",
    "retained target endpoint identity 0",
    "whole map replacement obstruction (0, 0)",
    "phase cannot repair whole map (0, 0, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (0, 0, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (0, 0, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (0, 0, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (0, 0, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (0, 0, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (0, 0, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (0, 0, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "whole map replacement obstruction (0, 1)",
    "phase cannot repair whole map (0, 1, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (0, 1, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (0, 1, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (0, 1, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (0, 1, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (0, 1, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (0, 1, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (0, 1, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "whole map replacement obstruction (0, 2)",
    "phase cannot repair whole map (0, 2, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (0, 2, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (0, 2, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (0, 2, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (0, 2, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (0, 2, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (0, 2, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (0, 2, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "retained target endpoint identity 1",
    "whole map replacement obstruction (1, 0)",
    "phase cannot repair whole map (1, 0, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (1, 0, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (1, 0, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (1, 0, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (1, 0, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (1, 0, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (1, 0, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (1, 0, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "whole map replacement obstruction (1, 1)",
    "phase cannot repair whole map (1, 1, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (1, 1, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (1, 1, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (1, 1, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (1, 1, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (1, 1, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (1, 1, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (1, 1, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "whole map replacement obstruction (1, 2)",
    "phase cannot repair whole map (1, 2, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (1, 2, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (1, 2, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (1, 2, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (1, 2, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (1, 2, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "phase cannot repair whole map (1, 2, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "phase cannot repair whole map (1, 2, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "positive word slope certificate",
    "closest companion path still differs"
  ],
  "source_checks_passed": 18,
  "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 C361_DATA.json",
    "frozen C362_DATA.json",
    "frozen C400_DATA.json",
    "frozen C406_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."
}