spec - #1757

Draft

daniel-noland wants to merge 22 commits into

pr/daniel-noland/clock-facadefrom

pr/daniel-noland/spec-compliance

Commits on Aug 28, 2026

fix(net): Validate the RFC 4884 original datagram field as the RFC says

daniel-noland
and
claude
committed
0bbe020
build(duvet): Track RFC 4884 compliance, and vendor the specification

daniel-noland
and
claude
committed
65c4257
build(duvet): Track RFC 5382, and record where masquerade departs from it

daniel-noland
and
claude
committed
72f0763
build(duvet): Track RFC 4787, and record where masquerade departs from it

daniel-noland
and
claude
committed
69fd6ee
test(masquerade): State RFC 4787 endpoint independence as a property

daniel-noland
and
claude
committed
d82c4e6
test(masquerade): Assert RFC 4787 outbound refresh, and where it is not

daniel-noland
and
claude
committed
26bf67f
test(masquerade): Classify the filtering, and check RFC 4787 determinism

daniel-noland
and
claude
committed
2cc490c
test(masquerade): State RFC 4787 REQ-12 as an executable contract

daniel-noland
and
claude
committed
cf3a4df
test(masquerade): Make a stale citation a build failure

daniel-noland
and
claude
committed
42527c6
docs(forwarding): Record RFC 4787 REQ-13, and why it is one decision not three

daniel-noland
and
claude
committed
87c2890
fix(duvet): Regenerate the snapshot the REQ-12 and REQ-13 commits left stale

daniel-noland
and
claude
committed
9adc6a1
test(net): Take the RFC 4884 minimum from both sides, in both families

daniel-noland
and
claude
committed
5c7f408
test(nat): Cite port overloading on the code that could commit it

daniel-noland
and
claude
committed
35afeac
test(nat): Cite the exhaustion walk alongside the stage property

daniel-noland
and
claude
committed
7d4b3e6
ci(dev): Gate on the compliance snapshot and print its tables

daniel-noland
and
claude
committed
23316ce
fix(net): Read the RFC 4884 length attribute from the ICMP header

daniel-noland
and
claude
committed
b6d2c11
fix(net): Stop reading a length attribute out of an ICMPv6 pointer
daniel-noland
committed
d331b79
fix(nat): Walk the pool bitmap by runs, and print it without the lock
daniel-noland
committed
52968ed
test(routing): Stop spending the reassembly test's budget on its setup
daniel-noland
committed
77f0320
fix(nat): Let outbound traffic refresh a mapping nobody has answered
daniel-noland
committed
ae47b06
fix(net): Measure the quoted datagram from where its lengths are measured
daniel-noland
committed
8aed5c2
fix(nat): Refuse a port-forwarding ruleset the table cannot hold
daniel-noland
committed
ccf95b0

Navigation Menu

Uh oh!

spec - #1757

spec#1757
daniel-noland wants to merge 22 commits into
pr/daniel-noland/clock-facadefrom
pr/daniel-noland/spec-compliance

Commits on Aug 28, 2026

fix(net): Validate the RFC 4884 original datagram field as the RFC says

build(duvet): Track RFC 4884 compliance, and vendor the specification

build(duvet): Track RFC 5382, and record where masquerade departs from it

build(duvet): Track RFC 4787, and record where masquerade departs from it

test(masquerade): State RFC 4787 endpoint independence as a property

test(masquerade): Assert RFC 4787 outbound refresh, and where it is not

test(masquerade): Classify the filtering, and check RFC 4787 determinism

test(masquerade): State RFC 4787 REQ-12 as an executable contract

test(masquerade): Make a stale citation a build failure

docs(forwarding): Record RFC 4787 REQ-13, and why it is one decision not three

fix(duvet): Regenerate the snapshot the REQ-12 and REQ-13 commits left stale

test(net): Take the RFC 4884 minimum from both sides, in both families

test(nat): Cite port overloading on the code that could commit it

test(nat): Cite the exhaustion walk alongside the stage property

ci(dev): Gate on the compliance snapshot and print its tables

fix(net): Read the RFC 4884 length attribute from the ICMP header

fix(net): Stop reading a length attribute out of an ICMPv6 pointer

fix(nat): Walk the pool bitmap by runs, and print it without the lock

test(routing): Stop spending the reassembly test's budget on its setup

fix(nat): Let outbound traffic refresh a mapping nobody has answered

fix(net): Measure the quoted datagram from where its lengths are measured

fix(nat): Refuse a port-forwarding ruleset the table cannot hold