behavior-contracts 0.2.0 → 0.2.2

package/dist/generator/straightline.d.ts

@@ -0,0 +1,147 @@
+/**
+ * straightline.ts — 共通 Generator の「直線 emit」枠（bc#37 / Layer A1）。
+ *
+ * typed-codegen.md §4.1（主経路・脱解釈・型なし）の language-neutral な骨組み。
+ * 既存のリテラル焼き込み emit（emit-typescript.ts の `bind` — endpoint 3-literal）と
+ * **併存**する additive な第2モード。component ごとに「plan を直呼び・各ノードの port 評価と
+ * handler 呼びを直線展開した」ネイティブ関数を emit する枠を提供する。
+ *
+ * この枠が消すもの（AC1）: **`runBehavior` の tree-walk**——
+ *   - `nodeKind` ディスパッチ（body ノード種の実行時分岐）
+ *   - `evalPorts` の汎用ループ（未知 ports を毎回 `evaluateExpression` で歩く）
+ *   - 汎用 `exec` closure + 汎用 output 評価
+ * これらを **IR から静的に展開した per-node の直線コード**に置き換える。プランのステージ
+ * 実行・Skip 伝播・Policy Kind は runtime primitive `runPlan` として維持する（意味論の
+ * SSoT を一本に保つ — typed-codegen.md §4.1 の「plan は primitive 維持」）。式演算子の
+ * 意味論も再実装せず、A0（#36）の式演算子 primitive（`ref`/`concat`/… を評価する SSoT
+ * ラッパ）を直呼びする。よって生成コードは:
+ *   1. `nodeKind` で分岐しない（各ノードの exec 分岐は生成時に確定・ハードコード）。
+ *   2. `evalPorts` で未知 ports を歩かない（各 port を名前付き primitive 呼びに展開）。
+ *   3. `runBehavior` を内部で呼ばない（＝薄い束ねではない）。
+ *
+ * スコープ（A1 = read hot path）: `componentRef` ＋ `cond` ＋ 単純 Expression Port のみ。
+ * `map`/`batched`/`concurrency`（A3）・hydration/relation stitching（A4）は **fail-closed**
+ * （{@link assertStraightlineSupported} が `GeneratorFailure(UNSUPPORTED_NODE_STRAIGHTLINE)`）。
+ * 黙って誤コード生成・部分生成をしない（スコープ境界を fail-closed に — AC5）。
+ *
+ * 言語 plugin IF（A2 で go/rust/python/php が同じ枠に乗る）: {@link StraightlineDialect} が
+ * 「式ノード → その言語の primitive 呼び文字列」と「per-node/handler/output/module の綴じ方」を
+ * 供給する。language-neutral な走査（body 検査・op literal・scope 合成・fail-closed 判定）は
+ * ここで一度だけ実装する。
+ */
+import type { ComponentGraphIR, Component, BodyNode } from "../behavior.js";
+import type { EmitContext } from "./core.js";
+/** 直線 emit が扱える body ノードか（componentRef ＋ cond ＋ map — A3 以降）。 */
+export declare function isStraightlineNode(n: BodyNode): boolean;
+/**
+ * assertStraightlineSupported — IR 全体が直線 emit のスコープに収まるか検査し、外れるノード種を
+ * 含むなら LOUD reject する（AC）。部分生成はしない。A3 時点で componentRef/cond/map は全て
+ * covered。将来の hydration/relation stitching（A4 #43）を静的展開する固有ノードが導入された
+ * 場合は、ここに fail-closed 判定を足す（現行 IR schema には無いため、未知ノード＝
+ * componentRef/cond/map のいずれでもない形のみを拒否する）。
+ */
+export declare function assertStraightlineSupported(ir: ComponentGraphIR): void;
+/** 直線化された1ノードの実行分岐（言語中立の記述。dialect が本体を綴じる）。 */
+export type StraightlineOp = {
+    kind: "componentRef";
+    /** body 内 index（ops リテラルの index と一致）。 */
+    index: number;
+    id: string;
+    /** catalog 名（handler 解決キー）。 */
+    component: string;
+    /** port 名 → 評価式（dialect が生成した primitive 呼び文字列）。宣言順保存。 */
+    ports: {
+        name: string;
+        expr: string;
+    }[];
+} | {
+    kind: "cond";
+    index: number;
+    id: string;
+    /** `{cond:[if,then,else]}` を1式として評価する式（dialect 生成）。 */
+    expr: string;
+} | {
+    kind: "map";
+    index: number;
+    id: string;
+    /** 各要素で呼ぶ catalog 名（handler 解決キー）。 */
+    component: string;
+    /** 要素束縛名（`map.as`。生成コードは per-element scope に `as`→要素値 を足す）。 */
+    as: string;
+    /**
+     * `over` 配列を評価する式（component scope で。dialect 生成）。要素反復の前に1回評価する。
+     * scope は component の scopeVar（要素束縛前）で解決される。
+     */
+    over: string;
+    /**
+     * per-element guard を `{cond:[when,true,false]}` へ lower した式（dialect 生成、要素 scope で
+     * 評価）。`when` 未指定なら undefined（全要素採用）。strict-bool 意味論は cond primitive/native。
+     */
+    guard?: string;
+    /** 各 port を要素 scope で評価する式（dialect 生成）。宣言順保存。batched でも同じ。 */
+    ports: {
+        name: string;
+        expr: string;
+    }[];
+    /** zip-attach キー（`map.into`）。未指定なら結果は collected リスト。 */
+    into?: string;
+    /** バッチ fan-out（`map.batched`）。true なら guard 通過全要素の ports を1回の handler 呼びへ。 */
+    batched: boolean;
+};
+/**
+ * 直線 emit の言語 dialect。language-neutral な走査（{@link buildComponentPlan}）が呼ぶ
+ * seam。式ノード → primitive 呼び文字列（{@link emitExprCalls} を各言語の primitive 命名で
+ * 具体化）と、per-node/handler/output/module の綴じ方を供給する。
+ */
+export interface StraightlineDialect {
+    /**
+     * Expression IR ノードを、この言語で「scope を受けて Value を返す」primitive 呼び式に
+     * emit する。leaf/演算子ノードを A0 primitive（`ref`/`concat`/…）へ落とす。
+     * `scopeVar` は生成コード内の scope 変数名。
+     */
+    emitExpr(node: unknown, scopeVar: string): string;
+    /**
+     * map ノード本体（over/guard/ports）の Expression IR を評価するときの scope 変数名。
+     * 各 dialect の map 展開が per-element scope をこの名前でローカルに組む（例 TS `mscope()`）。
+     * 要素束縛（`map.as`）を含んだ scope をこの名前で読める前提で {@link buildComponentPlan} が
+     * ports/guard の式を emit する。over は component の scopeVar（要素束縛前）で評価する。
+     */
+    mapScopeVar: string;
+    /**
+     * component 1つぶんの直線関数（ops リテラル・per-node exec 分岐・output 評価・runPlan 呼び）を
+     * 綴じる。{@link emitModule} が各 component ぶん呼ぶ。
+     */
+    emitComponent(plan: ComponentPlan, ctx: EmitContext): string;
+    /** モジュール全体（ヘッダ・import・定数・load-time 検査・各 component）を綴じる。 */
+    emitModule(plans: ComponentPlan[], ctx: EmitContext): string;
+}
+/** 1 component ぶんの直線化計画（language-neutral）。 */
+export interface ComponentPlan {
+    name: string;
+    component: Component;
+    /** body ノード → OpSpec リテラル（parent は index に解決済み）。 */
+    opsLiteral: OpLiteral[];
+    /** 各ノードの直線 exec 分岐。 */
+    ops: StraightlineOp[];
+}
+/** OpSpec のリテラル形（runPlan に渡す ops 配列の1要素。behavior.ts buildOps と同規律）。 */
+export interface OpLiteral {
+    id: string;
+    parent: number | null;
+    bindField?: string;
+    relationKind?: "single" | "connection";
+    policy?: "fail" | "retry" | "continue";
+}
+/**
+ * buildComponentPlan — 1 component を language-neutral な {@link ComponentPlan} に落とす。
+ * behavior.ts の `buildOps`（parent の id→index 解決）を鏡映しつつ、各ノードの exec 分岐を
+ * dialect の `emitExpr` で直線コード片へ展開する。ここが「nodeKind ディスパッチ」を
+ * **生成時に一度だけ**行い、生成コードには分岐を残さない核。
+ */
+export declare function buildComponentPlan(comp: Component, dialect: StraightlineDialect, scopeVar: string): ComponentPlan;
+/**
+ * emitStraightlineModule — dialect を使って IR 全体の直線モジュールを綴じる（公開 entry）。
+ * A1 スコープ検査（fail-closed）を先に走らせる。
+ */
+export declare function emitStraightlineModule(ctx: EmitContext, dialect: StraightlineDialect, scopeVar: string): string;
+//# sourceMappingURL=straightline.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"straightline.d.ts","sourceRoot":"","sources":["../../src/generator/straightline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,QAAQ,EAAuC,MAAM,gBAAgB,CAAC;AACjH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAQ7C,iEAAiE;AACjE,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,QAAQ,GAAG,OAAO,CAIvD;AAED;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CAAC,EAAE,EAAE,gBAAgB,GAAG,IAAI,CAWtE;AAID,gDAAgD;AAChD,MAAM,MAAM,cAAc,GACtB;IACE,IAAI,EAAE,cAAc,CAAC;IACrB,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,+BAA+B;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,yDAAyD;IACzD,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACzC,GACD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;CACd,GACD;IACE,IAAI,EAAE,KAAK,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,sCAAsC;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,+DAA+D;IAC/D,EAAE,EAAE,MAAM,CAAC;IACX;;;OAGG;IACH,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACxC,wDAAwD;IACxD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,8EAA8E;IAC9E,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAEN;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;IAClD;;;;;OAKG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,aAAa,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,CAAC;IAC7D,2DAA2D;IAC3D,UAAU,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,CAAC;CAC9D;AAED,8CAA8C;AAC9C,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,SAAS,CAAC;IACrB,oDAAoD;IACpD,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,uBAAuB;IACvB,GAAG,EAAE,cAAc,EAAE,CAAC;CACvB;AAED,uEAAuE;AACvE,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,QAAQ,GAAG,YAAY,CAAC;IACvC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,UAAU,CAAC;CACxC;AAUD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,GAAG,aAAa,CA2DjH;AAQD;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAI/G"}

package/dist/generator/straightline.js

@@ -0,0 +1,122 @@
+import { GeneratorFailure } from "./core.js";
+// ── 直線 emit スコープ判定（fail-closed。hydration/relation stitching は A4）─────
+// A3（#42）で map/batched/concurrency が covered になった。hydration（A4 #43）だけが
+// 依然 out-of-scope。map ノードは自身の body 内 tree-walk（要素反復・guard・into・batched）を
+// 各 dialect が直線展開し、plan.concurrency は plan primitive（bounded 並行）が保存する。
+/** 直線 emit が扱える body ノードか（componentRef ＋ cond ＋ map — A3 以降）。 */
+export function isStraightlineNode(n) {
+    if ("map" in n)
+        return true; // A3（#42）: map/batched/concurrency covered
+    if ("cond" in n)
+        return true;
+    return "component" in n; // componentRef
+}
+/**
+ * assertStraightlineSupported — IR 全体が直線 emit のスコープに収まるか検査し、外れるノード種を
+ * 含むなら LOUD reject する（AC）。部分生成はしない。A3 時点で componentRef/cond/map は全て
+ * covered。将来の hydration/relation stitching（A4 #43）を静的展開する固有ノードが導入された
+ * 場合は、ここに fail-closed 判定を足す（現行 IR schema には無いため、未知ノード＝
+ * componentRef/cond/map のいずれでもない形のみを拒否する）。
+ */
+export function assertStraightlineSupported(ir) {
+    for (const comp of ir.components) {
+        for (const n of comp.body) {
+            if (!isStraightlineNode(n)) {
+                throw new GeneratorFailure("UNSUPPORTED_NODE_STRAIGHTLINE", `component '${comp.name}': node '${n.id ?? "?"}' is not a componentRef/cond/map — straight-line emit cannot cover it (fail-closed). Regenerate with the literal-emit path or extend the straight-line dialect.`);
+            }
+        }
+    }
+}
+// ── language-neutral な走査（buildOps と鏡映。ただし直線 exec を生成用に展開）──────────
+function nodeKindOf(n) {
+    if ("map" in n)
+        return "map";
+    if ("cond" in n)
+        return "cond";
+    return "componentRef";
+}
+/**
+ * buildComponentPlan — 1 component を language-neutral な {@link ComponentPlan} に落とす。
+ * behavior.ts の `buildOps`（parent の id→index 解決）を鏡映しつつ、各ノードの exec 分岐を
+ * dialect の `emitExpr` で直線コード片へ展開する。ここが「nodeKind ディスパッチ」を
+ * **生成時に一度だけ**行い、生成コードには分岐を残さない核。
+ */
+export function buildComponentPlan(comp, dialect, scopeVar) {
+    const idToIndex = new Map();
+    comp.body.forEach((n, i) => idToIndex.set(n.id, i));
+    const opsLiteral = comp.body.map((n) => {
+        const pid = nodeParentOf(n);
+        const parent = pid !== undefined ? idToIndex.get(pid) ?? null : null;
+        const lit = { id: n.id, parent };
+        if ("map" in n) {
+            // map/cond は bindField を持たない。map は relationKind/policy を map spec から取る。
+            const m = n.map;
+            if (m.relationKind !== undefined)
+                lit.relationKind = m.relationKind;
+            if (m.policy !== undefined)
+                lit.policy = m.policy;
+        }
+        else if (!("cond" in n)) {
+            const cr = n;
+            if (cr.bindField !== undefined)
+                lit.bindField = cr.bindField;
+            if (cr.relationKind !== undefined)
+                lit.relationKind = cr.relationKind;
+            if (cr.policy !== undefined)
+                lit.policy = cr.policy;
+        }
+        return lit;
+    });
+    const ops = comp.body.map((n, i) => {
+        const kind = nodeKindOf(n);
+        if (kind === "cond") {
+            const c = n.cond;
+            // Conditional は純 Expression。behavior.ts と同じく `{cond:[if,then,else]}` へ lower して
+            // cond primitive（短絡・strict bool は evaluate SSoT）で1式評価する。
+            return { kind: "cond", index: i, id: n.id, expr: dialect.emitExpr({ cond: [c.if, c.then, c.else] }, scopeVar) };
+        }
+        if (kind === "map") {
+            // map: over は component scope（要素束縛前）で、guard/ports は要素 scope（dialect.mapScopeVar）で
+            // emit する。要素束縛（as→要素値）を含んだ scope を生成コードが mapScopeVar 名で組む前提。
+            // guard は behavior.ts と同じく `{cond:[when,true,false]}` へ lower（strict-bool、fail-closed）。
+            const m = n.map;
+            const ms = dialect.mapScopeVar;
+            const ports = Object.keys(m.ports).map((name) => ({ name, expr: dialect.emitExpr(m.ports[name], ms) }));
+            const guard = m.when === undefined ? undefined : dialect.emitExpr({ cond: [m.when, true, false] }, ms);
+            return {
+                kind: "map",
+                index: i,
+                id: n.id,
+                component: m.component,
+                as: m.as,
+                over: dialect.emitExpr(m.over, scopeVar),
+                guard,
+                ports,
+                into: m.into,
+                batched: m.batched === true,
+            };
+        }
+        const cr = n;
+        // 各 port を名前付き primitive 呼びへ展開（evalPorts の汎用ループを消す）。宣言順保存。
+        const ports = Object.keys(cr.ports).map((name) => ({ name, expr: dialect.emitExpr(cr.ports[name], scopeVar) }));
+        return { kind: "componentRef", index: i, id: n.id, component: cr.component, ports };
+    });
+    return { name: comp.name, component: comp, opsLiteral, ops };
+}
+function nodeParentOf(n) {
+    if ("map" in n)
+        return n.map.parent;
+    if ("cond" in n)
+        return n.cond.parent;
+    return n.parent;
+}
+/**
+ * emitStraightlineModule — dialect を使って IR 全体の直線モジュールを綴じる（公開 entry）。
+ * A1 スコープ検査（fail-closed）を先に走らせる。
+ */
+export function emitStraightlineModule(ctx, dialect, scopeVar) {
+    assertStraightlineSupported(ctx.ir);
+    const plans = ctx.ir.components.map((c) => buildComponentPlan(c, dialect, scopeVar));
+    return dialect.emitModule(plans, ctx);
+}
+//# sourceMappingURL=straightline.js.map

package/dist/generator/straightline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"straightline.js","sourceRoot":"","sources":["../../src/generator/straightline.ts"],"names":[],"mappings":"AAiCA,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAE7C,wEAAwE;AACxE,uEAAuE;AACvE,yEAAyE;AACzE,uEAAuE;AAEvE,iEAAiE;AACjE,MAAM,UAAU,kBAAkB,CAAC,CAAW;IAC5C,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,2CAA2C;IACxE,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7B,OAAO,WAAW,IAAI,CAAC,CAAC,CAAC,eAAe;AAC1C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CAAC,EAAoB;IAC9D,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,gBAAgB,CACxB,+BAA+B,EAC/B,cAAc,IAAI,CAAC,IAAI,YAAa,CAAqB,CAAC,EAAE,IAAI,GAAG,iKAAiK,CACrO,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAgGD,qEAAqE;AAErE,SAAS,UAAU,CAAC,CAAW;IAC7B,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7B,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC;IAC/B,OAAO,cAAc,CAAC;AACxB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAe,EAAE,OAA4B,EAAE,QAAgB;IAChG,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAEpD,MAAM,UAAU,GAAgB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAClD,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,MAAM,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACrE,MAAM,GAAG,GAAc,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC;QAC5C,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACf,wEAAwE;YACxE,MAAM,CAAC,GAAI,CAAa,CAAC,GAAG,CAAC;YAC7B,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;gBAAE,GAAG,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;YACpE,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;gBAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;QACpD,CAAC;aAAM,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,CAAqB,CAAC;YACjC,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS;gBAAE,GAAG,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;YAC7D,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;gBAAE,GAAG,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;YACtE,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS;gBAAE,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;QACtD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,MAAM,GAAG,GAAqB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnD,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YACpB,MAAM,CAAC,GAAI,CAAc,CAAC,IAAI,CAAC;YAC/B,gFAAgF;YAChF,yDAAyD;YACzD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC;QAClH,CAAC;QACD,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,kFAAkF;YAClF,6DAA6D;YAC7D,wFAAwF;YACxF,MAAM,CAAC,GAAI,CAAa,CAAC,GAAG,CAAC;YAC7B,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;YAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACxG,MAAM,KAAK,GACT,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC3F,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,KAAK,EAAE,CAAC;gBACR,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC;gBACxC,KAAK;gBACL,KAAK;gBACL,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,CAAC,OAAO,KAAK,IAAI;aAC5B,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,CAAqB,CAAC;QACjC,2DAA2D;QAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;QAChH,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,YAAY,CAAC,CAAW;IAC/B,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;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,GAAgB,EAAE,OAA4B,EAAE,QAAgB;IACrG,2BAA2B,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrF,OAAO,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACxC,CAAC"}

package/dist/generator/typed.d.ts

@@ -0,0 +1,156 @@
+/**
+ * typed.ts — typed-emit の language-neutral フレームワーク（bc#46 / Layer B2）。
+ *
+ * typed-codegen.md §4.2/§4.3 の骨組み。可搬型記法（`PortableType`, B0/bc#44）を「各言語の型宣言/
+ * 型注釈へ落とせる language-neutral な型プラン」へ導出する枠と、直線 emit（{@link StraightlineDialect}）を
+ * typed に拡張する seam（{@link TypedStraightlineDialect}）を提供する。TS 具体化は
+ * `emit-straightline-typed-typescript.ts`（言語識別子 `typescript-typed`）。go/rust（#47/#48）が
+ * 同じ seam に乗る。
+ *
+ * 設計の核（§4.2「全ワイヤ型は SCP 構造の決定関数」）:
+ *   - 型はワイヤの導出プロパティ。consumer（graphddb, B1/#45）が lowering 時に各ノードへ確定型を
+ *     `outType`/`outputType` として注記する。generator はレジストリを持たず、注記された型記法だけを
+ *     読む（DSL 非依存）。
+ *   - **language-neutral 部（ここ）**: 型記法 → 「型プラン」（named struct/interface の集合 ＋ 各注記点の
+ *     型参照）の導出。obj は決定的な名前を振って dedup（同形 obj は同一宣言を共有）。arr/opt/scalar は
+ *     inline 参照。名前生成・走査順・dedup は言語非依存で一度だけ実装する（go/rust/ts 共通）。
+ *   - **per-language 部（dialect seam）**: 型プランの各ノードを「その言語の型構文（TS interface /
+ *     Go struct / Rust struct）」へ綴じる ＋ typed materialization（scope/output を typed 値で組む・
+ *     `ref` を typed field access で行う）を emit する。
+ *
+ * TS における位置づけ（oracle）: TS は型消去のため **runtime 脱box は無い**（生成コードの runtime 挙動は
+ * straight-line と同一）。typed 経路は「`outType` から型付き interface/型注釈を emit → `tsc` clean ＋
+ * emit された型が `outType` と構造一致（構造 pin）」を権威づける検証用 oracle であり、raw→typed の
+ * 実 perf 脱box は go/rust（#47/#48 の materialization）＋ graphddb #60（marshaller 実測）の責務。
+ */
+import type { ComponentGraphIR, PortableType } from "../behavior.js";
+/**
+ * TypeRef — 注記点（node.outType / component.outputType）の型を language-neutral に表す。
+ *   - scalar: 5 種のスカラ型（そのまま各言語のスカラ型へ落ちる）。
+ *   - opt: nullable（`T | null` / `Option<T>` / …）。
+ *   - arr: 同種配列（要素型）。
+ *   - named: obj を named struct/interface として宣言し、その名前を参照する（Go/Rust は無名ネスト
+ *     struct を跨げないので named 化が必須。TS も可読性・dedup のため named interface を使う）。
+ */
+export type TypeRef = {
+    kind: "scalar";
+    scalar: "string" | "int" | "float" | "bool" | "null";
+} | {
+    kind: "opt";
+    inner: TypeRef;
+} | {
+    kind: "arr";
+    elem: TypeRef;
+} | {
+    kind: "named";
+    name: string;
+};
+/** named struct/interface 宣言（obj 型 1 つ）。fields はキー順保存（型記法の宣言順）。 */
+export interface TypeDecl {
+    name: string;
+    fields: {
+        name: string;
+        type: TypeRef;
+    }[];
+}
+/**
+ * TypePlan — IR 全体から導出した型プラン。
+ *   - decls: named 宣言（obj 型）を **決定的順序**（初出順）で並べたもの。同形 obj は 1 宣言に dedup。
+ *   - node/output の各注記点の型参照は {@link deriveTypeRef} が都度返す（プラン共有の decls を参照）。
+ */
+export interface TypePlan {
+    decls: TypeDecl[];
+}
+/**
+ * buildTypePlan — IR 全体を走査し、全注記点（body ノード `outType` / component `outputType`）の obj 型を
+ * named 宣言に dedup 収集した {@link TypePlan} を返す。注記が 1 つも無ければ decls は空（typed 化する
+ * ものが無い＝呼び側は untyped straight-line にフォールバックする）。language-neutral・決定的。
+ */
+export declare function buildTypePlan(ir: ComponentGraphIR): TypePlan;
+/**
+ * deriveTypeRef — 単一の注記点の型記法を（buildTypePlan と同じ dedup 規律で）TypeRef へ落とす。
+ * ただし named 宣言の同定はプランの走査で既に確定しているため、ここでは同じ structuralKey で
+ * プラン内 decl を引く（プランに無い obj 型は渡されない前提 — buildTypePlan が全注記点を網羅する）。
+ */
+export declare function deriveTypeRef(t: PortableType, plan: TypePlan): TypeRef;
+/**
+ * TypedMaterializer — per-language の typed 具体化 seam。language-neutral な {@link TypePlan} と
+ * 各注記点の {@link TypeRef} を受け取り、その言語の「型宣言（interface/struct）」と typed
+ * materialization（scope/output を typed 値で組む・`ref` を typed field access で行う）を綴じる。
+ *
+ * ── decls 部（B2-ts / bc#46 で確立・型テキスト描画）──────────────────────────────
+ * `emitTypeDecls` / `renderTypeRef` は型記法 → その言語の型宣言テキスト（TS interface / Go struct /
+ * Rust struct）を綴じる。TS（`emit-straightline-typed-typescript.ts`）はこれと型消去 oracle だけで
+ * 完結する（runtime 脱box が無いため）。
+ *
+ * ── runtime-materialization 部（B2-go / bc#47 で co-design・**最初のコンパイル言語で拡張**）─────
+ * TS は型消去のため runtime typed materialization を持たない → decls 部だけでは **コンパイル言語の
+ * 実 de-box（raw Value → 具体 struct）を綴じられない**。そこで **最初のコンパイル言語（go）で seam を
+ * 拡張**し、以下の hook を足す（rust #48 が同じ形で乗る）。すべて **language-neutral な入力**
+ * （{@link TypePlan} / {@link TypeRef} / node id / field path / 生の raw 式テキスト）を受け、per-language が
+ * その言語の materialization 構文へ綴じる（型プラン導出＝共有、materialization＝per-lang）。
+ *
+ *   - {@link emitMarshallers}: 型プランの各 named 宣言に対し「raw（動的 Value）→ その struct」の
+ *     **monomorphized marshaller**（§4.4）を emit する。struct field を 1 つずつ typed に読み出して
+ *     具体 struct を組む（generic な Value 走査を exec 経路から除去する de-box の実体）。
+ *   - {@link materializeExpr}: 「raw な Value 式（handler 結果 / scope 読み）」を、注記型 {@link TypeRef}
+ *     の **具体 typed 値**（struct / scalar / slice）へ変換する式を emit する（marshaller 呼び / 直キャスト）。
+ *   - {@link typedFieldAccess}: 既に typed な base 式（materialize 済みローカル）への **静的 field access**
+ *     （struct field 直参照 — map lookup でない）を emit する。ネスト field path を辿る。
+ *   - {@link serializeTyped}: 具体 typed 値を **canonical 直列化のための動的 Value へ戻す**式を emit する
+ *     （観測等価 pin のため。exec は typed のまま進み、境界でだけ Value に戻して golden と突き合わせる）。
+ *
+ * decls-only の materializer（TS）は runtime hook 群を実装しなくてよい（optional）。コンパイル言語
+ * （go/rust）は実装する。呼び側（各 emitter）が hook の有無で typed exec を出すか oracle に留めるかを決める。
+ *
+ * ── struct-native exec の規律（bc#47 監査 rework・rust #48 も従う）──────────────────
+ * これらの hook を使う typed exec は **struct 空間で実行する**こと（LAYERED な Value-then-struct は不可）:
+ *   - handler 結果は **その場で**（境界で）`materializeExpr`/marshaller により outType の具体 struct へ
+ *     de-box し、**typed scope（struct）** に格納する。動的 Value の node-result scope を組んではならない。
+ *   - downstream の `ref`/field access は `typedFieldAccess`（struct field 直参照）で typed scope を読む。
+ *   - component output は typed 値（struct/slice）として組み、`serializeTyped` で **最終 return 境界のみ**
+ *     Value へ戻す（動的 Value output tree を組んではならない）。
+ *   - plan 駆動・handler dispatch・operator 意味論（overflow/短絡）は既存 SSoT（runPlan/handler/A0 primitive）
+ *     を再利用する（二重実装しない）。struct 空間へ移すのは **結果 materialization（handler 結果・scope・
+ *     output）だけ**。localized な operand の Value 化（operator 被演算子など）は許容。
+ */
+export interface TypedMaterializer {
+    /**
+     * 型プランの named 宣言群（obj 型）を、その言語の型宣言テキストへ綴じる（decls 順＝決定的）。
+     * decls が空なら空文字（typed 化するものが無い）。
+     */
+    emitTypeDecls(plan: TypePlan): string;
+    /**
+     * 単一 TypeRef を、その言語の型注釈式（TS の型注釈・Go の型名・Rust の型名）へ綴じる。
+     */
+    renderTypeRef(ref: TypeRef): string;
+    /**
+     * emitMarshallers — 型プランの各 named 宣言に対する raw→typed marshaller 群を emit する（§4.4）。
+     * decls 順＝決定的。decls が空 or 未実装なら空文字。marshaller は「動的 Value を受け、宣言の各
+     * field を typed に読み出して具体 struct を返す」monomorphized 関数（generic Value 走査を exec から除去）。
+     */
+    emitMarshallers?(plan: TypePlan): string;
+    /**
+     * materializeExpr — raw な Value 式（`rawExpr`）を、注記型 `ref` の具体 typed 値へ変換する式を返す。
+     * obj → marshaller 呼び、scalar → 型付きキャスト、arr → 要素 materialize、opt → null 分岐。
+     * これが exec 経路で「Value を struct に de-box する」実体（呼び側はこの式を typed ローカルへ束ねる）。
+     */
+    materializeExpr?(rawExpr: string, ref: TypeRef, plan: TypePlan): string;
+    /**
+     * typedFieldAccess — 既に typed な base 式（`baseExpr`、型 `baseRef`）に対し、field path（`fields`）を
+     * **静的 struct field access** で辿る式と、辿り着いた型 {@link TypeRef} を返す。map lookup でなく
+     * struct field 直参照であること（＝de-box されている）が per-lang 実装の責務。
+     */
+    typedFieldAccess?(baseExpr: string, baseRef: TypeRef, fields: string[], plan: TypePlan): {
+        expr: string;
+        ref: TypeRef;
+    };
+    /**
+     * serializeTyped — 具体 typed 値式（`typedExpr`、型 `ref`）を、canonical 直列化のための動的 Value へ
+     * 戻す式を返す（観測等価 pin 用。exec は typed のまま進み、境界でだけ Value 化して golden と突き合わせる）。
+     */
+    serializeTyped?(typedExpr: string, ref: TypeRef, plan: TypePlan): string;
+}
+/** 型プランから named 宣言を名前で引く（per-language materializer の共有ヘルパ）。 */
+export declare function findDecl(plan: TypePlan, name: string): TypeDecl | undefined;
+//# sourceMappingURL=typed.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"typed.d.ts","sourceRoot":"","sources":["../../src/generator/typed.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,OAAO,KAAK,EAAa,gBAAgB,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAIhF;;;;;;;GAOG;AACH,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,QAAQ,GAAG,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAA;CAAE,GACxE;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpC,mEAAmE;AACnE,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC;CAC3C;AAED;;;;GAIG;AACH,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB;AAiDD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,gBAAgB,GAAG,QAAQ,CAU5D;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO,CAUtE;AAmBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,MAAM,WAAW,iBAAiB;IAChC;;;OAGG;IACH,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAAC;IACtC;;OAEG;IACH,aAAa,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAAC;IAGpC;;;;OAIG;IACH,eAAe,CAAC,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAAC;IACzC;;;;OAIG;IACH,eAAe,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,GAAG,MAAM,CAAC;IACxE;;;;OAIG;IACH,gBAAgB,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,OAAO,CAAA;KAAE,CAAC;IACxH;;;OAGG;IACH,cAAc,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,GAAG,MAAM,CAAC;CAC1E;AAED,+DAA+D;AAC/D,wBAAgB,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAE3E"}

package/dist/generator/typed.js

@@ -0,0 +1,108 @@
+/** obj 型の構造キー（dedup 用・決定的）。field 名（宣言順）＋各 field 型の構造キーを連結する。 */
+function structuralKey(t) {
+    if (typeof t === "string")
+        return t;
+    if ("opt" in t)
+        return `opt(${structuralKey(t.opt)})`;
+    if ("arr" in t)
+        return `arr(${structuralKey(t.arr)})`;
+    // obj: field 名は宣言順保存（key 順は型記法の意味の一部ではないが、決定性のため入力順で連結）。
+    const parts = Object.entries(t.obj).map(([k, v]) => `${k}:${structuralKey(v)}`);
+    return `obj{${parts.join(",")}}`;
+}
+/** 決定的 struct 名を組む（`T` + 連番）。同形は同名（dedup）。衝突しない一意名を返す。 */
+function makeName(index) {
+    return `T${index}`;
+}
+/**
+ * TypePlanBuilder — IR を 1 度走査して named obj 宣言を dedup 収集する。language-neutral。
+ * 走査順（＝decls の順）は「IR 宣言順（components → body → outType、component.outputType）」で
+ * 各注記点を深さ優先に辿った初出順。同一 IR → 同一プラン（決定的）。
+ */
+class TypePlanBuilder {
+    byKey = new Map();
+    order = [];
+    /** PortableType を TypeRef へ落とす。obj は named 宣言を（初出なら）登録して named 参照を返す。 */
+    ref(t) {
+        if (typeof t === "string")
+            return { kind: "scalar", scalar: t };
+        if ("opt" in t)
+            return { kind: "opt", inner: this.ref(t.opt) };
+        if ("arr" in t)
+            return { kind: "arr", elem: this.ref(t.arr) };
+        // obj: dedup key で既登録を探す。無ければ新規宣言（fields を先に解決＝ネストの初出順を保つ）。
+        const key = structuralKey(t);
+        const existing = this.byKey.get(key);
+        if (existing)
+            return { kind: "named", name: existing.name };
+        // 先に名前を確保して自己/相互参照でも安定させる（型記法は非再帰だが決定性のため確保順を固定）。
+        const name = makeName(this.order.length);
+        const decl = { name, fields: [] };
+        this.byKey.set(key, decl);
+        this.order.push(decl);
+        decl.fields = Object.entries(t.obj).map(([k, v]) => ({ name: k, type: this.ref(v) }));
+        return { kind: "named", name };
+    }
+    plan() {
+        return { decls: this.order };
+    }
+}
+/**
+ * buildTypePlan — IR 全体を走査し、全注記点（body ノード `outType` / component `outputType`）の obj 型を
+ * named 宣言に dedup 収集した {@link TypePlan} を返す。注記が 1 つも無ければ decls は空（typed 化する
+ * ものが無い＝呼び側は untyped straight-line にフォールバックする）。language-neutral・決定的。
+ */
+export function buildTypePlan(ir) {
+    const b = new TypePlanBuilder();
+    for (const comp of ir.components) {
+        for (const n of comp.body) {
+            const ot = n.outType;
+            if (ot !== undefined)
+                b.ref(ot);
+        }
+        if (comp.outputType !== undefined)
+            b.ref(comp.outputType);
+    }
+    return b.plan();
+}
+/**
+ * deriveTypeRef — 単一の注記点の型記法を（buildTypePlan と同じ dedup 規律で）TypeRef へ落とす。
+ * ただし named 宣言の同定はプランの走査で既に確定しているため、ここでは同じ structuralKey で
+ * プラン内 decl を引く（プランに無い obj 型は渡されない前提 — buildTypePlan が全注記点を網羅する）。
+ */
+export function deriveTypeRef(t, plan) {
+    if (typeof t === "string")
+        return { kind: "scalar", scalar: t };
+    if ("opt" in t)
+        return { kind: "opt", inner: deriveTypeRef(t.opt, plan) };
+    if ("arr" in t)
+        return { kind: "arr", elem: deriveTypeRef(t.arr, plan) };
+    const key = structuralKey(t);
+    const decl = plan.decls.find((d) => structuralKey(objTypeOf(d, plan)) === key);
+    if (!decl)
+        // buildTypePlan が全注記点を網羅するので通常到達しない（fail-closed で silent 誤生成を防ぐ）。
+        throw new Error(`typed emit: obj type not found in the type plan (structuralKey=${key}) — buildTypePlan must cover every annotation point`);
+    return { kind: "named", name: decl.name };
+}
+/** TypeDecl を元の obj PortableType へ復元する（structuralKey 照合用・内部）。 */
+function objTypeOf(d, plan) {
+    const obj = {};
+    for (const f of d.fields)
+        obj[f.name] = typeRefToPortable(f.type, plan);
+    return { obj };
+}
+function typeRefToPortable(r, plan) {
+    if (r.kind === "scalar")
+        return r.scalar;
+    if (r.kind === "opt")
+        return { opt: typeRefToPortable(r.inner, plan) };
+    if (r.kind === "arr")
+        return { arr: typeRefToPortable(r.elem, plan) };
+    const decl = plan.decls.find((d) => d.name === r.name);
+    return objTypeOf(decl, plan);
+}
+/** 型プランから named 宣言を名前で引く（per-language materializer の共有ヘルパ）。 */
+export function findDecl(plan, name) {
+    return plan.decls.find((d) => d.name === name);
+}
+//# sourceMappingURL=typed.js.map

package/dist/generator/typed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed.js","sourceRoot":"","sources":["../../src/generator/typed.ts"],"names":[],"mappings":"AA0DA,gEAAgE;AAChE,SAAS,aAAa,CAAC,CAAe;IACpC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,OAAO,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACtD,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,OAAO,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACtD,yDAAyD;IACzD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChF,OAAO,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACnC,CAAC;AAED,0DAA0D;AAC1D,SAAS,QAAQ,CAAC,KAAa;IAC7B,OAAO,IAAI,KAAK,EAAE,CAAC;AACrB,CAAC;AAED;;;;GAIG;AACH,MAAM,eAAe;IACX,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IACpC,KAAK,GAAe,EAAE,CAAC;IAE/B,yEAAyE;IACzE,GAAG,CAAC,CAAe;QACjB,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QAChE,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/D,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9D,4DAA4D;QAC5D,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,QAAQ;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC5D,kDAAkD;QAClD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,IAAI,GAAa,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACjC,CAAC;IAED,IAAI;QACF,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC/B,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,EAAoB;IAChD,MAAM,CAAC,GAAG,IAAI,eAAe,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAI,CAAgC,CAAC,OAAO,CAAC;YACrD,IAAI,EAAE,KAAK,SAAS;gBAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;YAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,CAAe,EAAE,IAAc;IAC3D,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAChE,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;IAC1E,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;IACzE,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;IAC/E,IAAI,CAAC,IAAI;QACP,kEAAkE;QAClE,MAAM,IAAI,KAAK,CAAC,kEAAkE,GAAG,qDAAqD,CAAC,CAAC;IAC9I,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;AAC5C,CAAC;AAED,iEAAiE;AACjE,SAAS,SAAS,CAAC,CAAW,EAAE,IAAc;IAC5C,MAAM,GAAG,GAAiC,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACxE,OAAO,EAAE,GAAG,EAAE,CAAC;AACjB,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAU,EAAE,IAAc;IACnD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC;IACzC,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;IACvE,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;IACtE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAE,CAAC;IACxD,OAAO,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAC/B,CAAC;AAkFD,+DAA+D;AAC/D,MAAM,UAAU,QAAQ,CAAC,IAAc,EAAE,IAAY;IACnD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACjD,CAAC"}

package/dist/guard.d.ts

@@ -30,6 +30,24 @@ export declare function assertPortable(value: unknown, path?: string): void;
  * として fail-closed で拒否する（component-graph の port 式・output・map.over/cond に適用）。
  */
 export declare const PORTABLE_EXPR_OPERATORS: ReadonlySet<string>;
+/**
+ * 可搬型記法（Portable Type Notation, B0 / bc#44）のスカラ閉集合
+ * （scp-ir-architecture.md §5.2）。複合型は `{opt|arr|obj: …}` の単一キー object のみ。
+ * `assertPortableTypeNotation` はこの閉集合外の型ノード（未知スカラ・未知複合キー・
+ * 0/複数キー object・obj field の `__proto__`）を fail-closed で拒否する（`"any"` エスケープ無し）。
+ */
+export declare const PORTABLE_SCALAR_TYPES: ReadonlySet<string>;
+/**
+ * assertPortableTypeNotation — 可搬型記法（§5.2）を Expression IR と同じ強度で検証する。
+ * 型注記フィールド（body ノード `outType` / Component `outputType` / catalog `elemType`）に
+ * 使う。閉集合:
+ *   - スカラ: 5 種の文字列リテラル（PORTABLE_SCALAR_TYPES）のみ。
+ *   - `{opt: T}` / `{arr: T}`: 単一キー object・値は型 T（再帰）。
+ *   - `{obj: {field: T, …}}`: 単一キー object・値は field→型の object（`__proto__` キー禁止）。
+ *
+ * @throws {PortabilityError} 閉集合外の型記法を検出したとき（fail-closed）。
+ */
+export declare function assertPortableTypeNotation(node: unknown, path: string): void;
 /**
  * assertPortableComponentGraph — component-graph IR（scp-ir-architecture.md §5）の
  * 可搬性 Guard（P0-2）。generic な {@link assertPortable}（関数/Date/Promise 残存禁止）に加え、

package/dist/guard.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,MAAM,CAAC;gBACD,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAK1C;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAM,GAAG,IAAI,CAa/D;AAED;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAKtD,CAAC;AAEH;;;;;;;;;;GAUG;AACH,wBAAgB,4BAA4B,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,SAAM,GAAG,IAAI,CAQ1E"}
+{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,MAAM,CAAC;gBACD,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAK1C;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAM,GAAG,IAAI,CAa/D;AAED;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAKtD,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAEpD,CAAC;AAEH;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CA+C5E;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,4BAA4B,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,SAAM,GAAG,IAAI,CAQ1E"}