RESULTS.json

{
  "step": "C307",
  "status": "passed",
  "assertions_passed": 15,
  "checks": [
    "four source equations index0",
    "four source equations index1",
    "four source equations index2",
    "four source equations index3",
    "four source equations index4",
    "four source equations index5",
    "four source equations index6",
    "four source equations index7",
    "base rank4one free scalar",
    "598 equation isdependent",
    "600 equation increases rank5",
    "unique600solution all halfinteger",
    "600 solution outsideinteger field",
    "width decomposition allrows",
    "source transport andMirror haveopposite phaseactions"
  ],
  "source_checks_passed": 8,
  "source_checks": [
    "frozen input PREVIOUS_CERTIFICATE.json",
    "frozen input PREVIOUS_RESULTS.json",
    "frozen input PREVIOUS_CHECKPOINT.md",
    "frozen input C303_DATA.json",
    "frozen input C305_DATA.json",
    "frozen input C306_DATA.json",
    "predecessor binding PREVIOUS_RESULTS.json",
    "predecessor binding PREVIOUS_CHECKPOINT.md"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}