(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 9, 2026

test(routing): verify FIB updates against a model

daniel-noland
and
claude
committed
11a19a9
fix(routing): remove every FIB alias on deletion

daniel-noland
and
claude
committed
2bd1571
fix(routing): preserve the default VRF

daniel-noland
and
claude
committed
87c60ff
fix(routing): treat empty next-hop routes as drops

daniel-noland
and
claude
committed
91ec6f2
test(routing): verify VRF deletion completion

daniel-noland
and
claude
committed
fd0c0da
test(routing): verify cross-VRF next-hop resolution

daniel-noland
and
claude
committed
fa716ce
fix(routing): exclude interface names from next-hop identity

daniel-noland
and
claude
committed
dc71aa8
test(routing): verify control-plane state transitions

daniel-noland
and
claude
committed
c82d30e
test(routing): verify FRR renderer completeness

daniel-noland
and
claude
committed
537c8c3
test(routing): verify interface table consistency

daniel-noland
and
claude
committed
2f7d69f
test(routing): verify adjacency publication and lookup

daniel-noland
and
claude
committed
217c818