RESULTS.json

{
  "step": "C381",
  "status": "passed",
  "assertions_passed": 38,
  "checks": [
    "all24 paired source configurations",
    "typed source path directions 0:1:2 -> 0:2:0",
    "outer corner displacement 0:1:2 -> 0:2:0",
    "cross span drifts by4 0:1:2 -> 0:2:0",
    "endpoint sum and2K sides survive 0:1:2 -> 0:2:0",
    "typed source path directions 1:1:2 -> 1:2:0",
    "outer corner displacement 1:1:2 -> 1:2:0",
    "cross span drifts by4 1:1:2 -> 1:2:0",
    "endpoint sum and2K sides survive 1:1:2 -> 1:2:0",
    "typed source path directions 0:1:3 -> 0:2:1",
    "outer corner displacement 0:1:3 -> 0:2:1",
    "cross span drifts by4 0:1:3 -> 0:2:1",
    "endpoint sum and2K sides survive 0:1:3 -> 0:2:1",
    "typed source path directions 1:1:3 -> 1:2:1",
    "outer corner displacement 1:1:3 -> 1:2:1",
    "cross span drifts by4 1:1:3 -> 1:2:1",
    "endpoint sum and2K sides survive 1:1:3 -> 1:2:1",
    "typed source path directions 0:1:4 -> 0:2:2",
    "outer corner displacement 0:1:4 -> 0:2:2",
    "cross span drifts by4 0:1:4 -> 0:2:2",
    "endpoint sum and2K sides survive 0:1:4 -> 0:2:2",
    "typed source path directions 1:1:4 -> 1:2:2",
    "outer corner displacement 1:1:4 -> 1:2:2",
    "cross span drifts by4 1:1:4 -> 1:2:2",
    "endpoint sum and2K sides survive 1:1:4 -> 1:2:2",
    "typed source path directions 0:1:5 -> 0:2:3",
    "outer corner displacement 0:1:5 -> 0:2:3",
    "cross span drifts by4 0:1:5 -> 0:2:3",
    "endpoint sum and2K sides survive 0:1:5 -> 0:2:3",
    "typed source path directions 1:1:5 -> 1:2:3",
    "outer corner displacement 1:1:5 -> 1:2:3",
    "cross span drifts by4 1:1:5 -> 1:2:3",
    "endpoint sum and2K sides survive 1:1:5 -> 1:2:3",
    "two original rectangles",
    "eight complete paired two-step paths",
    "no two-step path inside original529 conditions",
    "only first original rectangle continues",
    "no source path enters an original rectangle"
  ],
  "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 C378_DATA.json",
    "frozen C379_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."
}