NE80E deploys OSPF and IS-IS and imports isis in OSPF. display ospf route and check routing table and there is no imported IS-IS route.
The planning is reasonable. The host has the route of destination address created by other IGP and there is no need to create another one.
According to RFC standards, the creation of OSPF external route need checking creator of external LSA. If the creator of external LSA is host, OSPF route will not be created. If it is notified by other routers, OSPF route will be created and there is type 5 LSA. It sends LSA notification to other OSPF routers that create OSPF route according to the following creation rule of external route.
16.4. Calculating AS external routes
AS external routes are calculated by examining AS-external-LSAs.
Each of the AS-external-LSAs is considered in turn. Most AS-
external-LSAs describe routes to specific IP destinations. An
AS-external-LSA can also describe a default route for the
Autonomous System (Destination ID = DefaultDestination,
network/subnet mask = 0x00000000). For each AS-external-LSA:
(1) If the cost specified by the LSA is LSInfinity, or if the
LSA's LS age is equal to MaxAge, then examine the next LSA.
(2) If the LSA was originated by the calculating router itself,
examine the next LSA.