Redistribution between different EIGRP processes does not advertise some routes

[rynogawa]

[Problem]
Some routes are not advertised when redistributing routes learned by EIGRP.

[Topology]

1. dev1,2 and dev3 is configured with EIGRP of AS 100.
2. dev3,4 and dev5 is configured with EIGRP of AS 200.
3. dev3 assigns Loopback interfaces to AS100 and AS200 respectively.
4. In dev3's EIGRP settings, AS100 will redistribute AS200's route, and AS200 will redistribute AS100's route.

[Config] ※Minimum Config

• dev1

!
interface GigabitEthernet0/1
 ip address 10.0.12.1 255.255.255.0
!
router eigrp 100
 network 10.0.12.0 0.0.0.255
!

• dev2

!
interface GigabitEthernet0/0
 ip address 10.0.12.2 255.255.255.0
!
interface GigabitEthernet0/1
 ip address 10.0.23.2 255.255.255.0
!
router eigrp 100
 network 10.0.12.0 0.0.0.255
 network 10.0.23.0 0.0.0.255
!

• dev3

interface Loopback100
 ip address 10.99.100.3 255.255.255.255
!
interface Loopback200
 ip address 10.99.200.3 255.255.255.255
!
interface GigabitEthernet0/0
 ip address 10.0.23.3 255.255.255.0
!
interface GigabitEthernet0/1
 ip address 10.0.34.3 255.255.255.0
!
router eigrp 100
 network 10.0.23.0 0.0.0.255
 network 10.99.100.3 0.0.0.0
 redistribute eigrp 200
!
router eigrp 200
 network 10.0.34.0 0.0.0.255
 network 10.99.200.3 0.0.0.0
 redistribute eigrp 100
!

• dev4

!
interface GigabitEthernet0/0
 ip address 10.0.34.4 255.255.255.0
!
interface GigabitEthernet0/1
 ip address 10.0.45.4 255.255.255.0
!
router eigrp 200
 network 10.0.34.0 0.0.0.255
 network 10.0.45.0 0.0.0.255
!

• dev5

!
interface GigabitEthernet0/0
 ip address 10.0.45.5 255.255.255.0
!
router eigrp 200
 network 10.0.45.0 0.0.0.255
!

[Result]

• Expected Behavior
  The expected behavior is that the AS200 route is advertised as an external route in the dev1 route information.

• router dev1

dev1# show ip route
      10.0.0.0/8 is variably subnetted, 7 subnets, 2 masks
C        10.0.12.0/24 is directly connected, GigabitEthernet0/1
L        10.0.12.1/32 is directly connected, GigabitEthernet0/1
D        10.0.23.0/24 [90/3072] via 10.0.12.2, 02:48:40, GigabitEthernet0/1
D EX     10.0.34.0/24 [170/3328] via 10.0.12.2, 02:48:35, GigabitEthernet0/1★
D EX     10.0.45.0/24 [170/3584] via 10.0.12.2, 02:48:34, GigabitEthernet0/1★
D        10.99.100.3/32
           [90/131072] via 10.0.12.2, 02:48:35, GigabitEthernet0/1
D EX     10.99.200.3/32　　　　　　　　　　　　　　　　　　　　　　  ★
           [170/131072] via 10.0.12.2, 02:48:35, GigabitEthernet0/1

However, if you run batfish (bfq.routes()), you can see that some external routes (10.0.34.0/24, 10.99.200.3/32) are not learned by dev1.

• batfish

     Node      VRF         Network                      Next_Hop  ...   Protocol  Metric Admin_Distance   Tag
0   dev01  default    10.0.12.0/24  interface GigabitEthernet0/0  ...  connected       0              0  None
1   dev01  default    10.0.12.1/32  interface GigabitEthernet0/0  ...      local       0              0  None
2   dev01  default    10.0.23.0/24                  ip 10.0.12.2  ...      eigrp    3072             90  None
3   dev01  default    10.0.45.0/24                  ip 10.0.12.2  ...    eigrpEX    3584            170  None★Only one external route advertised
4   dev01  default  10.99.100.3/32                  ip 10.0.12.2  ...      eigrp  131072             90  None
5   dev02  default    10.0.12.0/24  interface GigabitEthernet0/0  ...  connected       0              0  None
6   dev02  default    10.0.12.2/32  interface GigabitEthernet0/0  ...      local       0              0  None
(snip)