{
  "intent": "A check with a killed counter-artifact but no stated anchor.",
  "trap": "Reading the counter-artifact alone and awarding E3. An oracle derived from the system under test cannot disagree with it, so §2.5 caps an unstated anchor at E2 however the check behaved.",
  "direction": "over-grading",
  "grade": "exercised",
  "attestation": "independent",
  "flags": [],
  "clauses": [
    {
      "label": "C1",
      "grade": "exercised",
      "stale": 0
    }
  ],
  "conformant_at_e3": false
}