{"run_id":"20261023T084453Z-ce4b39","gallery":true,"request":"2 spines and 4 leaves on FRR, eBGP underlay with numbered /31 links, one private ASN per leaf, advertise loopbacks","verifier":"batfish-local","state":"DONE","finished":true,"outcome":"passed","score":1.0,"repair_rounds":0,"cost_usd":0.0034685400000000004,"fabric":{"platform":"frr","spines":2,"leaves":4},"docs":[],"explanation":"The verification is L2: statically verified with Batfish, meaning the network configuration was analyzed without execution to ensure it meets defined policies. All 77 checks passed, achieving a score of 1.0, and no failures or unrecognized lines were reported. The verifier batfish‑local executed successfully, completing in 4866 ms. No items remained unverified.","unverifiable":[],"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":"parse_clean:leaf3","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:leaf3","kind":"no_undefined_refs","passed":true},{"id":"parse_clean:leaf4","kind":"parse_clean","passed":true},{"id":"no_undefined_refs:leaf4","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":"bgp_compatible:leaf3--spine1","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf3--spine1","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf3--spine2","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf3--spine2","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf4--spine1","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf4--spine1","kind":"bgp_established","passed":true},{"id":"bgp_compatible:leaf4--spine2","kind":"bgp_compatible","passed":true},{"id":"bgp_established:leaf4--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":"l3_edges:leaf3[swp1]--spine1[swp3]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf3[swp2]--spine2[swp3]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf4[swp1]--spine1[swp4]","kind":"l3_edges","passed":true},{"id":"l3_edges:leaf4[swp2]--spine2[swp4]","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:spine1:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:spine1:10.0.1.4/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:spine2:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:spine2:10.0.1.4/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:leaf1:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf1:10.0.1.4/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":"route_present:leaf2:10.0.1.3/32","kind":"route_present","passed":true},{"id":"route_present:leaf2:10.0.1.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.0.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.0.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf3:10.0.1.4/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.0.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.0.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.1.1/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.1.2/32","kind":"route_present","passed":true},{"id":"route_present:leaf4:10.0.1.3/32","kind":"route_present","passed":true},{"id":"reachability:leaf1->leaf2","kind":"reachability","passed":true},{"id":"reachability:leaf1->leaf3","kind":"reachability","passed":true},{"id":"reachability:leaf1->leaf4","kind":"reachability","passed":true},{"id":"reachability:leaf2->leaf1","kind":"reachability","passed":true},{"id":"reachability:leaf2->leaf3","kind":"reachability","passed":true},{"id":"reachability:leaf2->leaf4","kind":"reachability","passed":true},{"id":"reachability:leaf3->leaf1","kind":"reachability","passed":true},{"id":"reachability:leaf3->leaf2","kind":"reachability","passed":true},{"id":"reachability:leaf3->leaf4","kind":"reachability","passed":true},{"id":"reachability:leaf4->leaf1","kind":"reachability","passed":true},{"id":"reachability:leaf4->leaf2","kind":"reachability","passed":true},{"id":"reachability:leaf4->leaf3","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 neighbor 10.1.0.0 remote-as 65000\n neighbor 10.1.0.2 remote-as 65000\n address-family ipv4 unicast\n  network 10.0.1.1/32\n  exit-address-family\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 neighbor 10.1.0.16 remote-as 65000\n neighbor 10.1.0.18 remote-as 65000\n address-family ipv4 unicast\n  network 10.0.1.2/32\n  exit-address-family\n","leaf3":"frr version 8.4\nfrr defaults datacenter\nhostname leaf3\ninterface lo\n ip address 10.0.1.3/32\ninterface swp1\n ip address 10.1.0.33/31\ninterface swp2\n ip address 10.1.0.35/31\nrouter bgp 65103\n bgp router-id 10.0.1.3\n neighbor 10.1.0.32 remote-as 65000\n neighbor 10.1.0.34 remote-as 65000\n address-family ipv4 unicast\n  network 10.0.1.3/32\n  exit-address-family\n","leaf4":"frr version 8.4\nfrr defaults datacenter\nhostname leaf4\ninterface lo\n ip address 10.0.1.4/32\ninterface swp1\n ip address 10.1.0.49/31\ninterface swp2\n ip address 10.1.0.51/31\nrouter bgp 65104\n bgp router-id 10.0.1.4\n neighbor 10.1.0.48 remote-as 65000\n neighbor 10.1.0.50 remote-as 65000\n address-family ipv4 unicast\n  network 10.0.1.4/32\n  exit-address-family\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\ninterface swp3\n ip address 10.1.0.32/31\ninterface swp4\n ip address 10.1.0.48/31\nrouter bgp 65000\n bgp router-id 10.0.0.1\n neighbor 10.1.0.1 remote-as 65101\n neighbor 10.1.0.17 remote-as 65102\n neighbor 10.1.0.33 remote-as 65103\n neighbor 10.1.0.49 remote-as 65104\n address-family ipv4 unicast\n  network 10.0.0.1/32\n  exit-address-family\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\ninterface swp3\n ip address 10.1.0.34/31\ninterface swp4\n ip address 10.1.0.50/31\nrouter bgp 65000\n bgp router-id 10.0.0.2\n neighbor 10.1.0.3 remote-as 65101\n neighbor 10.1.0.19 remote-as 65102\n neighbor 10.1.0.35 remote-as 65103\n neighbor 10.1.0.51 remote-as 65104\n address-family ipv4 unicast\n  network 10.0.0.2/32\n  exit-address-family\n"}}