1.0 宣言の条件(DoD)と宣言時作業
裁定(2026-07-24・設計者): 1.0 宣言の条件は下記「宣言条件」の 5 項——運用信号の初実発火と external の実運用を見て宣言する(比較 3 案〈全信号の自然発火待ち/信号初発火+external 実運用/ 早期宣言〉から中間案を選択。時期の目安 2026-11 頃・前倒し検証が成立すれば早まる)。本書がその正本。
前提——すでに揃っている材料(2026-07-24 時点)
- 意味論を変える宿題ゼロ(90-open-questions の分類——全項が [純命名][追加拡張][スコープ外連動][明文化]のいずれか。RC 以降維持)。
- RC5+追補 8(ADR-46)まで確定・466 テスト・doctest 既定厳格(
#~>註釈照合込み)。 - 表現力の外部検証: 40-examples 判定マトリクス(01〜08)・日本の業務定型 25 種の外部再検証 (21/25 が現行語彙で記述可=還流第 3 便・残り 4 件も 3 件は既存語彙で可と実測)・縁の確認 (月相の三段整理・多段世代バックアップ・注入起点の分業)。
- 品質・決定性の外部実証: 発報層還流=doctest 写経 50 ブロック全一致・実環境 E2E 一致・ 決定性の実運用実証(運用観測台帳第一期=2026-07-23 の初回本番配信が 10 日前の実体化予告 どおり・予定比 +0.7 秒。日次再実体化 10 日・再起動 2 回を跨いで予定不変)。
宣言条件(DoD)
- 運用信号の初実発火の観測——残走路(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) 本番自然発火は宣言後の継続観測として従来どおり受領する。
- external の実運用(ADR-46 の実地検証)——供給側の乗り換え(第二段)後、少なくとも 1 サイクル(次回データ実取得〜配信)の安定稼働。供給契約の検査・供給エラーの部分類・ 一評価一解決の実挙動・生成方式との対比(「宣言 1 行の価値は写経される統治の量」仮説の検証)。
shiftBoundaryの命名裁定——最後の仮称(純命名・k可変組の射程外問題と連動)。 裁定材料の比較表は整理済み=30-syntax/01-shiftboundary-naming.md (2026-07-24・候補 5 語・確認事項 3 点)。 ✅ 充足(2026-07-26・設計者裁定=前倒し)——rephaseに確定(旧仮称shiftBoundary)。 全コーパス一括置換・CHANGELOG 追補 11・仮称ゼロ。宣言時作業 1(正式名への一括置換)も これで前倒し完了——宣言時に残るのは表記更新・タグ付け・同期のみ。- 意味論宿題ゼロの最終再確認——90-open-questions の全項再点検(RC の DoD と同じ手順)。
- 文書整合の全通過——npm test(doctest・doc-consistency 検査)・公開層ガード。
1.0 をブロックしない項(明示的スコープ外)
すべて意味論不変の分類([追加拡張]等)で、1.0 後に需要駆動で足せる:
- F11(
nth複数序数)・F16(cycle の積 zip)・F26(範囲 shift の可変幅 fold)・of:の匿名窓 ラベル付け・location:メンバー・sin/cos(見送り寄り)・標準糖衣の整備(onMonthDay級・F1) - F78(壁時計の時刻値射影・保留)・F90(帰属ノブ・需要待ち)
- 発火点列への値随伴出力(第 5 便 §4・追認済み+含み——90-open-questions に記録) (窓列への周期ラベルは ADR-47 で確定・実装済み 2026-07-25=ブロック要因から消化)
- F77(dailyAt 級糖衣)=見送り裁定済み(2026-07-24——糖衣需要は実装期に集中する分布と判明し 頻度待ちでは閉じない構造のため裁定で完結。再開は 1.0 後の新規実装局面での再頻出=需要駆動)
rephase(旧仮称shiftBoundary)のk可変組(射程外・必要になれば別演算子)・DST gap/overlap の解決規約(opt-in premise の将来拡張)・tzdb の版供給(スコープ外連動)
宣言時の作業一覧
→ 前倒し完了(2026-07-26・shiftBoundaryの正式名への一括置換rephaseに裁定=条件 3・ 全コーパス置換済み・CHANGELOG 追補 11)- spec/README の RC5→1.0 表記更新・spec/CHANGELOG に「RC5→1.0」節
- 英語版の追従(全章訳済み 2026-07-24=前倒し完了・rephase 置換も英日同時済み——1.0 時に
残るのは最終改稿の追従・
source_sha更新のみ。ドリフトは doc-consistency 検査が自動検出) - git タグ付け・公開同期(publish.sh=設計者の手動実行)・GitHub Release。公開ページを改名・
削除する場合は旧 URL に
redirect_fromを張る(2026-07-27 常設化=外部レビュー第 5 回 N4) - 設計ジャーナル(非公開)に宣言記録・90-open-questions の最終スナップショット確認
時期の目安と継続観測
2026-11 頃(条件 1(a) と 2 が 9〜10 月に揃う想定・進捗次第で前後。条件 1 は 2026-07-26 に 前倒し充足——残りの律速は条件 2=external 乗り換えの時期。乗り換え時期の一報を §11 回答で 依頼済み・判明次第この目安を再計算する)。条件 1(b) の本番自然発火と 2027-02-02 の年次データ取得の初回自動発火は宣言後の継続観測として運用観測台帳(期ごと受領・ 非公開収蔵)で追う——宣言は「機構の実証が揃った」の宣言であり、観測の終了ではない。