Society · Economics
AtomicBid
Declaration and execution in a single turn
Definition
Mechanism
A coordination primitive that bundles a Bid (intent/cost) and an Act (execution) into a single, indivisible turn. Unlike a standard Bid which halts for approval, AtomicBid treats the Bid as an immutable Audit log entry and proceeds immediately to execution. Similar to LazyConsensus for state, it assumes optimistic permission but remains subject to retroactive Compensate if the Bid is rejected post-hoc.
Invariants
- Turn Indivisibility: The Bid and the Tool Call MUST occur in the same message/turn.
- Auditability: The Bid MUST precede the Action in the log.
- Revocability: The Action must be reversible (or low-stakes) to allow for Compensation.
Risks
Failure modes
Permission Race
Executing an irreversible high-stakes action before the Orchestrator can veto.
Log Drift
Generating the Action but failing to generate the Bid, breaking the audit trail.
Relationships
Builds on
Composes with
Infrastructure
Root primitive for state modification
Binding offer from solver to execute task
Infrastructure
Structured rollback via logged inverses in LIFO order
References
Infrastructure
Verification of conformance
Optimistic execution, retroactive verification
Used by
Composes with
High-velocity solver requiring parallel runtime
Reference