behavior-contracts 0.7.3 → 0.8.0

package/dist/type-gate.js

@@ -0,0 +1,295 @@
+import { cmpCodePoints } from "./expr-eval.js";
+// operator I/O 型の唯一の宣言源（SSoT）。resolveExprType は value-operator の結果型をここから**読む**
+// （ad-hoc な per-operator 分岐を持たない — consumer-interface.md §2.1 C3・#125/A3）。
+import { operatorSignature, resolveOperatorResult, sameType } from "./expr-operator-types.js";
+// ── Failure ─────────────────────────────────────────────────────────────────
+/**
+ * UntypedNodeError — 型未確定ノード/フィールドを検出したときの fail-closed 失敗（SA5・0.8.0 end-state）。
+ * offending なノード id / メソッド / フィールドを message で名指す。
+ */
+export class UntypedNodeError extends Error {
+    code;
+    constructor(message) {
+        super(message);
+        this.code = "UNTYPED_NODE";
+        this.name = "UntypedNodeError";
+    }
+}
+function untyped(message) {
+    throw new UntypedNodeError(message);
+}
+// ── input port 型 → PortableType（確定しているものだけ）───────────────────────────────
+/**
+ * portableTypeOfInputPort — input port schema から PortableType を得る（確定しているときのみ）。
+ * `type:"array"` は `elemType`（A1/#108 の要素型）が付いているときだけ `{arr: elemType}` に確定。
+ * `type:"unknown"`（`In<>` 型がランタイムに残らず opts.inputPorts 未指定のケース）や、
+ * `PortableType` 閉集合外の type 文字列（`"number"` / `"string[]"` / `"object"` 等）は **未確定**として
+ * `undefined` を返す（＝その port を output で直接参照すると `UNTYPED_NODE`）。
+ */
+function portableTypeOfInputPort(schema) {
+    const base = (() => {
+        switch (schema.type) {
+            case "string":
+            case "int":
+            case "float":
+            case "bool":
+            case "null":
+                return schema.type;
+            case "array":
+                return schema.elemType !== undefined ? { arr: schema.elemType } : undefined;
+            default:
+                return undefined; // "unknown" / "number" / "string[]" / "object" 等は確定していない
+        }
+    })();
+    if (base === undefined)
+        return undefined;
+    return schema.required === false ? { opt: base } : base;
+}
+// ── PortableType の path 降下（確定型を辿る・構造伝播）───────────────────────────────
+/**
+ * descend — 確定型 `t` に `field` を 1 段降りた型を返す（解決不能なら undefined）。
+ *   - `{obj:{…}}`: 当該 field の型。無い field は解決不能。
+ *   - `{opt:U}`: 内側 U を降りて `{opt: …}` で包み直す（optional chain 相当）。
+ * scalar / arr へのフィールドアクセスは解決不能（arr は index でなく field 参照されない）。
+ */
+function descend(t, field) {
+    if (typeof t === "string")
+        return undefined;
+    if ("obj" in t)
+        return t.obj[field];
+    if ("opt" in t) {
+        const inner = descend(t.opt, field);
+        return inner === undefined ? undefined : { opt: inner };
+    }
+    return undefined; // arr
+}
+// ── Expression IR → 確定 PortableType（解決できなければ undefined）─────────────────────
+/**
+ * resolveExprType — `output`（Φ 合成）に現れる Expression IR ノードの確定型を、確定済みノード型
+ * （`nodeTypes`）と input port 型から**構造的に解決**する。BC は推論しない — ここで解決するのは
+ * すべて「consumer が既に確定させた型」の配線どおりの伝播（ref 参照先の `outType` を path で辿る、
+ * object 合成を field ごとに組む、等）である。解決できない位置は `undefined` を返し、呼び側が
+ * `UNTYPED_NODE` にする。
+ */
+function resolveExprType(node, nodeTypes, inputPorts) {
+    // リテラル: そのまま確定スカラ。
+    if (node === null)
+        return "null";
+    if (typeof node === "boolean")
+        return "bool";
+    if (typeof node === "string")
+        return "string";
+    if (typeof node === "number")
+        return Number.isInteger(node) ? "int" : "float";
+    if (typeof node !== "object")
+        return undefined;
+    const rec = node;
+    const keys = Object.keys(rec);
+    if (keys.length !== 1)
+        return undefined; // 式ノードは単一 operator キー
+    const op = keys[0];
+    const arg = rec[op];
+    switch (op) {
+        case "int":
+            return "int";
+        case "float":
+            return "float";
+        case "ref":
+        case "refOpt": {
+            // {ref:[head, …path]} — head はノード id / input port。確定済み型を path で辿る。
+            const path = arg;
+            if (!Array.isArray(path) || path.length === 0)
+                return undefined;
+            const [head, ...rest] = path;
+            let cur = nodeTypes.get(head);
+            if (cur === undefined) {
+                const schema = inputPorts[head];
+                cur = schema !== undefined ? portableTypeOfInputPort(schema) : undefined;
+            }
+            if (cur === undefined)
+                return undefined;
+            for (const f of rest) {
+                const next = descend(cur, f);
+                if (next === undefined)
+                    return undefined;
+                cur = next;
+            }
+            // refOpt は途中 null で null を返し得るため nullable。
+            return op === "refOpt" ? { opt: cur } : cur;
+        }
+        case "obj": {
+            // object 合成: 全フィールドが解決できて初めて確定（1 つでも未確定なら undefined）。
+            if (arg === null || typeof arg !== "object" || Array.isArray(arg))
+                return undefined;
+            const obj = {};
+            for (const [k, v] of Object.entries(arg)) {
+                const ft = resolveExprType(v, nodeTypes, inputPorts);
+                if (ft === undefined)
+                    return undefined;
+                obj[k] = ft;
+            }
+            return { obj };
+        }
+        case "arr": {
+            // 同種配列: 全要素が同じ確定型に解決できること（空配列は要素型が定まらず未確定）。
+            if (!Array.isArray(arg) || arg.length === 0)
+                return undefined;
+            let elem;
+            for (const e of arg) {
+                const et = resolveExprType(e, nodeTypes, inputPorts);
+                if (et === undefined)
+                    return undefined;
+                if (elem === undefined)
+                    elem = et;
+                else if (!sameType(elem, et))
+                    return undefined;
+            }
+            return { arr: elem };
+        }
+        case "cond": {
+            // {cond:[if, then, else]} — 制御ノード（value-operator ではない）。採用側の型は then/else の join。
+            // join 規則の意味論は SSoT（resolveOperatorResult の "cond-join"）に集約する（分岐を散らさない）。
+            const triple = arg;
+            if (!Array.isArray(triple) || triple.length !== 3)
+                return undefined;
+            const thenT = resolveExprType(triple[1], nodeTypes, inputPorts);
+            const elseT = resolveExprType(triple[2], nodeTypes, inputPorts);
+            if (thenT === undefined || elseT === undefined)
+                return undefined;
+            return resolveOperatorResult({ arity: "ternary", operands: "any", result: "cond-join" }, [thenT, elseT]);
+        }
+        default: {
+            // value-operator（concat/len/比較/論理/算術/coalesce）は型シグネチャ SSoT を **読む**
+            // （consumer-interface.md §2.1 C3: BC は明示宣言を読むだけ・ad-hoc 推論をしない — #125/A3）。
+            // 各オペランドを構造規則で解決し、宣言 result ルールを適用して結果型を得る。
+            const sig = operatorSignature(op);
+            if (sig === undefined)
+                return undefined; // 未知 operator（guard が別途弾く）は型解決の対象外
+            const operands = Array.isArray(arg) ? arg : [arg]; // 単項は素の値、多項は配列
+            const operandTypes = [];
+            for (const o of operands) {
+                const ot = resolveExprType(o, nodeTypes, inputPorts);
+                if (ot === undefined)
+                    return undefined; // 未確定オペランドがあれば結果も未確定
+                operandTypes.push(ot);
+            }
+            return resolveOperatorResult(sig, operandTypes);
+        }
+    }
+}
+/**
+ * canonicalizeType — 導出 PortableType の obj field キーを code-point 順に再構築する
+ * （builder.ts の canonicalizeDeep と同じ規律。golden/fingerprint の決定性のため component の
+ * 他フィールドと同じ正準形に揃える）。
+ */
+export function canonicalizeType(t) {
+    if (typeof t === "string")
+        return t;
+    if ("opt" in t)
+        return { opt: canonicalizeType(t.opt) };
+    if ("arr" in t)
+        return { arr: canonicalizeType(t.arr) };
+    const obj = {};
+    for (const k of Object.keys(t.obj).sort(cmpCodePoints))
+        obj[k] = canonicalizeType(t.obj[k]);
+    return { obj };
+}
+// ── ゲート本体 ────────────────────────────────────────────────────────────────────
+/**
+ * assertAllNodeTypesDetermined — component の全ノード型確定を網羅検査し（未確定は `UNTYPED_NODE`）、
+ * 確定済みノード型から `output`（Φ 合成）を辿って `outputType` を導出して返す（構造伝播・非推論）。
+ *
+ * @param comp   canonical 化済み `Component`（body ノードは `outType` 注記を持ち得る）。
+ * @param method 名指し用のメソッド名（＝ component 名）。
+ * @returns      導出した `outputType`（PortableType）。全フィールドが確定したときのみ返る。
+ * @throws {UntypedNodeError} 型未確定のノード/フィールドがあるとき（offending を名指す）。
+ */
+export function assertAllNodeTypesDetermined(comp) {
+    const method = comp.name;
+    const nodeTypes = new Map();
+    // (1) 全 body ノードが resolvable な outType を持つ（無ければ UNTYPED_NODE で名指し）。
+    for (const n of comp.body) {
+        const ot = n.outType;
+        // cond gate ノード（`{obj:{ok:true}}` を返す制御専用ノード）は出力型注記を持たないが、
+        // これは when(...) guard の内部制御構造であって consumer の出力ノードではない。gate は
+        // 常に `{ok:bool}` を返す既知形なので確定扱いにし、nodeTypes には載せない（Φ から直接
+        // 参照されることはない — 参照されるのは guard された子ノード/Φ 合流ノード側）。
+        if (ot === undefined) {
+            if (isControlGate(n))
+                continue;
+            untyped(`method '${method}': node '${n.id}' (${nodeKindLabel(n)}) has no determined output type — annotate it with .as<T>() at the projection/composition point, or define the leaf via defineLeaf so its catalog carries an elemType (SA5, fail-closed UNTYPED_NODE)`);
+        }
+        // ノード結果参照（output の `{ref:[id,…]}`）が読む型へ正規化する:
+        //   - map ノードの `outType` は**要素型**で持つ既存規約（define-leaf.test / native emitter）ゆえ、
+        //     結果参照が読む配列型は `{arr: 要素型}`。
+        //   - fanout / cond / componentRef の `outType` は結果そのものの型（fanout は connection 型を既に持つ）。
+        nodeTypes.set(n.id, "map" in n ? { arr: ot } : ot);
+    }
+    // (2) output（Φ 合成）の全フィールド型が確定型へ resolvable であること。
+    const outputType = resolveOutputType(comp.output, nodeTypes, comp.inputPorts, method);
+    return outputType;
+}
+/**
+ * resolveOutputType — `output` 式全体を解決して `outputType` を返す。トップが object 合成のとき、
+ * 未確定フィールドを個別に名指して `UNTYPED_NODE` を投げる（AC1 の「naming the field」）。
+ */
+function resolveOutputType(output, nodeTypes, inputPorts, method) {
+    // object 合成: フィールドごとに解決し、未確定フィールドを名指す。
+    if (output !== null && typeof output === "object" && !Array.isArray(output)) {
+        const rec = output;
+        const keys = Object.keys(rec);
+        if (keys.length === 1 && keys[0] === "obj") {
+            const fields = rec.obj;
+            const obj = {};
+            for (const [k, v] of Object.entries(fields)) {
+                const ft = resolveExprType(v, nodeTypes, inputPorts);
+                if (ft === undefined)
+                    untyped(`method '${method}': output composition field '${k}' has no determined type — the value it wires is not resolvable to a portable type (annotate the referenced node with .as<T>() so its type is determined; SA5, fail-closed UNTYPED_NODE)`);
+                obj[k] = ft;
+            }
+            return { obj };
+        }
+    }
+    // 非 object 合成（単一 ref / 演算式 / スカラ等）: 全体を解決。
+    const t = resolveExprType(output, nodeTypes, inputPorts);
+    if (t === undefined)
+        untyped(`method '${method}': the output has no determined type — its value is not resolvable to a portable type (annotate the terminal node with .as<T>(); SA5, fail-closed UNTYPED_NODE)`);
+    return t;
+}
+/** body ノード種のラベル（診断メッセージ用）。 */
+function nodeKindLabel(n) {
+    if (n !== null && typeof n === "object") {
+        if ("fanout" in n)
+            return "fanout";
+        if ("map" in n)
+            return "map";
+        if ("cond" in n)
+            return "cond";
+        if ("component" in n)
+            return `componentRef '${n.component}'`;
+    }
+    return "node";
+}
+/**
+ * isControlGate — when(...) guard の gate CondNode（`{if:…, then:{obj:{ok:true}}, else:null}`）か。
+ * これは制御フロー専用ノードで出力データ型を持たない（consumer が参照する出力ではない）。
+ * gate は authoring.ts の `ensureGate` が生成する固定形。この形にだけ outType 不要を許す
+ * （Φ 合流 CondNode は outType を要求する — それは consumer の出力値だから）。
+ */
+function isControlGate(n) {
+    if (n === null || typeof n !== "object" || !("cond" in n))
+        return false;
+    const c = n.cond;
+    if (c === null || typeof c !== "object")
+        return false;
+    const then = c.then;
+    const els = c.else;
+    // gate: then が `{obj:{ok:true}}`、else が null。
+    const isOkObj = then !== null &&
+        typeof then === "object" &&
+        !Array.isArray(then) &&
+        "obj" in then &&
+        JSON.stringify(then.obj) === JSON.stringify({ ok: true });
+    return isOkObj && els === null;
+}
+//# sourceMappingURL=type-gate.js.map

package/dist/type-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-gate.js","sourceRoot":"","sources":["../src/type-gate.ts"],"names":[],"mappings":"AAsCA,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,+EAA+E;AAC/E,2EAA2E;AAC3E,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAE9F,+EAA+E;AAC/E;;;GAGG;AACH,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,IAAI,CAAiB;IACrB,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;QAC3B,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,SAAS,OAAO,CAAC,OAAe;IAC9B,MAAM,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC;AAED,4EAA4E;AAC5E;;;;;;GAMG;AACH,SAAS,uBAAuB,CAAC,MAAkB;IACjD,MAAM,IAAI,GAAG,CAAC,GAA6B,EAAE;QAC3C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,QAAQ,CAAC;YACd,KAAK,KAAK,CAAC;YACX,KAAK,OAAO,CAAC;YACb,KAAK,MAAM,CAAC;YACZ,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC,IAAI,CAAC;YACrB,KAAK,OAAO;gBACV,OAAO,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9E;gBACE,OAAO,SAAS,CAAC,CAAC,yDAAyD;QAC/E,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,OAAO,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1D,CAAC;AAED,wEAAwE;AACxE;;;;;GAKG;AACH,SAAS,OAAO,CAAC,CAAe,EAAE,KAAa;IAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACpC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,SAAS,CAAC,CAAC,MAAM;AAC1B,CAAC;AAED,8EAA8E;AAC9E;;;;;;GAMG;AACH,SAAS,eAAe,CACtB,IAAa,EACb,SAAoC,EACpC,UAAsC;IAEtC,mBAAmB;IACnB,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACjC,IAAI,OAAO,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAC7C,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9C,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9E,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAE/C,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC,CAAC,sBAAsB;IAC/D,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,MAAM,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IAEpB,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,mEAAmE;YACnE,MAAM,IAAI,GAAG,GAAe,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YAChE,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;YAC7B,IAAI,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAChC,GAAG,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3E,CAAC;YACD,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC7B,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACzC,GAAG,GAAG,IAAI,CAAC;YACb,CAAC;YACD,2CAA2C;YAC3C,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC9C,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,sDAAsD;YACtD,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;YACpF,MAAM,GAAG,GAAiC,EAAE,CAAC;YAC7C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,EAAE,CAAC;gBACpE,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;gBACrD,IAAI,EAAE,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACvC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,EAAE,CAAC;QACjB,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,4CAA4C;YAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC9D,IAAI,IAA8B,CAAC;YACnC,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;gBACpB,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;gBACrD,IAAI,EAAE,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACvC,IAAI,IAAI,KAAK,SAAS;oBAAE,IAAI,GAAG,EAAE,CAAC;qBAC7B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;oBAAE,OAAO,SAAS,CAAC;YACjD,CAAC;YACD,OAAO,EAAE,GAAG,EAAE,IAAK,EAAE,CAAC;QACxB,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,gFAAgF;YAChF,yEAAyE;YACzE,MAAM,MAAM,GAAG,GAAgB,CAAC;YAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YACpE,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;YAChE,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;YAChE,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACjE,OAAO,qBAAqB,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC3G,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,oEAAoE;YACpE,0EAA0E;YAC1E,4CAA4C;YAC5C,MAAM,GAAG,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC,CAAC,mCAAmC;YAC5E,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe;YAClE,MAAM,YAAY,GAAmB,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;gBACrD,IAAI,EAAE,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC,CAAC,qBAAqB;gBAC7D,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACxB,CAAC;YACD,OAAO,qBAAqB,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAe;IAC9C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,MAAM,GAAG,GAAiC,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,OAAO,EAAE,GAAG,EAAE,CAAC;AACjB,CAAC;AAGD,gFAAgF;AAChF;;;;;;;;GAQG;AACH,MAAM,UAAU,4BAA4B,CAAC,IAAe;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;IACzB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAElD,oEAAoE;IACpE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAI,CAAgC,CAAC,OAAO,CAAC;QACrD,2DAA2D;QAC3D,6DAA6D;QAC7D,yDAAyD;QACzD,gDAAgD;QAChD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,IAAI,aAAa,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC/B,OAAO,CACL,WAAW,MAAM,YAAa,CAAoB,CAAC,EAAE,MAAM,aAAa,CAAC,CAAC,CAAC,uMAAuM,CACnR,CAAC;QACJ,CAAC;QACD,8CAA8C;QAC9C,+EAA+E;QAC/E,gCAAgC;QAChC,sFAAsF;QACtF,SAAS,CAAC,GAAG,CAAE,CAAoB,CAAC,EAAE,EAAE,KAAK,IAAK,CAAY,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;IAED,kDAAkD;IAClD,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACtF,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CACxB,MAAe,EACf,SAAoC,EACpC,UAAsC,EACtC,MAAc;IAEd,uCAAuC;IACvC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5E,MAAM,GAAG,GAAG,MAAiC,CAAC;QAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,GAA8B,CAAC;YAClD,MAAM,GAAG,GAAiC,EAAE,CAAC;YAC7C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5C,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;gBACrD,IAAI,EAAE,KAAK,SAAS;oBAClB,OAAO,CACL,WAAW,MAAM,gCAAgC,CAAC,0LAA0L,CAC7O,CAAC;gBACJ,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IACD,2CAA2C;IAC3C,MAAM,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,SAAS;QACjB,OAAO,CACL,WAAW,MAAM,iKAAiK,CACnL,CAAC;IACJ,OAAO,CAAC,CAAC;AACX,CAAC;AAED,+BAA+B;AAC/B,SAAS,aAAa,CAAC,CAAU;IAC/B,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACxC,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,QAAQ,CAAC;QACnC,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7B,IAAI,MAAM,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC;QAC/B,IAAI,WAAW,IAAI,CAAC;YAAE,OAAO,iBAAkB,CAA2B,CAAC,SAAS,GAAG,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CAAC,CAAU;IAC/B,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACxE,MAAM,CAAC,GAAI,CAAkD,CAAC,IAAI,CAAC;IACnE,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,IAAI,GAAI,CAAwB,CAAC,IAAI,CAAC;IAC5C,MAAM,GAAG,GAAI,CAAwB,CAAC,IAAI,CAAC;IAC3C,8CAA8C;IAC9C,MAAM,OAAO,GACX,IAAI,KAAK,IAAI;QACb,OAAO,IAAI,KAAK,QAAQ;QACxB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QACpB,KAAK,IAAK,IAAe;QACzB,IAAI,CAAC,SAAS,CAAE,IAAyB,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAClF,OAAO,OAAO,IAAI,GAAG,KAAK,IAAI,CAAC;AACjC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "behavior-contracts",
-  "version": "0.7.3",
+  "version": "0.8.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",
@@ -28,9 +28,10 @@
     "template": 1,
     "plan": 1,
     "canonical": 2,
-    "behavior": 3,
-    "guard": 1,
+    "behavior": 4,
+    "guard": 2,
     "c2": 1,
+    "provenance": 1,
     "envelope": "1.1"
   },
   "keywords": [