00e561e05444358cf12a37450d3ea7b3cb7596af
71%

Ran 18 Jul 2026 12:20AM UTC

Jobs 1

Files 32

Run time 1min

Badge

Embed ▾

Committed 18 Jul 2026 12:16AM UTC coverage: 70.48%. Remained the same

Build # 00e561e05444358cf12a37450d3ea7b3cb7596af

Build Type

push

github

Committed by

dimitarvp

Commit Message

add A7 concurrency probe harness + ledger run 4

adds concurrency/ (invoke bash concurrency/run.sh): five teeth-gated
probes over the interleaving surface — an N-BEAM-process hammer on ONE
shared connection handle (with a finalize-vs-step race on a shared
statement), owner-process death mid-transaction, a BEAM owner dying
mid-txn on a shared handle, busy contention with a retry policy +
observer, and open/close churn attempting to reproduce rusqlite#1860.
each oracle (integrity_check, row-set diff, checksum, hang timeout) is
proven to trip on deliberately-damaged input before any pass is trusted.

records Run 4 in the ledger + axes: the static audit of all five
interleaving windows HOLDS (swap-then-lock / lock-then-load,
conn-Mutex-serialised hook COW, lock-free cancel store, N-handles,
owner-death), all probes PASS, zero findings. bundled SQLite is
THREADSAFE=1 + MUTEX_PTHREADS (runtime-verified), so #1860 does not
reproduce at 3.53.2.

isolated from CI exactly like durability/: not under test/, never
compiled, formatter-excluded — mix verify is untouched.

Coverage Stats

573 of 813 relevant lines covered (70.48%)

36.55 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	00e561e05444358cf12a37450d3ea7b3cb7596af.1	18 Jul 2026 12:20AM UTC	32	70.48	GitHub Action Run

dimitarvp / xqlite / 00e561e05444358cf12a37450d3ea7b3cb7596af
71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 00e561e05444358cf12a37450d3ea7b3cb7596af

dimitarvp / xqlite / 00e561e05444358cf12a37450d3ea7b3cb7596af 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 00e561e05444358cf12a37450d3ea7b3cb7596af

dimitarvp / xqlite / 00e561e05444358cf12a37450d3ea7b3cb7596af
71%

README BADGES
x