behavior-contracts 0.1.3 → 0.2.1

package/dist/primitives.js

@@ -0,0 +1,206 @@
+/**
+ * primitives.ts — codegen が直呼びできる安定 primitive 公開面（bc#36 / typed-codegen.md §3.4）。
+ *
+ * これは **A0 = 公開面の確定**（emitter 生成ロジックは A1/#37）。生成コードが
+ * 「細粒度 primitive を呼ぶ」ための callable surface を additive に切り出す。
+ *
+ * 最重要規律（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 にすると短絡が壊れるため採らない。
+ *
+ * これに加えて runPlan / bounded 並行 / skip・unproduced / hydration helper を再エクスポート
+ * または薄く公開する（いずれも既存実装を SSoT として共有）。
+ */
+import { evaluate } 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）。 */
+export function ref(path, scope) {
+    return evaluate({ ref: path }, scope);
+}
+/** null 安全参照。中間 null は null 伝播（NULL_REF を投げない）。 */
+export function refOpt(path, scope) {
+    return evaluate({ refOpt: path }, scope);
+}
+/** `{int:"..."}` リテラル（i64 checked）。 */
+export function intLit(literal, scope = {}) {
+    return evaluate({ int: literal }, scope);
+}
+/** `{float:n}` リテラル（NaN/Inf は NAN_OR_INF）。 */
+export function floatLit(n, scope = {}) {
+    return evaluate({ float: n }, scope);
+}
+/** object 構築（own key `__proto__` は FORBIDDEN_KEY）。値は Expression IR。 */
+export function obj(fields, scope) {
+    return evaluate({ obj: fields }, scope);
+}
+/** array 構築。要素は Expression IR。 */
+export function arr(elems, scope) {
+    return evaluate({ arr: elems }, scope);
+}
+/** 加算（int×int checked / float×float checked。混在は TYPE_MISMATCH）。 */
+export function add(a, b, scope) {
+    return evaluate({ add: [a, b] }, scope);
+}
+/** 減算。 */
+export function sub(a, b, scope) {
+    return evaluate({ sub: [a, b] }, scope);
+}
+/** 乗算。 */
+export function mul(a, b, scope) {
+    return evaluate({ mul: [a, b] }, scope);
+}
+/** 単項マイナス。 */
+export function neg(a, scope) {
+    return evaluate({ neg: [a] }, scope);
+}
+/** 除算（常に float。widening で |int|>2^53 は PRECISION_LOSS、0除算は NAN_OR_INF）。 */
+export function div(a, b, scope) {
+    return evaluate({ div: [a, b] }, scope);
+}
+/** 剰余（truncated、符号は被除数。int の 0 剰余は MOD_ZERO）。 */
+export function mod(a, b, scope) {
+    return evaluate({ mod: [a, b] }, scope);
+}
+/** 文字列連結（n-ary, min 2。string のみ。暗黙 toString なし）。 */
+export function concat(parts, scope) {
+    return evaluate({ concat: parts }, scope);
+}
+/** 等価（同一スカラ型のみ。null==null 可。obj/arr は未定義）。 */
+export function eq(a, b, scope) {
+    return evaluate({ eq: [a, b] }, scope);
+}
+/** 非等価。 */
+export function ne(a, b, scope) {
+    return evaluate({ ne: [a, b] }, scope);
+}
+/** 小なり（同一型 int/float/string。string は code-point 順）。 */
+export function lt(a, b, scope) {
+    return evaluate({ lt: [a, b] }, scope);
+}
+/** 以下。 */
+export function le(a, b, scope) {
+    return evaluate({ le: [a, b] }, scope);
+}
+/** 大なり。 */
+export function gt(a, b, scope) {
+    return evaluate({ gt: [a, b] }, scope);
+}
+/** 以上。 */
+export function ge(a, b, scope) {
+    return evaluate({ ge: [a, b] }, scope);
+}
+/** 論理積（短絡: a=false なら b は評価されない）。b は未評価 IR で渡す。 */
+export function and(a, b, scope) {
+    return evaluate({ and: [a, b] }, scope);
+}
+/** 論理和（短絡: a=true なら b は評価されない）。 */
+export function or(a, b, scope) {
+    return evaluate({ or: [a, b] }, scope);
+}
+/** 論理否定（strict bool。truthiness なし）。 */
+export function not(a, scope) {
+    return evaluate({ not: [a] }, scope);
+}
+/** null 合体（左が null のときだけ右を評価）。右は未評価 IR で渡す。 */
+export function coalesce(a, b, scope) {
+    return evaluate({ coalesce: [a, b] }, scope);
+}
+/** 条件（strict bool。採用側のみ評価）。then/else は未評価 IR で渡す。 */
+export function cond(c, then, els, scope) {
+    return evaluate({ cond: [c, then, els] }, scope);
+}
+/** 配列長（配列のみ。string length は v1 に無い）。 */
+export function len(a, scope) {
+    return evaluate({ len: [a] }, scope);
+}
+/**
+ * 生の Expression IR を直接評価する汎用 primitive（emitter が単一キーラッパを介さず
+ * 任意の式ノードを評価したい場合の逃げ道。意味論は上記個別 primitive と同一 SSoT）。
+ */
+export function evalExpr(node, scope = {}) {
+    return evaluate(node, scope);
+}
+// ── (c) bounded 並行プリミティブ（順序保存）─────────────────────────────────────
+/**
+ * mapWithConcurrency — 入力順を保存し、in-flight を `concurrency` で上限する bounded 並行 map。
+ * execution-plan.md §4 の determinism 規律（output[i]=worker(items[i]) / 完了順非依存 /
+ * FIFO dispatch）を単体 primitive として公開する。runPlanAsync 内の同名機構と同一規律。
+ *
+ * @param items       入力（順序保存の基準）。
+ * @param concurrency 同時 in-flight 上限（<=1 で逐次）。
+ * @param worker      各要素の非同期処理（`worker(item, index)`）。
+ * @returns           `items` と同じ長さ・順序の結果配列。
+ */
+export async function mapWithConcurrency(items, concurrency, worker) {
+    const out = new Array(items.length);
+    const limit = Math.max(1, Math.floor(concurrency));
+    let next = 0;
+    const runners = [];
+    const runner = async () => {
+        for (;;) {
+            const i = next++;
+            if (i >= items.length)
+                return;
+            out[i] = await worker(items[i], i); // 完了順非依存: 書き込み先は index 固定
+        }
+    };
+    for (let k = 0; k < Math.min(limit, items.length); k++)
+        runners.push(runner());
+    await Promise.all(runners);
+    return out;
+}
+// ── (d) skip / unproduced-value helper ────────────────────────────────────────
+/**
+ * 未生成 Port（Skip）の表現値を返す。single→null / connection→空 connection。
+ * plan.ts / behavior.ts の内部 unproducedValue と同一規律を公開面として切り出す
+ * （生成コードが Skip 節点の穴埋めに直呼びできるように）。
+ */
+export function unproducedValue(kind) {
+    return kind === "connection" ? { items: [], cursor: null } : null;
+}
+/** single relation の未生成 = null（unproducedValue("single") の明示版）。 */
+export function skipSingle() {
+    return null;
+}
+/** connection relation の未生成 = {items:[],cursor:null}（明示版）。 */
+export function skipConnection() {
+    return { items: [], cursor: null };
+}
+// ── (e) hydration / relation helper ───────────────────────────────────────────
+/**
+ * hydrateInto — map.into（behavior.ts の applyInto）と同一規律の zip-attach helper。
+ * `over` の各要素へ `key` で `values[k]` を書き戻した augment 済みリストを返す
+ * （over と同じ長さ・順序、親 results 不変＝コピー、guard skip 要素は無変更で pass-through）。
+ * read が relation を hydrate するときに codegen から直呼びできる面。
+ *
+ * @param over    元の要素列（object 要素のみ augment 可）。
+ * @param key     書き戻すフィールド名。
+ * @param keptIdx augment 対象の over index（昇順。guard 通過要素）。
+ * @param values  keptIdx と同じ長さ・順序の書き戻し値。
+ * @throws Error  augment 対象が object でない場合（MAP_INTO_ELEMENT_NOT_OBJECT 相当）。
+ */
+export function hydrateInto(over, key, keptIdx, values) {
+    const augmented = [];
+    let k = 0;
+    for (let i = 0; i < over.length; i++) {
+        const el = over[i];
+        if (k < keptIdx.length && keptIdx[k] === i) {
+            if (el === null || typeof el !== "object" || Array.isArray(el))
+                throw new Error(`hydrateInto: element ${i} is not an object (into requires object elements)`);
+            augmented.push({ ...el, [key]: values[k] });
+            k++;
+        }
+        else {
+            augmented.push(el);
+        }
+    }
+    return augmented;
+}
+//# sourceMappingURL=primitives.js.map

package/dist/primitives.js.map

@@ -0,0 +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"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "behavior-contracts",
-  "version": "0.1.3",
+  "version": "0.2.1",
   "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,6 +28,9 @@
     "template": 1,
     "plan": 1,
     "canonical": 2,
+    "behavior": 2,
+    "guard": 1,
+    "c2": 1,
     "envelope": "1.1"
   },
   "keywords": [