prisma-risk / tsoracle / 26350567390

95%

Build Type

push

github

Committed by web-flow

Commit Message

fix(paxos-toolkit): floor MemStorage append at compacted_idx after full trim (#277)

After a full trim leaves the log empty, `MemStorage::append_entry` and
`append_entries` fell back to absolute index 0 (`unwrap_or(0)`) instead of
the compaction floor. Production `RocksdbStorage::next_log_idx` floors the
next write at `compacted_idx`, so the fake diverged: a post-compaction
append landed below the floor, unreachable via `get_suffix(compacted_idx)`
and underflowing `get_log_len` to 0.

Because the fake exists to let downstream conformance suites run without
RocksDB, this divergence silently masked regressions in the very
post-compaction append path the suite is meant to guard.

Floor both append methods at `inner.compacted_idx`, mirroring production,
and add conformance tests parallel to the existing RocksDB test
`append_after_full_trim_writes_at_compacted_idx`.

Closes #255

Coverage Stats

46 of 46 new or added lines in 1 file covered. (100.0%)

2 existing lines in 1 file now uncovered.

10602 of 11183 relevant lines covered (94.8%)

464391.63 hits per line