quick fix: flow filter printer - #1679

Draft

daniel-noland wants to merge 18 commits into

mainfrom

pr/daniel-noland/quick-fix-fuzz-and-print

Commits on Jul 31, 2026

refactor(flow-filter): key the routing tables on Vni and NextHeader

daniel-noland
and
claude
committed
feat(match-action): render rules from their typed form

daniel-noland
and
claude
committed
feat(flow-filter,acl-filter): dump installed rules from the CLI

daniel-noland
and
claude
committed
refactor(flow-filter): show rule rank, not the internal priority

daniel-noland
and
claude
committed
fix(match-action): render partial masks as the bits they match on

daniel-noland
and
claude
committed
refactor(match-action): give masks their own constructors

daniel-noland
and
claude
committed
test(flow-filter,acl-filter): DO NOT MERGE -- rule-dump printers

daniel-noland
and
claude
committed
test(acl-filter): property-test ACL lowering against a config oracle

daniel-noland
and
claude
committed
test(flow-filter): carry the config oracle through to packet metadata

daniel-noland
and
claude
committed
fix(acl): bound the layout stride from above, not just below

daniel-noland
and
claude
committed
test(flow-filter): fuzz the NF's parser-facing edge with arbitrary header stacks

daniel-noland
and
claude
committed
test(flow-filter): generate exclusion prefixes, so exposes reach the tables as fans

daniel-noland
and
claude
committed
test(flow-filter): pin two edges the property suites reach but never state

daniel-noland
and
claude
committed