RESULTS.json

{
  "step": "C385",
  "status": "passed",
  "assertions_passed": 33,
  "checks": [
    "source equal gain 0",
    "unique transported pivots 0",
    "J pivot sourced, P pivot absent 0",
    "both Shem endpoints admitted 0",
    "one context Noah (0, 'SP')",
    "typed moving E source lift (0, 'SP')",
    "one context Noah (0, 'LXX')",
    "typed moving E source lift (0, 'LXX')",
    "source equal gain 1",
    "unique transported pivots 1",
    "J pivot sourced, P pivot absent 1",
    "both Shem endpoints admitted 1",
    "one context Noah (1, 'SP')",
    "typed moving E source lift (1, 'SP')",
    "one context Noah (1, 'LXX')",
    "typed moving E source lift (1, 'LXX')",
    "source equal gain 2",
    "unique transported pivots 2",
    "J pivot sourced, P pivot absent 2",
    "both Shem endpoints admitted 2",
    "one context Noah (2, 'SP')",
    "typed moving E source lift (2, 'SP')",
    "one context Noah (2, 'LXX')",
    "typed moving E source lift (2, 'LXX')",
    "source equal gain 3",
    "unique transported pivots 3",
    "J pivot sourced, P pivot absent 3",
    "both Shem endpoints admitted 3",
    "one context Noah (3, 'SP')",
    "typed moving E source lift (3, 'SP')",
    "one context Noah (3, 'LXX')",
    "typed moving E source lift (3, 'LXX')",
    "finite counts"
  ],
  "source_checks_passed": 15,
  "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",
    "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."
}