(09) pipeline - #1761

Draft

daniel-noland wants to merge 29 commits into

pr/daniel-noland/icmp-and-aclfrom

pr/daniel-noland/pipeline-harness

Commits on Sep 6, 2026

test(dataplane): Drive the overlay pipeline, not one stage at a time

daniel-noland
and
claude
committed
5f94728
test(dataplane): Give the pipeline harness an ACL to be wrong about

daniel-noland
and
claude
committed
53c840a
build: Lock the dataplane dev-dependencies the pipeline harness added

daniel-noland
and
claude
committed
b773919
feat(routing): Let a test build the forwarding tables

daniel-noland
and
claude
committed
1bdf6eb
test(dataplane): Make the pipeline harness earn a packet's arrival

daniel-noland
and
claude
committed
b9cc75d
fix(fuzz): Stop truncating the pipeline properties' inputs

daniel-noland
and
claude
committed
59b93bb
feat(fuzz): Spread a campaign over half the machine

daniel-noland
and
claude
committed
add21dd
fix(fuzz): Keep the coverage corpus out of the source tree

daniel-noland
and
claude
committed
35d7842
test(dataplane): Follow a flow out through the tunnel and back

daniel-noland
and
claude
committed
ac1491f
test(dataplane): Require a flow to keep the translation it was given

daniel-noland
and
claude
committed
6a740e5
test(dataplane): Ask the pipeline to choose between three VPCs

daniel-noland
and
claude
committed
812b604
test(dataplane): Send a burst the way the driver does

daniel-noland
and
claude
committed
e79c498
fix(nat): Do not allocate twice for one flow in one burst

daniel-noland
and
claude
committed
12396c3
test(dataplane): Reach a service through a forwarded port

daniel-noland
and
claude
committed
d71e0fe
test(dataplane): Check stage contracts at the boundaries that owe them

daniel-noland
and
claude
committed
fee76de
test(pipeline): Leave room to grow a packet

daniel-noland
and
claude
committed
9521e9b
test(dataplane): Make one flow one allocation an invariant, not a case

daniel-noland
and
claude
committed
bbf870c
test(dataplane): Require a rewritten source to be one we were given

daniel-noland
and
claude
committed
30f8d4c
test(dataplane): Pin down that the pipeline replays

daniel-noland
and
claude
committed
d7a0760
test(dataplane): Give traffic a state machine and its own oracle

daniel-noland
and
claude
committed
4d0eb1a
test(dataplane): Interleave conversations and require each to be satisfied

daniel-noland
and
claude
committed
e1641d1
test(dataplane): Add a load that does not wait

daniel-noland
and
claude
committed
33ad18d
test(dataplane): Derive the traffic from what the configuration offers

daniel-noland
and
claude
committed
bb6a26e
feat(config): Build configurations by folding operations

daniel-noland
and
claude
committed
fdfd218
test(dataplane): Run generated configurations through the pipeline

daniel-noland
and
claude
committed
4d14736
fix(dataplane): Drop three imports the new modules do not use
daniel-noland
committed
8bc659f
test(dataplane): Fail on a derived load that gives up, rather than counting it
daniel-noland
committed
0c29bb7
test(dataplane): Make the vlan property's positive control structural
daniel-noland
committed
90c27a6
style(dataplane,config): Reach the sync primitives through the facade
daniel-noland
committed
b5d42ad

Navigation Menu

Uh oh!

(09) pipeline - #1761

(09) pipeline#1761
daniel-noland wants to merge 29 commits into
pr/daniel-noland/icmp-and-aclfrom
pr/daniel-noland/pipeline-harness

Commits on Sep 6, 2026

test(dataplane): Drive the overlay pipeline, not one stage at a time

test(dataplane): Give the pipeline harness an ACL to be wrong about

build: Lock the dataplane dev-dependencies the pipeline harness added

feat(routing): Let a test build the forwarding tables

test(dataplane): Make the pipeline harness earn a packet's arrival

fix(fuzz): Stop truncating the pipeline properties' inputs

feat(fuzz): Spread a campaign over half the machine

fix(fuzz): Keep the coverage corpus out of the source tree

test(dataplane): Follow a flow out through the tunnel and back

test(dataplane): Require a flow to keep the translation it was given

test(dataplane): Ask the pipeline to choose between three VPCs

test(dataplane): Send a burst the way the driver does

fix(nat): Do not allocate twice for one flow in one burst

test(dataplane): Reach a service through a forwarded port

test(dataplane): Check stage contracts at the boundaries that owe them

test(pipeline): Leave room to grow a packet

test(dataplane): Make one flow one allocation an invariant, not a case

test(dataplane): Require a rewritten source to be one we were given

test(dataplane): Pin down that the pipeline replays

test(dataplane): Give traffic a state machine and its own oracle

test(dataplane): Interleave conversations and require each to be satisfied

test(dataplane): Add a load that does not wait

test(dataplane): Derive the traffic from what the configuration offers

feat(config): Build configurations by folding operations

test(dataplane): Run generated configurations through the pipeline

fix(dataplane): Drop three imports the new modules do not use

test(dataplane): Fail on a derived load that gives up, rather than counting it

test(dataplane): Make the vlan property's positive control structural

style(dataplane,config): Reach the sync primitives through the facade