test(net): property-test the headers view, matcher, and builder - #1734

Draft

daniel-noland wants to merge 10 commits into

pr/daniel-noland/fuzz-net-checksumfrom

pr/daniel-noland/fuzz-net-headers

Commits on Aug 21, 2026

test(net): Check the HeadersView unsafe boundary against the safe matcher

authored and
mvachhar
committed
34e0b39
docs(net): Correct where the HeadersView soundness check actually fires

authored and
mvachhar
committed
f670d95
test(net): Check the mutable half of the HeadersView boundary, and make miri usable

authored and
mvachhar
committed
199c52b
test(net): Extend the HeadersView differential to every arity the oracle reaches

authored and
mvachhar
committed
697a0f8
test(net): Reach the quoted packet inside an ICMP error, and the extension region

authored and
mvachhar
committed
ddfc3e0
test(net): Cover the optional matchers, and find what their combinators watch

authored and
mvachhar
committed
2fa9b45
test(net): Make the shape follow the chain, and reach every arity's look

authored and
mvachhar
committed
05e4c5b
test(net): Stack the extension headers the builder always could

authored and
mvachhar
committed
22a947e
test(net): Specialize the ICMP subtypes, and find that conform is dead

authored and
mvachhar
committed
97e8d39
test(net): Keep the embedded vacuity guard armed under coverage

authored and
mvachhar
committed
332eaf2