23415246848
82%

Ran 22 Mar 2026 11:40PM UTC

Jobs 1

Files 72

Run time 1min

Badge

Embed ▾

Committed 22 Mar 2026 11:36PM UTC coverage: 83.255% (+0.005%) from 83.25%

Build # 23415246848

Build Type

push

github

Committed by

web-flow

Commit Message

test(protocol): add chunking arithmetic edge-case tests (T-P047, T-P054, T-P055) (#405)

* test(protocol): add chunking arithmetic edge-case tests (T-P047, T-P054, T-P055)

Cover three untested edge cases in protocol chunking:

- T-P047: ProgramImage with empty bytecode round-trips correctly
  (complements T-P041 which only tested empty maps)
- T-P054: get_chunk with chunk_size = 0 returns None
  (not a silent empty slice)
- T-P055: chunk_count with extreme values (usize::MAX,
  u32::MAX + 1) returns None instead of overflowing

Closes #348

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

* fix: gate 64-bit-only assertions in T-P055 behind usize::BITS check

Address review feedback: on 32-bit targets usize::MAX == u32::MAX,
so the overflow assertions must be conditional. Compute the
u32::MAX + 1 case via u64 to avoid usize overflow on 32-bit.

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

17088 of 20525 relevant lines covered (83.25%)

49.65 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	23415246848.1	22 Mar 2026 11:40PM UTC	72	83.25	GitHub Action Run

Alan-Jowett / sonde / 23415246848
82%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 23415246848

Alan-Jowett / sonde / 23415246848 82%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 23415246848

Alan-Jowett / sonde / 23415246848
82%

README BADGES
x