Evidence

RESULTS.json

Download source fileOpen in research workspace
{
  "step": "C370",
  "status": "passed",
  "assertions_passed": 31,
  "checks": [
    "cumulative input source gaps 0",
    "same sourced cumulative output 0",
    "cumulative input source gaps 1",
    "same sourced cumulative output 1",
    "cumulative input source gaps 2",
    "same sourced cumulative output 2",
    "existing C351 repair 2",
    "cumulative input source gaps 3",
    "same sourced cumulative output 3",
    "existing C351 repair 3",
    "cumulative input source gaps 4",
    "same sourced cumulative output 4",
    "existing C351 repair 4",
    "cumulative input source gaps 5",
    "same sourced cumulative output 5",
    "existing C351 repair 5",
    "regular paired pivots 2",
    "regular source agreement condition 2",
    "regular exact residuals 2",
    "regular paired pivots 3",
    "regular source agreement condition 3",
    "regular exact residuals 3",
    "same fixed2K output 3",
    "regular paired pivots 4",
    "regular source agreement condition 4",
    "regular exact residuals 4",
    "regular paired pivots 5",
    "regular source agreement condition 5",
    "regular exact residuals 5",
    "same fixed2K output 5",
    "two-sided primary support"
  ],
  "source_checks_passed": 19,
  "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 C364_DATA.json",
    "frozen C365_DATA.json",
    "frozen C351_DATA.json",
    "frozen File_02.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."
}

Linked sources and evidence

Edition and provenance

RESULTS.json

SHA-256 54986d78d4bc2ddced3f166441440911daf8989a683d32797ba60967b9a0d6c0

C01–C479/packets/C370/evidence/RESULTS.json