NPt, Prefix Delegation from ISP and local prefixes

[NightlyShark]

I wanted to ask if the following is possible:

• Get a /56 prefix from ISP (I know this is possible, I have it already set up)

• Give /64 prefixes to specific ifaces (also set up)

• Translate said /64 delegated prefixes to local space with NPt (200a::some:some/64 to fc00::some:some/64) OR translate the entire /56 prefix

All that in order to escape the ISP's bad practice of treating IPv6 prefixes as they do dynamic IPv4, and leaving us with no way to set permanent config that requires knowledge of the IPv6 address prefix.

Can this be done?

[NightlyShark]

Bump.