RESULTS.json

{
  "step": "C439",
  "status": "passed",
  "assertions_passed": 11,
  "checks": [
    "complete9216-pair rule equivalence c3188",
    "unique bounded context-sum solution c3188",
    "complete9216-pair rule equivalence c3248",
    "unique bounded context-sum solution c3248",
    "complete9216-pair rule equivalence c3190",
    "unique bounded context-sum solution c3190",
    "complete9216-pair rule equivalence c3250",
    "unique bounded context-sum solution c3250",
    "full128-label class and64 coordinate-center cases",
    "MT cannot participate by the source range bound",
    "Noah base sum and context complement"
  ],
  "source_checks_passed": 18,
  "source_checks": [
    "PREVIOUS_CERTIFICATE.json",
    "PREVIOUS_DATA.json",
    "PREVIOUS_RESULTS.json",
    "PREVIOUS_CHECKPOINT.md",
    "PREVIOUS_NEXT_STEP.json",
    "File_18.md",
    "File_09.md",
    "File_02.md",
    "File_46.md",
    "C286_DATA.json",
    "C434_DATA.json",
    "C434_CERTIFICATE.json",
    "C434_CHECKPOINT.md",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json",
    "C434 data certificate"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}