要約

  • RFC 9557 は RFC 3339 のタイムスタンプに任意のサフィックスを加える。ゾーンや暦の文脈を運べても、送受信双方が実行した規則の版までは運ばない。
  • 更新後の Z は、UTC の瞬間は既知だがローカルオフセットは不明であることを示す。ゼロのオフセットを明示する +00:00 とは証拠の意味が異なる。
  • クリティカルなサフィックスを処理できない受信側は推測して進んではならない。ただし ! だけでは、中継系が保持し最終アプリが停止したことの証跡にはならない。

日時の文字列は、しばしば出来事そのものとして扱われる。秒までの時刻、オフセット、角括弧内のゾーン名がそろえば、会議や期限について必要なことは全て書かれたように見える。RFC 9557 は表現を精密にする一方、その文字列が語れない範囲も明確にした。

2024 年 4 月に Standards Track として公開された同 RFC は、Internet Extended Date/Time Format（IXDTF）を定義し、RFC 3339 を更新した。基礎部分は UTC を基準とする一つの瞬間を表す。任意のサフィックスは解釈の手掛かりを足す。それは規則の名前であり、全システムの実行状態を封入したスナップショットではない。

Z はゼロを断言しない

RFC 9557 では Z は -00:00 と同じ意味を持つ。UTC の瞬間は分かるが、現地のオフセットは分からない。+00:00 はオフセットがゼロだと明示し、UTC を望ましい参照として示すこともある。計算結果が同じ瞬間でも、由来についての主張は同じではない。

正規化はこの差を簡単に消す。データベースが epoch だけを残し、シリアライザーが全てを Z に書き換えれば、後から元の主張を復元できない。原文のバイト列、正規化後の瞬間、パーサーの版を一緒に保存して初めて、変換による証拠の減少を監査できる。

ゾーン名には TZDB の版が入っていない

タイムゾーンのサフィックスは規則集合の名前を示すが、IANA Time Zone Database の特定リリースは示さない。政治判断で民間時刻は変わり、TZDB は更新され、サービスは別々の時点で更新される。生成時に整合していた文字列が、受信側の新しいデータでは不整合になることがある。

IXDTF は数値オフセットとゾーンの食い違いを検出可能にする。しかし多くの場合、どちらを採用するかまでは決められない。将来の会議で守るべきものが絶対時刻なのか、現地の 9 時なのかは、アプリケーションが別に保持すべき意思である。

Z[Europe/London] は、ロンドンが夏時間でも自動的に矛盾しない。Z は現地オフセットがゼロだと主張していないからだ。受信側は自分のゾーン規則で表示を計算する。その表示は受信環境の計算結果である。

将来の壁時計は別の契約である

RFC 9557 の対象は UTC に結び付いた固定の瞬間である。浮動するローカル時刻や、規則変更で対応する瞬間が変わる将来のローカル時刻は範囲外だ。

有効期限は瞬間を固定したいかもしれない。診療予約は現地の時刻を固定したいかもしれない。システムは、選んだ不変条件、ゾーン、TZDB リリース、再計算方針、変更者を別に記録しなければならない。サフィックスは素材を渡すが、事業上の約束を引き受けない。

クリティカルとは、分からなければ止まること

サフィックスは通常、選択的に処理できる。受信側は無視してもよい。! が付いた情報を認識できない、または不整合を安全に処理できない場合、情報が無かったことにして処理を続けてはならない。エラー、拒否、明示的な非実行が必要になる。

しかし、マーカーはテレメトリーではない。キューが角括弧を落とし、スキーマ移行が RFC 3339 部分だけを保存し、旧サービスがサフィックスを読まないことはあり得る。最終判断に効いたと主張するなら、各経路での保持確認と判断点での受領記録が要る。

同じ選択的キーが重複した場合、追加規則がなければ最初の値を使う。この規則は読み方を決定的にするが、衝突が故障、再送、汚染、攻撃のどれかは判断しない。

登録は導入実績ではない

IANA の Timestamp Suffix Tag Keys レジストリは共通名を与える。最初の u-ca は Unicode の暦識別子を関連付ける。暦は瞬間の表示を変え得るが、瞬間そのものを動かさない。ライブラリの対応、保存経路、利用者の理解、業務導入も登録だけでは分からない。

Heng Lu の running-code の原則で見ると、共有層は小さく厳密であるべきだ。構文、登録キー、クリティカル処理、不整合の可視化までは共通化できる。TZDB の版、暦、拒否方針、スケジュールの意味はコードを走らせる側のローカルな選択である。文書は調整し、導入と観測結果が現実を作る。