要約

  • LEXは、改正をまたぐwork、版と言語を示すexpression、出版社と形式を示すmanifestationを別々に扱う。
  • 情報が不足した照会に「最良の最新版」を返すのは有用な検索動作だが、過去の行為に適用された本文を認定する動作ではない。
  • 意思決定システムは、入力名、正規化、カタログ、照合、版、刊行物、取得バイト、真正性、法的状態、行為を別の受領記録として残す必要がある。

条文番号は同じでも、読んだ本文が違う

監査担当者が数年前の処理を再現する。記録にはurn:lexと条文の区画指定がある。リゾルバは現在の統合版を見つけ、ブラウザを同じ条番号へ移動させる。見た目は完璧だ。

ところが、当時その条文には別の文言があり、改正の施行日は処理日の後だった。さらに、区画抽出ができなかったため、リゾルバは全文を返していた。URNもリゾルバも約束した範囲では正しく働いている。誤りは、現在の探索結果を過去の証拠へ変換した側にある。

RFC 9676は、法源の同一性を保ちながら変化を表現する。その三層を一つの「検証済み」バッジに圧縮すると、永続性が履歴の上書き装置になる。

workはファイルではない

LEXのlocal-nameはwork ["@" expression] ["$" manifestation]という形を取る。workは持続する知的創作であり、法源については原始形と改正後の形を含む。制定・提案主体、措置の種類、日付や番号などの詳細、必要なら附属書が名前を構成する。

この設計により、同じ法律が改正されても基礎となる識別子は保たれる。work名は原文、附属書、後続版、複数言語、複数形式をまとめる家族名になり得る。したがって、workだけを指定した照会は、時間的な版をまだ選んでいない。

expressionは版と言語を指定する。RFCは、ある本文が施行中または有効と考えられる期間によって版を特徴づける。改正、誤植訂正、ある区画の施行期間の開始・終了が新しいexpressionを生み得る。複数の公用語があれば、それぞれに固有の識別子を与えられる。

manifestationは、expressionがどの出版社、形式、構成要素、特性で具体化されたかを示す。PDF、XML、HTML、画像、匿名化判決などは同じexpressionを異なる形で表せる。出版社のドメインが変わっても、過去のmanifestation名を新しい場所へ書き換えず、新しいmanifestationを作る。

同じworkであること、同じexpressionであること、同じバイトであることは、三つの別の主張である。

管轄レジストラの権限は実在し、限定される

方式を採用する国や組織は、管轄レジストラを定める。レジストラは、管轄単位、主要な名称要素、正規化、衝突回避、官庁名や措置種別の台帳を整備する。発行主体はその規則に従い、自らの領域で名前を割り当てる。

これは単なる案内係ではない。省庁の統廃合、同名機関、表記揺れ、転写規則は、識別子の一意性を直接壊し得る。RFCが時点ごとの政府組織構造を重視するのは、名称履歴が意味解釈に必要だからだ。

一方、名称体系上の権威は法的効力の万能な決定者ではない。レジストラは名前の構築と登録を権威的に説明できるが、その記録だけで公布、施行、遡及適用、裁判上の拘束力、個人への適用まで証明するわけではない。

Heng Luの現実層という見方を使えば境界が明瞭になる。台帳はソフトウェアの探索を現実に左右する。しかし、関連法体系が効力を生じさせると認める行為を、技術台帳が代替することはできない。名称権限を軽視せず、別の権限へ膨張させないことが重要だ。

リゾルバは不完全な引用を補う

法令引用はしばしば省略され、古い機関名や略称を含み、機械抽出では誤りも起きる。RFC 9676は、正規化、完全一致検索、そして不完全な場合の反復的・ヒューリスティックな照合を想定する。

区画IDを使って条文などを指定できるが、個別取得ができなければ全文を返すこともある。expressionが指定されていないとき、リゾルバは最良の最新版を選び、関連するmanifestationを提示することが推奨される。

人が現在の法令を探す場面では合理的だ。自動処理にとっては、選択過程を隠してはならない。完全一致か部分一致か、どの略称を展開したか、どの候補を退けたか、カタログの版は何か、「最良」をどう定義したかが必要になる。

区画指定が全文へフォールバックした場合も、それを条文単位取得として記録してはならない。解決成功は処理が終わったことを示す。問いの法的前提が確定したことまでは示さない。

最新版は過去時点の答えではない

歴史的な判断にはas-ofの問いが要る。制定日、公布日、施行日、経過措置、部分施行、改正、廃止、取消し、裁判判断は別の時点になり得る。最新版を返す現在向けのデフォルトでは、その複雑さを再現できない。

過去の取引を検証するなら、日付またはexpressionを明示し、法的状態を裏づける所管の情報源を保存する。カタログ更新が法的変化より遅れる可能性もあるため、鮮度を測る。判断できない場合は「不明」とし、現在版で空白を埋めない。

再現性には取得バイトも必要だ。work名だけを保存すれば、後年も同じ法源には到達できる。しかし、当時のexpression、言語、manifestation、内容を再現できるとは限らない。ハッシュ、取得時刻、出所、カタログのスナップショットを判断記録に結びつけるべきである。

真正性はLEXの外側にある

RFC 9676は、文書の真正性がLEX仕様の対象ではなく、電子署名、暗号化など別の信頼手段で扱われると明記する。この分離は設計上の誠実さである。

構文適合は文字列の形を証明する。カタログ一致はカタログの記載を証明する。DNSは問い合わせの行き先を決める。HTTPSはその信頼モデルで通信を保護する。ハッシュは信頼できる比較対象があって初めて同一バイトを示す。署名の意味は鍵、範囲、検証方針、時刻に依存する。

正しい署名付きPDFでも、対象日にはまだ存在しなかった版かもしれない。適切な版でも、対象地域や主体に適用されない可能性がある。真正性、版、適用性を一つの検証結果にしてはならない。

証拠の階段は、構文、割当て、解決、取得、真正性、expression、manifestation、法的状態、意思決定、結果の順に伸びる。三段目から八段目へ飛ぶと、検索サービスが無告知の法的オラクルになる。

永続性にも運用主体が要る

URNはURLから独立するが、名前と台帳を維持する機関から独立するわけではない。RFCも、永続性が割当て・管理主体の持続性に依存すると認めている。管轄コードは改名せず、必要なら新規割当て停止としてobsoleteにする。

省庁の再編、機能移管、出版社の廃止、ドメイン変更を継承計画に入れる必要がある。古い機関名と別名を残し、規則とカタログを輸出・監査可能にし、歴史的manifestationを新しいファイルで静かに置換しない。

名前が有効でもファイルに到達できないことはある。そのとき「解決不能」と正直に返す方が、根拠のない代替物へ付け替えるよりよい。永続名は同一性を守り、アーカイブと継承は証拠を守る。

意思決定に必要な記録

入力の文字列と要求レベルを保存する。割当て規則、レジストラ、カタログ項目を保存する。解決時には正規化、候補、照合方式、版、言語、区画処理を残す。取得時には出版社、形式、URL、リダイレクト、バイト、ハッシュ、時刻を残す。

真正性の根拠は別項目にする。法的状態の情報源、地域、基準時、留保も分ける。最後に、どの規則と担当者が何を決め、どの結果が観測されたかを記録する。

これにより、LEXは得意な役割に留まれる。永続名は複数の証拠を結ぶキーになるが、その証拠を上書きする判定にはならない。

RFCの刊行は採用の証明ではない

RFC 9676はInformationalのIndependent Submissionであり、Standards TrackでもIETFコンセンサスでもない。刊行は方式の記録であり、特定の国や組織の採用を示さない。

採用は、レジストラの規則、割り当て済み名称、稼働するカタログとリゾルバ、実利用から観測する。採用が確認できても、各法的状態の正しさは別問題である。

最小仕様とrunning codeの原則はここで有効だ。共通形式は相互参照を可能にし、将来の法的判断は各制度に残す。文書の刊行だけで運用現実は生まれない。実装が存在しても、解決事実を法的効力へ自動昇格させてはならない。

Sources