OSPFv3

OSPFv3 is the IPv6 counterpart to the OSPFv2 model. netverdict treats it as a deterministic routing solver for IPv6 topologies, with interface-to-area configuration and stable route computation.

Support level

Area	Level	Notes
IPv6 OSPF routing	Behaviour model	Computes OSPFv3-learned IPv6 routes from configured participating interfaces.
Interface area binding	Supported	Interfaces can be attached to areas through the supported CLI surface.
Router ID	Supported	OSPFv3 still uses a 32-bit router ID.
Multi-area routing	Partial	Area membership is modelled; advanced LSA detail is simplified.
Packet fidelity	Not modelled	The current surface focuses on routing behaviour, not full OSPFv3 packet replay.

Standards coverage

Standard	Coverage	Notes
RFC 5340	Behaviour model	OSPFv3 concepts are represented where needed for IPv6 route calculation.
RFC 2328	Conceptual reference	Shared SPF and area ideas inform the model; packet formats differ.

Feature matrix

Feature	Status	Notes
ipv6 router ospf <pid>	Supported	Creates the process.
router-id <id>	Supported	Stable router ID for tie-breaks and diagnostics.
ipv6 ospf <pid> area <area>	Supported	Interface-level area membership.
Passive interface	Partial	Stored where parsed; runtime effect depends on the current executor path.
Route computation	Supported	IPv6 prefixes from participating routers are projected into the IPv6 RIB.
Authentication	Not modelled	IPsec-based OSPFv3 authentication is out of scope today.

Vendor command matrix

Command	IOS-style	Junos-style	VyOS-style	Notes
ipv6 router ospf 1	Supported	n/a	n/a	Cisco-style process.
ipv6 ospf 1 area 0	Supported	n/a	n/a	Interface participation.
show ipv6 ospf	Supported	Partial	Partial	Runtime process view.
show ipv6 route ospf	Supported	Partial	Partial	OSPFv3 routes in IPv6 RIB.

Behaviour notes

OSPFv3 currently shares the engine’s deterministic solver philosophy rather than simulating every neighbour-state packet exchange. This makes it useful for IPv6 design checks and training labs, while keeping the support contract honest.

Examples

Canonical example

configure terminal
ipv6 router ospf 1
 router-id 1.1.1.1
interface GigabitEthernet0/0
 ipv6 address 2001:db8:12::1/64
 ipv6 ospf 1 area 0
end
show ipv6 route

Vendor styles

IOS-style

ipv6 router ospf 1
 router-id 1.1.1.1
interface GigabitEthernet0/0
 ipv6 ospf 1 area 0

Junos-style

set routing-options router-id 1.1.1.1
set protocols ospf3 area 0 interface ge-0/0/0.0

VyOS-style

set protocols ospfv3 parameters router-id 1.1.1.1
set protocols ospfv3 area 0 interface eth0

Known limits

Link-LSA / intra-area-prefix LSA packet fidelity, OSPFv3 address families, IPsec authentication, and vendor debug output are not modelled yet.