(05) route - #1753

Open

daniel-noland wants to merge 11 commits into

pr/daniel-noland/spec-compliancefrom

pr/daniel-noland/fuzz-routing

Commits on Sep 6, 2026

test(routing): model-check fib

daniel-noland
and
claude
committed
a68ae3d
fix(routing): remove fib vni aliases on delete

daniel-noland
and
claude
committed
b0fec1e
fix(routing): refuse to remove the default vrf

daniel-noland
and
claude
committed
2ae1985
fix(routing): empty next-hop routes are drops

daniel-noland
and
claude
committed
9131558
test(routing): vrf deletion check

daniel-noland
and
claude
committed
c940ee8
test(routing): prop-test resolution across vrfs

daniel-noland
and
claude
committed
f8a14bc
fix(routing): remove interface name from next-hop key

daniel-noland
and
claude
committed
58f7aea
test(routing): prop-test control-plane

daniel-noland
and
claude
committed
2a5b224
test(routing): prop-test config renderers

daniel-noland
and
claude
committed
073bd9b
test(routing): model-check the interface table

daniel-noland
and
claude
committed
7700ecd
test(routing): prop-test the adjacency table

daniel-noland
and
claude
committed
33b4291