Evidence

RESULTS.json

Download source fileOpen in research workspace
{
  "step": "C326",
  "status": "passed",
  "assertions_passed": 40,
  "checks": [
    "quad0 existing fourthendpoint",
    "quad0 sourceorderedgaps",
    "quad0 two500intervals",
    "quad0 overlapandouter",
    "quad0 phase-1/4 fullbinding",
    "quad0 phase1/4 fullbinding",
    "quad1 existing fourthendpoint",
    "quad1 sourceorderedgaps",
    "quad1 two500intervals",
    "quad1 overlapandouter",
    "quad1 phase-1/4 fullbinding",
    "quad1 phase1/4 fullbinding",
    "quad2 existing fourthendpoint",
    "quad2 sourceorderedgaps",
    "quad2 two500intervals",
    "quad2 overlapandouter",
    "quad2 phase-1/4 fullbinding",
    "quad2 phase1/4 fullbinding",
    "quad3 existing fourthendpoint",
    "quad3 sourceorderedgaps",
    "quad3 two500intervals",
    "quad3 overlapandouter",
    "quad3 phase-1/4 fullbinding",
    "quad3 phase1/4 fullbinding",
    "quad4 existing fourthendpoint",
    "quad4 sourceorderedgaps",
    "quad4 two500intervals",
    "quad4 overlapandouter",
    "quad4 phase-1/4 fullbinding",
    "quad4 phase1/4 fullbinding",
    "quad5 existing fourthendpoint",
    "quad5 sourceorderedgaps",
    "quad5 two500intervals",
    "quad5 overlapandouter",
    "quad5 phase-1/4 fullbinding",
    "quad5 phase1/4 fullbinding",
    "File09namedfield present",
    "File09fieldmetrics",
    "not acommon affine shape",
    "allphasecomparisons"
  ],
  "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 C322_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."
}

Linked sources and evidence

Edition and provenance

RESULTS.json

SHA-256 168657c49e77b6f3559005ef101d1672b9a2711d92f59007c16ebbca3268321f

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