26354279473
95%

Ran 24 May 2026 06:47AM UTC

Jobs 1

Files 74

Run time 1min

Badge

Embed ▾

Committed 24 May 2026 06:42AM UTC coverage: 94.754%. Remained the same

Build # 26354279473

Build Type

push

github

Committed by

web-flow

Commit Message

refactor(server): route get_ts CoreError mapping through core_status (#97) (#288)

The `get_ts` retry loop re-implemented the `CoreError -> Status` mapping
inline for `InvalidCount`, `PhysicalMsOutOfRange`, `InvalidLeadershipWindow`,
and `WindowExhausted`, duplicating `core_status`. A future variant would
compile against `core_status`'s exhaustive match but fall through `get_ts`'s
inline arms, so the match was kept exhaustive only by hand.

Collapse those arms into a single `Err(other) => core_status(other)` catch-all,
making `core_status` the sole mapping authority. Keep `NotLeader` inline (it
attaches a `LeaderHint` metadata trailer `core_status` cannot) and the
first-attempt `WindowExhausted` retry branch. A new `CoreError` variant now
routes through `core_status` without editing `get_ts`.

Convert the bounded `for attempt in 0..2 { .. } unreachable!()` into a
divergent `loop` with a manual `attempt` counter: with only `return`/`continue`
the loop has type `!`, so the trailing `unreachable!()` is gone.

A second `WindowExhausted` (extension did not help — a driver bug) now surfaces
as `core_status`'s Internal "window exhausted" rather than the bespoke
"window still exhausted after extension"; same code, no test depended on the
text.

Coverage Stats

10675 of 11266 relevant lines covered (94.75%)

464303.46 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	26354279473.1	24 May 2026 06:47AM UTC	74	94.75	GitHub Action Run

prisma-risk / tsoracle / 26354279473
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26354279473

prisma-risk / tsoracle / 26354279473 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26354279473

prisma-risk / tsoracle / 26354279473
95%

README BADGES
x