net - #1752

Open

daniel-noland wants to merge 10 commits into

pr/daniel-noland/spec-toolingfrom

pr/daniel-noland/fuzz-net-headers

Commits on Aug 28, 2026

fix(net): actually store incremental checksum updates

daniel-noland
and
claude
committed
b464b66
test(net): check HeadersView against the safe matcher

daniel-noland
and
claude
committed
f8cb8f5
test(net): check the mutable HeadersView boundary

daniel-noland
and
claude
committed
0b7e3f7
test(net): check HeadersView for higher arg count

daniel-noland
and
claude
committed
f9aa213
test(net): embedded views and extensions

daniel-noland
and
claude
committed
8b35924
test(net): optional matchers are never stricter than required

daniel-noland
and
claude
committed
9b20553
test(net): derive view shapes and check delivered layers

daniel-noland
and
claude
committed
90421b8
test(net): check builder conformance

daniel-noland
and
claude
committed
c03e56f
test(net): ICMP subtype and quoted-ICMP builders

daniel-noland
and
claude
committed
3f3590b
test(net): keep embedded checks active under coverage

daniel-noland
and
claude
committed
18802fb