The interNIC has already stated that allocations can *not* be guaranteed
to be 'routable', so it stands to reason that the interNIC (or any other
registry, for that matter) need not concern itself with the issue of
portability. As you mentioned, this is strictly a matter between the ISP(s)
and the customer(s).