behavior-contracts 0.1.3 → 0.2.1

package/dist/generator/emit-straightline-typescript.js

@@ -0,0 +1,397 @@
+import { emitDocLiteral, emitDocLiteralCompact } from "./literal.js";
+import { emitStraightlineModule, } from "./straightline.js";
+/** primitive namespace alias（生成コード内）。 */
+const CGP = "cgp";
+/**
+ * scope 式（生成コード内）。scope は「input + それまでの ok 結果」の**その時点のスナップ**で
+ * あり、runBehavior の `baseScope()` と同じく exec ごとに新規に組む。primitive へは
+ * `scope()`（関数呼び）を渡す（呼び時点の results を読む — 決定的）。
+ */
+const SCOPE = "scope()";
+/**
+ * map 本体（over/guard/ports）の要素 scope 式（生成コード内）。runBehavior の map と同じく
+ * `{ ...baseScope(), [as]: el }` のスナップを per-element で組む。生成コードはこの名前
+ * （`mscope()`）で要素 scope を読む関数を map arm 内にローカル定義する。
+ */
+const MAP_SCOPE = "mscope()";
+/** IR リテラルを TS 式として emit（primitive 被演算子用の単一行リテラル）。 */
+function lit(node) {
+    return emitDocLiteralCompact(node, "ts");
+}
+/** args 配列を要素ごとに IR リテラルへ落として `, ` 連結。 */
+function argList(arg) {
+    return arg.map((a) => lit(a)).join(", ");
+}
+// A0 codegenPrimitives の引数形に合わせた op → 呼び式の綴じ方。
+// 命名は docs/codegen-primitives.md §4.1（TS 列）に一致。
+const OP_EMITTERS = {
+    // 参照（path 配列 + scope）
+    ref: (arg, s) => `${CGP}.ref(${lit(arg)}, ${s})`,
+    refOpt: (arg, s) => `${CGP}.refOpt(${lit(arg)}, ${s})`,
+    // リテラルラッパ（int は文字列, float は number）
+    int: (arg, s) => `${CGP}.intLit(${lit(arg)}, ${s})`,
+    float: (arg, s) => `${CGP}.floatLit(${lit(arg)}, ${s})`,
+    // 構築（fields/elements は未評価 IR）
+    obj: (arg, s) => `${CGP}.obj(${lit(arg)}, ${s})`,
+    arr: (arg, s) => `${CGP}.arr(${lit(arg)}, ${s})`,
+    // 数値（二項は [a,b]・単項は [a]）
+    add: (arg, s) => `${CGP}.add(${argList(arg)}, ${s})`,
+    sub: (arg, s) => `${CGP}.sub(${argList(arg)}, ${s})`,
+    mul: (arg, s) => `${CGP}.mul(${argList(arg)}, ${s})`,
+    neg: (arg, s) => `${CGP}.neg(${argList(arg)}, ${s})`,
+    div: (arg, s) => `${CGP}.div(${argList(arg)}, ${s})`,
+    mod: (arg, s) => `${CGP}.mod(${argList(arg)}, ${s})`,
+    // 文字列連結（n-ary。parts は未評価 IR 配列）
+    concat: (arg, s) => `${CGP}.concat(${lit(arg)}, ${s})`,
+    // 比較（二項）
+    eq: (arg, s) => `${CGP}.eq(${argList(arg)}, ${s})`,
+    ne: (arg, s) => `${CGP}.ne(${argList(arg)}, ${s})`,
+    lt: (arg, s) => `${CGP}.lt(${argList(arg)}, ${s})`,
+    le: (arg, s) => `${CGP}.le(${argList(arg)}, ${s})`,
+    gt: (arg, s) => `${CGP}.gt(${argList(arg)}, ${s})`,
+    ge: (arg, s) => `${CGP}.ge(${argList(arg)}, ${s})`,
+    // bool/null（短絡: 被演算子は未評価 IR で渡す — primitive 内 evaluate が短絡）
+    and: (arg, s) => `${CGP}.and(${argList(arg)}, ${s})`,
+    or: (arg, s) => `${CGP}.or(${argList(arg)}, ${s})`,
+    not: (arg, s) => `${CGP}.not(${argList(arg)}, ${s})`,
+    coalesce: (arg, s) => `${CGP}.coalesce(${argList(arg)}, ${s})`,
+    cond: (arg, s) => `${CGP}.cond(${argList(arg)}, ${s})`,
+    len: (arg, s) => `${CGP}.len(${argList(arg)}, ${s})`,
+};
+/**
+ * emitExpr — Expression IR ノードを TS の primitive 呼び式に落とす。
+ *   - 単一キーの演算子ノード → 対応 primitive（被演算子は IR リテラル＝A0 の Expr 契約）。
+ *   - スカラ/ null / bool のむき出しリテラル（例 cond の then=true, ref path 内 string）や
+ *     未知の形は `evalExpr`（同一 SSoT）へ落とす。これで型判定を生成コードに残さない。
+ * Portability Guard を通過済み（生成時検査）なので未知 operator はここに来ない。
+ */
+function emitExpr(node, scopeVar) {
+    if (node !== null && typeof node === "object" && !Array.isArray(node)) {
+        const keys = Object.keys(node);
+        if (keys.length === 1) {
+            const op = keys[0];
+            const em = OP_EMITTERS[op];
+            if (em)
+                return em(node[op], scopeVar);
+        }
+    }
+    // スカラリテラル（string/number/bool/null）や obj 以外 — evaluate SSoT に委譲（同一意味論）。
+    return `${CGP}.evalExpr(${lit(node)}, ${scopeVar})`;
+}
+// ── per-node exec 分岐 / component 関数 / module の綴じ方 ──────────────────────
+/** ops リテラル（runPlan に渡す OpSpec[] の TS リテラル）を綴じる。 */
+function emitOpsLiteral(plan) {
+    const rows = plan.opsLiteral.map((o) => {
+        const parts = [`id: ${JSON.stringify(o.id)}`, `parent: ${o.parent === null ? "null" : String(o.parent)}`];
+        if (o.bindField !== undefined)
+            parts.push(`bindField: ${JSON.stringify(o.bindField)}`);
+        if (o.relationKind !== undefined)
+            parts.push(`relationKind: ${JSON.stringify(o.relationKind)}`);
+        if (o.policy !== undefined)
+            parts.push(`policy: ${JSON.stringify(o.policy)}`);
+        return `    { ${parts.join(", ")} },`;
+    });
+    return `[\n${rows.join("\n")}\n  ]`;
+}
+/** map arm の per-element ports リテラル（要素 scope `mscope()` で評価）。 */
+function emitMapPorts(op) {
+    if (op.ports.length === 0)
+        return "const ports: Record<string, Value> = {};";
+    return `const ports: Record<string, Value> = {\n${op.ports
+        .map((p) => `            ${JSON.stringify(p.name)}: ${p.expr},`)
+        .join("\n")}\n          };`;
+}
+/**
+ * emitMapArm — map ノードの直線展開（要素反復・guard skip・per-element/batched handler・into
+ * zip-attach）。runBehavior の map 分岐（behavior.ts §map）を生成コードに直線展開する。op-log
+ * 等価のため、handler は runBehavior と同じ ctx（非 batched は `{nodeId,component,bound}`、batched は
+ * `{nodeId,component}`）・同じ ports 形で呼ぶ。guard は cond primitive（strict-bool SSoT）。into は
+ * A0 `hydrateInto` primitive（zip-attach SSoT）。要素反復は宣言どおり逐次（並列単位は body ノード）。
+ */
+function emitMapArm(op, aw) {
+    const comp = JSON.stringify(op.component);
+    const nodeId = JSON.stringify(op.id);
+    const asKey = JSON.stringify(op.as);
+    const guardCheck = op.guard === undefined ? "" : `\n          if (${op.guard} !== true) continue;`;
+    const intoTail = op.into === undefined
+        ? "        return { ok: collected };"
+        : `        // map.into zip-attach (behavior.ts applyInto): over と同じ長さ・順序で guard 通過要素へ
+        // ${JSON.stringify(op.into)} を書き戻す（skip 要素は無変更で pass-through、親不変=shallow copy）。
+        // Failure code は runBehavior と一致（非 object 要素は MAP_INTO_ELEMENT_NOT_OBJECT）。
+        {
+          const augmented: Value[] = [];
+          let mk = 0;
+          for (let mj = 0; mj < (over as Value[]).length; mj++) {
+            const oel = (over as Value[])[mj];
+            if (mk < keptIdx.length && keptIdx[mk] === mj) {
+              if (oel === null || typeof oel !== "object" || Array.isArray(oel))
+                throw new BehaviorFailure("MAP_INTO_ELEMENT_NOT_OBJECT", \`map '${op.id}': 'into' requires object elements (element \${mj} is not an object)\`);
+              augmented.push({ ...(oel as Record<string, Value>), [${JSON.stringify(op.into)}]: collected[mk] });
+              mk++;
+            } else {
+              augmented.push(oel);
+            }
+          }
+          return { ok: augmented };
+        }`;
+    const body = op.batched
+        ? `        const items: Value[] = [];
+        for (let mi = 0; mi < (over as Value[]).length; mi++) {
+          const el = (over as Value[])[mi];
+          const mscope = (): Scope => ({ ...scope(), [${asKey}]: el });
+          void mscope;${guardCheck}
+          ${emitMapPorts(op)}
+          items.push(ports);
+          keptIdx.push(mi);
+        }
+        let collected: Value[];
+        if (items.length === 0) {
+          collected = [];
+        } else {
+          const h = handlers[${comp}];
+          if (!h) throw new BehaviorFailure("UNKNOWN_COMPONENT", \`component '${op.component}' has no handler (fail-closed)\`);
+          const outcome = ${aw}h({ items }, { nodeId: ${nodeId}, component: ${comp} });
+          if ("error" in outcome) return outcome;
+          if (!Array.isArray(outcome.ok) || outcome.ok.length !== items.length)
+            throw new BehaviorFailure("MAP_BATCH_RESULT_MISMATCH", \`map '${op.id}': batched handler must return a list aligned to items (want \${items.length}, got \${Array.isArray(outcome.ok) ? outcome.ok.length : typeof outcome.ok})\`);
+          collected = outcome.ok as Value[];
+        }
+${intoTail}`
+        : `        const collected: Value[] = [];
+        const h = handlers[${comp}];
+        if (!h) throw new BehaviorFailure("UNKNOWN_COMPONENT", \`component '${op.component}' has no handler (fail-closed)\`);
+        for (let mi = 0; mi < (over as Value[]).length; mi++) {
+          const el = (over as Value[])[mi];
+          const mscope = (): Scope => ({ ...scope(), [${asKey}]: el });
+          void mscope;${guardCheck}
+          ${emitMapPorts(op)}
+          const outcome = ${aw}h(ports, { nodeId: ${nodeId}, component: ${comp}, bound: el });
+          if ("error" in outcome) return outcome;
+          collected.push(outcome.ok);
+          keptIdx.push(mi);
+        }
+${intoTail}`;
+    return `      if (i === ${op.index}) {
+        const over = ${op.over};
+        if (!Array.isArray(over)) throw new BehaviorFailure("MAP_OVER_NOT_ARRAY", \`map '${op.id}': 'over' did not evaluate to an array\`);
+        const keptIdx: number[] = [];
+${body}
+      }`;
+}
+/**
+ * 1ノードの exec 分岐本体（index で分岐 — nodeKind ディスパッチではない）。`aw` は handler 呼びの
+ * await キーワード（同期経路は ""、非同期経路 bindAsync は "await "）。cond は handler を呼ばない
+ * ので aw は無関係。
+ */
+function emitExecArm(op, aw) {
+    if (op.kind === "cond") {
+        // cond は純 Expression。scope を渡して1式評価（handler は呼ばない）。
+        return `      if (i === ${op.index}) return { ok: ${op.expr} };`;
+    }
+    if (op.kind === "map")
+        return emitMapArm(op, aw);
+    // componentRef: 各 port を名前付き primitive 呼びで評価 → handler 注入呼び。
+    const portLines = op.ports.length === 0
+        ? "        const ports: Record<string, Value> = {};"
+        : `        const ports: Record<string, Value> = {\n${op.ports
+            .map((p) => `          ${JSON.stringify(p.name)}: ${p.expr},`)
+            .join("\n")}\n        };`;
+    return `      if (i === ${op.index}) {
+${portLines}
+        const h = handlers[${JSON.stringify(op.component)}];
+        if (!h) throw new BehaviorFailure("UNKNOWN_COMPONENT", \`component '${op.component}' has no handler (fail-closed)\`);
+        return ${aw}h(ports, { nodeId: ${JSON.stringify(op.id)}, component: ${JSON.stringify(op.component)} });
+      }`;
+}
+/**
+ * emitComponentFn — 1 component の直線関数を綴じる。runBehavior の実行フロー（results 蓄積 +
+ * baseScope + runPlan + writeUnproduced + output 評価）を **生成コードに直線展開**する
+ * （汎用 exec/nodeKind/evalPorts は無い。各 exec 分岐は index で確定・ハードコード）。
+ */
+function emitComponentFn(plan) {
+    const syncArms = plan.ops.map((o) => emitExecArm(o, "")).join("\n");
+    const asyncArms = plan.ops.map((o) => emitExecArm(o, "await ")).join("\n");
+    const planLiteral = plan.component.plan
+        ? emitDocLiteral(plan.component.plan, "ts", 1)
+        : "null";
+    const output = emitExpr(plan.component.output, SCOPE);
+    const relationKinds = plan.opsLiteral.map((o) => (o.relationKind === "connection" ? "connection" : "single"));
+    const relDecl = `const relationKinds: (RelationKind | undefined)[] = ${JSON.stringify(relationKinds)};`;
+    const sync = `function run_${sanitize(plan.name)}(handlers: Handlers, input: Scope): Value {
+  const ops: OpSpec[] = ${emitOpsLiteral(plan)};
+  const results: Record<string, Value> = {};
+  const scope = (): Scope => ({ ...input, ...results });
+  ${relDecl}
+  const exec: Exec = (op) => {
+    const i = ops.findIndex((o) => o.id === op.id);
+${syncArms}
+    throw new BehaviorFailure("UNKNOWN_NODE_KIND", \`op '\${op.id}' has no generated exec arm (fail-closed)\`);
+  };
+  const wrappedExec: Exec = (op, bound) => {
+    const outcome = exec(op, bound);
+    if ("ok" in outcome) results[op.id] = outcome.ok;
+    return outcome;
+  };
+  const run = runPlan(${planLiteral}, ops, wrappedExec);
+  run.states.forEach((st, i) => {
+    if (st.status === "skipped") results[ops[i].id] = unproducedValue(relationKinds[i]);
+  });
+  return ${output};
+}`;
+    // async 版: plan の stage 内独立 op を plan.concurrency で bounded 並列に dispatch する
+    // （runPlanAsync = A0 の bounded 並行 plan primitive を per-node thunk で直呼び）。並行を
+    // 潰さず runBehaviorAsync と同一の並列挙動（同一 emitted-op 多重集合 / 同一結果）を持つ。
+    // 逐次化（concurrency=1 へ改変）すると in-flight 並列が消え pin が壊れる（AC#2/#3 非空虚）。
+    const asyncFn = `async function run_${sanitize(plan.name)}_async(handlers: AsyncHandlers, input: Scope): Promise<Value> {
+  const ops: OpSpec[] = ${emitOpsLiteral(plan)};
+  const results: Record<string, Value> = {};
+  const scope = (): Scope => ({ ...input, ...results });
+  ${relDecl}
+  const exec: AsyncExec = async (op) => {
+    const i = ops.findIndex((o) => o.id === op.id);
+${asyncArms}
+    throw new BehaviorFailure("UNKNOWN_NODE_KIND", \`op '\${op.id}' has no generated exec arm (fail-closed)\`);
+  };
+  const wrappedExec: AsyncExec = async (op, bound) => {
+    const outcome = await exec(op, bound);
+    if ("ok" in outcome) results[op.id] = outcome.ok;
+    return outcome;
+  };
+  const run = await runPlanAsync(${planLiteral}, ops, wrappedExec);
+  run.states.forEach((st, i) => {
+    if (st.status === "skipped") results[ops[i].id] = unproducedValue(relationKinds[i]);
+  });
+  return ${output};
+}`;
+    return `${sync}\n\n${asyncFn}`;
+}
+/** component 名を関数名に使える形へ（決定的・衝突は index で回避しない: 名前は一意 — DUPLICATE_COMPONENT で保証）。 */
+function sanitize(name) {
+    return name.replace(/[^A-Za-z0-9_$]/g, "_");
+}
+function emitComponent(plan, _ctx) {
+    return emitComponentFn(plan);
+}
+function emitModule(plans, ctx) {
+    const { fingerprint, specVersions, componentNames, runtimeImport } = ctx;
+    const spec = runtimeImport;
+    const names = componentNames.map((n) => JSON.stringify(n)).join(", ");
+    const irLiteral = emitDocLiteral(ctx.ir, "ts");
+    const fns = plans.map((p) => emitComponent(p, ctx)).join("\n\n");
+    const dispatchArms = plans
+        .map((p) => `    if (name === ${JSON.stringify(p.name)}) return run_${sanitize(p.name)}(handlers, { ...input });`)
+        .join("\n");
+    const dispatchAsyncArms = plans
+        .map((p) => `    if (name === ${JSON.stringify(p.name)}) return run_${sanitize(p.name)}_async(handlers, { ...input });`)
+        .join("\n");
+    return `// GENERATED by behavior-contracts common generator (bc#37/#42, straight-line) — DO NOT EDIT.
+// Input: portable component-graph IR only (scp-ir-architecture.md §5/§7.4).
+// This is the STRAIGHT-LINE codegen endpoint (typed-codegen.md §4.1): each component is
+// emitted as a native function that drives the plan via the runPlan primitive and evaluates
+// every port + output through the A0 expression-operator primitives (#36) + injected handlers.
+// It does NOT go through runBehavior's tree-walk (no nodeKind dispatch / no evalPorts loop /
+// no generic exec). Scope: componentRef + cond + map (over/when/into/batched — bc#42 A3), with
+// simple Expression ports. bind() drives runPlan (same-value sequential fallback per plan.ts);
+// bindAsync() drives the runPlanAsync bounded-parallel primitive with per-node thunks so the
+// generated code preserves plan.concurrency (same parallel behavior as runBehaviorAsync — bc#42
+// AC#2). Handlers are ALWAYS injected at the boundary; they are never generated.
+// irFingerprint: ${fingerprint}
+import { SPEC_VERSIONS, fingerprintComponentGraph, BehaviorFailure, codegenPrimitives as ${CGP}, runPlan, runPlanAsync, unproducedValue } from ${JSON.stringify(spec)};
+import type { AsyncExec, AsyncHandlers, ComponentGraphIR, Exec, Handlers, OpSpec, RelationKind, Scope, Value } from ${JSON.stringify(spec)};
+
+/** Spec versions baked at generation time (fail-closed constant comparison at load). */
+export const EXPECTED_SPEC_VERSIONS = { behavior: ${specVersions.behavior}, expression: ${specVersions.expression}, plan: ${specVersions.plan} } as const;
+
+/** FNV-1a 64 fingerprint of the source portable IR (canonicalJson discipline, #208). */
+export const IR_FINGERPRINT = ${JSON.stringify(fingerprint)};
+
+/** Component names exposed by bind(), in IR declaration order. */
+export const COMPONENT_NAMES: readonly string[] = [${names}];
+
+/** The portable component-graph IR, embedded for the load-time fingerprint self-check only. */
+export const IR: ComponentGraphIR = ${irLiteral};
+
+// ── load-time fail-closed checks (#208 prepared-artifact discipline, checked ONCE) ─────
+for (const [k, want] of Object.entries(EXPECTED_SPEC_VERSIONS)) {
+  const got = (SPEC_VERSIONS as Record<string, number>)[k];
+  if (got !== want)
+    throw new Error(
+      \`behavior-contracts generated module: spec-version skew for '\${k}' (generated=\${want}, runtime=\${got}) — regenerate against this runtime (fail-closed)\`,
+    );
+}
+if (fingerprintComponentGraph(IR) !== IR_FINGERPRINT)
+  throw new Error(
+    \`behavior-contracts generated module: IR fingerprint mismatch (baked=\${IR_FINGERPRINT}, embedded literal=\${fingerprintComponentGraph(IR)}) — the generated code was modified or corrupted (fail-closed)\`,
+  );
+
+// ── straight-line component functions (no runBehavior tree-walk) ───────────────────
+${fns}
+
+/**
+ * bind — inject handlers (boundary injection; catalog name → implementation) and get one
+ * callable per component. Each callable runs the straight-line function for that component
+ * (plan via runPlan primitive + per-node primitive port eval + injected handler) — NOT
+ * the runBehavior tree-walk. Observationally equivalent to the runBehavior path:
+ * same values, same emitted op sequence, same Failure code/message.
+ */
+export function bind(handlers: Handlers): Record<string, (input?: Scope) => Value> {
+  const bound: Record<string, (input?: Scope) => Value> = {};
+  for (const name of COMPONENT_NAMES) bound[name] = (input: Scope = {}) => dispatch(name, handlers, input);
+  return bound;
+}
+
+function dispatch(name: string, handlers: Handlers, input: Scope): Value {
+${dispatchArms}
+  throw new BehaviorFailure("UNKNOWN_ENTRY", \`component '\${name}' not found in this module (fail-closed)\`);
+}
+
+/**
+ * bindAsync — as bind, but each callable drives the plan via the runPlanAsync bounded-parallel
+ * primitive with per-node thunks. Same-stage independent ops are dispatched up to
+ * plan.concurrency in flight (async handlers awaited), preserving the exact parallel behavior of
+ * the async ir path (same emitted-op multiset + same result). Map bodies iterate elements in
+ * declaration order (the parallel unit is the body node, per §7). Observationally equivalent to
+ * the async ir path.
+ */
+export function bindAsync(handlers: AsyncHandlers): Record<string, (input?: Scope) => Promise<Value>> {
+  const bound: Record<string, (input?: Scope) => Promise<Value>> = {};
+  for (const name of COMPONENT_NAMES) bound[name] = (input: Scope = {}) => dispatchAsync(name, handlers, input);
+  return bound;
+}
+
+function dispatchAsync(name: string, handlers: AsyncHandlers, input: Scope): Promise<Value> {
+${dispatchAsyncArms}
+  throw new BehaviorFailure("UNKNOWN_ENTRY", \`component '\${name}' not found in this module (fail-closed)\`);
+}
+`;
+}
+const dialect = {
+    emitExpr,
+    mapScopeVar: MAP_SCOPE,
+    emitComponent,
+    emitModule,
+};
+/**
+ * 公開再エクスポート（bc#46 B2 typed emitter が同じ TS dialect / scope 名を流用するため）。
+ * typed 経路は runtime 本体をこの straight-line dialect で綴じ、byte 同一の runtime を保つ。
+ */
+export const straightlineTsDialect = dialect;
+/** 生成コード内の scope 式（`scope()`）。typed emitter が同名で port/output を評価する。 */
+export const TS_SCOPE = SCOPE;
+/** 生成コード内の map 要素 scope 式（`mscope()`）。 */
+export const TS_MAP_SCOPE = MAP_SCOPE;
+function emit(ctx) {
+    return emitStraightlineModule(ctx, dialect, SCOPE);
+}
+/**
+ * typescriptStraightlineEmitter — 言語識別子 `"typescript-straightline"` の emitter plugin。
+ * 既存の `typescript`（リテラル焼き込み・endpoint 3-literal）と併存する additive な第2モード。
+ */
+export const typescriptStraightlineEmitter = {
+    language: "typescript-straightline",
+    fileExtension: ".ts",
+    defaultRuntimeImport: "behavior-contracts",
+    filenameHint: "behaviors.straightline.generated.ts",
+    emit,
+};
+//# sourceMappingURL=emit-straightline-typescript.js.map

package/dist/generator/emit-straightline-typescript.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-straightline-typescript.js","sourceRoot":"","sources":["../../src/generator/emit-straightline-typescript.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EACL,sBAAsB,GAIvB,MAAM,mBAAmB,CAAC;AAE3B,yCAAyC;AACzC,MAAM,GAAG,GAAG,KAAK,CAAC;AAClB;;;;GAIG;AACH,MAAM,KAAK,GAAG,SAAS,CAAC;AACxB;;;;GAIG;AACH,MAAM,SAAS,GAAG,UAAU,CAAC;AAK7B,sDAAsD;AACtD,SAAS,GAAG,CAAC,IAAa;IACxB,OAAO,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,0CAA0C;AAC1C,SAAS,OAAO,CAAC,GAAY;IAC3B,OAAQ,GAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1D,CAAC;AAED,+CAA+C;AAC/C,gDAAgD;AAChD,MAAM,WAAW,GAA8B;IAC7C,sBAAsB;IACtB,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAChD,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACtD,oCAAoC;IACpC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACnD,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,aAAa,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACvD,8BAA8B;IAC9B,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAChD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAChD,wBAAwB;IACxB,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,gCAAgC;IAChC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACtD,SAAS;IACT,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,4DAA4D;IAC5D,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,aAAa,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAC9D,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACtD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;CACrD,CAAC;AAEF;;;;;;GAMG;AACH,SAAS,QAAQ,CAAC,IAAa,EAAE,QAAgB;IAC/C,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,MAAM,EAAE,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,EAAE;gBAAE,OAAO,EAAE,CAAE,IAAgC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,uEAAuE;IACvE,OAAO,GAAG,GAAG,aAAa,GAAG,CAAC,IAAI,CAAC,KAAK,QAAQ,GAAG,CAAC;AACtD,CAAC;AAED,0EAA0E;AAE1E,oDAAoD;AACpD,SAAS,cAAc,CAAC,IAAmB;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACrC,MAAM,KAAK,GAAG,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC1G,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACvF,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAChG,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC9E,OAAO,SAAS,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;AACtC,CAAC;AAED,iEAAiE;AACjE,SAAS,YAAY,CAAC,EAA4C;IAChE,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,0CAA0C,CAAC;IAC7E,OAAO,2CAA2C,EAAE,CAAC,KAAK;SACvD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC;SAC/D,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC;AAChC,CAAC;AAED;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,EAA4C,EAAE,EAAU;IAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACpC,MAAM,UAAU,GAAG,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,EAAE,CAAC,KAAK,sBAAsB,CAAC;IACnG,MAAM,QAAQ,GACZ,EAAE,CAAC,IAAI,KAAK,SAAS;QACnB,CAAC,CAAC,mCAAmC;QACrC,CAAC,CAAC;aACK,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC;;;;;;;;;kFAS8C,EAAE,CAAC,EAAE;qEAClB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC;;;;;;;UAOlF,CAAC;IACT,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO;QACrB,CAAC,CAAC;;;wDAGkD,KAAK;wBACrC,UAAU;YACtB,YAAY,CAAC,EAAE,CAAC;;;;;;;;+BAQG,IAAI;gFAC6C,EAAE,CAAC,SAAS;4BAChE,EAAE,0BAA0B,MAAM,gBAAgB,IAAI;;;4EAGN,EAAE,CAAC,EAAE;;;EAG/E,QAAQ,EAAE;QACR,CAAC,CAAC;6BACuB,IAAI;8EAC6C,EAAE,CAAC,SAAS;;;wDAGlC,KAAK;wBACrC,UAAU;YACtB,YAAY,CAAC,EAAE,CAAC;4BACA,EAAE,sBAAsB,MAAM,gBAAgB,IAAI;;;;;EAK5E,QAAQ,EAAE,CAAC;IACX,OAAO,mBAAmB,EAAE,CAAC,KAAK;uBACb,EAAE,CAAC,IAAI;2FAC6D,EAAE,CAAC,EAAE;;EAE9F,IAAI;QACE,CAAC;AACT,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,EAAkB,EAAE,EAAU;IACjD,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACvB,oDAAoD;QACpD,OAAO,mBAAmB,EAAE,CAAC,KAAK,kBAAkB,EAAE,CAAC,IAAI,KAAK,CAAC;IACnE,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACjD,6DAA6D;IAC7D,MAAM,SAAS,GACb,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACnB,CAAC,CAAC,kDAAkD;QACpD,CAAC,CAAC,mDAAmD,EAAE,CAAC,KAAK;aACxD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC;aAC7D,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC;IAClC,OAAO,mBAAmB,EAAE,CAAC,KAAK;EAClC,SAAS;6BACkB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC;8EACqB,EAAE,CAAC,SAAS;iBACzE,EAAE,sBAAsB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC;QAClG,CAAC;AACT,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,IAAmB;IAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI;QACrC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,CAAC,CAAC,MAAM,CAAC;IACX,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACtD,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9G,MAAM,OAAO,GAAG,uDAAuD,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC;IACxG,MAAM,IAAI,GAAG,gBAAgB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;0BACxB,cAAc,CAAC,IAAI,CAAC;;;IAG1C,OAAO;;;EAGT,QAAQ;;;;;;;;wBAQc,WAAW;;;;WAIxB,MAAM;EACf,CAAC;IACD,4EAA4E;IAC5E,4EAA4E;IAC5E,+DAA+D;IAC/D,mEAAmE;IACnE,MAAM,OAAO,GAAG,sBAAsB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;0BACjC,cAAc,CAAC,IAAI,CAAC;;;IAG1C,OAAO;;;EAGT,SAAS;;;;;;;;mCAQwB,WAAW;;;;WAInC,MAAM;EACf,CAAC;IACD,OAAO,GAAG,IAAI,OAAO,OAAO,EAAE,CAAC;AACjC,CAAC;AAED,oFAAoF;AACpF,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,aAAa,CAAC,IAAmB,EAAE,IAAiB;IAC3D,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,UAAU,CAAC,KAAsB,EAAE,GAAgB;IAC1D,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,GAAG,GAAG,CAAC;IACzE,MAAM,IAAI,GAAG,aAAa,CAAC;IAC3B,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,KAAK;SACvB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,2BAA2B,CAAC;SACjH,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,iBAAiB,GAAG,KAAK;SAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC;SACvH,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO;;;;;;;;;;;oBAWW,WAAW;2FAC4D,GAAG,mDAAmD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;sHAC/C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;;;oDAGtF,YAAY,CAAC,QAAQ,iBAAiB,YAAY,CAAC,UAAU,WAAW,YAAY,CAAC,IAAI;;;gCAG7G,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;;;qDAGN,KAAK;;;sCAGpB,SAAS;;;;;;;;;;;;;;;;EAgB7C,GAAG;;;;;;;;;;;;;;;;EAgBH,YAAY;;;;;;;;;;;;;;;;;;;EAmBZ,iBAAiB;;;CAGlB,CAAC;AACF,CAAC;AAED,MAAM,OAAO,GAAwB;IACnC,QAAQ;IACR,WAAW,EAAE,SAAS;IACtB,aAAa;IACb,UAAU;CACX,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAwB,OAAO,CAAC;AAClE,uEAAuE;AACvE,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,CAAC;AAC9B,0CAA0C;AAC1C,MAAM,CAAC,MAAM,YAAY,GAAG,SAAS,CAAC;AAEtC,SAAS,IAAI,CAAC,GAAgB;IAC5B,OAAO,sBAAsB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AACrD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAkB;IAC1D,QAAQ,EAAE,yBAAyB;IACnC,aAAa,EAAE,KAAK;IACpB,oBAAoB,EAAE,oBAAoB;IAC1C,YAAY,EAAE,qCAAqC;IACnD,IAAI;CACL,CAAC"}

package/dist/generator/emit-typescript.d.ts

@@ -0,0 +1,11 @@
+/**
+ * emit-typescript.ts — TS emitter（共通 Generator, bc#13 SP1）。
+ *
+ * 生成物: 可搬 IR を **型付き const リテラル**（`ComponentGraphIR`）として埋め込み、
+ * runtime-core の `runBehavior` / `runBehaviorAsync` に handler 注入で渡す薄い accessor
+ * （`bind` / `bindAsync`）を公開する TS モジュール。実行ロジックは一切生成しない。
+ * 型付けにより runtime API / IR / generator のドリフトはコンパイルエラーになる（目的2）。
+ */
+import type { EmitterPlugin } from "./core.js";
+export declare const typescriptEmitter: EmitterPlugin;
+//# sourceMappingURL=emit-typescript.d.ts.map

package/dist/generator/emit-typescript.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-typescript.d.ts","sourceRoot":"","sources":["../../src/generator/emit-typescript.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AAgE5D,eAAO,MAAM,iBAAiB,EAAE,aAK/B,CAAC"}

package/dist/generator/emit-typescript.js

@@ -0,0 +1,68 @@
+import { emitDocLiteral } from "./literal.js";
+function emit(ctx) {
+    const { fingerprint, specVersions, componentNames, runtimeImport } = ctx;
+    const spec = runtimeImport;
+    const names = componentNames.map((n) => JSON.stringify(n)).join(", ");
+    const irLiteral = emitDocLiteral(ctx.ir, "ts");
+    return `// GENERATED by behavior-contracts common generator (bc#13) — DO NOT EDIT.
+// Input: portable component-graph IR only (scp-ir-architecture.md §5/§7.4).
+// This module is the codegen endpoint (§7.3 endpoint 3): the IR is embedded as a
+// typed native literal and handed to the EXISTING runtime core (runBehavior) —
+// no execution logic is generated. Handlers are ALWAYS injected at the boundary
+// (IR + {effects,config,hooks} — concept.md §4.4); they are never generated.
+// irFingerprint: ${fingerprint}
+import { SPEC_VERSIONS, fingerprintComponentGraph, runBehavior, runBehaviorAsync } from ${JSON.stringify(spec)};
+import type { AsyncHandlers, ComponentGraphIR, Handlers, Scope, Value } from ${JSON.stringify(spec)};
+
+/** Spec versions baked at generation time (fail-closed constant comparison at load). */
+export const EXPECTED_SPEC_VERSIONS = { behavior: ${specVersions.behavior}, expression: ${specVersions.expression}, plan: ${specVersions.plan} } as const;
+
+/** FNV-1a 64 fingerprint of the source portable IR (canonicalJson discipline, #208). */
+export const IR_FINGERPRINT = ${JSON.stringify(fingerprint)};
+
+/** Component names exposed by bind()/bindAsync(), in IR declaration order. */
+export const COMPONENT_NAMES: readonly string[] = [${names}];
+
+/** The portable component-graph IR, embedded as a typed native literal (no JSON parse at runtime). */
+export const IR: ComponentGraphIR = ${irLiteral};
+
+// ── load-time fail-closed checks (#208 prepared-artifact discipline) ─────────
+for (const [k, want] of Object.entries(EXPECTED_SPEC_VERSIONS)) {
+  const got = (SPEC_VERSIONS as Record<string, number>)[k];
+  if (got !== want)
+    throw new Error(
+      \`behavior-contracts generated module: spec-version skew for '\${k}' (generated=\${want}, runtime=\${got}) — regenerate against this runtime (fail-closed)\`,
+    );
+}
+if (fingerprintComponentGraph(IR) !== IR_FINGERPRINT)
+  throw new Error(
+    \`behavior-contracts generated module: IR fingerprint mismatch (baked=\${IR_FINGERPRINT}, embedded literal=\${fingerprintComponentGraph(IR)}) — the generated code was modified or corrupted (fail-closed)\`,
+  );
+
+/**
+ * bind — inject handlers (boundary injection; catalog name → implementation) and
+ * get one callable per component. Each call delegates to the runtime core's
+ * runBehavior over the embedded IR (dynamic-path equivalent — §7.3).
+ */
+export function bind(handlers: Handlers): Record<string, (input?: Scope) => Value> {
+  const bound: Record<string, (input?: Scope) => Value> = {};
+  for (const name of COMPONENT_NAMES) bound[name] = (input: Scope = {}) => runBehavior(IR, handlers, input, name);
+  return bound;
+}
+
+/** bindAsync — as bind, over runBehaviorAsync (bounded stage parallelism per plan.concurrency). */
+export function bindAsync(handlers: AsyncHandlers): Record<string, (input?: Scope) => Promise<Value>> {
+  const bound: Record<string, (input?: Scope) => Promise<Value>> = {};
+  for (const name of COMPONENT_NAMES)
+    bound[name] = (input: Scope = {}) => runBehaviorAsync(IR, handlers, input, name);
+  return bound;
+}
+`;
+}
+export const typescriptEmitter = {
+    language: "typescript",
+    fileExtension: ".ts",
+    defaultRuntimeImport: "behavior-contracts",
+    emit,
+};
+//# sourceMappingURL=emit-typescript.js.map

package/dist/generator/emit-typescript.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-typescript.js","sourceRoot":"","sources":["../../src/generator/emit-typescript.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,SAAS,IAAI,CAAC,GAAgB;IAC5B,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,GAAG,GAAG,CAAC;IACzE,MAAM,IAAI,GAAG,aAAa,CAAC;IAC3B,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC/C,OAAO;;;;;;oBAMW,WAAW;0FAC2D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;+EAC/B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;;;oDAG/C,YAAY,CAAC,QAAQ,iBAAiB,YAAY,CAAC,UAAU,WAAW,YAAY,CAAC,IAAI;;;gCAG7G,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;;;qDAGN,KAAK;;;sCAGpB,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiC9C,CAAC;AACF,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAkB;IAC9C,QAAQ,EAAE,YAAY;IACtB,aAAa,EAAE,KAAK;IACpB,oBAAoB,EAAE,oBAAoB;IAC1C,IAAI;CACL,CAAC"}

package/dist/generator/fingerprint.d.ts

@@ -0,0 +1,14 @@
+/** fingerprint 入力の不変条件違反（fail-closed）。 */
+export declare class FingerprintFailure extends Error {
+    code: "UNSAFE_NUMBER" | "INVALID_VALUE";
+    constructor(code: "UNSAFE_NUMBER" | "INVALID_VALUE", message: string);
+}
+/**
+ * fingerprintComponentGraph — 可搬 IR ドキュメントの決定的 fingerprint。
+ *
+ * `"fnv1a64:<16hex>"` を返す。同一構造の IR（キー順・整数/整数値float の表記差を除く）は
+ * 言語（TS/Python）を跨いで同一の fingerprint になる。生成モジュールのロード時
+ * 自己検査・consumer 側の「live IR ↔ 生成コード」照合（#208 の prepared-loader と同型）に使う。
+ */
+export declare function fingerprintComponentGraph(doc: unknown): string;
+//# sourceMappingURL=fingerprint.d.ts.map

package/dist/generator/fingerprint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.d.ts","sourceRoot":"","sources":["../../src/generator/fingerprint.ts"],"names":[],"mappings":"AAuBA,0CAA0C;AAC1C,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,IAAI,EAAE,eAAe,GAAG,eAAe,CAAC;gBAC5B,IAAI,EAAE,eAAe,GAAG,eAAe,EAAE,OAAO,EAAE,MAAM;CAKrE;AA8DD;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAG9D"}

package/dist/generator/fingerprint.js

@@ -0,0 +1,74 @@
+import { canonicalJson } from "../canonical.js";
+/** fingerprint 入力の不変条件違反（fail-closed）。 */
+export class FingerprintFailure extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "FingerprintFailure";
+    }
+}
+/**
+ * JSON ドキュメント → Value ドメイン（整数値 number は int=bigint へ正準化）。
+ * canonicalJson の値モデル（bigint=int / number=float）に合わせる。
+ */
+function toValueDomain(doc, path) {
+    if (doc === null || typeof doc === "boolean" || typeof doc === "string")
+        return doc;
+    if (typeof doc === "number") {
+        if (Number.isInteger(doc) && !Object.is(doc, -0)) {
+            if (Math.abs(doc) >= 2 ** 53)
+                throw new FingerprintFailure("UNSAFE_NUMBER", `integral number ${doc} at ${path} exceeds float64-exact range; portable IR must use {int:"..."} (fail-closed)`);
+            return BigInt(doc);
+        }
+        return doc; // 非整数 / -0.0 は float（canonicalJson が pyFloatRepr で直列化）
+    }
+    if (Array.isArray(doc))
+        return doc.map((v, i) => toValueDomain(v, `${path}[${i}]`));
+    if (typeof doc === "object") {
+        const out = {};
+        for (const [k, v] of Object.entries(doc))
+            out[k] = toValueDomain(v, `${path}.${k}`);
+        return out;
+    }
+    throw new FingerprintFailure("INVALID_VALUE", `value of type ${typeof doc} at ${path} cannot appear in a portable IR document (fail-closed)`);
+}
+/** UTF-8 エンコード（依存ゼロ・決定的。lib 制約により TextEncoder を使わない）。 */
+function utf8Bytes(s) {
+    const out = [];
+    for (const ch of s) {
+        const cp = ch.codePointAt(0);
+        if (cp <= 0x7f)
+            out.push(cp);
+        else if (cp <= 0x7ff)
+            out.push(0xc0 | (cp >> 6), 0x80 | (cp & 0x3f));
+        else if (cp <= 0xffff)
+            out.push(0xe0 | (cp >> 12), 0x80 | ((cp >> 6) & 0x3f), 0x80 | (cp & 0x3f));
+        else
+            out.push(0xf0 | (cp >> 18), 0x80 | ((cp >> 12) & 0x3f), 0x80 | ((cp >> 6) & 0x3f), 0x80 | (cp & 0x3f));
+    }
+    return out;
+}
+/** FNV-1a 64（offset 0xcbf29ce484222325, prime 0x100000001b3）→ 16桁小文字 hex。 */
+function fnv1a64(bytes) {
+    let h = 0xcbf29ce484222325n;
+    const prime = 0x100000001b3n;
+    const mask = 0xffffffffffffffffn;
+    for (const b of bytes) {
+        h ^= BigInt(b);
+        h = (h * prime) & mask;
+    }
+    return h.toString(16).padStart(16, "0");
+}
+/**
+ * fingerprintComponentGraph — 可搬 IR ドキュメントの決定的 fingerprint。
+ *
+ * `"fnv1a64:<16hex>"` を返す。同一構造の IR（キー順・整数/整数値float の表記差を除く）は
+ * 言語（TS/Python）を跨いで同一の fingerprint になる。生成モジュールのロード時
+ * 自己検査・consumer 側の「live IR ↔ 生成コード」照合（#208 の prepared-loader と同型）に使う。
+ */
+export function fingerprintComponentGraph(doc) {
+    const s = canonicalJson(toValueDomain(doc, "$"));
+    return "fnv1a64:" + fnv1a64(utf8Bytes(s));
+}
+//# sourceMappingURL=fingerprint.js.map

package/dist/generator/fingerprint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.js","sourceRoot":"","sources":["../../src/generator/fingerprint.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,0CAA0C;AAC1C,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAC3C,IAAI,CAAoC;IACxC,YAAY,IAAuC,EAAE,OAAe;QAClE,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,GAAY,EAAE,IAAY;IAC/C,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,SAAS,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC;IACpF,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;gBAC1B,MAAM,IAAI,kBAAkB,CAC1B,eAAe,EACf,mBAAmB,GAAG,OAAO,IAAI,8EAA8E,CAChH,CAAC;YACJ,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,GAAG,CAAC,CAAC,uDAAuD;IACrE,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACpF,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,GAAG,GAA0B,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;QACpF,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,IAAI,kBAAkB,CAC1B,eAAe,EACf,iBAAiB,OAAO,GAAG,OAAO,IAAI,wDAAwD,CAC/F,CAAC;AACJ,CAAC;AAED,yDAAyD;AACzD,SAAS,SAAS,CAAC,CAAS;IAC1B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QAC9B,IAAI,EAAE,IAAI,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aACxB,IAAI,EAAE,IAAI,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;aAChE,IAAI,EAAE,IAAI,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;;YAEhG,GAAG,CAAC,IAAI,CACN,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EACjB,IAAI,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,EAC1B,IAAI,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EACzB,IAAI,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CACnB,CAAC;IACN,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6EAA6E;AAC7E,SAAS,OAAO,CAAC,KAAe;IAC9B,IAAI,CAAC,GAAG,mBAAmB,CAAC;IAC5B,MAAM,KAAK,GAAG,cAAc,CAAC;IAC7B,MAAM,IAAI,GAAG,mBAAmB,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;QACf,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,GAAY;IACpD,MAAM,CAAC,GAAG,aAAa,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACjD,OAAO,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC"}

package/dist/generator/index.d.ts

@@ -0,0 +1,22 @@
+export { generateModule, registerEmitter, registeredLanguages, GeneratorFailure, } from "./core.js";
+export type { GenerateOptions, GeneratedModule, EmitContext, EmitterPlugin, GeneratorFailureCode, } from "./core.js";
+export { fingerprintComponentGraph, FingerprintFailure } from "./fingerprint.js";
+export { typescriptEmitter } from "./emit-typescript.js";
+export { pythonEmitter } from "./emit-python.js";
+export { goEmitter } from "./emit-go.js";
+export { rustEmitter } from "./emit-rust.js";
+export { phpEmitter } from "./emit-php.js";
+export { typescriptStraightlineEmitter } from "./emit-straightline-typescript.js";
+export { rustStraightlineEmitter } from "./emit-straightline-rust.js";
+export { phpStraightlineEmitter } from "./emit-straightline-php.js";
+export { goStraightlineEmitter } from "./emit-straightline-go.js";
+export { pythonStraightlineEmitter } from "./emit-straightline-python.js";
+export { typescriptTypedEmitter, tsTypedMaterializer } from "./emit-straightline-typed-typescript.js";
+export { goTypedEmitter, goTypedMaterializer } from "./emit-straightline-typed-go.js";
+export { rustTypedEmitter, rustTypedMaterializer } from "./emit-straightline-typed-rust.js";
+export { rustStraightlineInternals } from "./emit-straightline-rust.js";
+export { assertStraightlineSupported, isStraightlineNode, buildComponentPlan, emitStraightlineModule, } from "./straightline.js";
+export type { StraightlineDialect, StraightlineOp, ComponentPlan, OpLiteral, } from "./straightline.js";
+export { buildTypePlan, deriveTypeRef, findDecl } from "./typed.js";
+export type { TypePlan, TypeRef, TypeDecl, TypedMaterializer } from "./typed.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/generator/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/generator/index.ts"],"names":[],"mappings":"AA+CA,OAAO,EACL,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,WAAW,CAAC;AACnB,YAAY,EACV,eAAe,EACf,eAAe,EACf,WAAW,EACX,aAAa,EACb,oBAAoB,GACrB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AAClF,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAC1E,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AACtG,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC5F,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AACxE,OAAO,EACL,2BAA2B,EAC3B,kBAAkB,EAClB,kBAAkB,EAClB,sBAAsB,GACvB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EACV,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,SAAS,GACV,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACpE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC"}