{
  "handle": "ReversibilityCheck",
  "mechanism": "A convenience wrapper for a {{check}} configured with the {{reversibility}} condition. Halts execution if the action is deemed irreversible (Type 1 decision) without proper authorization. It applies the {{check}} primitive to the {{reversibility}} condition, ensuring the {{world_reversible}} invariant holds, mandating {{human_approve}} if the action is irreversible.",
  "gloss": "Reversibility Audit (Alias for Check(Reversibility))",
  "failure_modes": [
    "False confidence: check reports reversible but undo path fails under load or changed state."
  ],
  "_meta": {
    "tier": 2,
    "ring": 2,
    "supersedes": [
      "sema:ReversibilityCheck#mh:SHA-256:9cd69a4237e0e505309795a879387b04d42a0e21d43a4177d8552ec844ef6157",
      "sema:ReversibilityCheck#mh:SHA-256:574b1afaee6cd675d04e2b9e3484ddfba1490b19121c881832865d3d31a8a2ee",
      "sema:ReversibilityCheck#mh:SHA-256:b8b78fe5b2d7869094d2cd61f2178cfaed3b9482a36ae3f346c7b02cdd892117",
      "sema:ReversibilityCheck#mh:SHA-256:dc25e5a2d9883ce70e187ea25e91efeac3453f850b925d97d3baaef2dd5d9ddf"
    ],
    "path": [
      "Society",
      "Protocols"
    ]
  },
  "sema_id": "sema:ReversibilityCheck#mh:SHA-256:7dfa94c373732b9074abd29eb733e3ccc8c07b691795b526cf83811106c15358",
  "sema_ref": "ReversibilityCheck#7dfa",
  "sema_stub": "7dfa",
  "signature": [
    "Check(Reversibility)"
  ],
  "dependencies": {
    "references": {
      "check": "sema:Check#mh:SHA-256:6890b221c38531710528cd84bbf3a957e29d9836dfc9c02669fc0a86709bcb00",
      "human_approve": "sema:HumanApprove#mh:SHA-256:cf561deb1a5e93a9f221abe2621c8a2bcfebf6863bd1128fa2230ef90237e67d",
      "reversibility": "sema:Reversibility#mh:SHA-256:cb359b693e6f3e674083df81b207143179d19330d5c3ce6e1832674901074b37",
      "world_reversible": "sema:WorldReversible#mh:SHA-256:462e0937acf2ebdd37d4da4048487b92495b86cb663ec5badb91c747c3373566"
    }
  },
  "sema_layer": "Society",
  "sema_category": "Protocols",
  "used_by": {}
}
