Two-Rail 実装仕様（Kernel に統合）

このページにあった旧「Two-Rail 実装仕様 v1.0」は、Two-Rail Kernel に統合されました。

Two-Rail の正典仕様は Two-Rail Kernel（公開カーネル草案） です。公開レールと非公開レールの分離、四つの核（TR-1 レール間転記の禁止／TR-2 検収済みの公開主張／TR-3 検証可能な公開面／TR-4 説明責任の窓口）、検証可能な公開面の定義は、すべて Kernel に集約しています。

旧仕様で用いていた「保護レール」「接続条件」という表現は、現在の正典では「非公開レール」および各核の正規要件として整理し直しています。