2
79%
main: 79%

Ran 12 Jun 2026 07:06PM UTC

Files 70

Run time 4s

Badge

Embed ▾

Committed 12 Jun 2026 06:58PM UTC coverage: 59.9%. Remained the same

Job # 27436620674.2

Build Type

push

github

Committed by

web-flow

Commit Message

Refresh bootstrap spec baseline (#792)

* Refresh bootstrap spec baseline

Refresh the canonical requirements, design, validation, ISA reconciliation, and audit artifacts to match the current repository evidence and RFC 9669 alignment.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Address PR review on config traceability

Add ubpf_register_data_bounds_check to the configuration surface table so the design and audit report make the same claim about REQ-SEC-009 coverage.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Address follow-up PR review comments

Clarify the constant-blinding RNG guarantee to match the platform RNG fallback behavior and make the UBPF_MAX_INSTS loader bound explicit in the design constants table.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

---------

Co-authored-by: Alan Jowett <alan.jowett@microsoft.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Coverage Stats

3957 of 6606 relevant lines covered (59.9%)

19953.4 hits per line

iovisor / ubpf / 27436620674 / 2
79%
main: 79%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Debug-ubuntu-24.04-arm-arm64 - 27436620674.2

iovisor / ubpf / 27436620674 / 2 79% main: 79%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Debug-ubuntu-24.04-arm-arm64 - 27436620674.2

iovisor / ubpf / 27436620674 / 2
79%
main: 79%

README BADGES
x