RESULTS.json

{
  "step": "C288",
  "status": "passed",
  "assertions_passed": 21,
  "checks": [
    "all positive K edges i0",
    "all paths telescope i0",
    "no K or4K edge i0",
    "all positive K edges i1",
    "all paths telescope i1",
    "no K or4K edge i1",
    "all positive K edges i2",
    "all paths telescope i2",
    "no K or4K edge i2",
    "all positive K edges i3",
    "all paths telescope i3",
    "no K or4K edge i3",
    "all positive K edges i4",
    "all paths telescope i4",
    "no K or4K edge i4",
    "all positive K edges i5",
    "all paths telescope i5",
    "no K or4K edge i5",
    "complete path decompositions",
    "gcd gives formal K only",
    "distinct residue fibers"
  ],
  "source_checks_passed": 6,
  "source_checks": [
    "frozen input PREVIOUS_CERTIFICATE.json",
    "frozen input PREVIOUS_RESULTS.json",
    "frozen input PREVIOUS_CHECKPOINT.md",
    "frozen input C287_DATA.json",
    "predecessor binding PREVIOUS_RESULTS.json",
    "predecessor binding PREVIOUS_CHECKPOINT.md"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}