Ho fatto un paio di test aggiuntivi, riposto qui i risultati. Tutto rigorosamente su OpenWRT.
Un semplice ip addr add 101.58.x.y/32 dev map-wan6_4
risolve tutti i problemi relativi al fatto che non viene assegnato IP all'interfaccia.
Chiaramente su 1:16 una cosa del genere spacca tutto ma in 1:1 non dovrebbe dare problemi.
ICMP dall'esterno ora funziona, come anche GRE (ed immagino pure IPSec e compagnia cantante) inoltre non c'è più bisogno di fare dstnat per l'input.
Probabilmente farò un fork di OpenWRT apposta per Sky che aggiunge l'IP all'interfaccia in caso rilevi PSIDLEN = 0 (1:1) insieme alla patch che avevo fatto a odhcp6c e a quello che stava facendo hitech95 con Luci.
Forse la patch di odhcp6c può essere pushata upstream, invece questo ne dubito seriamente, è un po' un accrocchio (anche perchè secondo me Sky sono gli unici al mondo a fare 1:1)