26372866089
95%

Ran 24 May 2026 09:15PM UTC

Jobs 1

Files 75

Run time 1min

Badge

Embed ▾

Committed 24 May 2026 09:10PM UTC coverage: 94.931%. Remained the same

Build # 26372866089

Build Type

push

github

Committed by

web-flow

Commit Message

docs(server): document extension_lock/extension_gate lock-ordering at fence site (#316)

The lock-ordering invariant between extension_lock and extension_gate was
documented only at the lock definitions (server.rs) and the
step_down_due_to_consensus_rejection helper, not at the extension_gate.write()
call in fence.rs where a maintainer is most likely to add an extension_lock
acquisition.

Document at the fence site that it takes only extension_gate.write() and
intentionally not extension_lock: the safe global order is extension_lock
before extension_gate (the order extenders use), the fence holds no
extension_lock so it cannot close a cycle, and an opposite-order path
(extension_gate.write() then extension_lock) would deadlock against an
extender holding extension_lock and waiting on read().

Closes #247

Coverage Stats

11294 of 11897 relevant lines covered (94.93%)

492469.97 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	26372866089.1	24 May 2026 09:15PM UTC	75	94.93	GitHub Action Run

prisma-risk / tsoracle / 26372866089
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26372866089

prisma-risk / tsoracle / 26372866089 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 26372866089

prisma-risk / tsoracle / 26372866089
95%

README BADGES
x