behavior-contracts 0.1.0

package/dist/expr-eval.js

@@ -0,0 +1,334 @@
+/**
+ * expr-eval.ts — expression-ir.md の参照評価器（規範実装）。
+ *
+ * 値モデル（../expression-ir.md §5）:
+ *   int = bigint（i64 checked） / float = number（IEEE754, NaN/Inf は Failure）
+ *   / string / bool / null / arr / obj
+ *
+ * 規範ポイント（§6/§8 の罠に対応）:
+ *   - int 演算は checked i64（オーバーフロー = Failure）。TS では BigInt で実装
+ *   - 評価結果が NaN / ±Infinity になった時点で Failure
+ *   - mod は truncated division（符号は被除数。Python の % と異なる）
+ *   - 文字列比較は code point 順（TS ネイティブ `<` の UTF-16 順ではない）
+ *   - and / or / coalesce / cond は短絡評価（短絡側の Failure は発生しない）
+ *   - 未知オペレータは fail-closed
+ */
+export class ExprFailure extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "ExprFailure";
+    }
+}
+function fail(code, message) {
+    throw new ExprFailure(code, message);
+}
+// ── i64 / f64 規範 ──────────────────────────────────────────────────────────
+const I64_MIN = -(2n ** 63n);
+const I64_MAX = 2n ** 63n - 1n;
+const WIDEN_EXACT = 2n ** 53n; // div widening の正確域（±2^53 は double で正確）
+function checkI64(v) {
+    if (v < I64_MIN || v > I64_MAX)
+        fail("INT_OVERFLOW", `i64 overflow: ${v}`);
+    return v;
+}
+function checkFinite(v) {
+    if (!Number.isFinite(v))
+        fail("NAN_OR_INF", `non-finite float: ${v}`);
+    return v;
+}
+function widenToFloat(v) {
+    if (typeof v === "number")
+        return v;
+    if (typeof v === "bigint") {
+        if (v > WIDEN_EXACT || v < -WIDEN_EXACT)
+            fail("PRECISION_LOSS", `int ${v} exceeds exact float range (±2^53)`);
+        return Number(v);
+    }
+    fail("TYPE_MISMATCH", `numeric operand expected, got ${typeName(v)}`);
+}
+// ── 文字列比較（code point 順 = UTF-8 バイト順。UTF-16 順ではない）────────────
+export function cmpCodePoints(a, b) {
+    const ia = a[Symbol.iterator]();
+    const ib = b[Symbol.iterator]();
+    for (;;) {
+        const ra = ia.next();
+        const rb = ib.next();
+        if (ra.done && rb.done)
+            return 0;
+        if (ra.done)
+            return -1;
+        if (rb.done)
+            return 1;
+        const ca = ra.value.codePointAt(0);
+        const cb = rb.value.codePointAt(0);
+        if (ca !== cb)
+            return ca < cb ? -1 : 1;
+    }
+}
+// ── 型ユーティリティ ─────────────────────────────────────────────────────────
+function typeName(v) {
+    if (v === null)
+        return "null";
+    if (typeof v === "bigint")
+        return "int";
+    if (typeof v === "number")
+        return "float";
+    if (Array.isArray(v))
+        return "arr";
+    return typeof v; // string / boolean / object
+}
+function requireBool(v, ctx) {
+    if (typeof v !== "boolean")
+        fail("TYPE_MISMATCH", `${ctx}: bool expected, got ${typeName(v)}（truthiness は存在しない）`);
+    return v;
+}
+function isPlainObject(v) {
+    return typeof v === "object" && v !== null && !Array.isArray(v);
+}
+// ── 評価器本体 ───────────────────────────────────────────────────────────────
+export function evaluate(node, scope = {}) {
+    // リテラル
+    if (node === null)
+        return null;
+    if (typeof node === "boolean" || typeof node === "string")
+        return node;
+    if (typeof node === "number") {
+        // 分類規則（§2.3）: 整数値 → int（安全整数域内に限る）、小数部あり → float
+        if (Number.isInteger(node)) {
+            if (!Number.isSafeInteger(node))
+                fail("INVALID_LITERAL", `integral number literal ${node} exceeds safe range; use {int:"..."}`);
+            return BigInt(node);
+        }
+        return checkFinite(node);
+    }
+    if (Array.isArray(node))
+        fail("INVALID_NODE", "bare array is not an expression (use {arr:[...]})");
+    if (!isPlainObject(node))
+        fail("INVALID_NODE", `invalid node: ${String(node)}`);
+    // オペレータノード = 単一キー
+    const keys = Object.keys(node);
+    if (keys.length !== 1)
+        fail("INVALID_NODE", `operator node must have exactly one key, got [${keys.join(", ")}]`);
+    const op = keys[0];
+    const arg = node[op];
+    switch (op) {
+        // ── リテラルラッパ ──
+        case "int": {
+            if (typeof arg !== "string")
+                fail("INVALID_NODE", "{int: ...} expects a string");
+            let v;
+            try {
+                v = BigInt(arg);
+            }
+            catch {
+                fail("INVALID_LITERAL", `invalid int literal: ${arg}`);
+            }
+            return checkI64(v);
+        }
+        case "float": {
+            if (typeof arg !== "number")
+                fail("INVALID_NODE", "{float: ...} expects a number");
+            return checkFinite(arg);
+        }
+        // ── 参照 ──
+        case "ref":
+        case "refOpt": {
+            const path = argArray(op, arg);
+            if (path.length === 0 || !path.every((p) => typeof p === "string"))
+                fail("INVALID_NODE", `${op} expects a non-empty string path`);
+            const [head, ...rest] = path;
+            if (!Object.prototype.hasOwnProperty.call(scope, head))
+                fail("UNKNOWN_BINDING", `unknown binding: ${head}`);
+            let cur = scope[head];
+            for (const seg of rest) {
+                if (cur === null) {
+                    if (op === "refOpt")
+                        return null; // ?. の null 伝播
+                    fail("NULL_REF", `null intermediate at .${seg}（?. を使う）`);
+                }
+                if (!isPlainObject(cur))
+                    fail("TYPE_MISMATCH", `cannot access .${seg} on ${typeName(cur)}`);
+                if (!Object.prototype.hasOwnProperty.call(cur, seg))
+                    fail("MISSING_PROP", `missing property .${seg}`);
+                cur = cur[seg];
+            }
+            return cur;
+        }
+        // ── 構築 ──
+        case "obj": {
+            if (!isPlainObject(arg))
+                fail("INVALID_NODE", "{obj: ...} expects an object");
+            const out = {};
+            for (const [k, v] of Object.entries(arg))
+                out[k] = evaluate(v, scope);
+            return out;
+        }
+        case "arr":
+            return argArray(op, arg).map((e) => evaluate(e, scope));
+        // ── 数値（モノモーフィック・checked）──
+        case "add":
+        case "sub":
+        case "mul": {
+            const [a, b] = evalBinary(op, arg, scope);
+            if (typeof a === "bigint" && typeof b === "bigint") {
+                const r = op === "add" ? a + b : op === "sub" ? a - b : a * b;
+                return checkI64(r);
+            }
+            if (typeof a === "number" && typeof b === "number") {
+                const r = op === "add" ? a + b : op === "sub" ? a - b : a * b;
+                return checkFinite(r);
+            }
+            fail("TYPE_MISMATCH", `${op}: int×int か float×float（got ${typeName(a)}×${typeName(b)}。混在は明示変換が必要）`);
+        }
+        case "neg": {
+            const a = evaluate(argUnary(op, arg), scope);
+            if (typeof a === "bigint")
+                return checkI64(-a);
+            if (typeof a === "number")
+                return checkFinite(-a);
+            fail("TYPE_MISMATCH", `neg: numeric expected, got ${typeName(a)}`);
+        }
+        case "div": {
+            // 常に float 除算（TS 意味論）。int は正確に widening、0 除算は NaN/Inf 規則で Failure
+            const [a, b] = evalBinary(op, arg, scope);
+            return checkFinite(widenToFloat(a) / widenToFloat(b));
+        }
+        case "mod": {
+            // truncated division の剰余。符号は被除数（TS/Rust/Go/PHP と一致。Python は要注意）
+            const [a, b] = evalBinary(op, arg, scope);
+            if (typeof a === "bigint" && typeof b === "bigint") {
+                if (b === 0n)
+                    fail("MOD_ZERO", "int mod by zero");
+                return checkI64(a % b); // JS bigint % は truncated
+            }
+            if (typeof a === "number" && typeof b === "number")
+                return checkFinite(a % b);
+            fail("TYPE_MISMATCH", `mod: int×int か float×float（got ${typeName(a)}×${typeName(b)}）`);
+        }
+        // ── 文字列 ──
+        case "concat": {
+            const parts = argArray(op, arg).map((e) => evaluate(e, scope));
+            for (const p of parts)
+                if (typeof p !== "string")
+                    fail("TYPE_MISMATCH", `concat: string のみ（got ${typeName(p)}。数値の暗黙 toString は存在しない）`);
+            return parts.join("");
+        }
+        // ── 比較 ──
+        case "eq":
+        case "ne": {
+            const [a, b] = evalBinary(op, arg, scope);
+            const equal = valueEquals(a, b);
+            return op === "eq" ? equal : !equal;
+        }
+        case "lt":
+        case "le":
+        case "gt":
+        case "ge": {
+            const [a, b] = evalBinary(op, arg, scope);
+            let c;
+            if (typeof a === "bigint" && typeof b === "bigint")
+                c = a < b ? -1 : a > b ? 1 : 0;
+            else if (typeof a === "number" && typeof b === "number")
+                c = a < b ? -1 : a > b ? 1 : 0;
+            else if (typeof a === "string" && typeof b === "string")
+                c = cmpCodePoints(a, b);
+            else
+                fail("TYPE_MISMATCH", `${op}: 同一型の int/float/string のみ（got ${typeName(a)}×${typeName(b)}）`);
+            switch (op) {
+                case "lt": return c < 0;
+                case "le": return c <= 0;
+                case "gt": return c > 0;
+                case "ge": return c >= 0;
+            }
+        }
+        // ── bool / null（短絡評価）──
+        case "and":
+        case "or": {
+            const [ea, eb] = rawBinary(op, arg);
+            const a = requireBool(evaluate(ea, scope), op);
+            if (op === "and" && !a)
+                return false; // 短絡: 右辺は評価されない
+            if (op === "or" && a)
+                return true;
+            return requireBool(evaluate(eb, scope), op);
+        }
+        case "not":
+            return !requireBool(evaluate(argUnary(op, arg), scope), "not");
+        case "coalesce": {
+            const [ea, eb] = rawBinary(op, arg);
+            const a = evaluate(ea, scope);
+            return a === null ? evaluate(eb, scope) : a; // 右辺は遅延評価
+        }
+        case "cond": {
+            if (!Array.isArray(arg) || arg.length !== 3)
+                fail("INVALID_NODE", "cond expects [c, t, e]");
+            const c = requireBool(evaluate(arg[0], scope), "cond");
+            return evaluate(c ? arg[1] : arg[2], scope); // 採用側のみ評価
+        }
+        // ── その他 ──
+        case "len": {
+            const a = evaluate(argUnary(op, arg), scope);
+            if (!Array.isArray(a))
+                fail("TYPE_MISMATCH", `len: 配列のみ（string length は v1 に存在しない。got ${typeName(a)}）`);
+            return BigInt(a.length);
+        }
+        default:
+            fail("UNKNOWN_OP", `unknown operator: ${op}（fail-closed）`);
+    }
+}
+// ── 引数ヘルパ ───────────────────────────────────────────────────────────────
+function argArray(op, arg) {
+    if (!Array.isArray(arg))
+        fail("INVALID_NODE", `${op} expects an args array`);
+    return arg;
+}
+function argUnary(op, arg) {
+    const a = argArray(op, arg);
+    if (a.length !== 1)
+        fail("INVALID_NODE", `${op} expects 1 arg`);
+    return a[0];
+}
+function rawBinary(op, arg) {
+    const a = argArray(op, arg);
+    if (a.length !== 2)
+        fail("INVALID_NODE", `${op} expects 2 args`);
+    return [a[0], a[1]];
+}
+function evalBinary(op, arg, scope) {
+    const [ea, eb] = rawBinary(op, arg);
+    return [evaluate(ea, scope), evaluate(eb, scope)]; // 左から右
+}
+// ── 等価（eq/ne 用。null 判定を許可、それ以外は同一スカラ型のみ）────────────────
+function valueEquals(a, b) {
+    if (a === null || b === null)
+        return a === null && b === null;
+    const ta = typeName(a);
+    const tb = typeName(b);
+    if (ta !== tb)
+        fail("TYPE_MISMATCH", `eq/ne: 同一型のみ（got ${ta}×${tb}）`);
+    if (ta === "arr" || ta === "object")
+        fail("TYPE_MISMATCH", "eq/ne: obj/arr の等価は v1 で未定義");
+    return a === b;
+}
+// ── canonical JSON 用の値エンコード（golden ベクタの言語間共有用）────────────────
+// int → 安全整数域内は JSON number / 超えたら {int:"..."}
+// float → 小数部を持てば JSON number / 整数値は {float: n}
+export function encodeValue(v) {
+    if (v === null || typeof v === "boolean" || typeof v === "string")
+        return v;
+    if (typeof v === "bigint")
+        return v >= BigInt(Number.MIN_SAFE_INTEGER) && v <= BigInt(Number.MAX_SAFE_INTEGER)
+            ? Number(v)
+            : { int: v.toString() };
+    if (typeof v === "number")
+        return Number.isInteger(v) ? { float: v } : v;
+    if (Array.isArray(v))
+        return v.map(encodeValue);
+    return Object.fromEntries(
+    // キーソートは code-point 順が規範（canonical-serialization.md §2/§6）。JS 既定の
+    // .sort()（UTF-16 code unit 順）は astral-plane キーで食い違うため cmpCodePoints を使う。
+    Object.keys(v).sort(cmpCodePoints).map((k) => [k, encodeValue(v[k])]));
+}
+//# sourceMappingURL=expr-eval.js.map

package/dist/expr-eval.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr-eval.js","sourceRoot":"","sources":["../src/expr-eval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AA4BH,MAAM,OAAO,WAAY,SAAQ,KAAK;IACpC,IAAI,CAAc;IAClB,YAAY,IAAiB,EAAE,OAAe;QAC5C,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED,SAAS,IAAI,CAAC,IAAiB,EAAE,OAAe;IAC9C,MAAM,IAAI,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACvC,CAAC;AAED,6EAA6E;AAC7E,MAAM,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;AAC7B,MAAM,OAAO,GAAG,EAAE,IAAI,GAAG,GAAG,EAAE,CAAC;AAC/B,MAAM,WAAW,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,wCAAwC;AAEvE,SAAS,QAAQ,CAAC,CAAS;IACzB,IAAI,CAAC,GAAG,OAAO,IAAI,CAAC,GAAG,OAAO;QAAE,IAAI,CAAC,cAAc,EAAE,iBAAiB,CAAC,EAAE,CAAC,CAAC;IAC3E,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,WAAW,CAAC,CAAS;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,IAAI,CAAC,YAAY,EAAE,qBAAqB,CAAC,EAAE,CAAC,CAAC;IACtE,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,CAAQ;IAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,GAAG,WAAW,IAAI,CAAC,GAAG,CAAC,WAAW;YACrC,IAAI,CAAC,gBAAgB,EAAE,OAAO,CAAC,oCAAoC,CAAC,CAAC;QACvE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,eAAe,EAAE,iCAAiC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACxE,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,aAAa,CAAC,CAAS,EAAE,CAAS;IAChD,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IAChC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IAChC,SAAS,CAAC;QACR,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;QACrB,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI;YAAE,OAAO,CAAC,CAAC;QACjC,IAAI,EAAE,CAAC,IAAI;YAAE,OAAO,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,CAAC,IAAI;YAAE,OAAO,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QACpC,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QACpC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,SAAS,QAAQ,CAAC,CAAQ;IACxB,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC;IAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,OAAO,OAAO,CAAC,CAAC,CAAC,4BAA4B;AAC/C,CAAC;AAED,SAAS,WAAW,CAAC,CAAQ,EAAE,GAAW;IACxC,IAAI,OAAO,CAAC,KAAK,SAAS;QACxB,IAAI,CAAC,eAAe,EAAE,GAAG,GAAG,wBAAwB,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;IACxF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,QAAQ,CAAC,IAAa,EAAE,QAAe,EAAE;IACvD,OAAO;IACP,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvE,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,iDAAiD;QACjD,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;gBAC7B,IAAI,CAAC,iBAAiB,EAAE,2BAA2B,IAAI,sCAAsC,CAAC,CAAC;YACjG,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;QACD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,cAAc,EAAE,mDAAmD,CAAC,CAAC;IACnG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,cAAc,EAAE,iBAAiB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEhF,kBAAkB;IAClB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QACnB,IAAI,CAAC,cAAc,EAAE,iDAAiD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5F,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,MAAM,GAAG,GAAI,IAAgC,CAAC,EAAE,CAAC,CAAC;IAElD,QAAQ,EAAE,EAAE,CAAC;QACX,gBAAgB;QAChB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,IAAI,CAAC,cAAc,EAAE,6BAA6B,CAAC,CAAC;YACjF,IAAI,CAAS,CAAC;YACd,IAAI,CAAC;gBACH,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YAClB,CAAC;YAAC,MAAM,CAAC;gBACP,IAAI,CAAC,iBAAiB,EAAE,wBAAwB,GAAG,EAAE,CAAC,CAAC;YACzD,CAAC;YACD,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,IAAI,CAAC,cAAc,EAAE,+BAA+B,CAAC,CAAC;YACnF,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;QAED,WAAW;QACX,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAChE,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE,kCAAkC,CAAC,CAAC;YAChE,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAgB,CAAC;YACzC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;gBACpD,IAAI,CAAC,iBAAiB,EAAE,oBAAoB,IAAI,EAAE,CAAC,CAAC;YACtD,IAAI,GAAG,GAAU,KAAK,CAAC,IAAI,CAAC,CAAC;YAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;oBACjB,IAAI,EAAE,KAAK,QAAQ;wBAAE,OAAO,IAAI,CAAC,CAAC,eAAe;oBACjD,IAAI,CAAC,UAAU,EAAE,yBAAyB,GAAG,UAAU,CAAC,CAAC;gBAC3D,CAAC;gBACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC;oBACrB,IAAI,CAAC,eAAe,EAAE,kBAAkB,GAAG,OAAO,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;oBACjD,IAAI,CAAC,cAAc,EAAE,qBAAqB,GAAG,EAAE,CAAC,CAAC;gBACnD,GAAG,GAAI,GAA6B,CAAC,GAAG,CAAC,CAAC;YAC5C,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QAED,WAAW;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,cAAc,EAAE,8BAA8B,CAAC,CAAC;YAC9E,MAAM,GAAG,GAA0B,EAAE,CAAC;YACtC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACtE,OAAO,GAAG,CAAC;QACb,CAAC;QACD,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAE1D,4BAA4B;QAC5B,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YAC1C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACnD,MAAM,CAAC,GAAG,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC9D,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;YACrB,CAAC;YACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACnD,MAAM,CAAC,GAAG,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC9D,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC;YACxB,CAAC;YACD,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE,+BAA+B,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QACtG,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;YAClD,IAAI,CAAC,eAAe,EAAE,8BAA8B,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrE,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,kEAAkE;YAClE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YAC1C,OAAO,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,gEAAgE;YAChE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YAC1C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACnD,IAAI,CAAC,KAAK,EAAE;oBAAE,IAAI,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;gBAClD,OAAO,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,0BAA0B;YACpD,CAAC;YACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,OAAO,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9E,IAAI,CAAC,eAAe,EAAE,kCAAkC,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACzF,CAAC;QAED,YAAY;QACZ,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;YAC/D,KAAK,MAAM,CAAC,IAAI,KAAK;gBACnB,IAAI,OAAO,CAAC,KAAK,QAAQ;oBACvB,IAAI,CAAC,eAAe,EAAE,yBAAyB,QAAQ,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACzF,OAAQ,KAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtC,CAAC;QAED,WAAW;QACX,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YAC1C,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAChC,OAAO,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACtC,CAAC;QACD,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YAC1C,IAAI,CAAa,CAAC;YAClB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBAC9E,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;iBACnF,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;;gBAC5E,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE,kCAAkC,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACjG,QAAQ,EAAE,EAAE,CAAC;gBACX,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACxB,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACzB,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACxB,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,yBAAyB;QACzB,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACpC,MAAM,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC,CAAC,gBAAgB;YACtD,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClC,OAAO,WAAW,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9C,CAAC;QACD,KAAK,KAAK;YACR,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QACjE,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACpC,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC9B,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU;QACzD,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,IAAI,CAAC,cAAc,EAAE,wBAAwB,CAAC,CAAC;YAC5F,MAAM,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;YACvD,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU;QACzD,CAAC;QAED,YAAY;QACZ,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC7C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;gBACnB,IAAI,CAAC,eAAe,EAAE,2CAA2C,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACnF,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC1B,CAAC;QAED;YACE,IAAI,CAAC,YAAY,EAAE,qBAAqB,EAAE,eAAe,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAS,QAAQ,CAAC,EAAU,EAAE,GAAY;IACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE,wBAAwB,CAAC,CAAC;IAC7E,OAAO,GAAG,CAAC;AACb,CAAC;AACD,SAAS,QAAQ,CAAC,EAAU,EAAE,GAAY;IACxC,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;IAChE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AACd,CAAC;AACD,SAAS,SAAS,CAAC,EAAU,EAAE,GAAY;IACzC,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC5B,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;IACjE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC;AACD,SAAS,UAAU,CAAC,EAAU,EAAE,GAAY,EAAE,KAAY;IACxD,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACpC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO;AAC5D,CAAC;AAED,0DAA0D;AAC1D,SAAS,WAAW,CAAC,CAAQ,EAAE,CAAQ;IACrC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC;IAC9D,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,KAAK,EAAE;QAAE,IAAI,CAAC,eAAe,EAAE,oBAAoB,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACtE,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ;QACjC,IAAI,CAAC,eAAe,EAAE,6BAA6B,CAAC,CAAC;IACvD,OAAO,CAAC,KAAK,CAAC,CAAC;AACjB,CAAC;AAED,gEAAgE;AAChE,+CAA+C;AAC/C,gDAAgD;AAChD,MAAM,UAAU,WAAW,CAAC,CAAQ;IAClC,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC5E,IAAI,OAAO,CAAC,KAAK,QAAQ;QACvB,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC;YACjF,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACX,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;IAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAChD,OAAO,MAAM,CAAC,WAAW;IACvB,kEAAkE;IAClE,yEAAyE;IACzE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,CAAE,CAA2B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACjG,CAAC;AACJ,CAAC"}

package/dist/guard.d.ts

@@ -0,0 +1,27 @@
+/**
+ * guard.ts — Portability Guard（`assertPortable`）。
+ *
+ * DSL 非依存の IR 可搬性不変条件: 「可搬 IR には関数 / Date / Promise 等の
+ * non-serializable 値が混入してはならない」。graphddb の `assertJsonSerializable` を
+ * 一般化したもの（core.ts の元実装）。全 DSL・全 consumer が共有する薄い共通プリミティブで、
+ * runtime-boundary.md の COMMON 判断基準（DynamoDB 概念ゼロ・純粋な構造検査）に合致する。
+ *
+ * boundary との関係:
+ *   - **含める**: `assertPortable` は「IR に載せてよい値か」の DSL 非依存な構造判定。
+ *   - **含めない**: `makeContractService` / `buildIR`（Metadata → IR）は graphddb 固有の
+ *     Metadata/OperationDef 形状に依存する consumer レベル API のため examples に残す。
+ */
+export declare class PortabilityError extends Error {
+    path: string;
+    constructor(path: string, message: string);
+}
+/**
+ * assertPortable — value が可搬（JSON-serializable）であることを再帰的に検査する。
+ * 関数 / Date / Promise を検出したら {@link PortabilityError} を投げる。
+ *
+ * @param value 検査対象（IR ノード等）。
+ * @param path  エラー位置（既定 `"$"`）。
+ * @throws {PortabilityError} non-portable な値を検出したとき。
+ */
+export declare function assertPortable(value: unknown, path?: string): void;
+//# sourceMappingURL=guard.d.ts.map

package/dist/guard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,MAAM,CAAC;gBACD,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAK1C;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAM,GAAG,IAAI,CAa/D"}

package/dist/guard.js

@@ -0,0 +1,43 @@
+/**
+ * guard.ts — Portability Guard（`assertPortable`）。
+ *
+ * DSL 非依存の IR 可搬性不変条件: 「可搬 IR には関数 / Date / Promise 等の
+ * non-serializable 値が混入してはならない」。graphddb の `assertJsonSerializable` を
+ * 一般化したもの（core.ts の元実装）。全 DSL・全 consumer が共有する薄い共通プリミティブで、
+ * runtime-boundary.md の COMMON 判断基準（DynamoDB 概念ゼロ・純粋な構造検査）に合致する。
+ *
+ * boundary との関係:
+ *   - **含める**: `assertPortable` は「IR に載せてよい値か」の DSL 非依存な構造判定。
+ *   - **含めない**: `makeContractService` / `buildIR`（Metadata → IR）は graphddb 固有の
+ *     Metadata/OperationDef 形状に依存する consumer レベル API のため examples に残す。
+ */
+export class PortabilityError extends Error {
+    path;
+    constructor(path, message) {
+        super(message);
+        this.path = path;
+        this.name = "PortabilityError";
+    }
+}
+/**
+ * assertPortable — value が可搬（JSON-serializable）であることを再帰的に検査する。
+ * 関数 / Date / Promise を検出したら {@link PortabilityError} を投げる。
+ *
+ * @param value 検査対象（IR ノード等）。
+ * @param path  エラー位置（既定 `"$"`）。
+ * @throws {PortabilityError} non-portable な値を検出したとき。
+ */
+export function assertPortable(value, path = "$") {
+    if (typeof value === "function")
+        throw new PortabilityError(path, `Portability Guard: functions cannot be placed in IR (at ${path})`);
+    if (value instanceof Date || value instanceof Promise)
+        throw new PortabilityError(path, `Portability Guard: ${value.constructor.name} cannot be placed in IR (at ${path})`);
+    if (Array.isArray(value)) {
+        value.forEach((v, i) => assertPortable(v, `${path}[${i}]`));
+    }
+    else if (value && typeof value === "object") {
+        for (const [k, v] of Object.entries(value))
+            assertPortable(v, `${path}.${k}`);
+    }
+}
+//# sourceMappingURL=guard.js.map

package/dist/guard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard.js","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,IAAI,CAAS;IACb,YAAY,IAAY,EAAE,OAAe;QACvC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,KAAc,EAAE,IAAI,GAAG,GAAG;IACvD,IAAI,OAAO,KAAK,KAAK,UAAU;QAC7B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,2DAA2D,IAAI,GAAG,CAAC,CAAC;IACvG,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,YAAY,OAAO;QACnD,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,sBAAsB,KAAK,CAAC,WAAW,CAAC,IAAI,+BAA+B,IAAI,GAAG,CACnF,CAAC;IACJ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC;SAAM,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;AACH,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,43 @@
+/**
+ * behavior-contracts — 多言語 IR-Runtime 共通層（TS 実装）。
+ *
+ * runtime-boundary.md で COMMON と判定された「薄い核」プリミティブのみを公開する。
+ * DynamoDB / graphddb 固有の概念（backend 実行・key resolution・retry Tuning・hydrate・
+ * bundle 形式）は一切含まない（それらは consumer に残る）。この package が該当ロジックの
+ * **単一の真実源（single source of truth）**であり、examples/ はここから import する。
+ *
+ * 公開 COMMON プリミティブ（runtime-boundary.md §2.1）:
+ *   - validateEnvelope      — spec-version fail-closed 検査
+ *   - evaluateExpression    — expression-ir.md の規範評価
+ *   - renderTemplate        — `{param}` 束縛描画（strict）
+ *   - runPlan               — 実行計画の骨格実行（stage / Skip 伝播 / Policy Kind）
+ *   - canonicalValue / canonicalJson / pyFloatRepr — 決定的正準直列化
+ *   - assertPortable        — Portability Guard（IR 可搬性不変条件）
+ *   - decodeValue / deepEquals — conformance runner adapter 共通部
+ *
+ * 除外の判断（runtime-boundary.md 準拠）:
+ *   - Contract Service（makeContractService）/ buildIR は graphddb の Metadata 形状に依存する
+ *     consumer レベル API のため **含めない**（examples/src/core.ts に残置）。
+ */
+export declare const SPEC_VERSIONS: {
+    readonly expression: 1;
+    readonly template: 1;
+    readonly plan: 1;
+    readonly canonical: 1;
+};
+/** validateEnvelope に渡す graphddb 形式の既定 supported 版（`"<major>.<minor>"`）。 */
+export declare const ENVELOPE_SPEC_VERSION: "1.1";
+export type { Value, Scope } from "./expr-eval.js";
+export { evaluate as evaluateExpression, encodeValue, cmpCodePoints, ExprFailure } from "./expr-eval.js";
+export type { FailureCode as ExprFailureCode } from "./expr-eval.js";
+export { renderTemplate, resolvePartial, TemplateFailure } from "./template.js";
+export type { TemplateFailureCode } from "./template.js";
+export { runPlan, finalTree, PlanFailure } from "./plan.js";
+export type { ExecutionPlanSpec, OpSpec, Exec, ExecOutcome, RunResult, PolicyKind, RelationKind, PlanFailureCode, } from "./plan.js";
+export { canonicalValue, canonicalJson, pyFloatRepr, CanonicalFailure } from "./canonical.js";
+export type { CanonicalFailureCode } from "./canonical.js";
+export { validateEnvelope, EnvelopeFailure } from "./envelope.js";
+export type { EnvelopeFailureCode } from "./envelope.js";
+export { assertPortable, PortabilityError } from "./guard.js";
+export { decodeValue, deepEquals } from "./codec.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAIH,eAAO,MAAM,aAAa;;;;;CAKhB,CAAC;AAEX,4EAA4E;AAC5E,eAAO,MAAM,qBAAqB,EAAG,KAAc,CAAC;AAGpD,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAGnD,OAAO,EAAE,QAAQ,IAAI,kBAAkB,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AACzG,YAAY,EAAE,WAAW,IAAI,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGrE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChF,YAAY,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC5D,YAAY,EACV,iBAAiB,EACjB,MAAM,EACN,IAAI,EACJ,WAAW,EACX,SAAS,EACT,UAAU,EACV,YAAY,EACZ,eAAe,GAChB,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC9F,YAAY,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAG3D,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAClE,YAAY,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzD,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAG9D,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,46 @@
+/**
+ * behavior-contracts — 多言語 IR-Runtime 共通層（TS 実装）。
+ *
+ * runtime-boundary.md で COMMON と判定された「薄い核」プリミティブのみを公開する。
+ * DynamoDB / graphddb 固有の概念（backend 実行・key resolution・retry Tuning・hydrate・
+ * bundle 形式）は一切含まない（それらは consumer に残る）。この package が該当ロジックの
+ * **単一の真実源（single source of truth）**であり、examples/ はここから import する。
+ *
+ * 公開 COMMON プリミティブ（runtime-boundary.md §2.1）:
+ *   - validateEnvelope      — spec-version fail-closed 検査
+ *   - evaluateExpression    — expression-ir.md の規範評価
+ *   - renderTemplate        — `{param}` 束縛描画（strict）
+ *   - runPlan               — 実行計画の骨格実行（stage / Skip 伝播 / Policy Kind）
+ *   - canonicalValue / canonicalJson / pyFloatRepr — 決定的正準直列化
+ *   - assertPortable        — Portability Guard（IR 可搬性不変条件）
+ *   - decodeValue / deepEquals — conformance runner adapter 共通部
+ *
+ * 除外の判断（runtime-boundary.md 準拠）:
+ *   - Contract Service（makeContractService）/ buildIR は graphddb の Metadata 形状に依存する
+ *     consumer レベル API のため **含めない**（examples/src/core.ts に残置）。
+ */
+// ── 対応する仕様バージョン（IR/vector の spec version。ライブラリ semver とは別管理）──
+// runtime-plan.md §3: 各ライブラリは対応 spec version を宣言し、範囲外は fail-closed。
+export const SPEC_VERSIONS = {
+    expression: 1,
+    template: 1,
+    plan: 1,
+    canonical: 1,
+};
+/** validateEnvelope に渡す graphddb 形式の既定 supported 版（`"<major>.<minor>"`）。 */
+export const ENVELOPE_SPEC_VERSION = "1.1";
+// ── expression（evaluateExpression） ──────────────────────────────────────────
+export { evaluate as evaluateExpression, encodeValue, cmpCodePoints, ExprFailure } from "./expr-eval.js";
+// ── template（renderTemplate） ────────────────────────────────────────────────
+export { renderTemplate, resolvePartial, TemplateFailure } from "./template.js";
+// ── plan（runPlan） ───────────────────────────────────────────────────────────
+export { runPlan, finalTree, PlanFailure } from "./plan.js";
+// ── canonical（canonicalValue / canonicalJson / pyFloatRepr） ─────────────────
+export { canonicalValue, canonicalJson, pyFloatRepr, CanonicalFailure } from "./canonical.js";
+// ── envelope（validateEnvelope） ──────────────────────────────────────────────
+export { validateEnvelope, EnvelopeFailure } from "./envelope.js";
+// ── guard（Portability Guard） ────────────────────────────────────────────────
+export { assertPortable, PortabilityError } from "./guard.js";
+// ── conformance runner adapter 共通部 ─────────────────────────────────────────
+export { decodeValue, deepEquals } from "./codec.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,gEAAgE;AAChE,oEAAoE;AACpE,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,UAAU,EAAE,CAAC;IACb,QAAQ,EAAE,CAAC;IACX,IAAI,EAAE,CAAC;IACP,SAAS,EAAE,CAAC;CACJ,CAAC;AAEX,4EAA4E;AAC5E,MAAM,CAAC,MAAM,qBAAqB,GAAG,KAAc,CAAC;AAKpD,+EAA+E;AAC/E,OAAO,EAAE,QAAQ,IAAI,kBAAkB,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAGzG,+EAA+E;AAC/E,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGhF,+EAA+E;AAC/E,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAY5D,+EAA+E;AAC/E,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAG9F,+EAA+E;AAC/E,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAGlE,+EAA+E;AAC/E,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE9D,8EAA8E;AAC9E,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC"}

package/dist/plan.d.ts

@@ -0,0 +1,82 @@
+/**
+ * plan.ts — execution-plan.md の参照実装（doc-grade, COMMON）。
+ *
+ * runPlan(plan, ops, exec): stage groups を逐次実行し、各 stage 内を bounded 並行で回し、
+ * 未生成 Port の Skip 伝播と Error Policy Kind（fail/retry/continue）を解釈して
+ * 決定的な result tree（Φ 合流）を返す。**ノード実行は consumer コールバック `exec` に委譲**。
+ *
+ * 実装状況ラベル（execution-plan.md §2/§3 冒頭）:
+ *   - null-binding skip: graphddb 実装済み（データ駆動）。
+ *   - continue policy 起因の skip / op-level retry Kind: 規範（additive/aspirational）。
+ * このキットは**規範（spec）挙動**を検証する（graphddb ミラーではない、runtime-boundary の指示）。
+ *
+ * 決定性の要（execution-plan.md §4）:
+ *   - mapWithConcurrency は入力順を保存（output[i] = worker(items[i])）。完了順非依存。
+ *   - stage 間は逐次（後 stage が前 stage の result を読む）。
+ *   - 各 worker は result tree の disjoint スロット（自ノードの port）に書く → Φ 合流は決定的。
+ */
+import type { Value } from "./expr-eval.js";
+export interface ExecutionPlanSpec {
+    groups: number[][];
+    concurrency: number;
+}
+export type PolicyKind = "fail" | "retry" | "continue";
+export type RelationKind = "single" | "connection";
+export interface OpSpec {
+    /** 表示・デバッグ用 */
+    id: string;
+    /** この op が依存する親 op の index（{result.*} 供給元）。root は null。 */
+    parent: number | null;
+    /** 親 result のどのフィールドを束縛キーに読むか（null/欠落なら null-binding skip）。 */
+    bindField?: string;
+    /** この op の未生成表現の種別（single=null / connection=空 connection）。 */
+    relationKind?: RelationKind;
+    /** Error Policy Kind（既定 fail）。 */
+    policy?: PolicyKind;
+}
+/** consumer が供給するノード実行結果（mock）。 */
+export type ExecOutcome = {
+    ok: Value;
+} | {
+    error: string;
+};
+/** exec(op, boundValue) — boundValue は親 result[bindField]（root は null）。 */
+export type Exec = (op: OpSpec, boundValue: Value | undefined) => ExecOutcome;
+type OpState = {
+    status: "ok";
+    value: Value;
+} | {
+    status: "skipped";
+} | {
+    status: "failed";
+    error: string;
+};
+export type PlanFailureCode = "OP_FAILED" | "UNKNOWN_POLICY" | "INVALID_PLAN";
+export declare class PlanFailure extends Error {
+    code: PlanFailureCode;
+    constructor(code: PlanFailureCode, message: string);
+}
+export interface RunResult {
+    /** 各 op の最終状態（Φ 合流結果。index 順）。 */
+    states: OpState[];
+    /** 実際に exec が呼ばれた op id 列（呼び出し順ではなく index 昇順で正規化）。 */
+    executed: string[];
+    /** skip された op id（index 昇順）。 */
+    skipped: string[];
+}
+/**
+ * runPlan — execution-plan.md の骨格。
+ *
+ * @param plan  groups/concurrency。null なら 1 op = 1 stage の逐次 fallback（§4）。
+ * @param ops   operation 定義（index 順。ops[0] は root）。
+ * @param exec  ノード実行 mock（consumer 委譲）。
+ */
+export declare function runPlan(plan: ExecutionPlanSpec | null, ops: OpSpec[], exec: Exec): RunResult;
+/**
+ * finalTree — states を index→port の result tree（Φ 合流の観測形）へ整形する。
+ * ok → 値 / skipped → 未生成表現（single=null / connection=空 connection）。
+ * conformance vector はこの tree を期待値と byte 比較する（canonicalJson 経由）。
+ */
+export declare function finalTree(states: OpState[], ops: OpSpec[]): Record<string, Value>;
+export {};
+//# sourceMappingURL=plan.d.ts.map

package/dist/plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAG5C,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,OAAO,GAAG,UAAU,CAAC;AACvD,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,YAAY,CAAC;AAEnD,MAAM,WAAW,MAAM;IACrB,eAAe;IACf,EAAE,EAAE,MAAM,CAAC;IACX,2DAA2D;IAC3D,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,+DAA+D;IAC/D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8DAA8D;IAC9D,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,kCAAkC;IAClC,MAAM,CAAC,EAAE,UAAU,CAAC;CACrB;AAED,mCAAmC;AACnC,MAAM,MAAM,WAAW,GACnB;IAAE,EAAE,EAAE,KAAK,CAAA;CAAE,GACb;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtB,2EAA2E;AAC3E,MAAM,MAAM,IAAI,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,GAAG,SAAS,KAAK,WAAW,CAAC;AAG9E,KAAK,OAAO,GACR;IAAE,MAAM,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GAC9B;IAAE,MAAM,EAAE,SAAS,CAAA;CAAE,GACrB;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAExC,MAAM,MAAM,eAAe,GACvB,WAAW,GACX,gBAAgB,GAChB,cAAc,CAAC;AAEnB,qBAAa,WAAY,SAAQ,KAAK;IACpC,IAAI,EAAE,eAAe,CAAC;gBACV,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM;CAKnD;AAMD,MAAM,WAAW,SAAS;IACxB,kCAAkC;IAClC,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,sDAAsD;IACtD,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,gCAAgC;IAChC,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAOD;;;;;;GAMG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,iBAAiB,GAAG,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,CA6B5F;AA0ED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAQjF"}