{
  "intent": "A proof with an independently cross-checked formalization, never shown capable of failing.",
  "trap": "Awarding E4 because the formalization was cross-checked. A property can hold because nothing reaches the condition it guards; every rung above E2 rests on a demonstrated failure.",
  "direction": "over-grading",
  "grade": "exercised",
  "attestation": "independent",
  "flags": [],
  "clauses": [
    {
      "label": "C1",
      "grade": "exercised",
      "stale": 0
    }
  ],
  "conformant_at_e3": false
}