Kairos 言語仕様

スケジュール定義言語 Kairos のレビュー可能な言語仕様。設計記録（../design/20-adr/・../design/10-domain-model.md）から、判断の議論を畳んで通読できる形に再構成したもの。

ステータス: リリース候補（RC5＝2026-07-08 宣言・追補 11〈2026-07-26〉まで反映）。意味論・演算子族・文法（EBNF §5.6）・字句（§5.5）は確定。命名は全語確定——最後の仮称も rephase に裁定済み（2026-07-26・旧 shiftBoundary） （確定状況は §5.4）。表現力は既知スケジュール 20 要素のサンプル検証（../design/40-examples/）とリファレンス実装（../impl/）の実行検証で実証済み——「書けない構造」は残っていない。残る宿題はすべて ../design/90-open-questions.md に列挙・分類済みで、いずれも意味論を変えない（追加拡張・スコープ外連動）。

RC 宣言ごとの差分と追補の経緯は RC 履歴（CHANGELOG） へ。

章構成

導入 — Kairos とは・目的・既存方式との差・スコープ・設計の背骨
型と層 — 三つの型・二層構造・閉包・core/糖衣・記号三役・不変条件
premise 層 — 前文・名前解決・値式・暦法の原始的定義／派生的定義
本体層 — 生成子・窓・選択子・点変換・結合子・フィルタ・ストライド・糖衣定義
文法と記号 — 記号一覧・演算子シグネチャ・命名の確定状況・字句・EBNF
用語集 — 引くための索引（概念用語・記述語・記号・不変条件）
代表例 — 月末3営業日前／第2営業日の次の金曜／会計暦／給料日／祝日カスケード／年干支／実行起点相対（§7.7）と発報層との分業の一般形（§7.8）

位置づけ

本仕様は現時点の設計のスナップショット。構造・命名とも確定（仮称は残っていない）。
RC の宣言・追補の履歴は CHANGELOG.md（当時の記録・追記型）。
記述語ごとの網羅解説と実行例は ../reference/（例はリファレンス実装の doctest で検証済み）。本仕様は規範を簡潔に示し、丁寧な説明はそちらが担う（stdlib と同じ役割分担）。
「なぜそう決めたか」は ../design/20-adr/（ADR-01〜47）に対応。本仕様は結論を通読可能に示す。
ドメインモデル・不変条件の現在形は ../design/10-domain-model.md、宿題は ../design/90-open-questions.md。
設計は ../design/30-syntax/00-syntax-draft.md で進め、区切りで本仕様へ反映する（draft が素材、spec がレビュー成果物）。
表現力の検証サンプル集（判定マトリクス・綻びログ）は ../design/40-examples/。