Routes learned with iBGP cannot be redistributed to EIGRP

[tokonish]

[Problem]

When redistributing a route learned using iBGP to EIGRP, the route is not advertised.
※ios behavior

[Topology]

1. dev2 and dev3 is configured with iBGP of AS 64512.
2. dev3,4 and dev5 is configured with EIGRP of AS 1.
3. In dev3's EIGRP AS 1 settings, routes learned with iBGP AS 64512 are redistributed.

[Config] ※Minimum Config

・ dev1

hostname dev1
!
no ip domain-lookup
!
interface GigabitEthernet0/1
 ip address 10.0.12.1 255.255.255.0
 no shutdown
!
ip route 0.0.0.0 0.0.0.0 10.0.12.2
!
line con 0
 exec-timeout 300 0
 privilege level 15
 logging synchronous
 length 0
!
end

・ dev2

hostname dev2
!
no ip domain-lookup
!
interface GigabitEthernet0/0
 ip address 10.0.12.2 255.255.255.0
 no shutdown
!
interface GigabitEthernet0/1
 ip address 10.0.23.2 255.255.255.0
 no shutdown
!
router bgp 64512
 neighbor 10.0.23.3 remote-as 64512
 redistribute connected
!
line con 0
 exec-timeout 300 0
 privilege level 15
 logging synchronous
 length 0
!
end

・ dev3

hostname dev3
!
no ip domain-lookup
!
interface GigabitEthernet0/0
 ip address 10.0.23.3 255.255.255.0
 no shutdown
!
interface GigabitEthernet0/1
 ip address 10.0.34.3 255.255.255.0
 no shutdown
!
ip access-list extended EIGRP_LIST
 10 permit ip any any
!
ip access-list extended ALL_PERMIT
 permit ip any any
!
route-map EIGRP_MAP permit 10
 match ip address EIGRP_LIST
!
route-map ALL_PERMIT_MAP permit 10
 match ip address ALL_PERMIT
!
router eigrp 1
 default-metric 10000 100 255 1 1500
 network 10.0.23.0 0.0.0.255
 network 10.0.34.0 0.0.0.255
 redistribute bgp 64512 route-map ALL_PERMIT_MAP
!
router bgp 64512
 bgp redistribute-internal
 neighbor 10.0.23.2 remote-as 64512
 redistribute eigrp 1 route-map EIGRP_MAP
!
line con 0
 exec-timeout 300 0
 privilege level 15
 logging synchronous
 length 0
!
end

・ dev4

hostname dev4
!
no ip domain-lookup
!
interface GigabitEthernet0/0
 ip address 10.0.34.4 255.255.255.0
 no shutdown
!
interface GigabitEthernet0/1
 ip address 10.0.45.4 255.255.255.0
 no shutdown
!
router eigrp 1
 default-metric 10000 100 255 1 1500
 network 10.0.34.0 0.0.0.255
 network 10.0.45.0 0.0.0.255
!
line con 0
 exec-timeout 300 0
 privilege level 15
 logging synchronous
 length 0
!
end

・ dev5

hostname dev5
!
no ip domain-lookup
!
interface GigabitEthernet0/0
 ip address 10.0.45.5 255.255.255.0
 no shutdown
!
router eigrp 1
 default-metric 10000 100 255 1 1500
 network 10.0.45.0 0.0.0.255
!
line con 0
 exec-timeout 300 0
 privilege level 15
 logging synchronous
 length 0
!
end

[Result]

Expected Behavior
The expected behavior is that iBGP learned routes are advertised as EIGRP routes in the dev4 route information.

・ router dev4

dev4#show ip route
      10.0.0.0/8 is variably subnetted, 6 subnets, 2 masks
D EX     10.0.12.0/24 [170/281856] via 10.0.34.3, 04:09:23, GigabitEthernet0/0 ★
D        10.0.23.0/24 [90/3072] via 10.0.34.3, 04:10:08, GigabitEthernet0/0
C        10.0.34.0/24 is directly connected, GigabitEthernet0/0
L        10.0.34.4/32 is directly connected, GigabitEthernet0/0
C        10.0.45.0/24 is directly connected, GigabitEthernet0/1
L        10.0.45.4/32 is directly connected, GigabitEthernet0/1

However, when I run batfish (bfq.routes()), I see that the iBGP routes that should exist on dev4 are not learned by EIGRP.

・ batfish

    Node      VRF       Network                      Next_Hop  ...   Protocol Metric Admin_Distance   Tag
0   dev1  default     0.0.0.0/0                  ip 10.0.12.2  ...     static      0              1  None
1   dev1  default  10.0.12.0/24  interface GigabitEthernet0/1  ...  connected      0              0  None
2   dev1  default  10.0.12.1/32  interface GigabitEthernet0/1  ...      local      0              0  None
3   dev2  default  10.0.12.0/24  interface GigabitEthernet0/0  ...  connected      0              0  None
4   dev2  default  10.0.12.2/32  interface GigabitEthernet0/0  ...      local      0              0  None
5   dev2  default  10.0.23.0/24  interface GigabitEthernet0/1  ...  connected      0              0  None
6   dev2  default  10.0.23.2/32  interface GigabitEthernet0/1  ...      local      0              0  None
7   dev3  default  10.0.12.0/24                  ip 10.0.23.2  ...       ibgp      0            200  None
8   dev3  default  10.0.23.0/24  interface GigabitEthernet0/0  ...  connected      0              0  None
9   dev3  default  10.0.23.3/32  interface GigabitEthernet0/0  ...      local      0              0  None
10  dev3  default  10.0.34.0/24  interface GigabitEthernet0/1  ...  connected      0              0  None
11  dev3  default  10.0.34.3/32  interface GigabitEthernet0/1  ...      local      0              0  None
12  dev3  default  10.0.45.0/24                  ip 10.0.34.4  ...      eigrp   3072             90  None
13  dev4  default  10.0.23.0/24                  ip 10.0.34.3  ...      eigrp   3072             90  None
14  dev4  default  10.0.34.0/24  interface GigabitEthernet0/0  ...  connected      0              0  None
15  dev4  default  10.0.34.4/32  interface GigabitEthernet0/0  ...      local      0              0  None
16  dev4  default  10.0.45.0/24  interface GigabitEthernet0/1  ...  connected      0              0  None
17  dev4  default  10.0.45.4/32  interface GigabitEthernet0/1  ...      local      0              0  None
18  dev5  default  10.0.23.0/24                  ip 10.0.45.4  ...      eigrp   3328             90  None
19  dev5  default  10.0.34.0/24                  ip 10.0.45.4  ...      eigrp   3072             90  None