RESULTS.json

{
  "step": "C338",
  "status": "passed",
  "assertions_passed": 33,
  "checks": [
    "i2 source pair",
    "i2 scalar ladder",
    "i2 observed source widths",
    "i2 doubleE sourced",
    "i2 full sourced ladder",
    "i2 no imported companion",
    "i2 phase-1/4",
    "i2 phase1/4",
    "i3 source pair",
    "i3 scalar ladder",
    "i3 observed source widths",
    "i3 doubleE sourced",
    "i3 full sourced ladder",
    "i3 no imported companion",
    "i3 phase-1/4",
    "i3 phase1/4",
    "i4 source pair",
    "i4 scalar ladder",
    "i4 observed source widths",
    "i4 doubleE sourced",
    "i4 full sourced ladder",
    "i4 no imported companion",
    "i4 phase-1/4",
    "i4 phase1/4",
    "i5 source pair",
    "i5 scalar ladder",
    "i5 observed source widths",
    "i5 doubleE sourced",
    "i5 full sourced ladder",
    "i5 no imported companion",
    "i5 phase-1/4",
    "i5 phase1/4",
    "two full ladders"
  ],
  "source_checks_passed": 17,
  "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 C337_DATA.json",
    "frozen C89_REPORT.md",
    "frozen File_46.md",
    "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."
}