{
  "intent": "A non-vacuous proof whose binding to the clause is the prover's own word.",
  "trap": "Awarding E4 because a prover succeeded. The proof is real machine-checked evidence about something — E2 — and that the something is this clause is unconfirmed (§2.6).",
  "direction": "over-grading",
  "grade": "exercised",
  "attestation": "independent",
  "flags": [],
  "clauses": [
    {
      "label": "C1",
      "grade": "exercised",
      "stale": 0
    }
  ],
  "conformant_at_e3": false
}