← back to paper

Review history

arxiv: 2608.00501 · 2 revisions

Machine-Checked Dual-Write Recovery from a Committed Log

1. 2026-08-05 CONDITIONAL MODERATE v1.3.0-alltime-deepseek novelty 8.0
   139705 ms 30849 in 16121 out 2026-08-05T04:12:54.446903+00:00
2. 2026-08-05 ACCEPT MODERATE v1.3.0-alltime-deepseek novelty 8.0
   146174 ms 30910 in 14488 out 2026-08-05T00:49:27.558196+00:00