日本語 · English(未訳)

1.0 宣言の条件(DoD)と宣言時作業

裁定(2026-07-24・設計者): 1.0 宣言の条件は下記「宣言条件」の 5 項——運用信号の初実発火と external の実運用を見て宣言する(比較 3 案〈全信号の自然発火待ち/信号初発火+external 実運用/ 早期宣言〉から中間案を選択。時期の目安 2026-11 頃・前倒し検証が成立すれば早まる)。本書がその正本。

前提——すでに揃っている材料(2026-07-24 時点)

宣言条件(DoD)

  1. 運用信号の初実発火の観測——残走路(runway)警告の実発火と、誤報・見逃しの有無の実例確認。 経路は二つ: (a) staging の前倒し検証(閾値の一時操作・短い covering フィクスチャ・供給エラー の劣化運転。供給側へ依頼済み=2026-07-24)、(b) 本番の自然発火(2026-10 中旬の残走路割れ・ 2027-01 の covering 切れ)。宣言のゲートは (a) で足りる——(b) は宣言後も継続観測として受領。 ✅ 充足(2026-07-26・設計者裁定)——材料=信号台帳(第 7 便・収蔵 08): 3 シナリオ全実発火 (runway 警告・annotatedNow 交差・SupplyError 劣化運転と復帰)・全て真陽性・誤報なし・ 見逃し側も確認(源単位分離・交差警告の正しい沈黙)。残走路の基準(評価 to から)は仕様と一致を 照合済み。(b) 本番自然発火は宣言後の継続観測として従来どおり受領する。
  2. external の実運用(ADR-46 の実地検証)——供給側の乗り換え(第二段)後、少なくとも 1 サイクル(次回データ実取得〜配信)の安定稼働。供給契約の検査・供給エラーの部分類・ 一評価一解決の実挙動・生成方式との対比(「宣言 1 行の価値は写経される統治の量」仮説の検証)。
  3. shiftBoundary の命名裁定——最後の仮称(純命名・k 可変組の射程外問題と連動)。 裁定材料の比較表は整理済み30-syntax/01-shiftboundary-naming.md (2026-07-24・候補 5 語・確認事項 3 点)。 ✅ 充足(2026-07-26・設計者裁定=前倒し)——rephase に確定(旧仮称 shiftBoundary)。 全コーパス一括置換・CHANGELOG 追補 11・仮称ゼロ。宣言時作業 1(正式名への一括置換)も これで前倒し完了——宣言時に残るのは表記更新・タグ付け・同期のみ。
  4. 意味論宿題ゼロの最終再確認——90-open-questions の全項再点検(RC の DoD と同じ手順)。
  5. 文書整合の全通過——npm test(doctest・doc-consistency 検査)・公開層ガード。

1.0 をブロックしない項(明示的スコープ外)

すべて意味論不変の分類([追加拡張]等)で、1.0 後に需要駆動で足せる:

宣言時の作業一覧

  1. shiftBoundary の正式名への一括置換前倒し完了(2026-07-26・rephase に裁定=条件 3・ 全コーパス置換済み・CHANGELOG 追補 11)
  2. spec/README の RC5→1.0 表記更新・spec/CHANGELOG に「RC5→1.0」節
  3. 英語版の追従(全章訳済み 2026-07-24=前倒し完了・rephase 置換も英日同時済み——1.0 時に 残るのは最終改稿の追従・source_sha 更新のみ。ドリフトは doc-consistency 検査が自動検出)
  4. git タグ付け・公開同期(publish.sh=設計者の手動実行)・GitHub Release。公開ページを改名・ 削除する場合は旧 URL に redirect_from を張る(2026-07-27 常設化=外部レビュー第 5 回 N4)
  5. 設計ジャーナル(非公開)に宣言記録・90-open-questions の最終スナップショット確認

時期の目安と継続観測

2026-11 頃(条件 1(a) と 2 が 9〜10 月に揃う想定・進捗次第で前後。条件 1 は 2026-07-26 に 前倒し充足——残りの律速は条件 2=external 乗り換えの時期。乗り換え時期の一報を §11 回答で 依頼済み・判明次第この目安を再計算する)。条件 1(b) の本番自然発火と 2027-02-02 の年次データ取得の初回自動発火は宣言後の継続観測として運用観測台帳(期ごと受領・ 非公開収蔵)で追う——宣言は「機構の実証が揃った」の宣言であり、観測の終了ではない。