{
  "schema": "cain42.e17.containment-examples.v1",
  "domains": [
    "CAIN42/E17-COLLECTIVE-CONTAINMENT/v1",
    "CAIN42/E17-COLLECTIVE-HEALTH/v1"
  ],
  "containment": {
    "body": {
      "collective_id": "col-1",
      "member_id": "m-verifier",
      "reason": "INTEGRITY_FAILURE",
      "at": 4001.0,
      "steps": [
        "ISOLATE_MEMBER",
        "INVALIDATE_DELEGATIONS",
        "INVALIDATE_AUTHORIZATIONS",
        "TRACE_DOWNSTREAM_INFLUENCE",
        "IDENTIFY_DERIVED_ACTIONS",
        "RECALCULATE_COLLECTIVE_STATE",
        "RECALCULATE_AUTHORITY",
        "RECALCULATE_CONSEQUENCES",
        "REQUIRE_REAUTHORIZATION"
      ],
      "downstream": [
        "m-driver"
      ],
      "derived_actions": [
        "move:box-7"
      ],
      "authorization_state": "REVOKED",
      "requires_reauthorization": true,
      "assumes_collective_safe": false,
      "authority": "NONE"
    },
    "digest": "6c6459aa8a686c20ab0191583fc7719762ef4e377ee32b7c82b0794773773f14"
  },
  "authority": "NONE"
}