3 docs tagged with "correctness"

Why exactly-once delivery is impossible, what exactly-once processing actually means, and the four mechanisms that make retries safe.

Actor-per-auction for linearizable bids, proxy bidding correctness, soft-close anti-sniping, broadcasting price to 200k watchers, and timers that must fire exactly once.

Idempotency under unknown outcomes, immutable double-entry ledgers in integer cents, saga orchestration with compensations, bank-file reconciliation, PCI scope, and multi-currency.