TY  - RPRT
TI  - Machine-Checked Dual-Write Recovery from a Commit Log
AU  - Andreas Andreakis
PY  - 2026
UR  - https://arxiv.org/abs/2608.00501
ID  - 2608.00501
ER  -