Idempotency and exactly-once guarantees when an agent writes into a system of record

When an agent posts an invoice or issues a payment, retries make duplicate writes a near-certainty unless the writes are designed to be safe to repeat. Here is the discipline that makes them correct.