要約

  • RFC 2160は、従来のX.400拡張ボディパートと推奨FTAMボディパートを併存させた。中身はいずれも一つのPostScriptオクテット列だが、識別子と置かれる構造は別物である。
  • 「変換なし」はペイロードのコピーを説明する。選ばれた運搬形式を相手が理解したか、FTAMへの移行が済んだか、プログラムが安全に解釈され、意図したページになったかは別の証拠を要する。

荷物の中身を量れば同じでも、鍵穴が違えば受取人は一方しか開けられない。その単純な現実が、RFC 2160の短い仕様の中心にある。

1998年1月の文書は、MIMEとX.400の間でPostScriptを運ぶ方法を定めた。旧来の方式を直ちに消さず、新しい方式を推奨したため、移行期に必要な互換性と、実装が確認すべき能力差の両方が表に出た。

旧式の筒とFTAMの箱

旧方式はRFC 1494から引き継いだ拡張ボディパートである。パラメータを持たず、データはOCTET STRING、識別子mime-postscript-bodyは{ mixer-bp-data 2 }の下に置かれた。RFC 1494はMIMEのapplication/postscriptとの対応をByte Copyと表現していた。

FTAM方式は別の場所で身元を示す。FileTransferParameters.environment.application-referenceにid-mime-ftbp-postscriptを設定し、そのOIDは{ mixer-bp-data 6 }である。

同じデータに二つの名前が付いただけではない。受信実装が読むべきオブジェクト構造が違う。旧拡張パートを扱える製品がFTAMプロファイルを理解するとは限らず、その逆も成り立つ。RFC 2160がFTAMを推奨したことは将来の方向を示すが、特定の経路が移行済みだという測定値ではない。

コピーの成功と表現の成功

RFC 2160は両方の対応表にConversion Type: No conversionと記した。X.400表現とMIME表現がともに単一のオクテット列を含むので、その列をそのままコピーでき、他のデータを変換する必要がないからである。

変換前後の列をハッシュし、一致すればペイロード完全性について強い証拠になる。しかし外側の表現まで不変だったわけではない。まさにX.400のボディパートからMIMEメディアタイプへ写す処理が行われている。

RFC 2157は拡張ボディパートとFTAMを別の型として扱い、識別方法も分ける。RFC 2156はMIXER全体について、ゲートウェイ間の一貫性、情報損失の回避、可能な範囲での可逆性を目標に置く。目標と観測は同じではない。ハッシュは「何がコピーされたか」を答え、OIDは「何に入っていたか」を答える。

application/postscriptは完成品の保証書ではない

RFC 2160は当時のRFC 1521にMIME型の定義を委ねた。後継のRFC 2046では、application/postscriptがPostScriptプログラムを意味すると説明する一方、構造規約DSCの利用を強く推奨している。構造情報がなければ、ある環境で動くか事前に判断できず、受信側が処理を拒否する場合もある。

フォント、言語レベル、装置固有機能、資源上限が出力を左右する。さらにPostScriptはファイル操作、永続的なインタプリタ状態、装置パラメータ、非標準の機械語実行、無限ループを扱い得る。安全な読取系が危険な演算子を無効化し、表示を拒否しても、それは不具合ではなく正しい防御かもしれない。

RFC 2160は安全問題をRFC 2046へ参照し、自身では追加問題を挙げなかった。RFC Editorの記録とDatatrackerの記録は文書の出自を確認でき、エラッタ検索には現在一致項目がない。これらは実装の挙動を保証する資料ではない。

一つの合格印を五つに分ける

運用では、ペイロード完全性、運搬形式の身元、受信能力、解釈方針、結果を分けて記録すべきだ。最初は変換前後のハッシュ、次は実際のX.400型とOID、三つ目は受信端の対応試験、四つ目はMIME分類とインタプリタ方針、最後は表示・印刷・隔離という利用結果である。

Heng LuのMinimum Initial Specificationは、共通層を検証可能な相互運用規則に絞る。Running-Code Primacyに従えば、文書の推奨ではなく、実際のゲートウェイが何を出し、端末が何を受けたかを見る。Reality Layersの区別は、型名、OID、ハッシュ、画面結果を一つの証明に混ぜないために役立つ。

RFC 2160が解いた問題は小さく見えて重要だった。PostScriptの列を変えずに境界を越せる。その成功を尊重するなら、成功の範囲も尊重しなければならない。同じバイトは同じ中身の証拠であり、同じ運搬形式、同じ能力、同じ安全性、同じ成果の証拠ではない。

情報源