kairos-lang 1.0.0 → 1.0.2

package/README.md

@@ -29,7 +29,8 @@ node src/cli.ts next --json examples/payday.kairos           # 機械可読（
 ### CLI サブコマンド
 
 - **`list [--from] [--to] [--tz] [--json] <file>`** — 範囲 `[from, to)` の全発火・区間註釈・
-  被覆サマリ。既定は実行 tz の今日から 1 年。
+  被覆サマリ。既定は**機械の tz**（`Intl` の解決値・`--tz` で上書き）の今日から 1 年。ラベルと `[from, to)` の
+  端点はこの tz で読む——定義の premise tz と違うと日粒度の点は時刻付き（例 NY の 0 時＝JST 13:00）で印字される（1.0.1）。
 - **`next [-n 件数] [--from] [--horizon 年数] [--tz] [--json] <file>`** — `from`（既定＝今日）以降の
   次の N 発火（既定 1）。探索窓を 1 年から倍々に広げ（上限 `--horizon` 年・既定 10）、見つかったら
   **[from, 最終発火日の翌日) で確定再評価**——区間註釈・残走路が答えの範囲と整合する。
@@ -187,7 +188,7 @@ baseAlign・再実行の外側フレーム再記録〕）。
 
 ## テスト
 
-（28 ファイル・638 本〔doctest 込み〕。下記の個別解説に加え、後発の
+（29 ファイル・657 本〔doctest 込み〕。下記の個別解説に加え、後発の
 `test/empty-table.test.ts`〔ADR-45〕・`test/external.test.ts`〔ADR-46・35 本〕・
 `test/cycle-labels.test.ts`〔ADR-47〕・`test/split-parent.test.ts`〔ADR-48〕・
 `test/take.test.ts`／`test/takelast.test.ts`〔ADR-49/52〕・`test/hour-window.test.ts`〔ADR-50〕・

package/dist/cli.d.ts

@@ -20,6 +20,10 @@ export interface CliReport {
     coverage: CoverageEntry[];
     warnings: string[];
 }
+/** 機械（実行環境）の tz＝Intl の解決値。CLI の既定 tz はこれ（1.0.1——1.0.0 は Asia/Tokyo 固定で、非 JST の環境では
+ *  日粒度の点が時刻付きで印字され [from, to) の窓が日をまたいだ）。時計読みと同じく CLI 境界だけで読む——
+ *  ライブラリ側（run / cmdList / cmdNext の既定）は Asia/Tokyo のままで、評価は不変に決定的 */
+export declare function hostTz(): string;
 /** 実行 tz の今日（市民日付）。時計読みは CLI 境界のみ——言語・評価は不変に決定的 */
 export declare function todayIn(tz: string): string;
 interface CmdOpts {

package/dist/cli.js

@@ -13,6 +13,12 @@ import { fileURLToPath } from 'node:url';
 import { run, formatAnnotation, KairosError, SupplyError } from "./index.js";
 // 実装版（JSON 出力の版規律）。SEA 束ね時は build 側でリテラルへ差し替え（index.ts の stdlib と同型）
 const VERSION = JSON.parse(readFileSync(new URL('../package.json', import.meta.url), 'utf8')).version;
+/** 機械（実行環境）の tz＝Intl の解決値。CLI の既定 tz はこれ（1.0.1——1.0.0 は Asia/Tokyo 固定で、非 JST の環境では
+ *  日粒度の点が時刻付きで印字され [from, to) の窓が日をまたいだ）。時計読みと同じく CLI 境界だけで読む——
+ *  ライブラリ側（run / cmdList / cmdNext の既定）は Asia/Tokyo のままで、評価は不変に決定的 */
+export function hostTz() {
+    return Intl.DateTimeFormat().resolvedOptions().timeZone || 'UTC';
+}
 /** 実行 tz の今日（市民日付）。時計読みは CLI 境界のみ——言語・評価は不変に決定的 */
 export function todayIn(tz) {
     return new Intl.DateTimeFormat('en-CA', { timeZone: tz, year: 'numeric', month: '2-digit', day: '2-digit' }).format(new Date());
@@ -176,19 +182,22 @@ export function renderHuman(rep, lang = 'ja') {
 }
 const USAGE_JA = `使い方（kairos ＝ node src/cli.ts）:
   kairos list [--from YYYY-MM-DD] [--to YYYY-MM-DD] [--tz Zone] [--supply data.json] [--json] [--lang en] <file.kairos>
-      範囲 [from, to) の全発火・区間註釈・被覆サマリ（既定: 実行 tz の今日から 1 年）
+      範囲 [from, to) の全発火・区間註釈・被覆サマリ（既定: 機械の tz の今日から 1 年）
   kairos next [-n 件数] [--from YYYY-MM-DD] [--horizon 年数] [--tz Zone] [--supply data.json] [--json] [--lang en] <file.kairos>
       from 以降の次の N 発火（既定: n=1・from=今日・地平線 10 年。本体式 1 つのファイル向け）
+  --tz: ラベルと [from, to) の端点の tz（既定＝機械の tz。定義の premise tz と違うと日粒度の点は時刻付きで印字される）
   --supply: external の解決値を静的束で渡す——{束縛名: {dates|instants, covering, asof [, labels]}}
   --lang en: 定型出力の枠組みを英語表示（エラー・註釈文は日本語が正のまま・--json は言語中立）
 サブコマンド省略時は list・--version で実装版。終了コード: 0=成功・1=エラー・2=next が地平線内に要求件数未達`;
 const USAGE_EN = `Usage (kairos = node src/cli.ts):
   kairos list [--from YYYY-MM-DD] [--to YYYY-MM-DD] [--tz Zone] [--supply data.json] [--json] [--lang en] <file.kairos>
       All firings in [from, to) plus interval annotations and the coverage summary
-      (default: one year from today in the execution tz)
+      (default: one year from today in the machine's time zone)
   kairos next [-n count] [--from YYYY-MM-DD] [--horizon years] [--tz Zone] [--supply data.json] [--json] [--lang en] <file.kairos>
       The next N firings at or after from (default: n=1, from=today, horizon 10 years;
       intended for files with a single body expression)
+  --tz: zone for labels and the [from, to) endpoints (default: the machine's time zone; if it differs from
+      the definition's premise tz, day-granular points are printed with a time of day)
   --supply: static bundle resolving external() — {binding: {dates|instants, covering, asof [, labels]}}
   --lang en: English framing for the human-readable output. Evaluator messages (errors and
       annotation texts) stay in Japanese — the implementation's canonical output language;
@@ -244,8 +253,8 @@ export function main(argv) {
         if (positionals.length !== 1)
             throw new KairosError('ファイルを 1 つ指定する');
         const source = readFileSync(positionals[0], 'utf8');
-        const tz = values.tz;
-        const from = values.from ?? todayIn(tz ?? 'Asia/Tokyo');
+        const tz = values.tz ?? hostTz(); // 既定＝機械の tz（--tz で上書き）
+        const from = values.from ?? todayIn(tz);
         const supplyPath = values.supply;
         let resolve;
         if (supplyPath) {
@@ -262,13 +271,12 @@ export function main(argv) {
         let rep;
         if (cmd === 'list') {
             const to = values.to ?? addYears(from, 1);
-            rep = cmdList(source, { from, to, ...(tz ? { tz } : {}), ...(resolve ? { resolve } : {}) });
+            rep = cmdList(source, { from, to, tz, ...(resolve ? { resolve } : {}) });
         }
         else {
             const n = posInt(values.n ?? '1', '-n');
             const horizonYears = posInt(values.horizon ?? '10', '--horizon');
-            rep = cmdNext(source, { from, n, horizonYears, ...(tz ? { tz } : {}),
-                ...(resolve ? { resolve } : {}) });
+            rep = cmdNext(source, { from, n, horizonYears, tz, ...(resolve ? { resolve } : {}) });
         }
         if (values.json)
             console.log(JSON.stringify(rep, null, 2));

package/dist/eval.d.ts

@@ -410,6 +410,8 @@ export declare class Evaluator {
     applyStage(stream: StreamV, stage: Stage, env: Env): StreamV;
     /** 糖衣右辺の変換適用: 基底 B（s => s |> …）とポイントフリー略記 A の両方（§4.8） */
     private applyTransform;
+    /** 前文メンバー roll:（spec §3.3＝ロール規約の畳み込み・1.0.2 で実装）: 規約の位置引数が無いときの既定 */
+    private rollMember;
     private axisMember;
     toStream(v: V, name?: string): StreamV;
     /** snapTo/within の対象窓の要素グリッド（ADR-36 判断 2 の「要素グリッド」）。

package/dist/eval.js

@@ -524,6 +524,12 @@ export class Evaluator {
             absorb(st.block);
         if (st.expr) {
             base = this.rt.premises.get(st.expr.base) ?? this.err(`未定義の premise: ${st.expr.base}`);
+            // 1.0.2: 前文メンバー（calendar:/tz:/axis:/wkst:/roll:/source:/epoch:）は基底連鎖から継承し、ブロックの宣言が
+            // 上書きする（ADR-35 改訂 3＝還流 2026-09-23 定期便 §3）。公開語の内側（evalDef の overlayMembers＝判断 8）と
+            // 同じ集合を入口の本体層にも見せる——source: も同様（判断 5「nonWorking を上書きする派生は source: も上書き」は
+            // 宣言必須「寄り」で未執行＝従来どおり）。
+            for (const [k, v] of this.overlayMembers(new Map(), base))
+                members.set(k, v);
             if (st.expr.withBlock)
                 absorb(st.expr.withBlock);
             for (const stage of st.expr.stages) {
@@ -2667,7 +2673,7 @@ export class Evaluator {
                 return this.filterByPredicate(stream, p => this.bool(this.applyValue(pred, [{ k: 'point', ms: p }], env)));
             }
             case 'roll': {
-                const conv = this.sym(this.evalExpr(positional[0] ?? this.err('roll は規約が必要（I3）'), env));
+                const conv = this.sym(this.evalExpr(positional[0] ?? this.rollMember(env), env));
                 const axisS = this.toStream(this.evalAxis(named('on') ?? this.axisMember(env, 'roll'), env));
                 this.checkAlign(stream.align, axisS.align, 'roll(on:)');
                 const axis = axisS.pts;
@@ -3067,6 +3073,13 @@ export class Evaluator {
         }
         this.err('糖衣の右辺を変換として適用できない（生成子を含む糖衣は生成子位置で使う）');
     }
+    /** 前文メンバー roll:（spec §3.3＝ロール規約の畳み込み・1.0.2 で実装）: 規約の位置引数が無いときの既定 */
+    rollMember(env) {
+        const m = env.members.get('roll');
+        if (!m)
+            this.err('roll は規約が必要（I3）——位置引数で Following/Preceding を書くか前文で roll: を宣言');
+        return typeof m === 'string' ? { t: 'name', name: m } : m;
+    }
     axisMember(env, op) {
         const m = env.members.get('axis');
         if (!m)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kairos-lang",
-  "version": "1.0.0",
+  "version": "1.0.2",
   "description": "Kairos schedule definition language — reference implementation (CLI + evaluator, zero runtime dependencies)",
   "keywords": [
     "schedule",