26380901199
95%

Ran 25 May 2026 03:06AM UTC

Jobs 1

Files 82

Run time 1min

Badge

Embed ▾

Committed 25 May 2026 03:00AM UTC coverage: 94.852% (-0.007%) from 94.859%

Build # 26380901199

Build Type

push

github

Committed by

web-flow

Commit Message

docs(consensus): specify persist_high_water epoch-fencing contract (#389)

The persist_high_water trait doc left the epoch's role underspecified:
the paxos driver fences with an up-front epoch pre-check (Fenced) while
the openraft driver ignores epoch and relies on apply-time max() plus
leader-forwarding (NotLeader). Both are correct, but the trait never
stated that this divergence is allowed, so the server fence's obligation
to tolerate both classifications was implicit.

State it normatively: a consensus-backed driver MAY reject a stale-leader
write via an up-front epoch pre-check returning Fenced, or via apply-time
monotonicity plus leader-forwarding returning NotLeader, and callers MUST
treat both identically as "stale leader, retry against the new leader."
Correct the consensus_integration.md companion prose, which previously
claimed the call is flatly "fenced by epoch" and contradicted the
openraft path. No behavior change.

Coverage Stats

12584 of 13267 relevant lines covered (94.85%)

454724.53 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	26380901199.1	25 May 2026 03:06AM UTC	82	94.85	GitHub Action Run

prisma-risk / tsoracle / 26380901199
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 26380901199

prisma-risk / tsoracle / 26380901199 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Coverage Regressions

Jobs

Source Files on build 26380901199

prisma-risk / tsoracle / 26380901199
95%

README BADGES
x