2
90%
main: 90%

Ran 22 Feb 2026 09:01AM UTC

Files 106

Run time 2s

Badge

Embed ▾

Committed 22 Feb 2026 06:40AM UTC coverage: 87.742% (+0.03%) from 87.713%

Job # 22272168528.2

Build Type

push

github

Committed by

elazarg

Commit Message

Safety parity: propagate alloc_mem_size and decompose kfunc flags

- ringbuf_reserve now propagates allocation size into alloc_mem_offset=0
  and alloc_mem_size from the size argument register, enabling proper
  bounds checking on allocated memory (was havoc'd to unknown).
- Kfunc flag handling decomposed: accept acquire, destructive,
  trusted_args, sleepable (type-level safety covered); reject release
  (requires unimplemented lifecycle state machine).
- Parity docs updated: accurate implemented/unimplemented tracking for
  pointer type classes, helper families, kfunc flags, and lifetime gaps.
  Resource-tracking gaps clearly documented as intentionally deferred.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

Coverage Stats

12748 of 14529 relevant lines covered (87.74%)

2310782.83 hits per line

vbpf / prevail / 22272168528 / 2
90%
main: 90%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 22272168528.2

vbpf / prevail / 22272168528 / 2 90% main: 90%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 22272168528.2

vbpf / prevail / 22272168528 / 2
90%
main: 90%

README BADGES
x