27436639318
79%
master: 92%

Ran 12 Jun 2026 07:00PM UTC

Jobs 6

Files 131

Run time 1min

Badge

Embed ▾

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

Build # 27436639318

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

6589 of 8258 relevant lines covered (79.79%)

535953.83 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	run-RelWithDebInfo-ubuntu-latest-x86_64 - 27436639318.1	12 Jun 2026 07:01PM UTC	69	76.46	GitHub Action Run
2	run-Debug-ubuntu-24.04-arm-arm64 - 27436639318.2	12 Jun 2026 07:00PM UTC	70	59.9	GitHub Action Run
3	run-Debug-macos-latest-x86_64 - 27436639318.3	12 Jun 2026 07:03PM UTC	85	77.32	GitHub Action Run
4	run-Debug-ubuntu-latest-x86_64 - 27436639318.4	12 Jun 2026 07:04PM UTC	69	76.48	GitHub Action Run
5	run-RelWithDebInfo-ubuntu-24.04-arm-arm64 - 27436639318.5	12 Jun 2026 07:00PM UTC	70	59.92	GitHub Action Run
6	run-RelWithDebInfo-macos-latest-x86_64 - 27436639318.6	12 Jun 2026 07:00PM UTC	85	77.2	GitHub Action Run

Alan-Jowett / ubpf / 27436639318
79%
master: 92%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 27436639318

Alan-Jowett / ubpf / 27436639318 79% master: 92%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 27436639318

Alan-Jowett / ubpf / 27436639318
79%
master: 92%

README BADGES
x