behavior-contracts 0.1.3 → 0.2.1

package/dist/behavior.js

@@ -0,0 +1,373 @@
+/**
+ * behavior.ts — component-graph IR schema + `runBehavior` unified execution IF (COMMON).
+ *
+ * scp-ir-architecture.md §5–§7 の規範実装。P0-1/P0-2/P0-3 の behavior-contracts 側。
+ *
+ * 「振る舞い＝Behavior をコンポーネントとして契約化し、Port と Wire で合成する」SCP の
+ * 可搬 IR は **component-graph**（`components[]{ name, inputPorts, body[], output, plan }`）で
+ * 表現される。`body` ノード種は:
+ *   - `componentRef` — catalog 名（文字列参照のみ）＋ port 式（Expression IR）
+ *   - `map`          — 配列 Port 反復（`over`/`as`/component/ports、v2: `when`/`into`/`batched`）
+ *   - `cond`         — Conditional（`if`/`then`/`else`、純 Expression。handler を呼ばない）
+ *
+ * 実行機構（§7.2）は既存 COMMON をそのまま使う:
+ *   - SCP汎用層（合成・plan）= runPlan（stage 実行・Skip 伝播・Policy Kind）+ evaluateExpression。
+ *   - 専用コンポーネント実行 = runPlan の `exec` seam を、catalog名 → handlers[name] で解決して呼ぶ
+ *     （汎用層＝COMMON、専用コンポーネント＝CONSUMER, runtime-boundary.md の分類に一致）。
+ *
+ * handler は境界注入（`IR + {effects,config,hooks}` 不変則, concept.md §4.4）。IR には catalog
+ * 参照名＋Port配線だけが載り、実装（副作用・SDK）は載らない（C4）。
+ */
+import { evaluate as evaluateExpression } from "./expr-eval.js";
+import { runPlan, runPlanAsync, } from "./plan.js";
+export class BehaviorFailure extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "BehaviorFailure";
+    }
+}
+function bfail(code, message) {
+    throw new BehaviorFailure(code, message);
+}
+// ── ノード種判定 ─────────────────────────────────────────────────────────────────
+function nodeKind(n) {
+    if ("map" in n)
+        return "map";
+    if ("cond" in n)
+        return "cond";
+    if ("component" in n)
+        return "componentRef";
+    bfail("UNKNOWN_NODE_KIND", `body node '${n.id ?? "?"}' is not componentRef/map/cond`);
+}
+/** body ノードの依存親 id（Wire）を取り出す（root は undefined）。 */
+function nodeParent(n) {
+    if ("map" in n)
+        return n.map.parent;
+    if ("cond" in n)
+        return n.cond.parent;
+    return n.parent;
+}
+/** componentRef の bindField（null-binding skip のキー）。map/cond は持たない。 */
+function nodeBindField(n) {
+    if ("map" in n || "cond" in n)
+        return undefined;
+    return n.bindField;
+}
+function nodePolicy(n) {
+    if ("map" in n)
+        return n.map.policy;
+    if ("cond" in n)
+        return undefined;
+    return n.policy;
+}
+function nodeRelationKind(n) {
+    if ("map" in n)
+        return n.map.relationKind;
+    if ("cond" in n)
+        return undefined;
+    return n.relationKind;
+}
+/**
+ * ports オブジェクトの各値を Expression IR として評価する（key はソートせず宣言順のまま）。
+ * FORBIDDEN_KEY 等の失敗は evaluateExpression が投げる（fail-closed）。
+ */
+function evalPorts(ports, scope) {
+    const out = {};
+    for (const k of Object.keys(ports))
+        out[k] = evaluateExpression(ports[k], scope);
+    return out;
+}
+/** entry 解決（runBehavior / runBehaviorAsync 共有）。 */
+function resolveEntry(ir, entry) {
+    const comp = entry
+        ? ir.components.find((c) => c.name === entry)
+        : ir.components[0];
+    if (!comp)
+        bfail("UNKNOWN_ENTRY", `component '${entry ?? "<first>"}' not found in IR`);
+    return comp;
+}
+/** body ノード → OpSpec（runPlan の staging に載せる）。parent は id → index に解決。 */
+function buildOps(body, idToIndex) {
+    return body.map((n) => {
+        const pid = nodeParent(n);
+        const parent = pid !== undefined ? idToIndex.get(pid) ?? null : null;
+        const spec = { id: n.id, parent };
+        const bf = nodeBindField(n);
+        if (bf !== undefined)
+            spec.bindField = bf;
+        const rk = nodeRelationKind(n);
+        if (rk !== undefined)
+            spec.relationKind = rk;
+        const pol = nodePolicy(n);
+        if (pol !== undefined)
+            spec.policy = pol;
+        return spec;
+    });
+}
+/** map.batched の整列契約検査（violation は MAP_BATCH_RESULT_MISMATCH で fail-closed）。 */
+function checkBatchAligned(opId, r, want) {
+    if (!Array.isArray(r) || r.length !== want)
+        bfail("MAP_BATCH_RESULT_MISMATCH", `map '${opId}': batched handler must return a list aligned to items (want ${want}, got ${Array.isArray(r) ? r.length : typeof r})`);
+    return r;
+}
+/**
+ * map.into（v2）: over と同じ長さ・順序の augment 済みリストを組む（親 results は不変）。
+ * guard 通過要素は shallow copy + `into` キー、skip 要素は無変更で pass through。
+ */
+function applyInto(opId, into, over, keptIdx, collected) {
+    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))
+                bfail("MAP_INTO_ELEMENT_NOT_OBJECT", `map '${opId}': 'into' requires object elements (element ${i} is not an object)`);
+            augmented.push({ ...el, [into]: collected[k] });
+            k++;
+        }
+        else {
+            augmented.push(el);
+        }
+    }
+    return augmented;
+}
+/** Skip されたノードの未生成表現を results に書き戻す（output の ref が読めるように）。 */
+function writeUnproduced(states, ops, body, results) {
+    states.forEach((s, i) => {
+        if (s.status === "skipped") {
+            results[ops[i].id] =
+                nodeRelationKind(body[i]) === "connection" ? { items: [], cursor: null } : null;
+        }
+    });
+}
+/**
+ * runBehavior — component-graph IR の統合実行 IF（§7）。
+ *
+ * @param ir       component-graph 可搬 IR。
+ * @param handlers 専用コンポーネント handler registry（catalog名 → 実装。境界注入）。
+ * @param input    エントリ component の inputPorts 束縛（param 値）。
+ * @param entry    実行する component 名（省略時は先頭 component）。
+ * @returns        `output` を評価した最終 Value（Φ 合流）。
+ *
+ * 責務（P0-3）: ①plan の stage 実行（runPlan）、②各 componentRef の port 式を
+ * evaluateExpression で評価、③catalog名→handlers[name] を解決し exec 委譲、④map/cond/Skip 伝播。
+ *
+ * 同期 handler seam のため stage 内は逐次実行（execution-plan.md §4.1 の conforming
+ * fallback）。stage 内 bounded 並列が必要な consumer は {@link runBehaviorAsync} を使う
+ * （観測結果は本関数と byte 一致 — 本関数が規範実装）。
+ */
+export function runBehavior(ir, handlers, input = {}, entry) {
+    const comp = resolveEntry(ir, entry);
+    const body = comp.body;
+    const idToIndex = new Map();
+    body.forEach((n, i) => idToIndex.set(n.id, i));
+    const ops = buildOps(body, idToIndex);
+    // 各 op 実行時に参照するスコープ: input params + それまでに ok になった node 結果（id → Value）。
+    const results = {};
+    const baseScope = () => ({ ...input, ...results });
+    const exec = (op) => {
+        const idx = idToIndex.get(op.id);
+        const node = body[idx];
+        const kind = nodeKind(node);
+        if (kind === "cond") {
+            // Conditional は純 Expression。cond 演算子（[if,then,else]）へ lower して評価。
+            const c = node.cond;
+            const value = evaluateExpression({ cond: [c.if, c.then, c.else] }, baseScope());
+            return { ok: value };
+        }
+        if (kind === "map") {
+            const m = node.map;
+            const over = evaluateExpression(m.over, baseScope());
+            if (!Array.isArray(over))
+                bfail("MAP_OVER_NOT_ARRAY", `map '${op.id}': 'over' did not evaluate to an array`);
+            const handler = handlers[m.component];
+            if (!handler)
+                bfail("UNKNOWN_COMPONENT", `component '${m.component}' has no handler (fail-closed)`);
+            const ctx = { nodeId: op.id, component: m.component };
+            // per-element guard（v2）: `{cond:[when,true,false]}` へ lower（strict-bool、fail-closed）。
+            const keep = (el, scope) => m.when === undefined ||
+                evaluateExpression({ cond: [m.when, true, false] }, scope) === true;
+            const keptIdx = []; // over 内で guard を通過した要素 index（into の整列用）
+            let collected;
+            if (m.batched === true) {
+                // batched（v2）: guard 通過全要素の ports を先に評価し、handler を 1 回だけ呼ぶ。
+                const items = [];
+                over.forEach((el, i) => {
+                    const scope = { ...baseScope(), [m.as]: el };
+                    if (!keep(el, scope))
+                        return;
+                    items.push(evalPorts(m.ports, scope));
+                    keptIdx.push(i);
+                });
+                if (items.length === 0) {
+                    collected = []; // guard 全落ち: handler は呼ばれない（空バッチを発行しない）
+                }
+                else {
+                    const outcome = handler({ items }, ctx);
+                    if ("error" in outcome)
+                        return outcome; // policy Kind は runPlan が解釈
+                    collected = checkBatchAligned(op.id, outcome.ok, items.length);
+                }
+            }
+            else {
+                collected = [];
+                for (let i = 0; i < over.length; i++) {
+                    const el = over[i];
+                    const scope = { ...baseScope(), [m.as]: el };
+                    if (!keep(el, scope))
+                        continue;
+                    const ports = evalPorts(m.ports, scope);
+                    const outcome = handler(ports, { ...ctx, bound: el });
+                    if ("error" in outcome)
+                        return outcome; // policy Kind は runPlan が解釈
+                    collected.push(outcome.ok);
+                    keptIdx.push(i);
+                }
+            }
+            if (m.into === undefined)
+                return { ok: collected };
+            return { ok: applyInto(op.id, m.into, over, keptIdx, collected) };
+        }
+        // componentRef
+        const cr = node;
+        const handler = handlers[cr.component];
+        if (!handler)
+            bfail("UNKNOWN_COMPONENT", `component '${cr.component}' has no handler (fail-closed)`);
+        const ports = evalPorts(cr.ports, baseScope());
+        return handler(ports, { nodeId: op.id, component: cr.component });
+    };
+    // runPlan は stage 実行・Skip 伝播・Policy Kind を担う。exec 内で results を蓄積する必要が
+    // あるため、成功結果を runPlan の外側（results）へも写す薄いラッパで包む。
+    const wrappedExec = (op, bound) => {
+        const outcome = exec(op, bound);
+        if ("ok" in outcome)
+            results[op.id] = outcome.ok;
+        return outcome;
+    };
+    const plan = comp.plan ?? null;
+    const run = runPlan(plan, ops, wrappedExec);
+    // Skip されたノードは未生成表現を results に載せる（output の ref が読めるように）。
+    writeUnproduced(run.states, ops, body, results);
+    // output（Φ 合流）を Expression IR として評価。
+    return evaluateExpression(comp.output, baseScope());
+}
+/**
+ * runBehaviorAsync — runBehavior の非同期版（bc#23）。handler が Promise を返せる。
+ *
+ * plan の stage 実行を {@link runPlanAsync} に委譲することで、同一 stage 内の兄弟ノードを
+ * `plan.concurrency` を上限とした bounded 並列で実行する（旧 graphddb の sibling relation
+ * query thread-overlap の回復）。map ノード**内部**の要素反復は宣言どおり逐次
+ * （stage 間/stage 内の並列単位は body ノード — §7）。
+ *
+ * 観測等価: 結果・Skip/Policy 伝播・Failure（code/message）は {@link runBehavior} と
+ * 完全一致（runBehavior が規範実装。等価性は conformance vectors の両経路 PASS で担保）。
+ * 相違は投機的 dispatch のみ（runPlanAsync の決定的 commit プロトコル参照）。
+ *
+ * 並行呼び出し契約: `concurrency > 1` の plan を持つ component では、同一 stage 内の
+ * 兄弟ノードの handler が並行に呼ばれ得る。並行呼び出しを許容しない consumer は
+ * `concurrency: 1` の plan を出荷する（concurrency は plan 構造の一部 — execution-plan.md §3）。
+ */
+export async function runBehaviorAsync(ir, handlers, input = {}, entry) {
+    const comp = resolveEntry(ir, entry);
+    const body = comp.body;
+    const idToIndex = new Map();
+    body.forEach((n, i) => idToIndex.set(n.id, i));
+    const ops = buildOps(body, idToIndex);
+    // 各 op 実行時に参照するスコープ: input params + それまでに ok になった node 結果（id → Value）。
+    // 並列 stage の兄弟同士は互いの結果を参照しない（§1: stage 内は相互独立）ので、
+    // dispatch 時点のスナップショットは前 stage までの確定結果と一致する。
+    const results = {};
+    const baseScope = () => ({ ...input, ...results });
+    // 以降の各分岐は runBehavior（規範実装）の同期 exec と**鏡映**であること。
+    // 相違は handler 呼び出しの await のみ（等価性は plan-async.test.ts が全 behavior
+    // vectors の両経路比較で強制する）。
+    const exec = async (op) => {
+        const idx = idToIndex.get(op.id);
+        const node = body[idx];
+        const kind = nodeKind(node);
+        if (kind === "cond") {
+            // Conditional は純 Expression。cond 演算子（[if,then,else]）へ lower して評価。
+            const c = node.cond;
+            const value = evaluateExpression({ cond: [c.if, c.then, c.else] }, baseScope());
+            return { ok: value };
+        }
+        if (kind === "map") {
+            const m = node.map;
+            const over = evaluateExpression(m.over, baseScope());
+            if (!Array.isArray(over))
+                bfail("MAP_OVER_NOT_ARRAY", `map '${op.id}': 'over' did not evaluate to an array`);
+            const handler = handlers[m.component];
+            if (!handler)
+                bfail("UNKNOWN_COMPONENT", `component '${m.component}' has no handler (fail-closed)`);
+            const ctx = { nodeId: op.id, component: m.component };
+            // per-element guard（v2）: `{cond:[when,true,false]}` へ lower（strict-bool、fail-closed）。
+            const keep = (el, scope) => m.when === undefined ||
+                evaluateExpression({ cond: [m.when, true, false] }, scope) === true;
+            const keptIdx = []; // over 内で guard を通過した要素 index（into の整列用）
+            let collected;
+            if (m.batched === true) {
+                // batched（v2）: guard 通過全要素の ports を先に評価し、handler を 1 回だけ呼ぶ。
+                const items = [];
+                over.forEach((el, i) => {
+                    const scope = { ...baseScope(), [m.as]: el };
+                    if (!keep(el, scope))
+                        return;
+                    items.push(evalPorts(m.ports, scope));
+                    keptIdx.push(i);
+                });
+                if (items.length === 0) {
+                    collected = []; // guard 全落ち: handler は呼ばれない（空バッチを発行しない）
+                }
+                else {
+                    const outcome = await handler({ items }, ctx);
+                    if ("error" in outcome)
+                        return outcome; // policy Kind は runPlanAsync が解釈
+                    collected = checkBatchAligned(op.id, outcome.ok, items.length);
+                }
+            }
+            else {
+                collected = [];
+                for (let i = 0; i < over.length; i++) {
+                    const el = over[i];
+                    const scope = { ...baseScope(), [m.as]: el };
+                    if (!keep(el, scope))
+                        continue;
+                    const ports = evalPorts(m.ports, scope);
+                    const outcome = await handler(ports, { ...ctx, bound: el });
+                    if ("error" in outcome)
+                        return outcome; // policy Kind は runPlanAsync が解釈
+                    collected.push(outcome.ok);
+                    keptIdx.push(i);
+                }
+            }
+            if (m.into === undefined)
+                return { ok: collected };
+            return { ok: applyInto(op.id, m.into, over, keptIdx, collected) };
+        }
+        // componentRef
+        const cr = node;
+        const handler = handlers[cr.component];
+        if (!handler)
+            bfail("UNKNOWN_COMPONENT", `component '${cr.component}' has no handler (fail-closed)`);
+        const ports = evalPorts(cr.ports, baseScope());
+        return handler(ports, { nodeId: op.id, component: cr.component });
+    };
+    // 成功結果を results へ写す薄いラッパ（runBehavior と同形）。並列 stage では兄弟の
+    // 書き込みが宣言順と異なる wall-clock 順で起き得るが、書き込み先は disjoint スロット
+    // （自ノード id）であり、兄弟は互いのスロットを読まない（§1）ため結果は決定的。
+    const wrappedExec = async (op, bound) => {
+        const outcome = await exec(op, bound);
+        if ("ok" in outcome)
+            results[op.id] = outcome.ok;
+        return outcome;
+    };
+    const plan = comp.plan ?? null;
+    const run = await runPlanAsync(plan, ops, wrappedExec);
+    // Skip されたノードは未生成表現を results に載せる（output の ref が読めるように）。
+    writeUnproduced(run.states, ops, body, results);
+    // output（Φ 合流）を Expression IR として評価。
+    return evaluateExpression(comp.output, baseScope());
+}
+//# sourceMappingURL=behavior.js.map

package/dist/behavior.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"behavior.js","sourceRoot":"","sources":["../src/behavior.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,QAAQ,IAAI,kBAAkB,EAA0B,MAAM,gBAAgB,CAAC;AACxF,OAAO,EACL,OAAO,EACP,YAAY,GAQb,MAAM,WAAW,CAAC;AA0NnB,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,KAAK,CAAC,IAAyB,EAAE,OAAe;IACvD,MAAM,IAAI,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,8EAA8E;AAC9E,SAAS,QAAQ,CAAC,CAAW;IAC3B,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7B,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC;IAC/B,IAAI,WAAW,IAAI,CAAC;QAAE,OAAO,cAAc,CAAC;IAC5C,KAAK,CAAC,mBAAmB,EAAE,cAAe,CAAqB,CAAC,EAAE,IAAI,GAAG,gCAAgC,CAAC,CAAC;AAC7G,CAAC;AAED,oDAAoD;AACpD,SAAS,UAAU,CAAC,CAAW;IAC7B,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;IACpC,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;IACtC,OAAO,CAAC,CAAC,MAAM,CAAC;AAClB,CAAC;AAED,sEAAsE;AACtE,SAAS,aAAa,CAAC,CAAW;IAChC,IAAI,KAAK,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,OAAO,CAAC,CAAC,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,UAAU,CAAC,CAAW;IAC7B,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;IACpC,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAClC,OAAO,CAAC,CAAC,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAW;IACnC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC;IAC1C,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAClC,OAAO,CAAC,CAAC,YAAY,CAAC;AACxB,CAAC;AAED;;;GAGG;AACH,SAAS,SAAS,CAAC,KAA8B,EAAE,KAAY;IAC7D,MAAM,GAAG,GAA0B,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACjF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,mDAAmD;AACnD,SAAS,YAAY,CAAC,EAAoB,EAAE,KAAc;IACxD,MAAM,IAAI,GAAG,KAAK;QAChB,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC;QAC7C,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACrB,IAAI,CAAC,IAAI;QAAE,KAAK,CAAC,eAAe,EAAE,cAAc,KAAK,IAAI,SAAS,mBAAmB,CAAC,CAAC;IACvF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yEAAyE;AACzE,SAAS,QAAQ,CAAC,IAAgB,EAAE,SAA8B;IAChE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACpB,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACrE,MAAM,IAAI,GAAW,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,EAAE,KAAK,SAAS;YAAE,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC;QAC1C,MAAM,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,EAAE,KAAK,SAAS;YAAE,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,GAAG,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,gFAAgF;AAChF,SAAS,iBAAiB,CAAC,IAAY,EAAE,CAAQ,EAAE,IAAY;IAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI;QACxC,KAAK,CACH,2BAA2B,EAC3B,QAAQ,IAAI,gEAAgE,IAAI,SAAS,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CACnI,CAAC;IACJ,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,SAAS,SAAS,CAChB,IAAY,EACZ,IAAY,EACZ,IAAa,EACb,OAAiB,EACjB,SAAkB;IAElB,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,KAAK,CACH,6BAA6B,EAC7B,QAAQ,IAAI,+CAA+C,CAAC,oBAAoB,CACjF,CAAC;YACJ,SAAS,CAAC,IAAI,CAAC,EAAE,GAAI,EAA4B,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3E,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;AAED,8DAA8D;AAC9D,SAAS,eAAe,CACtB,MAA4B,EAC5B,GAAa,EACb,IAAgB,EAChB,OAA8B;IAE9B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtB,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChB,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACpF,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,WAAW,CACzB,EAAoB,EACpB,QAAkB,EAClB,QAAe,EAAE,EACjB,KAAc;IAEd,MAAM,IAAI,GAAG,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAErC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAE/C,MAAM,GAAG,GAAa,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAEhD,uEAAuE;IACvE,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,MAAM,SAAS,GAAG,GAAU,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IAE1D,MAAM,IAAI,GAAS,CAAC,EAAE,EAAE,EAAE;QACxB,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAE5B,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YACpB,kEAAkE;YAClE,MAAM,CAAC,GAAI,IAAiB,CAAC,IAAI,CAAC;YAClC,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;YAChF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;QACvB,CAAC;QAED,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,MAAM,CAAC,GAAI,IAAgB,CAAC,GAAG,CAAC;YAChC,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBACtB,KAAK,CAAC,oBAAoB,EAAE,QAAQ,EAAE,CAAC,EAAE,wCAAwC,CAAC,CAAC;YACrF,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACtC,IAAI,CAAC,OAAO;gBACV,KAAK,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC,SAAS,gCAAgC,CAAC,CAAC;YACxF,MAAM,GAAG,GAAe,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC;YAElE,sFAAsF;YACtF,MAAM,IAAI,GAAG,CAAC,EAAS,EAAE,KAAY,EAAW,EAAE,CAChD,CAAC,CAAC,IAAI,KAAK,SAAS;gBACpB,kBAAkB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC;YACtE,MAAM,OAAO,GAAa,EAAE,CAAC,CAAC,yCAAyC;YAEvE,IAAI,SAAkB,CAAC;YACvB,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;gBACvB,4DAA4D;gBAC5D,MAAM,KAAK,GAAY,EAAE,CAAC;gBAC1B,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;oBACrB,MAAM,KAAK,GAAU,EAAE,GAAG,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;oBACpD,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC;wBAAE,OAAO;oBAC7B,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;oBACtC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,CAAC,CAAC,CAAC;gBACH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACvB,SAAS,GAAG,EAAE,CAAC,CAAC,wCAAwC;gBAC1D,CAAC;qBAAM,CAAC;oBACN,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,CAAC;oBACxC,IAAI,OAAO,IAAI,OAAO;wBAAE,OAAO,OAAO,CAAC,CAAC,4BAA4B;oBACpE,SAAS,GAAG,iBAAiB,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;gBACjE,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,SAAS,GAAG,EAAE,CAAC;gBACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACrC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;oBACnB,MAAM,KAAK,GAAU,EAAE,GAAG,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;oBACpD,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC;wBAAE,SAAS;oBAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBACxC,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;oBACtD,IAAI,OAAO,IAAI,OAAO;wBAAE,OAAO,OAAO,CAAC,CAAC,4BAA4B;oBACpE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBAC3B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,CAAC;YACH,CAAC;YAED,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC;YACnD,OAAO,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;QACpE,CAAC;QAED,eAAe;QACf,MAAM,EAAE,GAAG,IAAwB,CAAC;QACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,CAAC,OAAO;YACV,KAAK,CAAC,mBAAmB,EAAE,cAAc,EAAE,CAAC,SAAS,gCAAgC,CAAC,CAAC;QACzF,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/C,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;IACpE,CAAC,CAAC;IAEF,sEAAsE;IACtE,+CAA+C;IAC/C,MAAM,WAAW,GAAS,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAChC,IAAI,IAAI,IAAI,OAAO;YAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC;QACjD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,MAAM,IAAI,GAA6B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC;IACzD,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IAE5C,yDAAyD;IACzD,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAEhD,qCAAqC;IACrC,OAAO,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,EAAoB,EACpB,QAAuB,EACvB,QAAe,EAAE,EACjB,KAAc;IAEd,MAAM,IAAI,GAAG,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAErC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAE/C,MAAM,GAAG,GAAa,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAEhD,uEAAuE;IACvE,kDAAkD;IAClD,6CAA6C;IAC7C,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,MAAM,SAAS,GAAG,GAAU,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;IAE1D,kDAAkD;IAClD,iEAAiE;IACjE,wBAAwB;IACxB,MAAM,IAAI,GAAc,KAAK,EAAE,EAAE,EAAE,EAAE;QACnC,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAE5B,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YACpB,kEAAkE;YAClE,MAAM,CAAC,GAAI,IAAiB,CAAC,IAAI,CAAC;YAClC,MAAM,KAAK,GAAG,kBAAkB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;YAChF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;QACvB,CAAC;QAED,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,MAAM,CAAC,GAAI,IAAgB,CAAC,GAAG,CAAC;YAChC,MAAM,IAAI,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBACtB,KAAK,CAAC,oBAAoB,EAAE,QAAQ,EAAE,CAAC,EAAE,wCAAwC,CAAC,CAAC;YACrF,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACtC,IAAI,CAAC,OAAO;gBACV,KAAK,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC,SAAS,gCAAgC,CAAC,CAAC;YACxF,MAAM,GAAG,GAAe,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC;YAElE,sFAAsF;YACtF,MAAM,IAAI,GAAG,CAAC,EAAS,EAAE,KAAY,EAAW,EAAE,CAChD,CAAC,CAAC,IAAI,KAAK,SAAS;gBACpB,kBAAkB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC;YACtE,MAAM,OAAO,GAAa,EAAE,CAAC,CAAC,yCAAyC;YAEvE,IAAI,SAAkB,CAAC;YACvB,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;gBACvB,4DAA4D;gBAC5D,MAAM,KAAK,GAAY,EAAE,CAAC;gBAC1B,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;oBACrB,MAAM,KAAK,GAAU,EAAE,GAAG,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;oBACpD,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC;wBAAE,OAAO;oBAC7B,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;oBACtC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,CAAC,CAAC,CAAC;gBACH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACvB,SAAS,GAAG,EAAE,CAAC,CAAC,wCAAwC;gBAC1D,CAAC;qBAAM,CAAC;oBACN,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,CAAC;oBAC9C,IAAI,OAAO,IAAI,OAAO;wBAAE,OAAO,OAAO,CAAC,CAAC,iCAAiC;oBACzE,SAAS,GAAG,iBAAiB,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;gBACjE,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,SAAS,GAAG,EAAE,CAAC;gBACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACrC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;oBACnB,MAAM,KAAK,GAAU,EAAE,GAAG,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;oBACpD,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC;wBAAE,SAAS;oBAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBACxC,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;oBAC5D,IAAI,OAAO,IAAI,OAAO;wBAAE,OAAO,OAAO,CAAC,CAAC,iCAAiC;oBACzE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBAC3B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClB,CAAC;YACH,CAAC;YAED,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC;YACnD,OAAO,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;QACpE,CAAC;QAED,eAAe;QACf,MAAM,EAAE,GAAG,IAAwB,CAAC;QACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,CAAC,OAAO;YACV,KAAK,CAAC,mBAAmB,EAAE,cAAc,EAAE,CAAC,SAAS,gCAAgC,CAAC,CAAC;QACzF,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/C,OAAO,OAAO,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;IACpE,CAAC,CAAC;IAEF,yDAAyD;IACzD,uDAAuD;IACvD,4CAA4C;IAC5C,MAAM,WAAW,GAAc,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;QACjD,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACtC,IAAI,IAAI,IAAI,OAAO;YAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC;QACjD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,MAAM,IAAI,GAA6B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC;IACzD,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IAEvD,yDAAyD;IACzD,eAAe,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAEhD,qCAAqC;IACrC,OAAO,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;AACtD,CAAC"}

package/dist/builder.d.ts

@@ -0,0 +1,154 @@
+/**
+ * builder.ts — programmatic component-definition builder（合成グラフの「データ登録」IF,
+ * bc#26）＋ recorder 経路（`compileBehaviors`）と共有する検証・正規化 core。
+ *
+ * ## 責務分離（オーナー決定 — bc#26 / graphddb#297 SP5）
+ *
+ * model 由来 lowering（@model メタデータ → relation DAG 展開）は bc#24 の evaluation-mode
+ * recorder に乗らないことが実証された（node-id が意味論を持つ load-bearing 構造 /
+ * relationKind・bindField 非 emit / 動的 port 群が fail-closed schema と衝突 / compile
+ * エントリが class-source-scan gate）。そこで:
+ *
+ *   - **抽出ロジック（model → 合成グラフの導出）は consumer（graphddb / litedbmodel / …）が
+ *     保持**する。builder は closure を受け取らない（source scan も recorder も非適用）。
+ *   - **IR の形・検証・正規化の所有権は bc（C1）**: consumer は事前合成されたグラフを
+ *     **データとして登録**し（{@link buildComponentDefinition}）、検証済み・正準化済みの
+ *     `Component`（`components[]` エントリ）を受け取る。
+ *
+ * ## 受け入れるデータ（B-1）
+ *
+ *   - 呼び出し側指定の **node id**（任意文字列 — consumer が意味論を持たせてよい。例:
+ *     graphddb の resultPath 由来 `"root"` / `"groups.items.group.permissions.items"`）。
+ *   - body ノード種 `componentRef`（`parent` / `bindField` / `relationKind` / `policy` 込み）/
+ *     `map`（v2 語彙 `when` / `into` / `batched` 込み）/ `cond`。
+ *   - **動的 port 群**（`item.<field>` / `key.<attr>` / `changes.<field>` /
+ *     `condition.equals.<field>` 等の flatten キー）: catalog エントリの
+ *     {@link CatalogEntry.additionalPorts} `: true`（opt-in）で受容する。既定は fail-closed
+ *     （未宣言 port は `UNKNOWN_PORT`）。**宣言済み port は additionalPorts に関わらず検査**
+ *     される（required / スカラリテラル型）。
+ *   - `inputPorts` / `output` / `plan`（省略時は依存から導出。`plan: null` は「plan なし」=
+ *     runBehavior の逐次 fallback — graphddb transaction 形）。
+ *
+ * ## 検証・正規化（B-2）
+ *
+ *   1. **構造検証**: ノード種・許可キー集合（未知キーは fail-closed）・id 一意性・
+ *      id と input port 名の衝突禁止（runBehavior の flat scope が曖昧になる）・parent 実在・
+ *      依存の非循環・**参照 root の実在**（`{ref:[root,…]}` の root は body ノード id /
+ *      宣言 input port / その map 自身の `as` 束縛のみ — fail-closed `UNKNOWN_REF`）。
+ *   2. **catalog 照合**: エントリ実在・`portableToIR`・未宣言 port（additionalPorts
+ *      ポリシー）・required port・宣言 port のスカラリテラル型検査。
+ *   3. **plan**: 省略時は依存から導出（recorder 経路と同一の Kahn levels）。指定時は
+ *      被覆（各 index がちょうど 1 stage）と依存順序（dep の stage < node の stage)を検証。
+ *   4. **決定的正規化**: 全 object キーを code-point 順にソートして再構築（配列順序は保持）。
+ *      **構造的に同じ入力データ（キー挿入順が違っても）→ byte 同一の出力**（consumer の
+ *      golden 規律を壊さない）。入力データは変異しない。
+ *   5. `assertPortableComponentGraph` を内部適用（fail-closed の自己検査、P0-2 Guard）。
+ *
+ * ## recorder 経路との単一実装（B-3）
+ *
+ * `compileBehaviors` は lowering の末尾（Component 組み立て・plan 導出・正規化・Guard）を
+ * {@link buildComponentCore} に委譲し、catalog port 照合は record 時に
+ * {@link checkPortableEntry} / {@link checkPortNames} / {@link checkDeclaredPortTypes} を
+ * 共有する。2 経路（recorder / データ登録）は同じ検証・正規化を通る。
+ */
+import type { BodyNode, Catalog, CatalogEntry, Component, PortSchema } from "./behavior.js";
+import type { ExecutionPlanSpec } from "./plan.js";
+export type BuilderFailureCode = "INVALID_DEFINITION" | "INVALID_NODE" | "DUPLICATE_NODE_ID" | "UNKNOWN_PARENT" | "DEPENDENCY_CYCLE" | "UNKNOWN_COMPONENT" | "NOT_PORTABLE_COMPONENT" | "UNKNOWN_PORT" | "MISSING_PORT" | "PORT_TYPE_MISMATCH" | "UNKNOWN_REF" | "INVALID_PLAN";
+export declare class BuilderFailure extends Error {
+    code: BuilderFailureCode;
+    constructor(code: BuilderFailureCode, message: string);
+}
+/** 共有 port 照合が投げる失敗コード（AuthoringFailureCode / BuilderFailureCode の共通部分）。 */
+export type PortCheckFailCode = "NOT_PORTABLE_COMPONENT" | "UNKNOWN_PORT" | "MISSING_PORT" | "PORT_TYPE_MISMATCH";
+export type PortCheckFail = (code: PortCheckFailCode, message: string) => never;
+/** `portableToIR: false` のエントリは可搬 IR に載せられない（両経路共通の先頭検査）。 */
+export declare function checkPortableEntry(name: string, entry: CatalogEntry, fail: PortCheckFail): void;
+/**
+ * port 名の catalog 照合（両経路共通）:
+ *   - 未宣言 port はエントリが `additionalPorts: true` を宣言しない限り fail-closed で拒否
+ *     （動的 port 群 — `item.<field>` 等 — を持つ write 系エントリだけが opt-in する）。
+ *   - required 宣言 port の欠落は additionalPorts に関わらず拒否。
+ */
+export declare function checkPortNames(name: string, entry: CatalogEntry, portNames: readonly string[], fail: PortCheckFail): void;
+/**
+ * 宣言 port のスカラリテラル型検査（両経路共通・additionalPorts に関わらず適用）:
+ * 宣言型がスカラ（string/number/boolean 系）で、配線値が**静的スカラリテラル**のとき
+ * のみ照合する（`{ref}` / `{concat}` 等の式は実行時型のため検査対象外）。
+ */
+export declare function checkDeclaredPortTypes(name: string, entry: CatalogEntry, ports: Record<string, unknown>, fail: PortCheckFail): void;
+/**
+ * IR ノードを走査し、`ids` に含まれる id を root に持つ ref/refOpt の root を出現順に集める
+ * （recorder の Wire 選択・両経路の plan 導出が使う共通プリミティブ）。
+ */
+export declare function collectNodeIdRefs(node: unknown, ids: ReadonlySet<string>, out?: string[]): string[];
+export declare const DEFAULT_PLAN_CONCURRENCY = 16;
+/**
+ * buildComponentDefinition が受け取る事前合成グラフデータ。フィールドは canonical
+ * `Component`（behavior.ts / scp-ir-architecture.md §5）と同形で、`plan` だけ 3 値:
+ *   - 省略（undefined） → 依存から導出（Kahn levels・`concurrency` オプション）。
+ *   - `null`            → plan なし（runBehavior の逐次 fallback。graphddb transaction 形）。
+ *   - `ExecutionPlanSpec` → 供給値を検証して使う（graphddb query 形）。
+ */
+export interface ComponentDefinitionData {
+    name: string;
+    /** 省略時は `{}`（Input Port なし）。 */
+    inputPorts?: Record<string, PortSchema>;
+    body: readonly BodyNode[];
+    /** Φ 合流の Expression IR（必須。出力なしは `null` を明示する）。 */
+    output: unknown;
+    plan?: ExecutionPlanSpec | null;
+}
+export interface BuildComponentDefinitionOptions {
+    /**
+     * 照合する catalog（必須 — fail-closed: catalog なしに component 参照は検証できない）。
+     * 動的 port 群を受けるエントリは `additionalPorts: true` を宣言する。
+     */
+    catalog: Catalog;
+    /** plan 導出時の concurrency（既定 16）。供給 plan には影響しない。 */
+    concurrency?: number;
+}
+/**
+ * buildComponentCore — 検証・plan 導出・正規化・Guard の単一実装。
+ * `buildComponentDefinition`（データ登録 IF、catalog 必須）と `compileBehaviors`
+ * （recorder 経路 — catalog port 照合は record 時に共有関数で済ませているため
+ * `catalog` なし）の両方がこの core を通る。
+ */
+export declare function buildComponentCore(data: ComponentDefinitionData, opts: {
+    catalog?: Catalog;
+    concurrency: number;
+}): Component;
+/**
+ * buildComponentDefinition — 事前合成されたグラフ**データ**を受け取り、検証済み・正準化
+ * 済みの `Component`（`components[]` エントリ）を返す（bc#26 のデータ登録 IF）。
+ *
+ * evaluation-mode recorder（`compileBehaviors`）とは独立: source scan は適用されず、
+ * 抽出ロジック（model → グラフ導出）は consumer 側に残る。検証・正規化の規則は
+ * モジュール docstring（B-2）を参照。
+ *
+ * ```ts
+ * const component = buildComponentDefinition(
+ *   {
+ *     name: "ArticleWithTagsRead__get",
+ *     inputPorts: { articleId: { type: "string", required: true } },
+ *     body: [
+ *       { id: "root", component: "GetItem",
+ *         ports: { table: "T", PK: { concat: ["ARTICLE#", { ref: ["articleId"] }] }, SK: "META" } },
+ *       { id: "tags.items",
+ *         map: { over: { ref: ["root", "tagRefs"] }, as: "$tagId", component: "BatchGetItem",
+ *                ports: { table: "T", PK: { concat: ["TAG#", { ref: ["$tagId", "tagId"] }] } },
+ *                parent: "root", relationKind: "connection", batched: true } },
+ *     ],
+ *     output: { obj: { root: { ref: ["root"] }, tags: { ref: ["tags.items"] } } },
+ *     plan: { groups: [[0], [1]], concurrency: 16 },
+ *   },
+ *   { catalog },
+ * );
+ * // 実行: runBehavior({ irVersion: 1, exprVersion: SPEC_VERSIONS.expression,
+ * //                     components: [component] }, handlers, input)
+ * ```
+ *
+ * @throws {BuilderFailure} 検証違反（コードは {@link BuilderFailureCode}）。
+ * @throws {PortabilityError} Guard 自己検査（`assertPortableComponentGraph`）の違反。
+ */
+export declare function buildComponentDefinition(data: ComponentDefinitionData, options: BuildComponentDefinitionOptions): Component;
+//# sourceMappingURL=builder.d.ts.map

package/dist/builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../src/builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AACH,OAAO,KAAK,EACV,QAAQ,EACR,OAAO,EACP,YAAY,EACZ,SAAS,EAIT,UAAU,EACX,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAMnD,MAAM,MAAM,kBAAkB,GAC1B,oBAAoB,GACpB,cAAc,GACd,mBAAmB,GACnB,gBAAgB,GAChB,kBAAkB,GAClB,mBAAmB,GACnB,wBAAwB,GACxB,cAAc,GACd,cAAc,GACd,oBAAoB,GACpB,aAAa,GACb,cAAc,CAAC;AAEnB,qBAAa,cAAe,SAAQ,KAAK;IACvC,IAAI,EAAE,kBAAkB,CAAC;gBACb,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM;CAKtD;AAOD,4EAA4E;AAC5E,MAAM,MAAM,iBAAiB,GACzB,wBAAwB,GACxB,cAAc,GACd,cAAc,GACd,oBAAoB,CAAC;AAEzB,MAAM,MAAM,aAAa,GAAG,CAAC,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,KAAK,KAAK,CAAC;AAEhF,6DAA6D;AAC7D,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,GAAG,IAAI,CAM/F;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,IAAI,EAAE,aAAa,GAClB,IAAI,CAaN;AAwBD;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,IAAI,EAAE,aAAa,GAClB,IAAI,CAYN;AAGD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,GAAG,GAAE,MAAM,EAAO,GAAG,MAAM,EAAE,CAgBvG;AAuBD,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAiE3C;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,gCAAgC;IAChC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACxC,IAAI,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC1B,kDAAkD;IAClD,MAAM,EAAE,OAAO,CAAC;IAChB,IAAI,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CACjC;AAED,MAAM,WAAW,+BAA+B;IAC9C;;;OAGG;IACH,OAAO,EAAE,OAAO,CAAC;IACjB,oDAAoD;IACpD,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAuPD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,uBAAuB,EAC7B,IAAI,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAC/C,SAAS,CA2EX;AAGD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,uBAAuB,EAC7B,OAAO,EAAE,+BAA+B,GACvC,SAAS,CASX"}