{
 "expectation": "every object must be REJECTED by an independent verifier",
 "objects": [
  {
   "class": "unknown_to_allow",
   "mutation": "an UNKNOWN stage presented as ALLOW",
   "object": {
    "decision": "ALLOW",
    "states": {
     "AUTHORITY": "ALLOW",
     "CAPABILITY": "ALLOW",
     "CONSEQUENCE": "ALLOW",
     "DECISION": "ALLOW",
     "IDENTITY": "ALLOW",
     "POLICY": "ALLOW",
     "RISK": "UNKNOWN",
     "TRAJECTORY": "ALLOW",
     "TRUST": "ALLOW"
    }
   }
  },
  {
   "class": "coverage_upgrade",
   "mutation": "a MONITORED path claimed as ENFORCED",
   "object": {
    "actual": "MONITORED",
    "claimed": "ENFORCED"
   }
  },
  {
   "class": "receipt_no_authority",
   "mutation": "a receipt emitted with no authority",
   "object": {
    "body": {
     "authority": "UNKNOWN",
     "authority_granted": "NONE"
    }
   }
  },
  {
   "class": "false_completion",
   "mutation": "completion accepted without evidence",
   "object": {
    "evidence": {},
    "false_completion": false
   }
  }
 ],
 "schema": "cain42.e42.malicious.v1"
}