November 8, 2026 · 7 min read
Idempotent Writes and Gap Detection: keeping an indexer correct after a drop
A gap in an indexer is silent: the tip is present and the middle is missing. Make the write idempotent, detect the hole, fill it, then prove it closed.
Read →