kairos-lang 1.0.0

package/dist/index.d.ts

@@ -0,0 +1,9 @@
+import type { RunOptions, RunResult } from './eval.ts';
+export { parse } from './parser.ts';
+export { lex } from './lexer.ts';
+export { KairosError, SupplyError, formatAnnotation } from './eval.ts';
+export type { RunOptions, RunResult, ExternalDecl, ExternalData, ExternalResolver } from './eval.ts';
+/** Kairos プログラムを評価し、各本体式の時間ストリームを [from, to) で返す */
+export declare function run(source: string, opts: RunOptions): RunResult;
+/** 単一式の評価糖衣: 最後の本体式の日付列を返す */
+export declare function evalDates(source: string, opts: RunOptions): string[];

package/dist/index.js

@@ -0,0 +1,64 @@
+// Kairos リファレンス実装（プロトタイプ）— 公開 API
+import { readFileSync } from 'node:fs';
+import { parse } from "./parser.js";
+import { Runtime, Evaluator, KairosError } from "./eval.js";
+import { getTz } from "./tz.js";
+export { parse } from "./parser.js";
+export { lex } from "./lexer.js";
+export { KairosError, SupplyError, formatAnnotation } from "./eval.js";
+// 標準 premise の読み込み順は依存順（派生は base の登録が先に要る）。readdir の辞書順は不可
+const STDLIB_FILES = ['gregorian.kairos', 'fiscal.kairos', 'isoweek.kairos'];
+const stdlibSource = STDLIB_FILES
+    .map(f => readFileSync(new URL(`../stdlib/${f}`, import.meta.url), 'utf8'))
+    .join('\n');
+/** Kairos プログラムを評価し、各本体式の時間ストリームを [from, to) で返す */
+export function run(source, opts) {
+    const tz = opts.tz ?? 'Asia/Tokyo';
+    const tzObj = getTz(tz);
+    const d = (s) => {
+        const m = /^(\d{4})-(\d{2})-(\d{2})$/.exec(s);
+        if (!m)
+            throw new KairosError(`日付は YYYY-MM-DD: ${s}`);
+        return tzObj.civilDayStart(+m[1], +m[2], +m[3]); // 評価範囲の端は実行 tz の市民日
+    };
+    const rt = new Runtime(d(opts.from), d(opts.to), tz);
+    if (opts.resolve)
+        rt.resolver = opts.resolve; // external の解決子（ADR-46）
+    const ev = new Evaluator(rt);
+    const stdlib = parse(stdlibSource);
+    const program = parse(source);
+    // stdlib の premise を先に登録（cycle ラベル語彙の走査を含む）
+    for (const st of stdlib.statements) {
+        if (st.t === 'premiseDef')
+            ev.registerPremise(st);
+    }
+    for (const st of program.statements) {
+        if (st.t === 'premiseDef')
+            for (const b of st.block?.bindings ?? [])
+                ev.scanVocab(b.rhs);
+    }
+    const defaultMembers = new Map();
+    const results = ev.runProgram(program, defaultMembers);
+    // 被覆サマリ（ADR-37 判断 7 (b)）: クリップしない静的な監視面。残走路＝評価 to から覆域終端まで
+    const coverage = [...rt.coverage.values()].map(c => ({
+        source: c.source,
+        covering: c.covering,
+        ...(c.asof ? { asof: c.asof } : {}),
+        concluded: c.concluded,
+        runwayDays: Number.isFinite(c.covEnd) ? Math.round((c.covEnd - rt.toMs) / 86_400_000) : null,
+    }));
+    return {
+        results,
+        coverage,
+        warnings: rt.warnings,
+        format: ms => rt.fmt(ms),
+        runtime: rt,
+    };
+}
+/** 単一式の評価糖衣: 最後の本体式の日付列を返す */
+export function evalDates(source, opts) {
+    const r = run(source, opts);
+    if (r.results.length === 0)
+        throw new KairosError('本体式がない');
+    return r.results[r.results.length - 1].dates;
+}

package/dist/lexer.d.ts

@@ -0,0 +1,33 @@
+export type TokKind = 'name' | 'number' | 'date' | 'time' | 'width' | 'string' | 'punct' | 'newline' | 'eof';
+export interface DateVal {
+    y: number;
+    mo: number;
+    d: number;
+    h: number;
+    mi: number;
+    s: number;
+    hasTime: boolean;
+}
+export type WidthVal = {
+    kind: 'civil';
+    days: number;
+} | {
+    kind: 'elapsed';
+    ms: number;
+};
+export interface Token {
+    kind: TokKind;
+    text: string;
+    line: number;
+    col: number;
+    date?: DateVal;
+    width?: WidthVal;
+    num?: number;
+    tod?: number;
+}
+export declare class LexError extends Error {
+    line: number;
+    col: number;
+    constructor(msg: string, line: number, col: number);
+}
+export declare function lex(src: string): Token[];

package/dist/lexer.js

@@ -0,0 +1,171 @@
+// Kairos 字句解析器（spec §5.5・ADR-28）
+// 日付リテラル（TZ 指定子なし）・幅リテラル（市民時 d / 経過時間 h m s、混合は静的エラー）・
+// Unicode 識別子（漢字ラベル可）・行コメント #。
+export class LexError extends Error {
+    line;
+    col;
+    constructor(msg, line, col) {
+        super(`字句エラー(${line}:${col}): ${msg}`);
+        this.line = line;
+        this.col = col;
+    }
+}
+// 複数文字パンクチュエータは長い順に照合
+const PUNCTS = ['|>', '..', '==', '!=', '<=', '>=', '=>', '(', ')', '[', ']', '{', '}',
+    ',', ':', '?', '@', '|', '&', '\\', '=', '<', '>', '+', '-', '*', '/', '.', '_', ';'];
+const isLetter = (c) => /[\p{L}]/u.test(c);
+const isDigit = (c) => c >= '0' && c <= '9';
+const isNamePart = (c) => isLetter(c) || isDigit(c);
+export function lex(src) {
+    const toks = [];
+    let i = 0, line = 1, col = 1;
+    // 丸括弧・角括弧の深さ。内部では newline をトークン化しない（式の継続）。
+    // 波括弧 {} 内は premise ブロック＝メンバー/束縛が行区切りなので newline を残す。
+    let parenDepth = 0;
+    const peek = (o = 0) => src[i + o] ?? '';
+    const err = (msg) => { throw new LexError(msg, line, col); };
+    while (i < src.length) {
+        const c = src[i];
+        if (c === '#') { // 行コメント
+            while (i < src.length && src[i] !== '\n')
+                i++;
+            continue;
+        }
+        if (c === '\n') {
+            if (parenDepth === 0)
+                toks.push({ kind: 'newline', text: '\n', line, col });
+            i++;
+            line++;
+            col = 1;
+            continue;
+        }
+        if (c === ' ' || c === '\t' || c === '\r') {
+            i++;
+            col++;
+            continue;
+        }
+        // 文字列リテラル（§5.5・ADR-32）: " から次の " まで。改行不可・エスケープなし
+        if (c === '"') {
+            let j = i + 1;
+            while (j < src.length && src[j] !== '"' && src[j] !== '\n')
+                j++;
+            if (src[j] !== '"')
+                err('文字列リテラルが閉じていない（改行は含められない。ADR-32）');
+            toks.push({ kind: 'string', text: src.slice(i + 1, j), line, col });
+            col += j - i + 1;
+            i = j + 1;
+            continue;
+        }
+        // 日付リテラル: YYYY-MM-DD(Thh:mm(:ss(.f+)?)?)?
+        if (isDigit(c) && /^\d{4}-\d{2}-\d{2}/.test(src.slice(i, i + 10))) {
+            const m = /^(\d{4})-(\d{2})-(\d{2})(?:T(\d{2}):(\d{2})(?::(\d{2})(?:\.(\d+))?)?)?/.exec(src.slice(i));
+            const hasTime = m[4] !== undefined;
+            // 時刻部の妥当性: hh 00..23・mm 00..59・ss 00..59。23:59:60 は字句エラー——
+            // chronos はうるう秒を持たない一様な理想化軸（UTC の各日＝86,400 秒。ADR-33）
+            if (hasTime && (+m[4] > 23 || +m[5] > 59 || (m[6] !== undefined && +m[6] > 59))) {
+                err(`時刻が範囲外: ${m[0]}（hh は 00..23・mm/ss は 00..59。うるう秒は表現しない＝ADR-33）`);
+            }
+            // 日付部の妥当性（F66 (a)・ADR-43）: proleptic Gregorian 固定——月 01..12・日は月と閏年規則の
+            // 実在日のみ。2026-02-30 は 2026-03-02 への黙ったロールオーバーではなく字句エラー（時刻部と同じ層）
+            {
+                const y = +m[1], mo = +m[2], d = +m[3];
+                const leap = y % 4 === 0 && (y % 100 !== 0 || y % 400 === 0);
+                const dim = [31, leap ? 29 : 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31];
+                if (mo < 1 || mo > 12 || d < 1 || d > dim[mo - 1]) {
+                    err(`実在しない日付: ${m[0].slice(0, 10)}`
+                        + '（月は 01..12・日は月と閏年規則の実在日のみ——proleptic Gregorian 固定。F66/ADR-43）');
+                }
+            }
+            const date = {
+                y: +m[1], mo: +m[2], d: +m[3],
+                h: m[4] ? +m[4] : 0, mi: m[5] ? +m[5] : 0,
+                s: m[6] ? +m[6] + (m[7] ? +`0.${m[7]}` : 0) : 0,
+                hasTime,
+            };
+            toks.push({ kind: 'date', text: m[0], line, col, date });
+            i += m[0].length;
+            col += m[0].length;
+            continue;
+        }
+        // 幅リテラル: 数値+単位の並び（1d / 24h39m35.244s）。d と h/m/s の混合は静的エラー（ADR-28）。
+        if (isDigit(c)) {
+            const w = /^(?:\d+(?:\.\d+)?[dhms])+/.exec(src.slice(i));
+            if (w && !/^\d+(?:\.\d+)?(?:[eE]|$|[^dhms\d.])/.test(src.slice(i))) {
+                const text = w[0];
+                let civil = 0, elapsed = 0, hasCivil = false, hasElapsed = false;
+                for (const seg of text.matchAll(/(\d+(?:\.\d+)?)([dhms])/g)) {
+                    const n = +seg[1];
+                    if (seg[2] === 'd') {
+                        hasCivil = true;
+                        civil += n;
+                    }
+                    else {
+                        hasElapsed = true;
+                        elapsed += n * (seg[2] === 'h' ? 3600_000 : seg[2] === 'm' ? 60_000 : 1000);
+                    }
+                }
+                if (hasCivil && hasElapsed)
+                    err(`市民時と経過時間の幅は混合できない: ${text}（ADR-28）`);
+                const width = hasCivil ? { kind: 'civil', days: civil } : { kind: 'elapsed', ms: elapsed };
+                toks.push({ kind: 'width', text, line, col, width });
+                i += text.length;
+                col += text.length;
+                continue;
+            }
+            // 数値
+            const n = /^\d+(?:\.\d+)?/.exec(src.slice(i));
+            toks.push({ kind: 'number', text: n[0], line, col, num: +n[0] });
+            i += n[0].length;
+            col += n[0].length;
+            continue;
+        }
+        // 単独時刻リテラル: Thh:mm(:ss(.f+)?)?（ADR-51——日付部を持たない壁時計時刻）。
+        // T 接頭形限定: 裸 hh:mm は三値演算子の合法式（cond ? 10:30）と衝突するため採らない。
+        // T\d\d: まで見えたらこの字句の領域（malformed は誘導つき字句エラー——黙って識別子に落とさない）
+        if (c === 'T' && /^T\d{2}:/.test(src.slice(i, i + 4))) {
+            const m = /^T(\d{2}):(\d{2})(?::(\d{2})(?:\.(\d+))?)?/.exec(src.slice(i));
+            if (!m)
+                err('単独時刻リテラルの形は Thh:mm（例 T07:00・秒まで書くなら Thh:mm:ss。ADR-51）');
+            if (+m[1] > 23 || +m[2] > 59 || (m[3] !== undefined && +m[3] > 59)) {
+                err(`時刻が範囲外: ${m[0]}（hh は 00..23・mm/ss は 00..59。うるう秒は表現しない＝ADR-33）`);
+            }
+            const tod = (+m[1] * 3600 + +m[2] * 60 + (m[3] ? +m[3] + (m[4] ? +`0.${m[4]}` : 0) : 0)) * 1000;
+            toks.push({ kind: 'time', text: m[0], line, col, tod });
+            i += m[0].length;
+            col += m[0].length;
+            continue;
+        }
+        // 識別子（Unicode 文字可）。member-key の calendar-system はハイフンを特例で許す。
+        if (isLetter(c)) {
+            let j = i;
+            while (j < src.length && isNamePart(src[j]))
+                j++;
+            let text = src.slice(i, j);
+            if (text === 'calendar' && src.slice(j, j + 7) === '-system') {
+                text = 'calendar-system';
+                j += 7;
+            }
+            toks.push({ kind: 'name', text, line, col });
+            col += j - i;
+            i = j;
+            continue;
+        }
+        // パンクチュエータ
+        const p = PUNCTS.find(p => src.startsWith(p, i));
+        if (p) {
+            if (p === '(' || p === '[')
+                parenDepth++;
+            if (p === ')' || p === ']')
+                parenDepth = Math.max(0, parenDepth - 1);
+            toks.push({ kind: 'punct', text: p, line, col });
+            i += p.length;
+            col += p.length;
+            continue;
+        }
+        if (c === '¥' || c === '¥')
+            err('円記号 ¥（U+00A5）は差演算子ではない。バックスラッシュ U+005C を使う（§4.5）');
+        err(`不明な文字: ${JSON.stringify(c)}`);
+    }
+    toks.push({ kind: 'eof', text: '', line, col });
+    return toks;
+}

package/dist/parser.d.ts

@@ -0,0 +1,11 @@
+import { LexError } from './lexer.ts';
+import type { Token } from './lexer.ts';
+import type { Program, CoveringRange } from './ast.ts';
+export declare class ParseError extends Error {
+    constructor(msg: string, tok: Token);
+}
+export declare function parse(src: string): Program;
+/** covering-list 字面の単体パース（external の解決値 wire 用。ADR-46）——
+ *  端の含意・年略記・開端・区間リストの意味論をテーブルリテラルと完全共有するための入口 */
+export declare function parseCoveringText(text: string): CoveringRange[];
+export { LexError };