RESULTS.json

{
  "step": "C358",
  "status": "passed",
  "assertions_passed": 38,
  "checks": [
    "one or zero local source family (0, 0, 7)",
    "R displacement is b (0, 0, 7)",
    "one or zero local source family (0, 0, 6)",
    "one or zero local source family (0, 0, 5)",
    "R displacement is b (0, 0, 5)",
    "one or zero local source family (0, 0, 4)",
    "one or zero local source family (0, 0, 3)",
    "R displacement is b (0, 0, 3)",
    "one or zero local source family (0, 2, 7)",
    "R displacement is b (0, 2, 7)",
    "one or zero local source family (0, 2, 6)",
    "one or zero local source family (0, 2, 5)",
    "R displacement is b (0, 2, 5)",
    "one or zero local source family (0, 2, 4)",
    "one or zero local source family (0, 2, 3)",
    "R displacement is b (0, 2, 3)",
    "one or zero local source family (2, 0, 7)",
    "R displacement is b (2, 0, 7)",
    "one or zero local source family (2, 0, 6)",
    "one or zero local source family (2, 0, 5)",
    "R displacement is b (2, 0, 5)",
    "one or zero local source family (2, 0, 4)",
    "one or zero local source family (2, 0, 3)",
    "R displacement is b (2, 0, 3)",
    "one or zero local source family (2, 2, 7)",
    "R displacement is b (2, 2, 7)",
    "one or zero local source family (2, 2, 6)",
    "one or zero local source family (2, 2, 5)",
    "R displacement is b (2, 2, 5)",
    "one or zero local source family (2, 2, 4)",
    "one or zero local source family (2, 2, 3)",
    "R displacement is b (2, 2, 3)",
    "twenty controls fourteen joint",
    "nine local across all choices",
    "sameGear binding selects five b0",
    "regular2K selects four b2",
    "two allK primary controls retained",
    "no sameGear and2K simultaneous"
  ],
  "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 C319_DATA.json",
    "frozen C357_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."
}