behavior-contracts 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 foo-ogawa
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,58 @@
+# behavior-contracts
+
+Language-agnostic runtime **core** for behavior contracts (the `dsl-contracts`
+project). It is the TypeScript reference implementation of the shared, thin
+DSL→Metadata→IR→Runtime primitives — the single source of truth that the
+Python, Rust, and Go runtimes conform to via a shared 93-vector conformance
+suite.
+
+> This package publishes **only** the COMMON primitives judged portable in
+> `runtime-boundary.md`. Backend execution, key resolution, retry tuning, and
+> hydrate logic are consumer-specific and are intentionally **not** included.
+
+## Install
+
+```bash
+npm i behavior-contracts
+```
+
+Requires Node.js >= 22 (ESM only).
+
+## Public primitives
+
+| Export | Purpose |
+|---|---|
+| `validateEnvelope` | spec-version fail-closed validation (loud-rejects unknown versions) |
+| `evaluateExpression` | evaluate the portable expression IR |
+| `renderTemplate` | pure `{param}` string substitution |
+| `runPlan` | execute the portable execution-plan IR |
+| `canonicalValue` / `canonicalJson` | deterministic canonical serialization (sorted keys, compact JSON, `repr(float)`-parity decimals) |
+
+## Usage
+
+```ts
+import { validateEnvelope, renderTemplate, canonicalJson } from "behavior-contracts";
+
+validateEnvelope(envelope); // throws on unknown/incompatible spec version
+
+renderTemplate("hello {name}", { name: "world" }); // "hello world"
+
+canonicalJson({ b: 1, a: 2 }); // '{"a":2,"b":1}'
+```
+
+## Spec versions
+
+This package tracks the IR/vector protocol versions independently from its
+library (semver) version:
+
+| Spec | Version |
+|---|---|
+| expression | 1 |
+| template | 1 |
+| plan | 1 |
+| canonical | 1 |
+| envelope | 1.1 |
+
+## License
+
+MIT — see [LICENSE](./LICENSE).

package/dist/canonical.d.ts

@@ -0,0 +1,46 @@
+/**
+ * canonical.ts — canonical-serialization.md の参照実装（doc-grade, COMMON）。
+ *
+ * 提供する 3 プリミティブ:
+ *   - pyFloatRepr(n)      : CPython repr(float) 相当の正準10進（parity SSoT = Python）
+ *   - canonicalValue(v)   : key identity（トップレベルのみキーソート）  — §2 serializeContractKey
+ *   - canonicalJson(v)    : fingerprint（全階層キーソート）             — §3 canonicalJson
+ *
+ * 値モデルは expr-eval.ts と共有（bigint=int / number=float / string / bool / null / arr / obj）。
+ * 型付き値エンコード（{int:"..."} / {float:n}）は canonicalJson/canonicalValue が
+ * 「値」を直列化するときの中間表現ではなく、expr-eval.encodeValue（IR 層）が担う点に注意
+ * （canonical-serialization.md §4.3: IR 直列化と値直列化は別層）。ここでは runtime 値の直列化を扱う:
+ *   - int（bigint）  → 素の JSON 整数（範囲外も 10 進整数として素通し。DynamoDB N 値層）
+ *   - float（number）→ pyFloatRepr（§4.1）。NaN/±Inf は Failure（§4.1-6）
+ *
+ * canonical-serialization.md §4.1 の CPython format_float_short('r') を移植する。
+ */
+import type { Value } from "./expr-eval.js";
+export type CanonicalFailureCode = "NAN_OR_INF" | "INVALID_VALUE";
+export declare class CanonicalFailure extends Error {
+    code: CanonicalFailureCode;
+    constructor(code: CanonicalFailureCode, message: string);
+}
+/**
+ * pyFloatRepr — CPython の repr(float) / json.dumps(float) と byte 一致する 10 進表現。
+ *
+ * 規則（canonical-serialization.md §4.1 / CPython format_float_short('r')）:
+ *   1. 最短往復 digits（JS の Number.prototype.toString(10) は shortest round-trip を出す）。
+ *   2. scientific 判定: decpt <= -4 || decpt > 16 のとき指数表記。
+ *   3. 指数は符号つき・最低 2 桁 zero-pad（e+05 / e-07）。
+ *   4. 整数値 float は `.0` を保つ（123 → "123.0"）。
+ *   5. -0.0 は "-0.0"、+0.0 は "0.0"（signbit で復元）。
+ *   6. NaN / ±Inf は Failure。
+ *
+ * decpt は「10 進小数点の位置」= CPython の decpt。digits d1d2… に対し値 = 0.d1d2… × 10^decpt。
+ */
+export declare function pyFloatRepr(n: number): string;
+/**
+ * canonicalValue — key identity 用の正準直列化。
+ * トップレベル object のキーのみ昇順ソートし、compact JSON を返す。
+ * ネスト値は挿入順のまま（canonical-serialization.md §2 の注: ネスト key identity は canonicalJson を使う）。
+ */
+export declare function canonicalValue(v: Value): string;
+/** canonicalJson — fingerprint 用。全 object 階層のキーを昇順ソート（配列は順序保持）。 */
+export declare function canonicalJson(v: Value): string;
+//# sourceMappingURL=canonical.d.ts.map

package/dist/canonical.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../src/canonical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAI5C,MAAM,MAAM,oBAAoB,GAC5B,YAAY,GACZ,eAAe,CAAC;AAEpB,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,oBAAoB,CAAC;gBACf,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,MAAM;CAKxD;AAOD;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAmB7C;AA+ED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAO/C;AAGD,mEAAmE;AACnE,wBAAgB,aAAa,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAQ9C"}

package/dist/canonical.js

@@ -0,0 +1,182 @@
+import { cmpCodePoints } from "./expr-eval.js";
+export class CanonicalFailure extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "CanonicalFailure";
+    }
+}
+function fail(code, message) {
+    throw new CanonicalFailure(code, message);
+}
+// ── §4.1 float の正準10進（CPython repr(float)）────────────────────────────────
+/**
+ * pyFloatRepr — CPython の repr(float) / json.dumps(float) と byte 一致する 10 進表現。
+ *
+ * 規則（canonical-serialization.md §4.1 / CPython format_float_short('r')）:
+ *   1. 最短往復 digits（JS の Number.prototype.toString(10) は shortest round-trip を出す）。
+ *   2. scientific 判定: decpt <= -4 || decpt > 16 のとき指数表記。
+ *   3. 指数は符号つき・最低 2 桁 zero-pad（e+05 / e-07）。
+ *   4. 整数値 float は `.0` を保つ（123 → "123.0"）。
+ *   5. -0.0 は "-0.0"、+0.0 は "0.0"（signbit で復元）。
+ *   6. NaN / ±Inf は Failure。
+ *
+ * decpt は「10 進小数点の位置」= CPython の decpt。digits d1d2… に対し値 = 0.d1d2… × 10^decpt。
+ */
+export function pyFloatRepr(n) {
+    if (Number.isNaN(n) || !Number.isFinite(n))
+        fail("NAN_OR_INF", `non-finite float cannot be serialized: ${n}`);
+    // §4.1-5: 符号 0 の扱い。-0.0 を signbit で捕捉。
+    if (n === 0)
+        return Object.is(n, -0) ? "-0.0" : "0.0";
+    const neg = n < 0;
+    const abs = Math.abs(n);
+    // 最短往復の有効数字列と 10 進指数を得る（JS の toExponential は shortest を返さないので
+    // まず toString で shortest digits を確保し、そこから digits/decpt を導出する）。
+    const { digits, decpt } = shortestDigits(abs);
+    const body = decpt <= -4 || decpt > 16
+        ? formatScientific(digits, decpt)
+        : formatFixed(digits, decpt);
+    return neg ? "-" + body : body;
+}
+/**
+ * shortestDigits — 正の有限 float から shortest round-trip の
+ *   digits（先頭ゼロ・末尾ゼロを除いた有効数字列）と decpt（10 進小数点位置）を得る。
+ * 値 = 0.<digits> × 10^decpt（CPython の David Gay mode 0 と同じ意味の decpt）。
+ */
+function shortestDigits(abs) {
+    // JS の Number#toString(10) は shortest round-trip を出す。
+    // これを指数表記に正規化して digits と 10 進指数 e（値 = d.ddd × 10^e）を取り出す。
+    const s = abs.toString(); // 例: "123", "1.5", "1e-7", "1.25e+30"
+    let mantissa;
+    let exp;
+    const eIdx = s.indexOf("e");
+    if (eIdx >= 0) {
+        mantissa = s.slice(0, eIdx);
+        exp = parseInt(s.slice(eIdx + 1), 10);
+    }
+    else {
+        mantissa = s;
+        exp = 0;
+    }
+    // mantissa を "整数部.小数部" に分解し、全 digits と小数点位置を求める。
+    const dot = mantissa.indexOf(".");
+    let intPart;
+    let fracPart;
+    if (dot >= 0) {
+        intPart = mantissa.slice(0, dot);
+        fracPart = mantissa.slice(dot + 1);
+    }
+    else {
+        intPart = mantissa;
+        fracPart = "";
+    }
+    // 全 digit 列（小数点を除去）と、その先頭からの小数点位置（整数部の桁数）。
+    let allDigits = intPart + fracPart;
+    // decpt(暫定) = 整数部桁数 + exp（値 = <allDigits を 0.d… とみなす> × 10^decpt）
+    let decpt = intPart.length + exp;
+    // 先頭ゼロを除去し decpt を調整（"0025" → digits="25", 先頭 2 ゼロぶん decpt を減らす）。
+    let lead = 0;
+    while (lead < allDigits.length - 1 && allDigits[lead] === "0")
+        lead++;
+    if (lead > 0) {
+        allDigits = allDigits.slice(lead);
+        decpt -= lead;
+    }
+    // 末尾ゼロを除去（有効数字のみ残す）。
+    allDigits = allDigits.replace(/0+$/, "");
+    if (allDigits === "") {
+        // 値 0（呼び出し側で 0 は処理済みなので通常到達しない）。
+        return { digits: "0", decpt: 1 };
+    }
+    return { digits: allDigits, decpt };
+}
+/** 固定小数点表記。整数値 float は `.0` を付ける（§4.1-4）。 */
+function formatFixed(digits, decpt) {
+    if (decpt <= 0) {
+        // 0.00ddd 形式。小数点直後に (-decpt) 個のゼロ。
+        return "0." + "0".repeat(-decpt) + digits;
+    }
+    if (decpt >= digits.length) {
+        // 整数値。末尾ゼロを補い `.0` を付ける。
+        return digits + "0".repeat(decpt - digits.length) + ".0";
+    }
+    // 小数点が digits の途中。
+    return digits.slice(0, decpt) + "." + digits.slice(decpt);
+}
+/** 指数表記。d.ddde±XX（指数は最低 2 桁 zero-pad）（§4.1-2/3）。 */
+function formatScientific(digits, decpt) {
+    // CPython: 仮数は d1.d2d3…、指数 = decpt - 1。
+    const first = digits[0];
+    const rest = digits.slice(1);
+    const mant = rest.length > 0 ? `${first}.${rest}` : first;
+    const e = decpt - 1;
+    const sign = e < 0 ? "-" : "+";
+    const mag = Math.abs(e).toString().padStart(2, "0");
+    return `${mant}e${sign}${mag}`;
+}
+// ── §2 canonicalValue（serializeContractKey）— トップレベルのみキーソート ──────────
+/**
+ * canonicalValue — key identity 用の正準直列化。
+ * トップレベル object のキーのみ昇順ソートし、compact JSON を返す。
+ * ネスト値は挿入順のまま（canonical-serialization.md §2 の注: ネスト key identity は canonicalJson を使う）。
+ */
+export function canonicalValue(v) {
+    if (isPlainObject(v)) {
+        const keys = Object.keys(v).sort(cmpCodePoints); // トップレベルのみソート（code-point 順）
+        const parts = keys.map((k) => `${jsonString(k)}:${encodeNested(v[k])}`);
+        return `{${parts.join(",")}}`;
+    }
+    return encodeNested(v);
+}
+// ── §3 canonicalJson — 全階層キーソート ────────────────────────────────────────
+/** canonicalJson — fingerprint 用。全 object 階層のキーを昇順ソート（配列は順序保持）。 */
+export function canonicalJson(v) {
+    if (isPlainObject(v)) {
+        const keys = Object.keys(v).sort(cmpCodePoints);
+        const parts = keys.map((k) => `${jsonString(k)}:${canonicalJson(v[k])}`);
+        return `{${parts.join(",")}}`;
+    }
+    if (Array.isArray(v))
+        return `[${v.map(canonicalJson).join(",")}]`;
+    return scalarJson(v);
+}
+// ── 内部: ネスト値の直列化（canonicalValue 用。ネスト object は挿入順）──────────────
+function encodeNested(v) {
+    if (isPlainObject(v)) {
+        const parts = Object.keys(v).map((k) => `${jsonString(k)}:${encodeNested(v[k])}`);
+        return `{${parts.join(",")}}`;
+    }
+    if (Array.isArray(v))
+        return `[${v.map(encodeNested).join(",")}]`;
+    return scalarJson(v);
+}
+/** スカラ（int/float/string/bool/null）の JSON 直列化。float は pyFloatRepr。 */
+function scalarJson(v) {
+    if (v === null)
+        return "null";
+    if (typeof v === "boolean")
+        return v ? "true" : "false";
+    if (typeof v === "string")
+        return jsonString(v);
+    if (typeof v === "bigint")
+        return v.toString(); // int: 素の 10 進整数（値層 JSON number）
+    if (typeof v === "number")
+        return pyFloatRepr(v); // float: CPython repr（§4.1）
+    fail("INVALID_VALUE", `cannot serialize value of unknown type`);
+}
+/**
+ * jsonString — 文字列を JSON 直列化（ensure_ascii=False 相当 = 非 ASCII 素通し）。
+ * JSON.stringify の既定と一致（BMP 外は surrogate pair のまま。§6 罠）。
+ */
+function jsonString(s) {
+    return JSON.stringify(s);
+}
+// キーソートは code-point 順が規範（canonical-serialization.md §2/§6。expr-eval の
+// cmpCodePoints を再利用。JS の既定 Array#sort は UTF-16 code unit 順で astral-plane キーが
+// 食い違うため使わない）。
+function isPlainObject(v) {
+    return typeof v === "object" && v !== null && !Array.isArray(v);
+}
+//# sourceMappingURL=canonical.js.map

package/dist/canonical.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../src/canonical.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAO/C,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,IAAI,CAAuB;IAC3B,YAAY,IAA0B,EAAE,OAAe;QACrD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,SAAS,IAAI,CAAC,IAA0B,EAAE,OAAe;IACvD,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAED,4EAA4E;AAC5E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS;IACnC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,YAAY,EAAE,0CAA0C,CAAC,EAAE,CAAC,CAAC;IAEpE,uCAAuC;IACvC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;IAEtD,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAExB,8DAA8D;IAC9D,+DAA+D;IAC/D,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAE9C,MAAM,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,EAAE;QACpC,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;QACjC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAE/B,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACjC,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,GAAW;IACjC,sDAAsD;IACtD,0DAA0D;IAC1D,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,sCAAsC;IAChE,IAAI,QAAgB,CAAC;IACrB,IAAI,GAAW,CAAC;IAChB,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACd,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5B,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACxC,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,CAAC,CAAC;QACb,GAAG,GAAG,CAAC,CAAC;IACV,CAAC;IACD,iDAAiD;IACjD,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,OAAe,CAAC;IACpB,IAAI,QAAgB,CAAC;IACrB,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACb,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;IACrC,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,QAAQ,CAAC;QACnB,QAAQ,GAAG,EAAE,CAAC;IAChB,CAAC;IACD,2CAA2C;IAC3C,IAAI,SAAS,GAAG,OAAO,GAAG,QAAQ,CAAC;IACnC,kEAAkE;IAClE,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC;IACjC,kEAAkE;IAClE,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,OAAO,IAAI,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,GAAG;QAAE,IAAI,EAAE,CAAC;IACtE,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;QACb,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,IAAI,IAAI,CAAC;IAChB,CAAC;IACD,qBAAqB;IACrB,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACzC,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACrB,iCAAiC;QACjC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC;AAED,6CAA6C;AAC7C,SAAS,WAAW,CAAC,MAAc,EAAE,KAAa;IAChD,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,mCAAmC;QACnC,OAAO,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC;IAC5C,CAAC;IACD,IAAI,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC3B,yBAAyB;QACzB,OAAO,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC3D,CAAC;IACD,mBAAmB;IACnB,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED,oDAAoD;AACpD,SAAS,gBAAgB,CAAC,MAAc,EAAE,KAAa;IACrD,wCAAwC;IACxC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IAC1D,MAAM,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IACpB,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACpD,OAAO,GAAG,IAAI,IAAI,IAAI,GAAG,GAAG,EAAE,CAAC;AACjC,CAAC;AAED,uEAAuE;AACvE;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,CAAQ;IACrC,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,4BAA4B;QAC7E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAChC,CAAC;IACD,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC;AACzB,CAAC;AAED,0EAA0E;AAC1E,mEAAmE;AACnE,MAAM,UAAU,aAAa,CAAC,CAAQ;IACpC,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAChC,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACnE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,kEAAkE;AAClE,SAAS,YAAY,CAAC,CAAQ;IAC5B,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClF,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAChC,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAClE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,qEAAqE;AACrE,SAAS,UAAU,CAAC,CAAQ;IAC1B,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IACxD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IAChD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,iCAAiC;IACjF,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;IAC9E,IAAI,CAAC,eAAe,EAAE,wCAAwC,CAAC,CAAC;AAClE,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,sEAAsE;AACtE,8EAA8E;AAC9E,eAAe;AAEf,SAAS,aAAa,CAAC,CAAQ;IAC7B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC"}

package/dist/codec.d.ts

@@ -0,0 +1,24 @@
+/**
+ * codec.ts — conformance runner adapter の共通部（runtime-boundary.md §2.1 COMMON）。
+ *
+ * golden vector の型付き値エンコード（`{int:"..."}` / `{float:n}` / `{nan}` / `{inf}` / 素の
+ * JSON number 分類）と runtime {@link Value} との相互変換、および int/float を型で区別する
+ * 深い等価判定。全言語 runner が同じ判定規則で同じ pass/fail を出すための共有ロジック
+ * （conformance/PROTOCOL.md §4）。DSL 非依存。
+ */
+import type { Value } from "./expr-eval.js";
+/**
+ * decodeValue — golden vector の JSON 値表現を runtime {@link Value} へ復元する。
+ * expression-ir.md §2.3 の逆写像:
+ *   - 素の JSON number: 整数値 → int（bigint）、小数部あり → float（number）。
+ *   - `{int:"..."}` → bigint（安全整数域外も表現可能）。
+ *   - `{float:n}` → number（整数値 float を明示）。
+ *   - `{nan}` / `{inf: ±1}` → NaN / ±Infinity（canonical の Failure テスト用）。
+ */
+export declare function decodeValue(x: unknown): Value;
+/**
+ * deepEquals — int/float を型で区別する深い等価（PROTOCOL.md §4）。
+ * bigint(int) と number(float) は等しくない。NaN は NaN と等しいとみなす（Failure 判定用）。
+ */
+export declare function deepEquals(a: Value, b: Value): boolean;
+//# sourceMappingURL=codec.d.ts.map

package/dist/codec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAE5C;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,GAAG,KAAK,CAqB7C;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,OAAO,CActD"}

package/dist/codec.js

@@ -0,0 +1,65 @@
+/**
+ * decodeValue — golden vector の JSON 値表現を runtime {@link Value} へ復元する。
+ * expression-ir.md §2.3 の逆写像:
+ *   - 素の JSON number: 整数値 → int（bigint）、小数部あり → float（number）。
+ *   - `{int:"..."}` → bigint（安全整数域外も表現可能）。
+ *   - `{float:n}` → number（整数値 float を明示）。
+ *   - `{nan}` / `{inf: ±1}` → NaN / ±Infinity（canonical の Failure テスト用）。
+ */
+export function decodeValue(x) {
+    if (x === null)
+        return null;
+    if (typeof x === "boolean" || typeof x === "string")
+        return x;
+    if (typeof x === "number") {
+        return Number.isInteger(x) ? BigInt(x) : x;
+    }
+    if (Array.isArray(x))
+        return x.map(decodeValue);
+    if (typeof x === "object") {
+        const o = x;
+        const keys = Object.keys(o);
+        if (keys.length === 1) {
+            if (keys[0] === "int" && typeof o.int === "string")
+                return BigInt(o.int);
+            if (keys[0] === "float" && typeof o.float === "number")
+                return o.float;
+            if (keys[0] === "nan")
+                return NaN;
+            if (keys[0] === "inf")
+                return o.inf < 0 ? -Infinity : Infinity;
+        }
+        const out = {};
+        for (const k of keys)
+            out[k] = decodeValue(o[k]);
+        return out;
+    }
+    throw new Error(`cannot decode value: ${String(x)}`);
+}
+/**
+ * deepEquals — int/float を型で区別する深い等価（PROTOCOL.md §4）。
+ * bigint(int) と number(float) は等しくない。NaN は NaN と等しいとみなす（Failure 判定用）。
+ */
+export function deepEquals(a, b) {
+    if (a === null || b === null)
+        return a === b;
+    if (typeof a !== typeof b)
+        return false;
+    if (typeof a === "bigint" || typeof a === "string" || typeof a === "boolean")
+        return a === b;
+    if (typeof a === "number")
+        return a === b || (Number.isNaN(a) && Number.isNaN(b));
+    if (Array.isArray(a)) {
+        if (!Array.isArray(b) || a.length !== b.length)
+            return false;
+        return a.every((v, i) => deepEquals(v, b[i]));
+    }
+    if (Array.isArray(b))
+        return false;
+    const ka = Object.keys(a).sort();
+    const kb = Object.keys(b).sort();
+    if (ka.length !== kb.length || ka.some((k, i) => k !== kb[i]))
+        return false;
+    return ka.every((k) => deepEquals(a[k], b[k]));
+}
+//# sourceMappingURL=codec.js.map

package/dist/codec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.js","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAUA;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,CAAU;IACpC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,OAAO,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAChD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,CAA4B,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACzE,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,CAAC,CAAC,KAAK,CAAC;YACvE,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK;gBAAE,OAAO,GAAG,CAAC;YAClC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK;gBAAE,OAAQ,CAAC,CAAC,GAAc,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC7E,CAAC;QACD,MAAM,GAAG,GAA0B,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,wBAAwB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACvD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,CAAQ,EAAE,CAAQ;IAC3C,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7F,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAW,CAAC,CAAC,CAAC;IAC5F,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC7D,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAG,CAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAA0B,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1D,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5E,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAE,CAA2B,CAAC,CAAC,CAAC,EAAG,CAA2B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvG,CAAC"}

package/dist/envelope.d.ts

@@ -0,0 +1,34 @@
+/**
+ * envelope.ts — validateEnvelope（spec-version fail-closed 検査）。
+ *
+ * runtime-boundary.md §2.1 の COMMON プリミティブ `validateEnvelope`。graphddb の
+ * `_validate_spec_version`（`runtime.py:66`）/ Rust `validate_spec_version` を
+ * DSL 非依存の形に一般化したもの。DynamoDB 概念はゼロ — `<major>.<minor>` の比較機構のみ。
+ *
+ * 互換規則（graphddb と同一・PROTOCOL.md §5 の fail-closed 規律）:
+ *   - version 文字列は `"<major>.<minor>"`（整数 2 つ）でなければならない。形式違反は fail-closed。
+ *   - **major は supported major と一致**しなければならない（major bump = 破壊的変更）。
+ *   - **minor は supported minor 以下**でなければならない（minor は additive）。
+ *   - 未知（範囲外）version は黙って通さず loud reject する。
+ *
+ * `supported` は consumer が渡す（core は比較機構を提供するのみ。boundary §2.1）。
+ */
+export type EnvelopeFailureCode = "MISSING_VERSION" | "MALFORMED_VERSION" | "UNSUPPORTED_MAJOR" | "UNSUPPORTED_MINOR";
+export declare class EnvelopeFailure extends Error {
+    code: EnvelopeFailureCode;
+    constructor(code: EnvelopeFailureCode, message: string);
+}
+/**
+ * validateEnvelope — envelope の spec version を fail-closed で検査する。
+ *
+ * @param envelope   `specVersion` を持つ任意の document（graphddb の manifest/operations 等）。
+ * @param supported  この runtime が対応する版 `"<major>.<minor>"`（consumer が宣言）。
+ * @param opts.field version を読むフィールド名（既定 `"specVersion"`）。
+ * @param opts.label エラーメッセージ用ラベル（既定 `"envelope"`）。
+ * @throws {EnvelopeFailure} 形式違反・未対応 major/minor のとき。
+ */
+export declare function validateEnvelope(envelope: unknown, supported: string, opts?: {
+    field?: string;
+    label?: string;
+}): void;
+//# sourceMappingURL=envelope.d.ts.map

package/dist/envelope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"envelope.d.ts","sourceRoot":"","sources":["../src/envelope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,MAAM,MAAM,mBAAmB,GAC3B,iBAAiB,GACjB,mBAAmB,GACnB,mBAAmB,GACnB,mBAAmB,CAAC;AAExB,qBAAa,eAAgB,SAAQ,KAAK;IACxC,IAAI,EAAE,mBAAmB,CAAC;gBACd,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM;CAKvD;AAiBD;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,OAAO,EACjB,SAAS,EAAE,MAAM,EACjB,IAAI,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAO,GAC5C,IAAI,CAsBN"}

package/dist/envelope.js

@@ -0,0 +1,61 @@
+/**
+ * envelope.ts — validateEnvelope（spec-version fail-closed 検査）。
+ *
+ * runtime-boundary.md §2.1 の COMMON プリミティブ `validateEnvelope`。graphddb の
+ * `_validate_spec_version`（`runtime.py:66`）/ Rust `validate_spec_version` を
+ * DSL 非依存の形に一般化したもの。DynamoDB 概念はゼロ — `<major>.<minor>` の比較機構のみ。
+ *
+ * 互換規則（graphddb と同一・PROTOCOL.md §5 の fail-closed 規律）:
+ *   - version 文字列は `"<major>.<minor>"`（整数 2 つ）でなければならない。形式違反は fail-closed。
+ *   - **major は supported major と一致**しなければならない（major bump = 破壊的変更）。
+ *   - **minor は supported minor 以下**でなければならない（minor は additive）。
+ *   - 未知（範囲外）version は黙って通さず loud reject する。
+ *
+ * `supported` は consumer が渡す（core は比較機構を提供するのみ。boundary §2.1）。
+ */
+export class EnvelopeFailure extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "EnvelopeFailure";
+    }
+}
+function fail(code, message) {
+    throw new EnvelopeFailure(code, message);
+}
+/** `"<major>.<minor>"` を { major, minor } に分解（形式違反は fail-closed）。 */
+function parseVersion(version, label) {
+    const parts = version.split(".");
+    if (parts.length !== 2)
+        fail("MALFORMED_VERSION", `${label}: version '${version}' must be '<major>.<minor>'`);
+    const [majS, minS] = parts;
+    if (!/^\d+$/.test(majS) || !/^\d+$/.test(minS))
+        fail("MALFORMED_VERSION", `${label}: version '${version}' must be two integers '<major>.<minor>'`);
+    return { major: Number(majS), minor: Number(minS) };
+}
+/**
+ * validateEnvelope — envelope の spec version を fail-closed で検査する。
+ *
+ * @param envelope   `specVersion` を持つ任意の document（graphddb の manifest/operations 等）。
+ * @param supported  この runtime が対応する版 `"<major>.<minor>"`（consumer が宣言）。
+ * @param opts.field version を読むフィールド名（既定 `"specVersion"`）。
+ * @param opts.label エラーメッセージ用ラベル（既定 `"envelope"`）。
+ * @throws {EnvelopeFailure} 形式違反・未対応 major/minor のとき。
+ */
+export function validateEnvelope(envelope, supported, opts = {}) {
+    const field = opts.field ?? "specVersion";
+    const label = opts.label ?? "envelope";
+    if (typeof envelope !== "object" || envelope === null)
+        fail("MISSING_VERSION", `${label}: not an object`);
+    const raw = envelope[field];
+    if (typeof raw !== "string")
+        fail("MISSING_VERSION", `${label}: missing string '${field}'`);
+    const got = parseVersion(raw, label);
+    const want = parseVersion(supported, "supported");
+    if (got.major !== want.major)
+        fail("UNSUPPORTED_MAJOR", `${label}: version ${raw} has major ${got.major} but runtime supports major ${want.major}`);
+    if (got.minor > want.minor)
+        fail("UNSUPPORTED_MINOR", `${label}: version ${raw} has minor ${got.minor} > supported minor ${want.minor}`);
+}
+//# sourceMappingURL=envelope.js.map

package/dist/envelope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"envelope.js","sourceRoot":"","sources":["../src/envelope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAQH,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACxC,IAAI,CAAsB;IAC1B,YAAY,IAAyB,EAAE,OAAe;QACpD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED,SAAS,IAAI,CAAC,IAAyB,EAAE,OAAe;IACtD,MAAM,IAAI,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,qEAAqE;AACrE,SAAS,YAAY,CAAC,OAAe,EAAE,KAAa;IAClD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QACpB,IAAI,CAAC,mBAAmB,EAAE,GAAG,KAAK,cAAc,OAAO,6BAA6B,CAAC,CAAC;IACxF,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5C,IAAI,CAAC,mBAAmB,EAAE,GAAG,KAAK,cAAc,OAAO,0CAA0C,CAAC,CAAC;IACrG,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;AACtD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAiB,EACjB,SAAiB,EACjB,OAA2C,EAAE;IAE7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,aAAa,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,UAAU,CAAC;IACvC,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI;QACnD,IAAI,CAAC,iBAAiB,EAAE,GAAG,KAAK,iBAAiB,CAAC,CAAC;IACrD,MAAM,GAAG,GAAI,QAAoC,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,OAAO,GAAG,KAAK,QAAQ;QACzB,IAAI,CAAC,iBAAiB,EAAE,GAAG,KAAK,qBAAqB,KAAK,GAAG,CAAC,CAAC;IAEjE,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAElD,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK;QAC1B,IAAI,CACF,mBAAmB,EACnB,GAAG,KAAK,aAAa,GAAG,cAAc,GAAG,CAAC,KAAK,+BAA+B,IAAI,CAAC,KAAK,EAAE,CAC3F,CAAC;IACJ,IAAI,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK;QACxB,IAAI,CACF,mBAAmB,EACnB,GAAG,KAAK,aAAa,GAAG,cAAc,GAAG,CAAC,KAAK,sBAAsB,IAAI,CAAC,KAAK,EAAE,CAClF,CAAC;AACN,CAAC"}

package/dist/expr-eval.d.ts

@@ -0,0 +1,28 @@
+/**
+ * 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 type Value = bigint | number | string | boolean | null | Value[] | {
+    [k: string]: Value;
+};
+export type Scope = Record<string, Value>;
+export type FailureCode = "INT_OVERFLOW" | "NAN_OR_INF" | "MOD_ZERO" | "PRECISION_LOSS" | "TYPE_MISMATCH" | "NULL_REF" | "MISSING_PROP" | "UNKNOWN_BINDING" | "UNKNOWN_OP" | "INVALID_NODE" | "INVALID_LITERAL";
+export declare class ExprFailure extends Error {
+    code: FailureCode;
+    constructor(code: FailureCode, message: string);
+}
+export declare function cmpCodePoints(a: string, b: string): -1 | 0 | 1;
+export declare function evaluate(node: unknown, scope?: Scope): Value;
+export declare function encodeValue(v: Value): unknown;
+//# sourceMappingURL=expr-eval.d.ts.map

package/dist/expr-eval.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr-eval.d.ts","sourceRoot":"","sources":["../src/expr-eval.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,MAAM,MAAM,KAAK,GACb,MAAM,GACN,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,KAAK,EAAE,GACP;IAAE,CAAC,CAAC,EAAE,MAAM,GAAG,KAAK,CAAA;CAAE,CAAC;AAE3B,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAG1C,MAAM,MAAM,WAAW,GACnB,cAAc,GACd,YAAY,GACZ,UAAU,GACV,gBAAgB,GAChB,eAAe,GACf,UAAU,GACV,cAAc,GACd,iBAAiB,GACjB,YAAY,GACZ,cAAc,GACd,iBAAiB,CAAC;AAEtB,qBAAa,WAAY,SAAQ,KAAK;IACpC,IAAI,EAAE,WAAW,CAAC;gBACN,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM;CAK/C;AAgCD,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAa9D;AAsBD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,GAAE,KAAU,GAAG,KAAK,CAkLhE;AAoCD,wBAAgB,WAAW,CAAC,CAAC,EAAE,KAAK,GAAG,OAAO,CAa7C"}