behavior-contracts 0.1.0

package/dist/plan.js

@@ -0,0 +1,127 @@
+export class PlanFailure extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "PlanFailure";
+    }
+}
+function fail(code, message) {
+    throw new PlanFailure(code, message);
+}
+/** 単一値 relation の未生成 = null / connection の未生成 = {items:[],cursor:null}（§2 末尾）。 */
+function unproducedValue(kind) {
+    return kind === "connection" ? { items: [], cursor: null } : null;
+}
+/**
+ * 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 function runPlan(plan, ops, exec) {
+    const states = new Array(ops.length);
+    const executedIdx = [];
+    const skippedIdx = [];
+    // plan 不在 → 1 op = 1 stage の逐次 fallback（§4 / §6 罠）。
+    const stages = plan
+        ? plan.groups
+        : ops.map((_, i) => [i]);
+    const concurrency = plan ? plan.concurrency : 1;
+    validateCoverage(stages, ops.length);
+    // 逐次 stage × stage 内 bounded 並行（結果は完了順非依存なので直列に評価してよい）。
+    for (const stage of stages) {
+        // mapWithConcurrency は入力順保存・結果不変（§4）。参照実装は決定性のため
+        // index 昇順で評価する（concurrency 値は結果に影響しない — §3「concurrency は結果不変」）。
+        const ordered = [...stage].sort((a, b) => a - b);
+        void concurrency; // plan 構造の一部だが結果を変えない（determinism 保証）
+        for (const i of ordered) {
+            states[i] = runOp(i, ops[i], states, exec, executedIdx, skippedIdx);
+        }
+    }
+    return {
+        states,
+        executed: executedIdx.sort((a, b) => a - b).map((i) => ops[i].id),
+        skipped: skippedIdx.sort((a, b) => a - b).map((i) => ops[i].id),
+    };
+}
+function runOp(i, op, states, exec, executedIdx, skippedIdx) {
+    const policy = op.policy ?? "fail";
+    if (policy !== "fail" && policy !== "retry" && policy !== "continue")
+        fail("UNKNOWN_POLICY", `unknown policy kind: ${policy}`); // fail-closed
+    // ── §2 Skip 伝播: 依存する入力 Port が Success でなければ Skip（下流へ連鎖）──
+    let boundValue = undefined;
+    if (op.parent !== null) {
+        const parent = states[op.parent];
+        // 規則 2: 親が Skip/Failed（未生成）なら子は Skip。
+        if (!parent || parent.status !== "ok") {
+            skippedIdx.push(i);
+            return { status: "skipped" };
+        }
+        // null-binding skip（実装済み・データ駆動）: 親 result[bindField] が null/欠落なら Skip。
+        if (op.bindField !== undefined) {
+            const pv = parent.value;
+            const bound = pv !== null && typeof pv === "object" && !Array.isArray(pv)
+                ? pv[op.bindField]
+                : undefined;
+            if (bound === undefined || bound === null) {
+                skippedIdx.push(i);
+                return { status: "skipped" };
+            }
+            boundValue = bound;
+        }
+    }
+    // ── ノード実行（consumer 委譲）──
+    const outcome = exec(op, boundValue);
+    executedIdx.push(i);
+    if ("ok" in outcome)
+        return { status: "ok", value: outcome.ok };
+    // ── §3 失敗の Policy Kind 解釈（各 case は fail が never を投げるか return する）──
+    if (policy === "fail") {
+        // op Failure をそのまま処理 Failure として伝播（§3 表: fail）。
+        fail("OP_FAILED", `operation '${op.id}' failed under 'fail' policy: ${outcome.error}`);
+    }
+    if (policy === "retry") {
+        // op-level retry Kind: Tuning は Runtime 所有・Conformance 非参加（§3.2）。retry は成功結果を
+        // 変えない（最終的に同じ結果へ収束）ため、持続失敗は fail と同じ最終伝播へ収束させる。
+        fail("OP_FAILED", `operation '${op.id}' failed under 'retry' policy (exhausted): ${outcome.error}`);
+    }
+    // policy === "continue": 失敗 op は Port 未生成 → §2 の Skip 伝播（下流を Skip）。
+    // この op 自体は未生成表現を result tree に置き、status=skipped（下流依存判定で未生成扱い）。
+    skippedIdx.push(i);
+    executedIdx.pop(); // 実行はしたが Port を生成しなかった → 未生成として扱う（executed から除外）
+    return { status: "skipped" };
+}
+/** 各 index がちょうど 1 stage に属し、全 op が被覆されることを検査（§1）。 */
+function validateCoverage(stages, n) {
+    const seen = new Set();
+    for (const stage of stages) {
+        for (const i of stage) {
+            if (i < 0 || i >= n)
+                fail("INVALID_PLAN", `stage index ${i} out of range [0,${n})`);
+            if (seen.has(i))
+                fail("INVALID_PLAN", `operation ${i} appears in more than one stage`);
+            seen.add(i);
+        }
+    }
+    if (seen.size !== n)
+        fail("INVALID_PLAN", `plan does not cover all ${n} operations (covered ${seen.size})`);
+}
+/**
+ * finalTree — states を index→port の result tree（Φ 合流の観測形）へ整形する。
+ * ok → 値 / skipped → 未生成表現（single=null / connection=空 connection）。
+ * conformance vector はこの tree を期待値と byte 比較する（canonicalJson 経由）。
+ */
+export function finalTree(states, ops) {
+    const tree = {};
+    states.forEach((s, i) => {
+        if (s.status === "ok")
+            tree[ops[i].id] = s.value;
+        else if (s.status === "skipped")
+            tree[ops[i].id] = unproducedValue(ops[i].relationKind);
+        // failed は runPlan が投げているのでここに到達しない。
+    });
+    return tree;
+}
+//# sourceMappingURL=plan.js.map

package/dist/plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.js","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AA4DA,MAAM,OAAO,WAAY,SAAQ,KAAK;IACpC,IAAI,CAAkB;IACtB,YAAY,IAAqB,EAAE,OAAe;QAChD,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,IAAqB,EAAE,OAAe;IAClD,MAAM,IAAI,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACvC,CAAC;AAWD,kFAAkF;AAClF,SAAS,eAAe,CAAC,IAA8B;IACrD,OAAO,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACpE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CAAC,IAA8B,EAAE,GAAa,EAAE,IAAU;IAC/E,MAAM,MAAM,GAAc,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,oDAAoD;IACpD,MAAM,MAAM,GAAe,IAAI;QAC7B,CAAC,CAAC,IAAI,CAAC,MAAM;QACb,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhD,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAErC,wDAAwD;IACxD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,iDAAiD;QACjD,iEAAiE;QACjE,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,KAAK,WAAW,CAAC,CAAC,sCAAsC;QACxD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM;QACN,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAChE,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CACZ,CAAS,EACT,EAAU,EACV,MAAiB,EACjB,IAAU,EACV,WAAqB,EACrB,UAAoB;IAEpB,MAAM,MAAM,GAAe,EAAE,CAAC,MAAM,IAAI,MAAM,CAAC;IAC/C,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,UAAU;QAClE,IAAI,CAAC,gBAAgB,EAAE,wBAAwB,MAAM,EAAE,CAAC,CAAC,CAAC,cAAc;IAE1E,2DAA2D;IAC3D,IAAI,UAAU,GAAsB,SAAS,CAAC;IAC9C,IAAI,EAAE,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QACvB,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QACjC,sCAAsC;QACtC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACtC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QAC/B,CAAC;QACD,uEAAuE;QACvE,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;YACxB,MAAM,KAAK,GACT,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzD,CAAC,CAAE,EAA4B,CAAC,EAAE,CAAC,SAAS,CAAC;gBAC7C,CAAC,CAAC,SAAS,CAAC;YAChB,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBAC1C,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACnB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;YAC/B,CAAC;YACD,UAAU,GAAG,KAAK,CAAC;QACrB,CAAC;IACH,CAAC;IAED,0BAA0B;IAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACrC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEpB,IAAI,IAAI,IAAI,OAAO;QAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;IAEhE,oEAAoE;IACpE,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,gDAAgD;QAChD,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,CAAC,EAAE,iCAAiC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,8EAA8E;QAC9E,gDAAgD;QAChD,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,CAAC,EAAE,8CAA8C,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IACtG,CAAC;IACD,oEAAoE;IACpE,gEAAgE;IAChE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,iDAAiD;IACpE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AAC/B,CAAC;AAED,sDAAsD;AACtD,SAAS,gBAAgB,CAAC,MAAkB,EAAE,CAAS;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,cAAc,EAAE,eAAe,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC;YACpF,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,IAAI,CAAC,cAAc,EAAE,aAAa,CAAC,iCAAiC,CAAC,CAAC;YACvF,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;QAAE,IAAI,CAAC,cAAc,EAAE,2BAA2B,CAAC,wBAAwB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;AAC9G,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,MAAiB,EAAE,GAAa;IACxD,MAAM,IAAI,GAA0B,EAAE,CAAC;IACvC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtB,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;aAC5C,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACxF,qCAAqC;IACvC,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/template.d.ts

@@ -0,0 +1,35 @@
+/**
+ * template.ts — template-rendering.md の参照実装（doc-grade, COMMON）。
+ *
+ * renderTemplate(template, params): `{param}` プレースホルダを束縛値で置換し文字列を返す。
+ * 対象は **`{param}`（ドットなし name）のみ**。`{result.*}` / `{item.*}` は別層（runPlan /
+ * Map 展開）が解決するため、core の renderTemplate は**それらを含む template を範囲外 Failure** とする
+ * （template-rendering.md §3.1-4 / runtime-boundary.md §4.1）。
+ *
+ * 規範ポイント（template-rendering.md §2/§3/§5）:
+ *   - プレースホルダ = /\{([^{}]+)\}/（空 name 不可・ブレース内不可）。エスケープ非対応。
+ *   - 単一パス・左から右・重ならない置換。置換結果中の {...} は再処理しない。
+ *   - strict missing-key: 未束縛 param は Failure（空文字化しない）。
+ *   - null param は Failure（present = key in params && value !== null）。
+ *   - stringify は Python str(value) を規範: bool → True/False, float → pyFloatRepr。
+ */
+import type { Value } from "./expr-eval.js";
+export type TemplateFailureCode = "UNBOUND_PARAM" | "RESULT_SCOPE_IN_CORE" | "INVALID_STRINGIFY";
+export declare class TemplateFailure extends Error {
+    code: TemplateFailureCode;
+    constructor(code: TemplateFailureCode, message: string);
+}
+/**
+ * renderTemplate — `{param}` 描画（strict）。
+ *
+ * @param template `{name}` を 0 個以上含む文字列。
+ * @param params   name → 値の束縛。
+ */
+export declare function renderTemplate(template: string, params: Record<string, Value>): string;
+/**
+ * resolvePartial — explain/dry-run 用（template-rendering.md §3.3）。
+ * `{param}` を置換し、`{result.*}` はそのまま残し、未束縛 param もエラーにせず残す。
+ * strict 版とは別 API（conformance は strict 版が主対象だが、partial の分離も規範）。
+ */
+export declare function resolvePartial(template: string, params: Record<string, Value>): string;
+//# sourceMappingURL=template.d.ts.map

package/dist/template.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"template.d.ts","sourceRoot":"","sources":["../src/template.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAG5C,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf,sBAAsB,GACtB,mBAAmB,CAAC;AAExB,qBAAa,eAAgB,SAAQ,KAAK;IACxC,IAAI,EAAE,mBAAmB,CAAC;gBACd,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM;CAKvD;AASD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,CAgBtF;AAgBD;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,CAMtF"}

package/dist/template.js

@@ -0,0 +1,66 @@
+import { pyFloatRepr } from "./canonical.js";
+export class TemplateFailure extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "TemplateFailure";
+    }
+}
+function fail(code, message) {
+    throw new TemplateFailure(code, message);
+}
+// template-rendering.md §2: 正規 `\{([^{}]+)\}`。name は 1 文字以上・ブレース非包含。
+const PLACEHOLDER = /\{([^{}]+)\}/g;
+/**
+ * renderTemplate — `{param}` 描画（strict）。
+ *
+ * @param template `{name}` を 0 個以上含む文字列。
+ * @param params   name → 値の束縛。
+ */
+export function renderTemplate(template, params) {
+    // 単一パス・左から右。re.sub 相当（重ならない・再帰置換なし）。
+    return template.replace(PLACEHOLDER, (_match, name) => {
+        // §3/§4: result.*/item.* は core の解決対象外。誤って param として解決してはならない。
+        if (name.startsWith("result.") || name.startsWith("item.")) {
+            fail("RESULT_SCOPE_IN_CORE", `template references '{${name}}' which is resolved by a different layer (runPlan/Map), not core renderTemplate`);
+        }
+        // strict missing-key + null → Failure（present = key in params && value !== null）。
+        if (!Object.prototype.hasOwnProperty.call(params, name) || params[name] === null) {
+            fail("UNBOUND_PARAM", `template '${template}' references unbound parameter '${name}'`);
+        }
+        return stringify(params[name]);
+    });
+}
+/**
+ * stringify — param 値を文字列化。cross-language parity SSoT = Python str(value)。
+ * template-rendering.md §3.2:
+ *   string → そのまま / bool → True/False（Python 表記）/ int → 10 進 / float → pyFloatRepr。
+ *   null は §3.1 で Failure 済みのため到達しない。arr/obj は key template には不正。
+ */
+function stringify(v) {
+    if (typeof v === "string")
+        return v;
+    if (typeof v === "boolean")
+        return v ? "True" : "False"; // 罠: JSON の true/false ではない
+    if (typeof v === "bigint")
+        return v.toString();
+    if (typeof v === "number")
+        return pyFloatRepr(v); // 罠: ryu/native 素通しではなく CPython repr
+    fail("INVALID_STRINGIFY", `cannot stringify ${v === null ? "null" : Array.isArray(v) ? "arr" : "obj"} into a template`);
+}
+/**
+ * resolvePartial — explain/dry-run 用（template-rendering.md §3.3）。
+ * `{param}` を置換し、`{result.*}` はそのまま残し、未束縛 param もエラーにせず残す。
+ * strict 版とは別 API（conformance は strict 版が主対象だが、partial の分離も規範）。
+ */
+export function resolvePartial(template, params) {
+    return template.replace(PLACEHOLDER, (match, name) => {
+        if (name.startsWith("result.") || name.startsWith("item."))
+            return match; // 別層に残す
+        if (!Object.prototype.hasOwnProperty.call(params, name) || params[name] === null)
+            return match;
+        return stringify(params[name]);
+    });
+}
+//# sourceMappingURL=template.js.map

package/dist/template.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template.js","sourceRoot":"","sources":["../src/template.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAO7C,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,MAAM,WAAW,GAAG,eAAe,CAAC;AAEpC;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB,EAAE,MAA6B;IAC5E,qCAAqC;IACrC,OAAO,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,IAAY,EAAE,EAAE;QAC5D,+DAA+D;QAC/D,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3D,IAAI,CACF,sBAAsB,EACtB,yBAAyB,IAAI,kFAAkF,CAChH,CAAC;QACJ,CAAC;QACD,kFAAkF;QAClF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACjF,IAAI,CAAC,eAAe,EAAE,aAAa,QAAQ,mCAAmC,IAAI,GAAG,CAAC,CAAC;QACzF,CAAC;QACD,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,CAAQ;IACzB,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,4BAA4B;IACrF,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,qCAAqC;IACvF,IAAI,CAAC,mBAAmB,EAAE,oBAAoB,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,CAAC;AAC1H,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB,EAAE,MAA6B;IAC5E,OAAO,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,KAAK,EAAE,IAAY,EAAE,EAAE;QAC3D,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,QAAQ;QAClF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAC/F,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC"}

package/package.json

@@ -0,0 +1,62 @@
+{
+  "name": "behavior-contracts",
+  "version": "0.1.0",
+  "description": "Language-agnostic runtime core for behavior contracts (dsl-contracts): validateEnvelope / evaluateExpression / renderTemplate / runPlan / canonical serialization. Single source of truth for the shared DSL runtime primitives.",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json && node scripts/fix-dts-extensions.mjs",
+    "clean": "rm -rf dist",
+    "test": "node --disable-warning=ExperimentalWarning --test \"test/*.test.ts\"",
+    "conformance": "node --disable-warning=ExperimentalWarning --test \"test/conformance.test.ts\"",
+    "typecheck": "tsc --noEmit -p tsconfig.json && tsc --noEmit -p tsconfig.test.json"
+  },
+  "specVersions": {
+    "expression": 1,
+    "template": 1,
+    "plan": 1,
+    "canonical": 1,
+    "envelope": "1.1"
+  },
+  "keywords": [
+    "dsl-contracts",
+    "behavior-contracts",
+    "runtime",
+    "ir",
+    "expression",
+    "canonical",
+    "conformance"
+  ],
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/foo-ogawa/dsl-contracts.git",
+    "directory": "ts"
+  },
+  "homepage": "https://github.com/foo-ogawa/dsl-contracts/tree/main/ts#readme",
+  "bugs": {
+    "url": "https://github.com/foo-ogawa/dsl-contracts/issues"
+  },
+  "devDependencies": {
+    "typescript": "^6.0.0"
+  },
+  "engines": {
+    "node": ">=22"
+  },
+  "license": "MIT",
+  "publishConfig": {
+    "access": "public"
+  },
+  "sideEffects": false
+}