behavior-contracts 0.2.5 → 0.3.0

package/dist/primitives.js

@@ -2,130 +2,124 @@
  * primitives.ts — codegen が直呼びできる安定 primitive 公開面（bc#36 / typed-codegen.md §3.4）。
  *
  * これは **A0 = 公開面の確定**（emitter 生成ロジックは A1/#37）。生成コードが
- * 「細粒度 primitive を呼ぶ」ための callable surface を additive に切り出す。
+ * 「細粒度 primitive を呼ぶ」ための callable surface。
  *
- * 最重要規律（AC 7）: **演算子意味論は再実装しない。** 各 primitive は Expression IR の
- * 単一キーノードを組んで既存 SSoT `evaluate`（expr-eval.ts）へ委譲するだけの薄いラッパ。
- * よって意味論（INT_OVERFLOW / PRECISION_LOSS / MOD_ZERO / NULL_REF / TYPE_MISMATCH /
- * 短絡未評価 / code-point 順 / CPython float repr 等）は `evaluate` と**完全一致**する
- * ——別実装が存在しないため発散のしようがない。
- *
- * 短絡の保存: `and`/`or`/`cond`/`coalesce` は **未評価の IR ノード**（`Expr`）を引数に取り、
- * 内部で `evaluate` が短絡する。値を先に評価して渡す API にすると短絡が壊れるため採らない。
+ * 最重要規律: **演算子意味論は再実装しない**、かつ **codegen は IR を出力しない**（bc no-ir
+ * invariant）。各 native primitive は被演算子を**評価済み Value**（短絡系は遅延 thunk）で受け、
+ * 意味論 SSoT の value-core（expr-eval.ts の arithCore/compareCore/makeObjCore/… — `evaluate` の
+ * 各アームと同一実装）へ委譲する。よって意味論（INT_OVERFLOW / PRECISION_LOSS / MOD_ZERO /
+ * NULL_REF / TYPE_MISMATCH / FORBIDDEN_KEY / 短絡 / code-point 順 等）は `evaluate` と完全一致
+ * （実装が一本なので発散不能）。生 IR の実行が要る経路（ir exec surface）は `evaluate` を直接使う。
  *
  * これに加えて runPlan / bounded 並行 / skip・unproduced / hydration helper を再エクスポート
  * または薄く公開する（いずれも既存実装を SSoT として共有）。
  */
-import { evaluate } from "./expr-eval.js";
+import { arithCore, compareCore, concatCore, divCore, eqNeCore, lenCore, makeObjCore, modCore, negCore, numberLitCore, intLitCore, floatLitCore, refCore, requireBoolCore, } from "./expr-eval.js";
 import {} from "./plan.js";
-// ── (a) Expression IR 全演算子の個別 primitive ────────────────────────────────
-// 各関数は単一キーの IR ノードを組んで evaluate に委譲する（意味論 SSoT は evaluate 一本）。
-/** 参照。`ref(["a","b"], scope)` = `{ref:["a","b"]}`（中間 null は NULL_REF）。 */
+// ── (a) 演算子/構築/リテラルの native callable surface（bc no-ir invariant）──────
+// 被演算子は評価済み Value（短絡系は Thunk）。IR も evaluate 委譲も経由せず value-core を直呼び。
+/** 参照（native scope walk。中間 null は NULL_REF）。path は静的 string[]。 */
 export function ref(path, scope) {
-    return evaluate({ ref: path }, scope);
+    return refCore(path, scope, false);
 }
-/** null 安全参照。中間 null は null 伝播（NULL_REF を投げない）。 */
+/** null 安全参照（中間 null は null 伝播）。 */
 export function refOpt(path, scope) {
-    return evaluate({ refOpt: path }, scope);
+    return refCore(path, scope, true);
 }
-/** `{int:"..."}` リテラル（i64 checked）。 */
-export function intLit(literal, scope = {}) {
-    return evaluate({ int: literal }, scope);
+/** `{int:"..."}` リテラル。 */
+export function intLit(literal) {
+    return intLitCore(literal);
 }
-/** `{float:n}` リテラル（NaN/Inf は NAN_OR_INF）。 */
-export function floatLit(n, scope = {}) {
-    return evaluate({ float: n }, scope);
+/** `{float:n}` リテラル。 */
+export function floatLit(n) {
+    return floatLitCore(n);
 }
-/** object 構築（own key `__proto__` は FORBIDDEN_KEY）。値は Expression IR。 */
-export function obj(fields, scope) {
-    return evaluate({ obj: fields }, scope);
+/** bare number リテラル（§2.3 分類）。 */
+export function numberLit(n) {
+    return numberLitCore(n);
 }
-/** array 構築。要素は Expression IR。 */
-export function arr(elems, scope) {
-    return evaluate({ arr: elems }, scope);
+/** object 構築（キー順・__proto__ は値評価前に FORBIDDEN_KEY）。値は遅延 thunk。 */
+export function obj(entries) {
+    return makeObjCore(entries);
 }
-/** 加算（int×int checked / float×float checked。混在は TYPE_MISMATCH）。 */
-export function add(a, b, scope) {
-    return evaluate({ add: [a, b] }, scope);
+/** array 構築（要素は評価済み Value、左→右順）。 */
+export function arr(elems) {
+    return elems;
 }
-/** 減算。 */
-export function sub(a, b, scope) {
-    return evaluate({ sub: [a, b] }, scope);
+/** 加算/減算/乗算（int×int checked / float×float finite / 混在 TYPE_MISMATCH）。 */
+export function add(a, b) {
+    return arithCore("add", a, b);
 }
-/** 乗算。 */
-export function mul(a, b, scope) {
-    return evaluate({ mul: [a, b] }, scope);
+export function sub(a, b) {
+    return arithCore("sub", a, b);
 }
-/** 単項マイナス。 */
-export function neg(a, scope) {
-    return evaluate({ neg: [a] }, scope);
+export function mul(a, b) {
+    return arithCore("mul", a, b);
 }
-/** 除算（常に float。widening で |int|>2^53 は PRECISION_LOSS、0除算は NAN_OR_INF）。 */
-export function div(a, b, scope) {
-    return evaluate({ div: [a, b] }, scope);
+/** 単項マイナス。 */
+export function neg(a) {
+    return negCore(a);
 }
-/** 剰余（truncated、符号は被除数。int の 0 剰余は MOD_ZERO）。 */
-export function mod(a, b, scope) {
-    return evaluate({ mod: [a, b] }, scope);
+/** 除算（常に float）。 */
+export function div(a, b) {
+    return divCore(a, b);
 }
-/** 文字列連結（n-ary, min 2。string のみ。暗黙 toString なし）。 */
-export function concat(parts, scope) {
-    return evaluate({ concat: parts }, scope);
+/** 剰余。 */
+export function mod(a, b) {
+    return modCore(a, b);
 }
-/** 等価（同一スカラ型のみ。null==null 可。obj/arr は未定義）。 */
-export function eq(a, b, scope) {
-    return evaluate({ eq: [a, b] }, scope);
+/** 文字列連結（string のみ。要素は評価済み Value）。 */
+export function concat(parts) {
+    return concatCore(parts);
 }
-/** 非等価。 */
-export function ne(a, b, scope) {
-    return evaluate({ ne: [a, b] }, scope);
+/** 等価/非等価。 */
+export function eq(a, b) {
+    return eqNeCore("eq", a, b);
 }
-/** 小なり（同一型 int/float/string。string は code-point 順）。 */
-export function lt(a, b, scope) {
-    return evaluate({ lt: [a, b] }, scope);
+export function ne(a, b) {
+    return eqNeCore("ne", a, b);
 }
-/** 以下。 */
-export function le(a, b, scope) {
-    return evaluate({ le: [a, b] }, scope);
+/** 比較（同一型 int/float/string、string は code-point 順）。 */
+export function lt(a, b) {
+    return compareCore("lt", a, b);
 }
-/** 大なり。 */
-export function gt(a, b, scope) {
-    return evaluate({ gt: [a, b] }, scope);
+export function le(a, b) {
+    return compareCore("le", a, b);
 }
-/** 以上。 */
-export function ge(a, b, scope) {
-    return evaluate({ ge: [a, b] }, scope);
+export function gt(a, b) {
+    return compareCore("gt", a, b);
 }
-/** 論理積（短絡: a=false なら b は評価されない）。b は未評価 IR で渡す。 */
-export function and(a, b, scope) {
-    return evaluate({ and: [a, b] }, scope);
+export function ge(a, b) {
+    return compareCore("ge", a, b);
 }
-/** 論理和（短絡: a=true なら b は評価されない）。 */
-export function or(a, b, scope) {
-    return evaluate({ or: [a, b] }, scope);
+/** 論理積（短絡: 左辺 false なら右辺 thunk は呼ばない）。 */
+export function and(a, b) {
+    if (!requireBoolCore(a(), "and"))
+        return false;
+    return requireBoolCore(b(), "and");
 }
-/** 論理否定（strict bool。truthiness なし）。 */
-export function not(a, scope) {
-    return evaluate({ not: [a] }, scope);
+/** 論理和（短絡: 左辺 true なら右辺 thunk は呼ばない）。 */
+export function or(a, b) {
+    if (requireBoolCore(a(), "or"))
+        return true;
+    return requireBoolCore(b(), "or");
 }
-/** null 合体（左が null のときだけ右を評価）。右は未評価 IR で渡す。 */
-export function coalesce(a, b, scope) {
-    return evaluate({ coalesce: [a, b] }, scope);
+/** 論理否定（strict bool）。被演算子は評価済み。 */
+export function not(a) {
+    return !requireBoolCore(a, "not");
 }
-/** 条件（strict bool。採用側のみ評価）。then/else は未評価 IR で渡す。 */
-export function cond(c, then, els, scope) {
-    return evaluate({ cond: [c, then, els] }, scope);
+/** null 合体（左が null のときだけ右 thunk を評価）。 */
+export function coalesce(a, b) {
+    const av = a();
+    return av === null ? b() : av;
 }
-/** 配列長（配列のみ。string length は v1 に無い）。 */
-export function len(a, scope) {
-    return evaluate({ len: [a] }, scope);
+/** 条件（strict bool。採用側 thunk のみ評価）。 */
+export function cond(c, then, els) {
+    return requireBoolCore(c(), "cond") ? then() : els();
 }
-/**
- * 生の Expression IR を直接評価する汎用 primitive（emitter が単一キーラッパを介さず
- * 任意の式ノードを評価したい場合の逃げ道。意味論は上記個別 primitive と同一 SSoT）。
- */
-export function evalExpr(node, scope = {}) {
-    return evaluate(node, scope);
+/** 配列長（配列のみ）。 */
+export function len(a) {
+    return lenCore(a);
 }
 // ── (c) bounded 並行プリミティブ（順序保存）─────────────────────────────────────
 /**

package/dist/primitives.js.map

@@ -1 +1 @@
-{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../src/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,QAAQ,EAA0B,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAqB,MAAM,WAAW,CAAC;AAK9C,0EAA0E;AAC1E,+DAA+D;AAE/D,0EAA0E;AAC1E,MAAM,UAAU,GAAG,CAAC,IAAc,EAAE,KAAY;IAC9C,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;AACxC,CAAC;AACD,mDAAmD;AACnD,MAAM,UAAU,MAAM,CAAC,IAAc,EAAE,KAAY;IACjD,OAAO,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;AAC3C,CAAC;AACD,uCAAuC;AACvC,MAAM,UAAU,MAAM,CAAC,OAAe,EAAE,QAAe,EAAE;IACvD,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,KAAK,CAAC,CAAC;AAC3C,CAAC;AACD,8CAA8C;AAC9C,MAAM,UAAU,QAAQ,CAAC,CAAS,EAAE,QAAe,EAAE;IACnD,OAAO,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACvC,CAAC;AACD,uEAAuE;AACvE,MAAM,UAAU,GAAG,CAAC,MAA4B,EAAE,KAAY;IAC5D,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC;AACD,kCAAkC;AAClC,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,KAAY;IAC7C,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;AACzC,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,GAAG,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAChD,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC;AACD,UAAU;AACV,MAAM,UAAU,GAAG,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAChD,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC;AACD,UAAU;AACV,MAAM,UAAU,GAAG,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAChD,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC;AACD,cAAc;AACd,MAAM,UAAU,GAAG,CAAC,CAAO,EAAE,KAAY;IACvC,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACvC,CAAC;AACD,2EAA2E;AAC3E,MAAM,UAAU,GAAG,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAChD,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC;AACD,iDAAiD;AACjD,MAAM,UAAU,GAAG,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAChD,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,KAAY;IAChD,OAAO,QAAQ,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,8CAA8C;AAC9C,MAAM,UAAU,EAAE,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAC/C,OAAO,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACzC,CAAC;AACD,WAAW;AACX,MAAM,UAAU,EAAE,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAC/C,OAAO,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACzC,CAAC;AACD,uDAAuD;AACvD,MAAM,UAAU,EAAE,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAC/C,OAAO,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACzC,CAAC;AACD,UAAU;AACV,MAAM,UAAU,EAAE,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAC/C,OAAO,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACzC,CAAC;AACD,WAAW;AACX,MAAM,UAAU,EAAE,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAC/C,OAAO,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACzC,CAAC;AACD,UAAU;AACV,MAAM,UAAU,EAAE,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAC/C,OAAO,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACzC,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,GAAG,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAChD,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAC1C,CAAC;AACD,oCAAoC;AACpC,MAAM,UAAU,EAAE,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IAC/C,OAAO,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACzC,CAAC;AACD,uCAAuC;AACvC,MAAM,UAAU,GAAG,CAAC,CAAO,EAAE,KAAY;IACvC,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACvC,CAAC;AACD,+CAA+C;AAC/C,MAAM,UAAU,QAAQ,CAAC,CAAO,EAAE,CAAO,EAAE,KAAY;IACrD,OAAO,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AAC/C,CAAC;AACD,qDAAqD;AACrD,MAAM,UAAU,IAAI,CAAC,CAAO,EAAE,IAAU,EAAE,GAAS,EAAE,KAAY;IAC/D,OAAO,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACnD,CAAC;AACD,wCAAwC;AACxC,MAAM,UAAU,GAAG,CAAC,CAAO,EAAE,KAAY;IACvC,OAAO,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACvC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,QAAe,EAAE;IACpD,OAAO,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,qEAAqE;AACrE;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,KAAmB,EACnB,WAAmB,EACnB,MAAkD;IAElD,MAAM,GAAG,GAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;IACnD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAG,KAAK,IAAmB,EAAE;QACvC,SAAS,CAAC;YACR,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;YACjB,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM;gBAAE,OAAO;YAC9B,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,0BAA0B;QAChE,CAAC;IACH,CAAC,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/E,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iFAAiF;AACjF;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAA8B;IAC5D,OAAO,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACpE,CAAC;AACD,mEAAmE;AACnE,MAAM,UAAU,UAAU;IACxB,OAAO,IAAI,CAAC;AACd,CAAC;AACD,8DAA8D;AAC9D,MAAM,UAAU,cAAc;IAC5B,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,iFAAiF;AACjF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CACzB,IAAa,EACb,GAAW,EACX,OAAiB,EACjB,MAAe;IAEf,MAAM,SAAS,GAAY,EAAE,CAAC;IAC9B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5D,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,mDAAmD,CAAC,CAAC;YAChG,SAAS,CAAC,IAAI,CAAC,EAAE,GAAI,EAA4B,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACvE,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}
+{"version":3,"file":"primitives.js","sourceRoot":"","sources":["../src/primitives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EACL,SAAS,EACT,WAAW,EACX,UAAU,EACV,OAAO,EACP,QAAQ,EACR,OAAO,EACP,WAAW,EACX,OAAO,EACP,OAAO,EACP,aAAa,EACb,UAAU,EACV,YAAY,EACZ,OAAO,EACP,eAAe,GAGhB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAqB,MAAM,WAAW,CAAC;AAO9C,wEAAwE;AACxE,qEAAqE;AAErE,kEAAkE;AAClE,MAAM,UAAU,GAAG,CAAC,IAAc,EAAE,KAAY;IAC9C,OAAO,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACrC,CAAC;AACD,oCAAoC;AACpC,MAAM,UAAU,MAAM,CAAC,IAAc,EAAE,KAAY;IACjD,OAAO,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;AACpC,CAAC;AACD,0BAA0B;AAC1B,MAAM,UAAU,MAAM,CAAC,OAAe;IACpC,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AACD,wBAAwB;AACxB,MAAM,UAAU,QAAQ,CAAC,CAAS;IAChC,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC;AACzB,CAAC;AACD,iCAAiC;AACjC,MAAM,UAAU,SAAS,CAAC,CAAS;IACjC,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC;AACD,gEAAgE;AAChE,MAAM,UAAU,GAAG,CAAC,OAA+B;IACjD,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;AAC9B,CAAC;AACD,oCAAoC;AACpC,MAAM,UAAU,GAAG,CAAC,KAAc;IAChC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,GAAG,CAAC,CAAQ,EAAE,CAAQ;IACpC,OAAO,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,CAAC;AACD,MAAM,UAAU,GAAG,CAAC,CAAQ,EAAE,CAAQ;IACpC,OAAO,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,CAAC;AACD,MAAM,UAAU,GAAG,CAAC,CAAQ,EAAE,CAAQ;IACpC,OAAO,SAAS,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,CAAC;AACD,cAAc;AACd,MAAM,UAAU,GAAG,CAAC,CAAQ;IAC1B,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AACD,oBAAoB;AACpB,MAAM,UAAU,GAAG,CAAC,CAAQ,EAAE,CAAQ;IACpC,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACvB,CAAC;AACD,UAAU;AACV,MAAM,UAAU,GAAG,CAAC,CAAQ,EAAE,CAAQ;IACpC,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,MAAM,CAAC,KAAc;IACnC,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,cAAc;AACd,MAAM,UAAU,EAAE,CAAC,CAAQ,EAAE,CAAQ;IACnC,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9B,CAAC;AACD,MAAM,UAAU,EAAE,CAAC,CAAQ,EAAE,CAAQ;IACnC,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9B,CAAC;AACD,sDAAsD;AACtD,MAAM,UAAU,EAAE,CAAC,CAAQ,EAAE,CAAQ;IACnC,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACjC,CAAC;AACD,MAAM,UAAU,EAAE,CAAC,CAAQ,EAAE,CAAQ;IACnC,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACjC,CAAC;AACD,MAAM,UAAU,EAAE,CAAC,CAAQ,EAAE,CAAQ;IACnC,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACjC,CAAC;AACD,MAAM,UAAU,EAAE,CAAC,CAAQ,EAAE,CAAQ;IACnC,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,GAAG,CAAC,CAAQ,EAAE,CAAQ;IACpC,IAAI,CAAC,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,OAAO,eAAe,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;AACrC,CAAC;AACD,yCAAyC;AACzC,MAAM,UAAU,EAAE,CAAC,CAAQ,EAAE,CAAQ;IACnC,IAAI,eAAe,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5C,OAAO,eAAe,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;AACpC,CAAC;AACD,mCAAmC;AACnC,MAAM,UAAU,GAAG,CAAC,CAAQ;IAC1B,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACpC,CAAC;AACD,yCAAyC;AACzC,MAAM,UAAU,QAAQ,CAAC,CAAQ,EAAE,CAAQ;IACzC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;IACf,OAAO,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAChC,CAAC;AACD,sCAAsC;AACtC,MAAM,UAAU,IAAI,CAAC,CAAQ,EAAE,IAAW,EAAE,GAAU;IACpD,OAAO,eAAe,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AACvD,CAAC;AACD,iBAAiB;AACjB,MAAM,UAAU,GAAG,CAAC,CAAQ;IAC1B,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AAED,qEAAqE;AACrE;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,KAAmB,EACnB,WAAmB,EACnB,MAAkD;IAElD,MAAM,GAAG,GAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;IACnD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAG,KAAK,IAAmB,EAAE;QACvC,SAAS,CAAC;YACR,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;YACjB,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM;gBAAE,OAAO;YAC9B,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,0BAA0B;QAChE,CAAC;IACH,CAAC,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/E,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iFAAiF;AACjF;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAA8B;IAC5D,OAAO,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACpE,CAAC;AACD,mEAAmE;AACnE,MAAM,UAAU,UAAU;IACxB,OAAO,IAAI,CAAC;AACd,CAAC;AACD,8DAA8D;AAC9D,MAAM,UAAU,cAAc;IAC5B,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,iFAAiF;AACjF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CACzB,IAAa,EACb,GAAW,EACX,OAAiB,EACjB,MAAe;IAEf,MAAM,SAAS,GAAY,EAAE,CAAC;IAC9B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5D,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,mDAAmD,CAAC,CAAC;YAChG,SAAS,CAAC,IAAI,CAAC,EAAE,GAAI,EAA4B,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACvE,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "behavior-contracts",
-  "version": "0.2.5",
+  "version": "0.3.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",