26203786530
95%

Ran 21 May 2026 03:34AM UTC

Jobs 1

Files 30

Run time 1min

Badge

Embed ▾

Committed 21 May 2026 03:32AM UTC coverage: 92.174%. Remained the same

Build # 26203786530

Build Type

push

github

Committed by

web-flow

Commit Message

fix(driver-openraft): linearizable read in StandaloneHost::current_high_water (#19)

The standalone host's read path skipped the openraft ensure_linearizable
barrier, leaving load_high_water non-compliant with the ConsensusDriver
contract in multi-node deployments. The fence in tsoracle-server reads
prior_max through this path and uses it to pin the new leader's serving
floor; a stale value there breaks the freshness invariant. The crate
comment already flagged this as a Phase-A follow-up — landing it now.

ForwardToLeader from ensure_linearizable maps to NotLeader (matching the
submit_advance error mapping); other RaftError variants stay
TransientDriver.

Also fixes convergence-check sites in tests/{partition_churn,
restart_replay, three_node}.rs that were reading load_high_water on
followers — those calls now correctly return NotLeader. Convergence is a
state-machine property, so the tests now read each node's SM directly
via TestNode::sm.

Coverage Stats

2391 of 2594 relevant lines covered (92.17%)

198483.45 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	26203786530.1	21 May 2026 03:34AM UTC	30	92.17	GitHub Action Run

prisma-risk / tsoracle / 26203786530
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26203786530

prisma-risk / tsoracle / 26203786530 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26203786530

prisma-risk / tsoracle / 26203786530
95%

README BADGES
x