RESULTS.json

{
  "step": "C394",
  "status": "passed",
  "assertions_passed": 19,
  "checks": [
    "source E primitive 3706",
    "unique pivot membership (3706, 'forward_E', 'P')",
    "unique pivot membership (3706, 'forward_E', 'J')",
    "unique pivot membership (3706, 'reverse_E', 'P')",
    "unique pivot membership (3706, 'reverse_E', 'J')",
    "typed return J Flood 3706",
    "not an earlier common P J edge 3706",
    "existing exchange source obstruction 3706",
    "phase ancestry cannot supply absent images 3706",
    "source E primitive 3708",
    "unique pivot membership (3708, 'forward_E', 'P')",
    "unique pivot membership (3708, 'forward_E', 'J')",
    "unique pivot membership (3708, 'reverse_E', 'P')",
    "unique pivot membership (3708, 'reverse_E', 'J')",
    "typed return J Flood 3708",
    "not an earlier common P J edge 3708",
    "existing exchange source obstruction 3708",
    "phase ancestry cannot supply absent images 3708",
    "finite inventory"
  ],
  "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 C392_DATA.json",
    "frozen C378_DATA.json",
    "frozen C379_DATA.json",
    "frozen C365_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."
}