Exactly-once, on a connection you do not control
A pharmacy till has to keep selling when the internet drops, then reconcile without recording a sale twice. That constraint decides the whole architecture.
tail -f ~/notes
Writing
Concepts from the proof, explained in my own words with code from my own systems.