わかった。

本来の計算
PSID length = o - p
= (EA-bits length) - (IPv4 suffix bits)
= (EA-bits length) - (32 - (IPv4 prefix length))

バッファロールーターの計算
PSID length
= (EA-bits length) - (IPv4 prefix length)

32 - 16 は 16 (IPv4 アドレス 32 ビットのうち、prefix が 16 ビットなら残りも同じく 16 ビット)だから、
(IPv4 prefix length) = 16 のときに限りたまたま合ってたｗ

根拠： バッファロールーターにマップルールを送り込んで中を確認。
企業の中はわからないけど、ルーターの中ならわかる。

>>713
「/16固定」ではありませんでした。