{
  "kind": "class-proof-receipt",
  "class": "donation_health_check_bypass",
  "verdict": "PROVEN",
  "layer": "lending / business-logic (Euler-class)",
  "severity": "critical",
  "swc": "OWASP-SC02",
  "outcome": "self-liquidation socialized 40 of bad debt (pot 1000->960)",
  "clean_control": "passed",
  "chain": "",
  "attributed_incident": {
    "name": "Euler Finance",
    "loss_usd": 197000000,
    "verdict": "RE-PROVEN",
    "source": "site/proofs/proofs.json"
  },
  "false_prove_rate": 0,
  "issued": "2026-07-24",
  "note": "Class/mechanism proven by executing the exploit on a forked chain; the patched control resisted. The full exploit method is withheld (defensive). The signature + proof-log inclusion are independently verifiable \u2014 the method is not disclosed.",
  "verify": "https://omniguardlabs.com/stats.html"
}