Alan-Jowett / sonde / 23360856554
82%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 71
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.628% (+0.005%) from 82.623%
23360856554

push

github

web-flow 
docs(node): spec 7 undocumented defense-in-depth behaviors (#389)

* docs(node): spec 7 undocumented defense-in-depth behaviors

Cover behaviors identified by the code compliance audit (D9-001 through
D9-007) that the firmware already implements but that had no spec
coverage:

- ND-0203: minimum sleep interval clamped to 1 second
- ND-0500: program image size caps (4 KB resident, 2 KB ephemeral)
- ND-0503: ephemeral programs with maps rejected
- ND-0910: erase malformed \peer_payload\ to break retry loops
- bpf-environment.md: \delay_us\ max 1 s, \send_recv\ timeout cap 5 s
- bpf-environment.md: \MAX_BUS_TRANSFER_LEN\ = 4096 for I2C/SPI
- protocol.md §9.2: \GET_CHUNK\ retries use fresh sequence numbers

Closes #385

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

* fix: address PR #389 review comments

- Document timeout_ms=0 special case for send_recv (uses default timeout)
- Fix delay_us docs: values above cap return error, not clamped
- Strengthen ND-0910 criterion 3 from SHOULD to MUST for consistency

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

* fix: address PR #389 review comments

Update sequence number rationale to emphasize session sequencing
and duplicate-rejection as primary reason, with replay protection
as secondary benefit.

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>

16529 of 20004 relevant lines covered (82.63%)

49.65 hits per line

Jobs
ID Job ID Ran Files Coverage
1 23360856554.1 71
82.63
 GitHub Action Run
Source Files on build 23360856554