Como bom nerd brasileiro, botei a culpa na telecom antes de esgotar o checklist local. O problema era óbvio: o NAT do Linux não reescreve o endereço de origem do pacote IP automaticamente. Teria sido necessário usar uma regrinha PREROUTING também para pacotes "saindo", não só para os pacotes "entrando".
Bem, eu tirei a dúvida do jeito difícil: liguei o Mac direto no modem ADSL, configurei o PPPoE, e aí o 6to4 funcionou. O Mac torna fácil fazer isto, exceto por um detalhe não documentado: é preciso desligar o IPv6 na interface "real" para a interface virtual 6to4 fazer efeito. A presença da interface virtual 6to4 deveria fazer isso automaticamente. Mas tudo bem, 6to4 não foi feito para usar no host mesmo.
Outro detalhe é que a latência pingando ipv6.google.com é menor usando o túnel da Go6 do que usando 6to4. Então o negócio vai ser usar túnel mesmo.
