{
  "handle": "LazyConsensus",
  "mechanism": "Agents execute transactions immediately without waiting for global consensus, assuming everything is valid. If a conflict is detected later, they use a deterministic rollback rule (e.g., 'highest ID wins'). Maximizes speed over safety. It bypasses the blocking {{quorum}}, executing immediately and using the {{time_warp_log}} to resolve conflicts retroactively.",
  "gloss": "Optimistic execution, retroactive verification",
  "failure_modes": [
    "Cascading rollbacks.",
    "Applied to irreversible external action (email sent, funds transferred, API called)—rollback impossible, inconsistency permanent."
  ],
  "invariants": [
    "Conflict resolution is pure: the same inputs always pick the same winner.",
    "Reverting a transaction cannot corrupt unrelated state.",
    "Applies only to reversible or low-stakes actions.",
    "Conflicts are actively detected, not merely handled if noticed."
  ],
  "preconditions": [
    "Target operations are internally reversible (no irreversible external side-effects)",
    "Conflict detection mechanism is active"
  ],
  "postconditions": [
    "Transaction applied optimistically",
    "Conflict resolution triggered if divergence detected"
  ],
  "_meta": {
    "tier": 2,
    "ring": 0,
    "supersedes": [
      "sema:LazyConsensus#mh:SHA-256:4fc707a3608b99da4f2f0aa78d8662d3ea7056beb69e92a72be26e6085ecbfd9",
      "sema:LazyConsensus#mh:SHA-256:81a36b7edd2128ea672990d4487c64770b4da347d359cd217564514017fa9032",
      "sema:LazyConsensus#mh:SHA-256:1c07589188212ac8d7519eb64501c0e6c21d9028fc6a4026adf572b5b2db77ab",
      "sema:LazyConsensus#mh:SHA-256:cb1be5ea25df833482f581771c52a12c2f24b1865b13306e18f6423a99fa94f0",
      "sema:LazyConsensus#mh:SHA-256:efa93926a2943a952c01702ccf4aae37ca7246d83767ccd17a05a55011892c92"
    ],
    "path": [
      "Society",
      "Coordination"
    ]
  },
  "sema_ref": "LazyConsensus#76f5",
  "sema_id": "sema:LazyConsensus#mh:SHA-256:76f5f9d3c8e5301625d4732cc79aaacf4174d411ff1fd81c0fe67f8f78382789",
  "sema_stub": "76f5",
  "dependencies": {
    "references": {
      "quorum": "sema:Quorum#mh:SHA-256:2a33f05d34bfb2667645680393ca37865d4a7d05d2056eddf4c9df0c13b21744",
      "time_warp_log": "sema:TimeWarpLog#mh:SHA-256:755f480a60517d8e99807da674019db06ab0b7b2edabcc806d833947da4446e4"
    }
  },
  "sema_layer": "Society",
  "sema_category": "Coordination",
  "used_by": {
    "references": {
      "AtomicBid": "sema:AtomicBid#mh:SHA-256:5ac637b4b3d74bfaea558ee36b1ee6ffcaf46fe26ac988b524e46faf9821535e"
    }
  }
}