RESULTS.json

{
  "step": "C280",
  "status": "passed",
  "assertions_passed": 37,
  "checks": [
    "MT baseline unique j2",
    "documented counterpart j2",
    "different460 operations j2",
    "triangle invariant j2",
    "phase j2 -1/4",
    "phase j2 1/4",
    "MT baseline unique j3",
    "documented counterpart j3",
    "different460 operations j3",
    "triangle invariant j3",
    "phase j3 -1/4",
    "phase j3 1/4",
    "MT baseline unique j4",
    "documented counterpart j4",
    "different460 operations j4",
    "triangle invariant j4",
    "phase j4 -1/4",
    "phase j4 1/4",
    "MT baseline unique j5",
    "documented counterpart j5",
    "different460 operations j5",
    "triangle invariant j5",
    "phase j5 -1/4",
    "phase j5 1/4",
    "MT baseline unique j6",
    "documented counterpart j6",
    "different460 operations j6",
    "triangle invariant j6",
    "phase j6 -1/4",
    "phase j6 1/4",
    "MT baseline unique j7",
    "documented counterpart j7",
    "different460 operations j7",
    "triangle invariant j7",
    "phase j7 -1/4",
    "phase j7 1/4",
    "native field bases"
  ],
  "source_checks_passed": 9,
  "source_checks": [
    "frozen input PREVIOUS_CERTIFICATE.json",
    "frozen input PREVIOUS_RESULTS.json",
    "frozen input PREVIOUS_CHECKPOINT.md",
    "frozen input C279_DATA.json",
    "frozen input C01_RESULTS.json",
    "frozen input BILATERAL.md",
    "frozen input FILE_18.md",
    "predecessor binding PREVIOUS_RESULTS.json",
    "predecessor binding PREVIOUS_CHECKPOINT.md"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}