RESULTS.json

{
  "step": "C391",
  "status": "passed",
  "assertions_passed": 43,
  "checks": [
    "primitive E factors",
    "primitive P J and square identity",
    "source forces scale 0",
    "529 side derived 0",
    "existing target Flood pivot 0",
    "recovered original P J 0",
    "required P image still absent 0",
    "source forces scale 1",
    "529 side derived 1",
    "existing target Flood pivot 1",
    "recovered original P J 1",
    "required P image still absent 1",
    "source forces scale 2",
    "529 side derived 2",
    "existing target Flood pivot 2",
    "recovered original P J 2",
    "required P image still absent 2",
    "source forces scale 3",
    "529 side derived 3",
    "existing target Flood pivot 3",
    "recovered original P J 3",
    "required P image still absent 3",
    "source forces scale 4",
    "529 side derived 4",
    "existing target Flood pivot 4",
    "recovered original P J 4",
    "required P image still absent 4",
    "source forces scale 5",
    "529 side derived 5",
    "existing target Flood pivot 5",
    "recovered original P J 5",
    "required P image still absent 5",
    "source forces scale 6",
    "529 side derived 6",
    "existing target Flood pivot 6",
    "recovered original P J 6",
    "required P image still absent 6",
    "source forces scale 7",
    "529 side derived 7",
    "existing target Flood pivot 7",
    "recovered original P J 7",
    "required P image still absent 7",
    "bidirectional finite context correspondence"
  ],
  "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 C379_DATA.json",
    "frozen C385_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."
}