RESULTS.json

{
  "step": "C296",
  "status": "passed",
  "assertions_passed": 87,
  "checks": [
    "28 admitted source records",
    "paired-set mirror ix0 -1/4",
    "paired-set mirror ix0 1/4",
    "divisibility equivalence ix0",
    "paired-set mirror ix1 -1/4",
    "paired-set mirror ix1 1/4",
    "divisibility equivalence ix1",
    "paired-set mirror ix2 -1/4",
    "paired-set mirror ix2 1/4",
    "divisibility equivalence ix2",
    "paired-set mirror ix3 -1/4",
    "paired-set mirror ix3 1/4",
    "divisibility equivalence ix3",
    "paired-set mirror ix4 -1/4",
    "paired-set mirror ix4 1/4",
    "divisibility equivalence ix4",
    "paired-set mirror ix5 -1/4",
    "paired-set mirror ix5 1/4",
    "divisibility equivalence ix5",
    "paired-set mirror ix6 -1/4",
    "paired-set mirror ix6 1/4",
    "divisibility equivalence ix6",
    "paired-set mirror ix7 -1/4",
    "paired-set mirror ix7 1/4",
    "divisibility equivalence ix7",
    "paired-set mirror ix8 -1/4",
    "paired-set mirror ix8 1/4",
    "divisibility equivalence ix8",
    "paired-set mirror ix9 -1/4",
    "paired-set mirror ix9 1/4",
    "divisibility equivalence ix9",
    "paired-set mirror ix10 -1/4",
    "paired-set mirror ix10 1/4",
    "divisibility equivalence ix10",
    "paired-set mirror ix11 -1/4",
    "paired-set mirror ix11 1/4",
    "divisibility equivalence ix11",
    "paired-set mirror ix12 -1/4",
    "paired-set mirror ix12 1/4",
    "divisibility equivalence ix12",
    "paired-set mirror ix13 -1/4",
    "paired-set mirror ix13 1/4",
    "divisibility equivalence ix13",
    "paired-set mirror ix14 -1/4",
    "paired-set mirror ix14 1/4",
    "divisibility equivalence ix14",
    "paired-set mirror ix15 -1/4",
    "paired-set mirror ix15 1/4",
    "divisibility equivalence ix15",
    "paired-set mirror ix16 -1/4",
    "paired-set mirror ix16 1/4",
    "divisibility equivalence ix16",
    "paired-set mirror ix17 -1/4",
    "paired-set mirror ix17 1/4",
    "divisibility equivalence ix17",
    "paired-set mirror ix18 -1/4",
    "paired-set mirror ix18 1/4",
    "divisibility equivalence ix18",
    "paired-set mirror ix19 -1/4",
    "paired-set mirror ix19 1/4",
    "divisibility equivalence ix19",
    "paired-set mirror ix20 -1/4",
    "paired-set mirror ix20 1/4",
    "divisibility equivalence ix20",
    "paired-set mirror ix21 -1/4",
    "paired-set mirror ix21 1/4",
    "divisibility equivalence ix21",
    "paired-set mirror ix22 -1/4",
    "paired-set mirror ix22 1/4",
    "divisibility equivalence ix22",
    "paired-set mirror ix23 -1/4",
    "paired-set mirror ix23 1/4",
    "divisibility equivalence ix23",
    "paired-set mirror ix24 -1/4",
    "paired-set mirror ix24 1/4",
    "divisibility equivalence ix24",
    "paired-set mirror ix25 -1/4",
    "paired-set mirror ix25 1/4",
    "divisibility equivalence ix25",
    "paired-set mirror ix26 -1/4",
    "paired-set mirror ix26 1/4",
    "divisibility equivalence ix26",
    "paired-set mirror ix27 -1/4",
    "paired-set mirror ix27 1/4",
    "divisibility equivalence ix27",
    "exact three selfMirror K widths",
    "14K Noah absent"
  ],
  "source_checks_passed": 8,
  "source_checks": [
    "frozen input PREVIOUS_CERTIFICATE.json",
    "frozen input PREVIOUS_RESULTS.json",
    "frozen input PREVIOUS_CHECKPOINT.md",
    "frozen input C286_DATA.json",
    "frozen input C287_DATA.json",
    "frozen input AXIS_REPORT.md",
    "predecessor binding PREVIOUS_RESULTS.json",
    "predecessor binding PREVIOUS_CHECKPOINT.md"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}