1
95%
main: 95%

Ran 23 May 2026 04:56AM UTC

Files 73

Run time 2s

Badge

Embed ▾

Committed 23 May 2026 04:52AM UTC coverage: 95.225% (+0.03%) from 95.196%

Job # 26323924729.1

Build Type

push

github

Committed by

web-flow

Commit Message

fix(paxos-toolkit): preserve absolute log index after full RocksDB compaction (#188)

`RocksdbStorage::next_log_idx` derived the next absolute write index by
reverse-iterating surviving `L/<u64>` keys and fell back to `Ok(0)` when
the log was physically empty. A snapshot that trims every key followed
by `set_compacted_idx(n)` would then make the next `append_entry` land
at `L/0` instead of `L/n`, leaving the entry unreachable via
`get_suffix(n)`/`get_entries(n, n+1)` and silently corrupting the
replicated log across crash recovery — a Paxos-safety break, not just an
availability issue.

Enforce `next >= compacted_idx` so the invariant survives full
compaction, and share a `compacted_idx_inner` helper with
`get_compacted_idx` to keep the metadata read in one place. Add
regression tests covering both the post-full-trim append and the
crash-recovery round-trip.

Closes #186.

Coverage Stats

9553 of 10032 relevant lines covered (95.23%)

473174.91 hits per line

prisma-risk / tsoracle / 26323924729 / 1
95%
main: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 26323924729.1

prisma-risk / tsoracle / 26323924729 / 1 95% main: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 26323924729.1

prisma-risk / tsoracle / 26323924729 / 1
95%
main: 95%

README BADGES
x