/-- ( A ) ---( ) --- ( C ) --\ X (site X) ( IPv6 ) (Site Y) Y \-- ( B ) ---( ) --- ( D ) --/
This has 4 locator pairs: A:X-C:Y A:X-D:Y B:X-C:Y B:X-D:Y
The set of locator pairs that work when sending out from site X might be A:X-C:Y and B:X-D:Y but the set of locator pairs that work when sending from site Y might be the other two: A:X-D:Y and B:X-C:Y.
address pair X->Y direction Y->X direction A/C (1) (3) !I A/D (2) !I (3) B/C (1) !I (4) B/D (2) (4) !I
Thus the intersection of the two ingress filtering constraints is the empty set.
This can happen due to normal routing as far as I can tell.
Am I missing something?