Alan-Jowett / sonde / 26659267032
82%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 124
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 82.001% (+0.02%) from 81.986%
26659267032

push

github

web-flow 
docs: add safe BPF interpreter requirements specification (#1103)

* docs: add safe BPF interpreter requirements specification

Extract requirements from safe-bpf-interpreter.md (design),
safe-bpf-interpreter-validation.md (validation plan), and
crates/sonde-bpf/ (implementation).

30 requirements (SBPF-0100 through SBPF-1204) across 12 categories:
- Instruction set compliance (RFC 9669)
- Tagged register model (three-state invariant)
- Memory access safety (choke-point architecture)
- ALU pointer arithmetic rules
- LD_DW_IMM map relocation
- Helper integration and return tagging
- Stack spill tracking
- BPF-to-BPF call frames
- Instruction budget metering
- Context pointer field tagging
- Error model (11 fatal variants)
- Platform and non-functional (
o_std, zero-allocation)

Consistency audit (Phase 4) passed with 7 pre-existing validation
gaps (D1: requirements without test cases). All are behaviors already
implemented correctly — the gap is in documented test coverage, not
in code. See docs/audits/safe-bpf-interpreter-extraction-audit.md.

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

* docs: address PR review comments on BPF requirements

- SBPF-1100 AC1: exclude \ReadOnlyWrite\ (reserved, unreachable) from
  the reachability criterion
- F-006: acknowledge existing instruction budget tests in
  \interpreter_tests.rs\; downgrade severity to Low
- F-007: acknowledge existing context pointer field tests in
  \	agged_register_tests.rs\; downgrade severity to Low
- Update root cause analysis and remediation plan accordingly

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

* docs: add \interpreter_tests.rs\ to audit investigation scope

The audit references this file in F-006 but omitted it from the
investigation scope table.

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

38343 of 46759 relevant lines covered (82.0%)

248.08 hits per line

Jobs
ID Job ID Ran Files Coverage
1 26659267032.1 124
82.0
 GitHub Action Run
Source Files on build 26659267032