Evidence

RESULTS.json

Download source fileOpen in research workspace
{
  "step": "C362",
  "status": "passed",
  "assertions_passed": 152,
  "checks": [
    "inherited phase (0, 0, 7)-1/4",
    "inherited phase (0, 0, 7)1/4",
    "translated input width (0, 0, 7)",
    "inherited phase (0, 0, 6)-1/4",
    "inherited phase (0, 0, 6)1/4",
    "translated input width (0, 0, 6)",
    "no MT companion deaths (0, 0, 6)",
    "inherited phase (0, 0, 5)-1/4",
    "inherited phase (0, 0, 5)1/4",
    "translated input width (0, 0, 5)",
    "inherited phase (0, 0, 4)-1/4",
    "inherited phase (0, 0, 4)1/4",
    "translated input width (0, 0, 4)",
    "no MT companion deaths (0, 0, 4)",
    "inherited phase (0, 0, 3)-1/4",
    "inherited phase (0, 0, 3)1/4",
    "translated input width (0, 0, 3)",
    "inherited phase (0, 2, 7)-1/4",
    "inherited phase (0, 2, 7)1/4",
    "translated input width (0, 2, 7)",
    "inherited phase (0, 2, 6)-1/4",
    "inherited phase (0, 2, 6)1/4",
    "translated input width (0, 2, 6)",
    "no MT companion deaths (0, 2, 6)",
    "inherited phase (0, 2, 5)-1/4",
    "inherited phase (0, 2, 5)1/4",
    "translated input width (0, 2, 5)",
    "inherited phase (0, 2, 4)-1/4",
    "inherited phase (0, 2, 4)1/4",
    "translated input width (0, 2, 4)",
    "no MT companion deaths (0, 2, 4)",
    "inherited phase (0, 2, 3)-1/4",
    "inherited phase (0, 2, 3)1/4",
    "translated input width (0, 2, 3)",
    "inherited phase (2, 0, 7)-1/4",
    "inherited phase (2, 0, 7)1/4",
    "translated input width (2, 0, 7)",
    "inherited phase (2, 0, 6)-1/4",
    "inherited phase (2, 0, 6)1/4",
    "translated input width (2, 0, 6)",
    "no MT companion deaths (2, 0, 6)",
    "inherited phase (2, 0, 5)-1/4",
    "inherited phase (2, 0, 5)1/4",
    "translated input width (2, 0, 5)",
    "inherited phase (2, 0, 4)-1/4",
    "inherited phase (2, 0, 4)1/4",
    "translated input width (2, 0, 4)",
    "no MT companion deaths (2, 0, 4)",
    "inherited phase (2, 0, 3)-1/4",
    "inherited phase (2, 0, 3)1/4",
    "translated input width (2, 0, 3)",
    "inherited phase (2, 2, 7)-1/4",
    "inherited phase (2, 2, 7)1/4",
    "translated input width (2, 2, 7)",
    "inherited phase (2, 2, 6)-1/4",
    "inherited phase (2, 2, 6)1/4",
    "translated input width (2, 2, 6)",
    "no MT companion deaths (2, 2, 6)",
    "inherited phase (2, 2, 5)-1/4",
    "inherited phase (2, 2, 5)1/4",
    "translated input width (2, 2, 5)",
    "inherited phase (2, 2, 4)-1/4",
    "inherited phase (2, 2, 4)1/4",
    "translated input width (2, 2, 4)",
    "no MT companion deaths (2, 2, 4)",
    "inherited phase (2, 2, 3)-1/4",
    "inherited phase (2, 2, 3)1/4",
    "translated input width (2, 2, 3)",
    "same four primary controls",
    "squared phase condition (3, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "squared phase condition (3, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "squared phase condition (3, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "squared phase condition (3, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "squared phase condition (3, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "squared phase condition (3, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "squared phase condition (3, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "squared phase condition (3, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "squared phase condition (5, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "squared phase condition (5, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "squared phase condition (5, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "squared phase condition (5, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "squared phase condition (5, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "squared phase condition (5, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "squared phase condition (5, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "squared phase condition (5, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (3, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4))",
    "joined phase condition (5, Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4), Fraction(1, 4))",
    "phase totals",
    "physical join phase distortion",
    "physical squared phase distortion"
  ],
  "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 C319_DATA.json",
    "frozen C359_DATA.json",
    "frozen C361_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 92e0919b24ee1c51e193468bb9ff83343700138d652872dc0e57286e33035053

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