{"run_id":"20261023T084537Z-09c040","gallery":true,"request":"FRR leaf-spine with 2 spines and 3 leaves using BGP unnumbered on the fabric links, advertise loopbacks","verifier":"batfish-local","state":"DONE","finished":true,"outcome":"passed","score":1.0,"repair_rounds":0,"cost_usd":0.00195678,"fabric":{"platform":"frr","spines":2,"leaves":3},"docs":[],"explanation":"The verification is L2, a static analysis of the network configuration using Batfish, which checks for correctness properties without executing the devices. All 47 checks passed, giving a score of 1.0, and no failures or unrecognized lines were found; the verifier ran successfully in 3036 ms. Because the outcome is passed and repair_rounds is 0, nothing could be left unverified. The report shows a complete, error‑free validation.","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":"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":"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: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: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: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: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":"reachability:leaf1->leaf2","kind":"reachability","passed":true},{"id":"reachability:leaf1->leaf3","kind":"reachability","passed":true},{"id":"reachability:leaf2->leaf1","kind":"reachability","passed":true},{"id":"reachability:leaf2->leaf3","kind":"reachability","passed":true},{"id":"reachability:leaf3->leaf1","kind":"reachability","passed":true},{"id":"reachability:leaf3->leaf2","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\ninterface swp2\nrouter bgp 65101\n bgp router-id 10.0.1.1\n neighbor swp1 interface remote-as external\n neighbor swp2 interface remote-as external\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\ninterface swp2\nrouter bgp 65102\n bgp router-id 10.0.1.2\n neighbor swp1 interface remote-as external\n neighbor swp2 interface remote-as external\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\ninterface swp2\nrouter bgp 65103\n bgp router-id 10.0.1.3\n neighbor swp1 interface remote-as external\n neighbor swp2 interface remote-as external\n address-family ipv4 unicast\n  network 10.0.1.3/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\ninterface swp2\ninterface swp3\nrouter bgp 65000\n bgp router-id 10.0.0.1\n neighbor swp1 interface remote-as external\n neighbor swp2 interface remote-as external\n neighbor swp3 interface remote-as external\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\ninterface swp2\ninterface swp3\nrouter bgp 65000\n bgp router-id 10.0.0.2\n neighbor swp1 interface remote-as external\n neighbor swp2 interface remote-as external\n neighbor swp3 interface remote-as external\n address-family ipv4 unicast\n  network 10.0.0.2/32\n  exit-address-family\n"}}