• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

Alan-Jowett / sonde / 23516126016
82%

Build:
DEFAULT BRANCH: main
Ran 24 Mar 2026 10:56PM UTC
Jobs 1
Files 75
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

24 Mar 2026 10:54PM UTC coverage: 85.597% (+0.04%) from 85.561%
23516126016

push

github

web-flow
fix: use sonde-specific Prevail verifier platform (GW-0404) (#480)

* fix: use sonde-specific Prevail verifier platform (GW-0404)

Replace `LinuxPlatform` with `SondePlatform` for BPF program
verification. Linux BPF assigns different semantics to helper IDs 1-16
than sonde does, causing programs that call sonde helpers (`i2c_read`,
`gpio_write`, `send`, etc.) to fail verification or be verified
under incorrect helper semantics.

`SondePlatform` defines helper prototypes for all 16 sonde BPF helpers
matching the signatures in `test-programs/include/sonde_helpers.h`.
It wraps `LinuxPlatform` via composition for ELF/map parsing and
overrides helper-related methods.

Spec updates:
- GW-0404 requirement added to gateway-requirements.md
- SondePlatform design section added to gateway-design.md
- T-0408/T-0409 test cases added to gateway-validation.md

Fixes #474

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

* Address review findings: section_prefixes, doc wording

- Add "sonde" to section_prefixes so SEC("sonde") ELF programs are
  recognized by Prevail (GW-0404).
- Tighten GW-0404 AC#4 wording: LinuxPlatform is not passed directly
  as the verifier platform; SondePlatform may compose it for ELF/map
  parsing.
- Clarify T-0409 step 2: assert SondePlatform is used for verification;
  LinuxPlatform encapsulated inside is acceptable.
- Add test assertion for "sonde" in section_prefixes.

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

* test: add SondePlatform helper verification integration tests

Add two tests proving that \SondePlatform\ correctly recognises
sonde-specific BPF helpers during \ingest_elf()\ verification:

- \ingest_elf_with_sonde_helper_succeeds\: hand-crafted ELF with
  \call 3\ (\i2c_write_read\) — a helper with no Linux equivalent.
- \ingest_elf_with_sonde_helper_8_succeeds\: hand-crafted ELF with
  \call 8\ (\send\) — the primary transmi... (continued)

211 of 237 new or added lines in 2 files covered. (89.03%)

21751 of 25411 relevant lines covered (85.6%)

162.53 hits per line

Uncovered Changes

Lines Coverage ∆ File
26
77.19
crates/sonde-gateway/src/sonde_platform.rs
Jobs
ID Job ID Ran Files Coverage
1 23516126016.1 24 Mar 2026 10:56PM UTC 75
85.6
GitHub Action Run
Source Files on build 23516126016
  • Tree
  • List 75
  • Changed 1
  • Source Changed 1
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #23516126016
  • 02151712 on github
  • Prev Build on main (#23515015340)
  • Next Build on main (#23516142523)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc