26379558328
95%

Ran 25 May 2026 02:13AM UTC

Jobs 1

Files 82

Run time 1min

Badge

Embed ▾

Committed 25 May 2026 02:08AM UTC coverage: 94.862% (-0.007%) from 94.869%

Build # 26379558328

Build Type

push

github

Committed by

web-flow

Commit Message

test(fuzz): roundtrip-fuzz the version-framed snapshot codecs (#374)

The existing snapshot targets (snapshot_payload_decode, paxos_snapshot_decode)
only assert "does not panic". Neither guards the codec invariant that matters
for the per-toolkit SCHEMA_VERSION: that decoding then re-encoding is a stable
canonical form. A serde-shape drift or non-deterministic encoding would slip
past a decode-only target.

Add two reverse-roundtrip targets over the richest version-framed payloads —
codec_roundtrip (openraft HighWaterStateMachineSnapshot, nested
StoredMembership) and paxos_codec_roundtrip (paxos HighWaterSnapshot, with its
HashMap ledger). On any input that decodes, they re-encode, decode again, and
assert the value is unchanged.

The assertion is value equality, deliberately not byte equality of the
re-encodings:
  - postcard::from_bytes ignores trailing bytes, so `re-encode == input` would
    false-positive on a valid prefix followed by junk;
  - the paxos HashMap ledger has per-instance iteration order, so two equal
    maps can serialize to different byte orders (HashMap's == is set-wise).

Both go through the same encode/decode the production writers use (openraft
encode(SCHEMA_VERSION, ..); paxos encode_postcard -> codec). Wired into both
fuzz CI matrices with seed corpora. Refreshes the stale fuzz Cargo.lock.

Coverage Stats

12277 of 12942 relevant lines covered (94.86%)

441796.78 hits per line

Coverage Regressions

Lines	Coverage	∆	File
1	97.44	-0.32%	benchmarks/stress/src/loadgen.rs

Jobs

ID	Job ID	Ran	Files	Coverage
1	26379558328.1	25 May 2026 02:13AM UTC	82	94.86	GitHub Action Run

prisma-risk / tsoracle / 26379558328
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 26379558328

prisma-risk / tsoracle / 26379558328 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 26379558328

prisma-risk / tsoracle / 26379558328
95%

README BADGES
x