koyomi

ファイルの拡張子は .cal です。

koyomi では、期日を、契約や法令の言い方のまま書きます。請求日から 30 日後、休みなら次の営業日、というふうにです。koyomi check は、宣言した範囲のすべての日について日付を計算し、書いた条件をその一日ずつで確かめます。検査を通ったファイルだけが、TypeScript、Python、Go、Rust、SQL のコードと、どのホストからも JSON のオブジェクト一つで呼べる Wasm のモジュールになります。

koyomi の文書はリポジトリにあります：README、リファレンス（英語）、生成するコード（英語）、診断のコード。

二つの版を比べる

koyomi diff は、二つの版の答えを比べます。カレンダーなら両方の版が知っている日の全部で、日付のファイルなら両方の版が受け取る入力の全部で比べます。次は、事務所のカレンダーに創立記念日の休みを足し、休みの名前を一つ変え、2027 年も知るようにし、時差を持たせた版です。

$ cd crates/koyomi/tests/diff
$ koyomi diff 事務所.cal 事務所_二版.cal --lang ja
koyomi diff：カレンダー 事務所 v1 → v2
  古い版：事務所.cal
  新しい版：事務所_二版.cal

比べた日：2026-01-01〜2026-12-31（365 日。両方の版が知っている日）

開いているか閉じているかが変わった日（1 区間、1 日）：
  2026-06-10：開いている → 閉じている（創立記念日）

閉じたままで、理由だけが変わった日（1 区間、1 日）：
  2026-05-04：みどりの日 → 春の休み

知っている日：2026-01-01〜2026-12-31 → 2026-01-01〜2027-12-31
時差：なし → +09:00

2026-01-01〜2026-12-31 のほかの日は、どれも同じ答えです。

それぞれの側には、パスのほか、git の版のファイル（calendars/事務所.cal@origin/main なら、そのブランチにあるままのファイル）、lock が固定する版の依存のファイル（@calendars/事務所.cal）、置き場にある依存のほかの版のファイル（@calendars@1.0.0/事務所.cal）を渡せます。exit code は、違いが無ければ 0、あれば 1、比べられなければ 2 です。比べられないのは、カレンダーと日付のファイルを渡したときや、どちらかが koyomi check を通らないときです。--format markdown は同じことを Markdown で書き、--format json はすべての区間を出します。