RESULTS.json

{
  "step": "C287",
  "status": "passed",
  "assertions_passed": 38,
  "checks": [
    "one MT boundary i0",
    "first three normal coefficients i0",
    "one MT boundary i1",
    "first three normal coefficients i1",
    "one MT boundary i2",
    "first three normal coefficients i2",
    "Noah7K coefficient i2 SP",
    "K rectangle i2 SP",
    "component rectangle i2 SP -1/4",
    "component rectangle i2 SP 1/4",
    "one MT boundary i3",
    "first three normal coefficients i3",
    "Noah7K coefficient i3 SP",
    "K rectangle i3 SP",
    "component rectangle i3 SP -1/4",
    "component rectangle i3 SP 1/4",
    "Noah7K coefficient i3 LXX",
    "K rectangle i3 LXX",
    "component rectangle i3 LXX -1/4",
    "component rectangle i3 LXX 1/4",
    "one MT boundary i4",
    "first three normal coefficients i4",
    "Noah7K coefficient i4 SP",
    "K rectangle i4 SP",
    "component rectangle i4 SP -1/4",
    "component rectangle i4 SP 1/4",
    "one MT boundary i5",
    "first three normal coefficients i5",
    "Noah7K coefficient i5 SP",
    "K rectangle i5 SP",
    "component rectangle i5 SP -1/4",
    "component rectangle i5 SP 1/4",
    "Noah7K coefficient i5 LXX",
    "K rectangle i5 LXX",
    "component rectangle i5 LXX -1/4",
    "component rectangle i5 LXX 1/4",
    "four numerical complete rows",
    "six labeled complete rows"
  ],
  "source_checks_passed": 6,
  "source_checks": [
    "frozen input PREVIOUS_CERTIFICATE.json",
    "frozen input PREVIOUS_RESULTS.json",
    "frozen input PREVIOUS_CHECKPOINT.md",
    "frozen input C286_DATA.json",
    "predecessor binding PREVIOUS_RESULTS.json",
    "predecessor binding PREVIOUS_CHECKPOINT.md"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}