{
 "id": "G0144",
 "pool": "eval",
 "object_type": "FUNC",
 "category": "E",
 "attempts": [
  {
   "stage": "validate",
   "oracle": 0,
   "null": 0
  },
  {
   "stage": "validate",
   "oracle": 0,
   "null": 0
  },
  {
   "stage": "bundle",
   "errors": [
    "category E: the contract object must be the seed object that the model changes in place (same name in seed, contract and reference)"
   ],
   "by_check": {
    "static": 1
   }
  },
  {
   "stage": "validate",
   "oracle": 0,
   "null": 0
  },
  {
   "stage": "revalidate",
   "by": "harness fix 2026-10-03",
   "change": "ADT activation fallback for a second FUNC write. Bundle not changed.",
   "oracle": 0,
   "null": 0,
   "mutation": {
    "valid": 0,
    "killed": 0,
    "ok": false
   }
  }
 ],
 "accepted": false
}