24527962871
82%

Ran 16 Apr 2026 06:51PM UTC

Jobs 1

Files 113

Run time 1min

Badge

Embed ▾

Committed 16 Apr 2026 06:48PM UTC coverage: 80.77%. Remained the same

Build # 24527962871

Build Type

push

github

Committed by

web-flow

Commit Message

fix(protocol): align spec and tests with implementation (#744) (#750)

Address 6 maintenance audit findings (1 false positive):

fix-impl — Add missing tests:
- F-005: Add 	est_p017 (frame exactly MIN_FRAME_SIZE = 27 bytes)
- F-005: T-P019d confirmed as false positive — test already exists
  as ead_nonce_construction
- F-021: Add 	est_p123..	est_p126 for MAX_APP_DATA_BLOB_SIZE (218)
  and MAX_COMMAND_BLOB_SIZE (193) boundary conditions

fix-spec — Update design docs to match implementation:
- F-003: Document PeerRequest/PeerAck codec bypass in §6.3; remove
  phantom enum variants from §6.1/§6.2
- F-022: Add InvalidParameter(String) to §8 error enumeration
- F-045: Update §5.3 DecodedFrame to zero-copy DecodedFrame<'\''a>
  with &'\''a [u8]; update §5.4 open_frame signature
- F-048: Document MAX_STRING_FIELD_LEN (32 bytes) in §6.5

Closes #744

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

Coverage Stats

24159 of 29911 relevant lines covered (80.77%)

205.71 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	24527962871.1	16 Apr 2026 06:51PM UTC	113	80.77	GitHub Action Run

Alan-Jowett / sonde / 24527962871
82%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 24527962871

Alan-Jowett / sonde / 24527962871 82%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 24527962871

Alan-Jowett / sonde / 24527962871
82%

README BADGES
x