---
slug: "LazyConsensus"
name: "LazyConsensus"
type: "Coordination"
layer: "Society"
ref: "LazyConsensus#76f5"
sema_id: "sema:LazyConsensus#mh:SHA-256:76f5f9d3c8e5301625d4732cc79aaacf4174d411ff1fd81c0fe67f8f78382789"
tags: ["Society","Coordination"]
updated: 2026-11-11
mindscape: "bootstrap"
index_url: https://mindscape.pages.dev/bootstrap/index.json
url: https://mindscape.pages.dev/bootstrap/LazyConsensus/
related: ["Quorum","TimeWarpLog","AtomicBid"]
---

# LazyConsensus

Optimistic execution, retroactive verification

Layer: Society · Category: Coordination

## 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](https://mindscape.pages.dev/bootstrap/Quorum.md), executing immediately and using the [TimeWarpLog](https://mindscape.pages.dev/bootstrap/TimeWarpLog.md) to resolve conflicts retroactively.

## 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

## Failure modes

- Cascading rollbacks.
- Applied to irreversible external action (email sent, funds transferred, API called)—rollback impossible, inconsistency permanent.

## Builds on

- [Quorum](https://mindscape.pages.dev/bootstrap/Quorum.md) (Infrastructure; References)
- [TimeWarpLog](https://mindscape.pages.dev/bootstrap/TimeWarpLog.md) (Infrastructure; References)

## Used by

- [AtomicBid](https://mindscape.pages.dev/bootstrap/AtomicBid.md) (Society; References)

## Identity

- Sema ID: `sema:LazyConsensus#mh:SHA-256:76f5f9d3c8e5301625d4732cc79aaacf4174d411ff1fd81c0fe67f8f78382789`
- Ref: `LazyConsensus#76f5`
- 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`

## Links

- [Pattern page](https://mindscape.pages.dev/bootstrap/LazyConsensus/)
- [View in the interactive graph](https://mindscape.pages.dev/bootstrap/#LazyConsensus)
- [JSON](https://mindscape.pages.dev/bootstrap/LazyConsensus.json)
- [Index of all patterns](https://mindscape.pages.dev/bootstrap/index.json)