{"run_id":"20261023T084902Z-afc6e8","gallery":true,"request":"FRR fabric with 2 spines and 2 leaves, eBGP numbered, and block SSH to the leaves from outside 10.0.0.0/8","verifier":"batfish-local","state":"DONE","finished":true,"outcome":"passed","score":1.0,"repair_rounds":2,"cost_usd":0.010519939999999998,"fabric":{"platform":"frr","spines":2,"leaves":2},"docs":[],"explanation":"Verification level: L2 – statically verified with Batfish, meaning the configuration was checked for structural correctness without runtime execution.  \nPassed: all 33 checks succeeded; no failures reported.  \nFailed: none.  \nNot verifiable: one rule involving FRR filters could not be assessed because Batfish does not model them.","unverifiable":["deny tcp/22 to leaf* from outside 10.0.0.0/8: frr filters are not modelled by Batfish"],"level":"L2","checks":[{"id":"parse_clean:spine1","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:spine1","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:spine2","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:spine2","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:leaf1","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:leaf1","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:leaf2","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:leaf2","kind":"no_undefined_refs","passed":true},{"id":"bgp_compatible:leaf1--spine1","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf1--spine1","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf1--spine2","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf1--spine2","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf2--spine1","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf2--spine1","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf2--spine2","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf2--spine2","kind":"bgp_established","passed":true},{"id":"l3_edges:leaf1[swp1]--spine1[swp1]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf1[swp2]--spine2[swp1]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf2[swp1]--spine1[swp2]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf2[swp2]--spine2[swp2]","kind":"l3_edges","passed":true},{"id":"route_present:spine1:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:spine1:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:spine2:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:spine2:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.0.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.0.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.0.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.0.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.1.1/32","kind":"route_present","passed":true},{"id":"reachability:leaf1->leaf2","kind":"reachability","passed":true},{"id":"reachability:leaf2->leaf1","kind":"reachability","passed":true},{"id":"no_forwarding_loops","kind":"no_forwarding_loops","passed":true}],"configs":{"leaf1":"frr version 8.4\nfrr defaults datacenter\nhostname leaf1\ninterface lo\n ip address 10.0.1.1/32\ninterface swp1\n ip address 10.1.0.1/31\ninterface swp2\n ip address 10.1.0.3/31\nrouter bgp 65101\n bgp router-id 10.0.1.1\n address-family ipv4 unicast\n  network 10.0.1.1/32\n  neighbor 10.1.0.0 remote-as 65000\n  neighbor 10.1.0.2 remote-as 65000\n","leaf2":"frr version 8.4\nfrr defaults datacenter\nhostname leaf2\ninterface lo\n ip address 10.0.1.2/32\ninterface swp1\n ip address 10.1.0.17/31\ninterface swp2\n ip address 10.1.0.19/31\nrouter bgp 65102\n bgp router-id 10.0.1.2\n address-family ipv4 unicast\n  network 10.0.1.2/32\n  neighbor 10.1.0.16 remote-as 65000\n  neighbor 10.1.0.18 remote-as 65000\n","spine1":"frr version 8.4\nfrr defaults datacenter\nhostname spine1\ninterface lo\n ip address 10.0.0.1/32\ninterface swp1\n ip address 10.1.0.0/31\ninterface swp2\n ip address 10.1.0.16/31\nrouter bgp 65000\n bgp router-id 10.0.0.1\n address-family ipv4 unicast\n  network 10.0.0.1/32\n  neighbor 10.1.0.1 remote-as 65101\n  neighbor 10.1.0.17 remote-as 65102\n","spine2":"frr version 8.4\nfrr defaults datacenter\nhostname spine2\ninterface lo\n ip address 10.0.0.2/32\ninterface swp1\n ip address 10.1.0.2/31\ninterface swp2\n ip address 10.1.0.18/31\nrouter bgp 65000\n bgp router-id 10.0.0.2\n address-family ipv4 unicast\n  network 10.0.0.2/32\n  neighbor 10.1.0.3 remote-as 65101\n  neighbor 10.1.0.19 remote-as 65102\n"}}