fsync
Plain-file persistence for Python with explicit guarantees: atomic visibility, crash durability, cooperative locks, checksums, runtime diagnostics, and small TLA+ protocol models.
