恐らく flush は EOS の notification ではないし，そうあるべきではない？これから flush が実際問題として有効なインタフェースとして（エラー無しで）働くのは 1:n (n>=0) なストリーム上の変換に限られる？

close はストリームが終端に到達したこと（End Of Stream, EOS）を notify するために呼ばれる． Filter は Device の lifetime をコントロールしないし，させるべきではない． Filter の lifetime と Device の lifetime は独立であるべきで，これが有用と…

Blocking-Preserving の問題をもうちょい考える．そもそもある Filter が Blocking-Preserving であるとは，「その Filter に対する read/write の要求サイズに対して返される返答が要求サイズより小さくなるのは， Filter の下位にある Device が EOF に達…