kairos-lang 1.0.1 → 1.0.2

package/README.md

@@ -188,7 +188,7 @@ baseAlign・再実行の外側フレーム再記録〕）。
 
 ## テスト
 
-（28 ファイル・641 本〔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/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.1",
+  "version": "1.0.2",
   "description": "Kairos schedule definition language — reference implementation (CLI + evaluator, zero runtime dependencies)",
   "keywords": [
     "schedule",