日本語 · 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 行の価値は写経される統治の量」仮説の検証）。 経過（2026-07-28）: 時期確定＝第 8 便（収蔵 09）——本番反映は 8/7 より前・external 新方式の 初本番配信 2026-08-07（立秋）・「1 サイクル安定稼働」は 8 月下旬に揃う見込み（立秋→処暑の 2 発火・parity PASS×3 と統合 6 本 green の準備状態・台帳第二期で還流予定）。 ✅ 充足（2026-08-23・第 11 便＝収蔵 14）——1 サイクル完結の実測受領: 立秋→処暑の 2 配信 連続成立（処暑は VPS 初・予定比 +0.032 秒・冪等 1 行・missed-fire 0）・環境横断の決定性 3 例目（hostname 10 種・ローカル→VPS 正切替跨ぎで next 不変）・冪等キー成分独立の実測 3 例・ 供給スナップショット解決 3 回で劣化運転/SupplyError なし。実行既定 tz=UTC の VPS でも定義側 tz 明示で無風＝premise 明示の本番実証つき。残る添付＝一次台帳（貴 §6-3/§6-4）のハイライト 検証（次回）——宣言の裁定は設計者（残作業は条件 4・5 の機械的作業）。 継続観測の材料受領（2026-09-07・2026-09-08 定期便＝収蔵 23）: at 形（ADR-51）での初の本番配信が白露 9/7 に成立 （予定比 +0.037 秒・冪等キーで再実行 2 回とも再送なし・horizon-clip 0 件＝機構は演繹的に確認、統計的裏付けは秋分 9/23 以降）。 ADR-53 追随も供給側で 3 段階完了（追記 5）。第 11 便の「処暑当日 4 件」は 3 件へ訂正（当方の宣言材料に影響なし）。
  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. ✅ 機械化済み（2026-09-04）＝非公開ツール層の宣言スクリプト declare-1.0.mjs（dry-run 既定・--apply で書込）——状態行 5・Playground 注記 2・CHANGELOG「1.0」節・impl/package.json と lock の name/version を一括差し替え（アンカー 7/7 実在・残存 RC 表記 0 件を dry-run で確認済み）。RC5 残存検査は doc-consistency に休眠形で新設済み（状態行が「リリース候補」でなくなると自動で起きる・許容リスト 4 ファイル）。当日は --apply → impl/ で typecheck＋全スイート → コミット。手動は 70-release と設計記録の記述のみ（検定側も同型の follow-1.0.mjs で機械化＝2026-09-04・下記）。 （旧記述）spec/README の RC5→1.0 表記更新・spec/CHANGELOG に「RC5→1.0」節。対象は spec だけでなく 「RC5」を名乗る全入口——README 英日・llms.txt・en/spec/README・Playground の RC 注記・検定側 （教本 3 冊/README の「RC5 準拠」表記）を同時更新し、doc-consistency に「RC5」残存検査を 足して宣言コミットに同梱する（テスト数 4 入口一致と同型の網＝第 9 回レビュー提案・更新漏れを 構造的に防ぐ）
  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）。 Release 本文の英語草稿＝ローンチ計画書（非公開層）§6 に起草済み（2026-09-04）——当日は追補数・ テスト数・日付を実数へ。SEA バイナリの添付＝裁定済み（2026-09-04・設計者）: 1.0 の Release には添付しない。 Windows 単体 exe は 1.0.x で「Windows 管理者・Excel 利用者向けガイド」と同時に出す（コマンドが打てる 非開発者向けの導線＝ローンチ計画書〈非公開層〉Phase D の 2 本目の軌道・1.0 の Release 本文に「近日」は 書かない）。材料（記録）: 現行 HEAD で SEA ビルドが green（2026-09-04 実測＝27 秒・Linux 118.0 MB・list の出力バイト一致・next –json 一致）＝技術的には添付可。1.0 で添付しない理由（開発者レーン向け）＝①主導線は npm（Node 20+・npx kairos-lang）で足りる ②Windows exe は注入で署名が無効になり SmartScreen 警告が第一印象になる ③macOS 台が無く非対称 ④ビルドは非公開ツール層＝利用者が再現できない生成物を配る形 ⑤patch 版ごとに再ビルド・再添付の運用が 増える。1.0.x で出す形＝Windows x64 単体（壊れた署名を剥がして未署名に揃え・zip＋SHA256・Release 本文で npm と 並記）・Linux 単体は需要待ち。想定問答 6（production）では「SEA も可能」を即応材料として保持（押し付けない）。
  5. 設計ジャーナル（非公開）に宣言記録・90-open-questions の最終スナップショット確認
  6. npm publish（✅ 配布形式は裁定済み 2026-09-04＝案 A→A′・準備完了）——設計者裁定は案 A（.ts を 型剥がしで直実行）だったが、Node は node_modules 配下の .ts を型剥がししない （ERR_UNSUPPORTED_NODE_MODULES_TYPE_STRIPPING・最小実験で確認）ため、A の趣旨（束ねない・実行時 依存ゼロ・最小工数）を保った A′＝tsc の素通し変換で実装済み: tsconfig.build.json （outDir dist・rewriteRelativeImportExtensions・declaration）・bin: {kairos: dist/cli.js} （src/cli.ts に shebang）・exports/types＝dist/index.js/.d.ts・files: [dist, stdlib, README.md, LICENSE, NOTICE]（LICENSE/NOTICE を impl/ に同梱）・engines: node >=20・prepack: npm run build （pack/publish 時に自動ビルド・dist は gitignore）。検証＝dist 直・node_modules 配下の模擬コピーの 両方で --version/list/next 実走一致・630 テスト green。 配布経路の実害を事前に検出・修正（2026-09-07）: pack した tarball を別ディレクトリへ install して .bin/kairos を実走 したところ無出力で終了——npm の bin はシンボリックリンクで、isMain ガード（URL の文字列一致）が argv[1]〈リンク側〉と import.meta.url〈実体側〉の不一致で偽に落ちていた（9/4 の検証は cp 模擬で見逃し）。realpath 比較へ修正・リンク経由の witness を cli.test.ts に追加（旧コードで赤を実測）・SEA も再検証 green。CI に pack→install→実走のジョブを新設 （3 OS × Node 20＝engines 下限）＝publish 前から publish 後と同じ経路を機械検査。当日はこの CI が green であることが前提。 当日チェックリスト: ✅① WSL 側で npm login（2026-09-04 完了＝--browser=false で URL を手動で 開く形・npm whoami＝azathothx・~/.npmrc 600）✅② npm アカウントの 2FA（mode: auth-and-writes を確認済み＝publish 時に OTP・認証アプリを手元に）③ npm view kairos-lang が E404 のまま（空き・ 9/4 再確認済み）④ impl/package.json の name→ kairos-lang・version→1.0.0 ⑤ npm pack --dry-run で同梱物を目視（dist/stdlib/README/ LICENSE/NOTICE・test と node_modules を含まない）⑥ 公開クローンを v1.0.0 タグ時点に同期してから npm publish（初回は手動・OTP 入力）⑦ 検証＝別ディレクトリで npx kairos-lang@1.0.0 --version → 1.0.0・next -n 3 実走 ⑧ 以後の版は Trusted Publishing（GitHub Actions OIDC）へ移行可 （初回 publish 後にパッケージ設定で構成・任意）。取り消しは 72 時間以内・依存なしの場合のみ ——誤りは unpublish でなく patch 版で上書きする。

宣言日（確定）と宣言週の段取り

宣言日＝2026-09-14（月）（2026-08-26 設計者裁定・験担ぎ＝大安×一粒万倍日。選定は Kairos 自身の実測——六曜〈公開 doctest 済み rokuyo.kairos の式・2026 大安 61 件〉×一粒万倍 〈供給側の公表暦 64 日照合済み実式・節切り月×日支〉の交差で、目安内の唯一日。三重照合＝当方 交差式・大安 61 件・供給側照合値がいずれも 9/14 を含む。式と実測は設計記録側に保存 〈2026-08-26〉）。次候補は 9/26（土・目安の中旬を超過）。

時期の目安と継続観測

2026-09 上旬〜中旬（2026-07-28 再計算＝第 8 便の時期確定を受けて従来の 2026-11 頃から前倒し。 根拠: 条件 1・3 は 2026-07-26 に前倒し充足済み・条件 2 の観測材料が 8 月下旬に揃う見込み〈立秋 8/7→処暑 8/23 の 2 発火〉・台帳第二期の受領検証後に残るのは条件 4・5 の機械的作業のみ。 宣言の裁定は設計者——台帳第二期の検証結果を添えて裁定を仰ぐ）。条件 1(b) の本番自然発火と 2027-02-02 の年次データ取得の初回自動発火は宣言後の継続観測として運用観測台帳（期ごと受領・ 非公開収蔵）で追う——宣言は「機構の実証が揃った」の宣言であり、観測の終了ではない。

This site is open source. Improve this page.