>>286
どうもです。
> 「foo.tainted? == true の時、foo を元にして作ったオブジェクトは全て自動的に汚染される」
自分もそういう理解でいます。

>>294
自分も最初はそう思っていました。
しかし例えば正の数を仮定しているところで負の数を指定されると困るとか、考えようと思えばいくらでも考えられると思うんです。
抽象的なのを承知で書くとすれば、「オブジェクトの意味を決定するのはスクリプト次第」ではないでしょうか。
だとすれば、どんなオブジェクトでも汚染が伝播しないとおかしいと思います。