{
  "step": "C386",
  "status": "passed",
  "assertions_passed": 26,
  "checks": [
    "whole affine square 0",
    "unique whole-map pivot 0",
    "Shem geometry and forty-two 0",
    "successful component affine square (0, 0)",
    "successful component affine square (0, 255)",
    "only two coherent component assignments 0",
    "whole affine square 1",
    "unique whole-map pivot 1",
    "Shem geometry and forty-two 1",
    "successful component affine square (1, 0)",
    "successful component affine square (1, 255)",
    "only two coherent component assignments 1",
    "whole affine square 2",
    "unique whole-map pivot 2",
    "Shem geometry and forty-two 2",
    "successful component affine square (2, 0)",
    "successful component affine square (2, 255)",
    "only two coherent component assignments 2",
    "whole affine square 3",
    "unique whole-map pivot 3",
    "Shem geometry and forty-two 3",
    "successful component affine square (3, 0)",
    "successful component affine square (3, 255)",
    "only two coherent component assignments 3",
    "1024 phase assignments",
    "fixed composite does not preserve half-year spacing"
  ],
  "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 C341_DATA.json",
    "frozen C363_DATA.json",
    "frozen File_02.md",
    "frozen File_46.md",
    "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."
}