6023d0e8dfc302070dc05c9f512bb0b1cb9b8b3c
71%

Ran 19 Jul 2026 08:02PM UTC

Jobs 1

Files 33

Run time 1min

Badge

Embed ▾

Committed 19 Jul 2026 07:58PM UTC coverage: 71.359%. Remained the same

Build # 6023d0e8dfc302070dc05c9f512bb0b1cb9b8b3c

Build Type

push

github

Committed by

dimitarvp

Commit Message

record A3 UB-tooling first covering run in ledger

- Run 20: unsafe-surface census (131 occurrences, 102 blocks) with a
  separability table — ownership logic is cleanly separable from the
  FFI leaf, no inseparability finding
- clippy pedantic and nursery triaged (652 warnings, zero soundness
  smell); five Miri pattern-models of the AtomicPtr, Arc-as-ptr, COW,
  and box-slot disciplines all clean with teeth proving each catches
  its UB class; the Miri-can-not-cross-FFI gap proven first-hand
- BACKLOG: F-A3-1 filed (the SAFETY-comment house rule is not
  lint-enforced; 19 sound blocks drifted)

Coverage Stats

588 of 824 relevant lines covered (71.36%)

38.9 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	6023d0e8dfc302070dc05c9f512bb0b1cb9b8b3c.1	19 Jul 2026 08:02PM UTC	33	71.36	GitHub Action Run

dimitarvp / xqlite / 6023d0e8dfc302070dc05c9f512bb0b1cb9b8b3c
71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6023d0e8dfc302070dc05c9f512bb0b1cb9b8b3c

dimitarvp / xqlite / 6023d0e8dfc302070dc05c9f512bb0b1cb9b8b3c 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 6023d0e8dfc302070dc05c9f512bb0b1cb9b8b3c

dimitarvp / xqlite / 6023d0e8dfc302070dc05c9f512bb0b1cb9b8b3c
71%

README BADGES
x