d5507c6f4bdf7fd3560e5f2c1d55d45aafccc860
71%

Ran 18 Jul 2026 10:16PM UTC

Jobs 1

Files 32

Run time 1min

Badge

Embed ▾

Committed 18 Jul 2026 10:10PM UTC coverage: 70.48%. Remained the same

Build # d5507c6f4bdf7fd3560e5f2c1d55d45aafccc860

Build Type

push

github

Committed by

dimitarvp

Commit Message

add A5 cancellation probe harness + ledger run 6

Adversarial pass over the cancellation surface: the lock-free cancel
store, the ProgressHandlerGuard register/unregister lifecycle, the
every-8-VM-op progress interrupt, and every cancellable NIF. All five
race windows hold at the source level (cancel-vs-completion,
token reuse, cancel-vs-teardown deeper than A7's W3, process death,
multi-token OR).

New CI-isolated harness cancellation/run.sh (mirrors durability /
concurrency / lifecycle: outside test/, not compiled, formatter-
excluded) with five probes + four teeth. Cancel latency median 55 us;
race 300 hits 156 cancelled / 144 completed / 0 torn; teardown 400
iters + GC-drop legs crash/hang free; never-cancelled marginal
overhead ~0-1.5% (informational, feeds T4.7).

Zero S0/S1/S2. One S3 doc-clarity item filed: cancel tokens are
single-use (set-once flag, no reset) but the user-facing docs don't
say so. mix verify green.

Coverage Stats

573 of 813 relevant lines covered (70.48%)

36.55 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	d5507c6f4bdf7fd3560e5f2c1d55d45aafccc860.1	18 Jul 2026 10:16PM UTC	32	70.48	GitHub Action Run

dimitarvp / xqlite / d5507c6f4bdf7fd3560e5f2c1d55d45aafccc860
71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build d5507c6f4bdf7fd3560e5f2c1d55d45aafccc860

dimitarvp / xqlite / d5507c6f4bdf7fd3560e5f2c1d55d45aafccc860 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build d5507c6f4bdf7fd3560e5f2c1d55d45aafccc860

dimitarvp / xqlite / d5507c6f4bdf7fd3560e5f2c1d55d45aafccc860
71%

README BADGES
x