behavior-contracts 0.7.2 → 0.8.0

package/dist/bind.js

@@ -0,0 +1,131 @@
+import { runBehavior, runBehaviorAsync } from "./behavior.js";
+import { assertCompiled, getLeafImplRegistry } from "./provenance.js";
+export class BindFailure extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "BindFailure";
+    }
+}
+function bindFail(code, message) {
+    throw new BindFailure(code, message);
+}
+/**
+ * IR の leaf 参照を全 component から収集し、name→dispatch 形態（{@link LeafRef}）を返す。
+ * fanout は常に batched、`map.batched:true` は batched、それ以外（componentRef / 非 batched map）は
+ * 非 batched。cond は leaf を呼ばない。key 集合が bind 時完全性ゲートの検査対象、`LeafRef` が adapter の
+ * batched 再構成の指示（曖昧なら bind で loud reject）。
+ */
+function referencedLeafNames(ir) {
+    const names = new Map();
+    const mark = (name, batched) => {
+        const ref = names.get(name) ?? { batched: false, nonBatched: false };
+        if (batched)
+            ref.batched = true;
+        else
+            ref.nonBatched = true;
+        names.set(name, ref);
+    };
+    for (const comp of ir.components) {
+        for (const n of comp.body) {
+            if ("fanout" in n)
+                mark(n.fanout.component, true); // fanout は常に batched dispatch
+            else if ("map" in n)
+                mark(n.map.component, n.map.batched === true);
+            else if ("cond" in n)
+                continue;
+            else
+                mark(n.component, false);
+        }
+    }
+    return names;
+}
+/**
+ * registry の leaf impl（`defineLeaf` の**per-element 型付き静的関数** `(p, ctx) => value`）を、
+ * 既存 `Handler`（`(ports, ctx) => ExecOutcome`）へ adapt する。`ctx` は bind 時に閉じ込めた環境境界を
+ * 全 impl に渡す（name→function は注入しない — SA8）。
+ *
+ * batched ABI の機械的再構成: runBehavior は `map.batched` / fanout ノードで handler を
+ * `handler({items:[<各要素の評価済み ports>…]}, ctx)` と **1 回**呼び、items と整列した結果リストを
+ * 期待する。一方 `defineLeaf` の impl は **per-element**（型付きシグネチャ = 1 要素の Port → 1 要素の
+ * 出力）。両者の橋渡しは bind の責務とし、batched 参照される leaf は impl を各 item へ写して整列リストを
+ * 組む（consumer は impl 本体だけを per-element で書き、`{items}` ループを手書きしない）。`batched` フラグ
+ * は IR ノード種から導出済み（{@link referencedLeafNames}）。
+ */
+function adaptHandlers(registry, refs, ctx) {
+    // null-proto: behavior.ts の `handlers[name]` lookup が prototype メソッド（Object.prototype.toString 等）を
+    // 拾わないようにする（leaf 名 'constructor' 等で `if (!handler)` が誤って通るのを防ぐ）。
+    const handlers = Object.create(null);
+    for (const name of Object.keys(registry)) {
+        const impl = registry[name];
+        // 曖昧性（batched & 非 batched の混在）は bind ゲートで既に reject 済み → 一意な形態に確定。
+        const batched = refs.get(name)?.batched === true;
+        handlers[name] = (ports) => {
+            if (batched) {
+                const items = ports.items;
+                return { ok: items.map((it) => impl(it, ctx)) };
+            }
+            return { ok: impl(ports, ctx) };
+        };
+    }
+    return handlers;
+}
+/** async 版 adapter（impl が Promise を返してもよい — runBehaviorAsync が await する）。 */
+function adaptAsyncHandlers(registry, refs, ctx) {
+    const handlers = {};
+    for (const name of Object.keys(registry)) {
+        const impl = registry[name];
+        const batched = refs.get(name)?.batched === true;
+        handlers[name] = async (ports) => {
+            if (batched) {
+                const items = ports.items;
+                return { ok: (await Promise.all(items.map((it) => impl(it, ctx)))) };
+            }
+            return { ok: (await impl(ports, ctx)) };
+        };
+    }
+    return handlers;
+}
+/**
+ * bindBehaviors — 登録 → 自動 bind の consumer 入口（SA8 / #126）。
+ *
+ * compile 済み handle の side-channel から name→impl レジストリを読み、**bind 時完全性ゲート**を
+ * 1 回実行（IR が参照する全 leaf 名に impl があるか — 欠落は `MISSING_LEAF_IMPL` で**実行前に**
+ * fail-closed）してから runnable を返す。以降 `.run` / `.runAsync` は registry から自動 dispatch し、
+ * 注入は `ctx`（環境境界）だけ。**handlers dict を手組みする必要はない**（SA8）。
+ *
+ * @param compiled `compileBehaviors` が返した opaque handle（token + impl レジストリを内蔵）。
+ * @param ctx      環境境界注入（SDK client / config / hooks）。全 leaf impl の第2引数に渡る。
+ */
+export function bindBehaviors(compiled, ctx = {}) {
+    assertCompiled(compiled); // 出自ゲート: 手組み/無 token IR は NON_COMPILED_IR で fail-closed
+    const registry = getLeafImplRegistry(compiled);
+    if (registry === undefined)
+        bindFail("NO_REGISTRY", "bindBehaviors: the compiled handle carries no leaf-impl registry (author leaves via defineLeaf/behaviorComponents and compile with compileBehaviors — a boundary-adopted IR from loadCompiledIR has no in-process impls; use codegen static linking instead)");
+    // ── bind 時完全性ゲート（SA8）: IR 参照 leaf 名の impl 網羅を実行前に検査（fail-closed）─────
+    // `Object.hasOwn` を使う（`name in registry` は prototype 継承キー — 'toString'/'constructor' 等の
+    // leaf 名で false-positive を招き、impl 不在を silent に通してしまう）。
+    const referenced = referencedLeafNames(compiled);
+    const missing = [...referenced.keys()].filter((name) => !Object.hasOwn(registry, name));
+    if (missing.length > 0)
+        bindFail("MISSING_LEAF_IMPL", `bindBehaviors: the IR references leaf component(s) with no registered impl: ${missing
+            .map((m) => `'${m}'`)
+            .join(", ")} — every referenced leaf must be registered via defineLeaf before bind (fail-closed at bind, not lazily at run)`);
+    // 同名 leaf が batched と非 batched の両方で参照される IR は、per-element impl（{@link BoundLeafImpl}）を
+    // handler へ写す際 name 単位で dispatch 形態を一意に決められない（runtime ABI が per-element / {items} で
+    // 異なり、per-call の信頼できる判別信号が無い）。silent に誤 dispatch せず bind で loud reject する。
+    const ambiguous = [...referenced.entries()].filter(([, r]) => r.batched && r.nonBatched).map(([n]) => n);
+    if (ambiguous.length > 0)
+        bindFail("AMBIGUOUS_DISPATCH", `bindBehaviors: leaf(s) ${ambiguous
+            .map((m) => `'${m}'`)
+            .join(", ")} are referenced BOTH batched (map.batched / fanout) and non-batched (componentRef / plain map) — a per-element impl cannot be dispatched unambiguously under both ABIs from one registry entry (split into distinct leaf names, one per dispatch shape)`);
+    // adapter は bind で 1 回だけ組む（handlers dict は registry + batched フラグから機械導出）。
+    const handlers = adaptHandlers(registry, referenced, ctx);
+    const asyncHandlers = adaptAsyncHandlers(registry, referenced, ctx);
+    return {
+        run: (method, input = {}) => runBehavior(compiled, handlers, input, method),
+        runAsync: (method, input = {}) => runBehaviorAsync(compiled, asyncHandlers, input, method),
+    };
+}
+//# sourceMappingURL=bind.js.map

package/dist/bind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bind.js","sourceRoot":"","sources":["../src/bind.ts"],"names":[],"mappings":"AA+BA,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAqC,MAAM,eAAe,CAAC;AAEjG,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAyB,MAAM,iBAAiB,CAAC;AAQ7F,MAAM,OAAO,WAAY,SAAQ,KAAK;IACpC,IAAI,CAAkB;IACtB,YAAY,IAAqB,EAAE,OAAe;QAChD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED,SAAS,QAAQ,CAAC,IAAqB,EAAE,OAAe;IACtD,MAAM,IAAI,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACvC,CAAC;AAaD;;;;;GAKG;AACH,SAAS,mBAAmB,CAAC,EAAoB;IAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAgB,EAAQ,EAAE;QACpD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QACrE,IAAI,OAAO;YAAE,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;;YAC3B,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC;QAC3B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvB,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,QAAQ,IAAI,CAAC;gBAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,8BAA8B;iBAC5E,IAAI,KAAK,IAAI,CAAC;gBAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;iBAC9D,IAAI,MAAM,IAAI,CAAC;gBAAE,SAAS;;gBAC1B,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,aAAa,CAAC,QAA0B,EAAE,IAA0B,EAAE,GAAY;IACzF,mGAAmG;IACnG,iEAAiE;IACjE,MAAM,QAAQ,GAAa,MAAM,CAAC,MAAM,CAAC,IAAI,CAAa,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,kEAAkE;QAClE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,KAAK,IAAI,CAAC;QACjD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAe,EAAE;YACtC,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,KAAK,GAAI,KAA6B,CAAC,KAAgC,CAAC;gBAC9E,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAU,CAAC,EAAE,CAAC;YAC3D,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAU,EAAE,CAAC;QAC3C,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,6EAA6E;AAC7E,SAAS,kBAAkB,CAAC,QAA0B,EAAE,IAA0B,EAAE,GAAY;IAC9F,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,KAAK,IAAI,CAAC;QACjD,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,KAAK,EAAwB,EAAE;YACrD,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,KAAK,GAAI,KAA6B,CAAC,KAAgC,CAAC;gBAC9E,OAAO,EAAE,EAAE,EAAE,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAU,EAAE,CAAC;YAChF,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAU,EAAE,CAAC;QACnD,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAkBD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAAC,QAA0B,EAAE,MAAe,EAAE;IACzE,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,wDAAwD;IAClF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC/C,IAAI,QAAQ,KAAK,SAAS;QACxB,QAAQ,CACN,aAAa,EACb,8PAA8P,CAC/P,CAAC;IAEJ,uEAAuE;IACvE,wFAAwF;IACxF,uDAAuD;IACvD,MAAM,UAAU,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IACxF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QACpB,QAAQ,CACN,mBAAmB,EACnB,+EAA+E,OAAO;aACnF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;aACpB,IAAI,CAAC,IAAI,CAAC,iHAAiH,CAC/H,CAAC;IAEJ,uFAAuF;IACvF,oFAAoF;IACpF,2EAA2E;IAC3E,MAAM,SAAS,GAAG,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACzG,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QACtB,QAAQ,CACN,oBAAoB,EACpB,0BAA0B,SAAS;aAChC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;aACpB,IAAI,CAAC,IAAI,CAAC,yPAAyP,CACvQ,CAAC;IAEJ,0EAA0E;IAC1E,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IAC1D,MAAM,aAAa,GAAG,kBAAkB,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IACpE,OAAO;QACL,GAAG,EAAE,CAAC,MAAe,EAAE,QAAe,EAAE,EAAS,EAAE,CAAC,WAAW,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC;QAClG,QAAQ,EAAE,CAAC,MAAe,EAAE,QAAe,EAAE,EAAkB,EAAE,CAC/D,gBAAgB,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC;KAC3D,CAAC;AACJ,CAAC"}

package/dist/builder.d.ts

@@ -1,63 +1,43 @@
 /**
- * builder.ts — programmatic component-definition builder（合成グラフの「データ登録」IF,
- * bc#26）＋ recorder 経路（`compileBehaviors`）と共有する検証・正規化 core。
+ * builder.ts — component-graph の検証・正規化・plan 導出の **内部 core**。
  *
- * ## 責務分離（オーナー決定 — bc#26 / graphddb#297 SP5）
+ * ## SCP-only 化（0.8.0・#127/A5）— データ登録 IF は撤去済み
  *
- * 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）。そこで:
+ * かつて存在した公開「データ登録」IF（`buildComponentDefinition` / `ComponentDefinitionData` /
+ * `BuildComponentDefinitionOptions` / `BuilderFailure`）は **0.8.0 で完全撤去**した
+ * （scp-only-authoring-contract.md §SA6・§7 step 3）。生 IR を手組みして登録する経路（route B）は
+ * フラットな意味グラフを壊す矛盾の根源であり、IR の唯一の正規生産者を compile seam
+ * （`compileBehaviors`）に一本化するための撤去である（§1.2）。**internal 猶予も残さない**（§SA6）。
  *
- *   - **抽出ロジック（model → 合成グラフの導出）は consumer（graphddb / litedbmodel / …）が
- *     保持**する。builder は closure を受け取らない（source scan も recorder も非適用）。
- *   - **IR の形・検証・正規化の所有権は bc（C1）**: consumer は事前合成されたグラフを
- *     **データとして登録**し（{@link buildComponentDefinition}）、検証済み・正準化済みの
- *     `Component`（`components[]` エントリ）を受け取る。
+ * このモジュールが今も所有するのは、その **検証・正規化・plan 導出の共有 core**（{@link buildComponentCore}
+ * と周辺ヘルパ）だけで、これは **`compileBehaviors`（authoring.ts）が lowering の末尾で委譲する
+ * internal な実装**である。**公開されるのは何も無い**（builder のシンボルは index.ts から export しない）。
  *
- * ## 受け入れるデータ（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）
+ * ## core が担う検証・正規化（`buildComponentCore` — recorder 経路が委譲）
  *
  *   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)を検証。
+ *   2. **catalog 照合**（recorder 経路は record 時に共有関数で照合済みのため core には catalog を
+ *      渡さないが、共有関数 {@link checkPortableEntry} / {@link checkPortNames} /
+ *      {@link checkDeclaredPortTypes} は当モジュールが保持する）。
+ *   3. **plan**: 省略時は依存から導出（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）
+ * ## recorder 経路との単一実装
  *
  * `compileBehaviors` は lowering の末尾（Component 組み立て・plan 導出・正規化・Guard）を
  * {@link buildComponentCore} に委譲し、catalog port 照合は record 時に
  * {@link checkPortableEntry} / {@link checkPortNames} / {@link checkDeclaredPortTypes} を
- * 共有する。2 経路（recorder / データ登録）は同じ検証・正規化を通る。
+ * 共有する。これらの内部関数の検証・正規化は `compileBehaviors` 経由で網羅的に行使される。
  */
 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;
@@ -83,13 +63,16 @@ export declare function checkDeclaredPortTypes(name: string, entry: CatalogEntry
 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 値:
+ * {@link buildComponentCore} が受け取る事前合成グラフデータの形（internal）。フィールドは
+ * canonical `Component`（behavior.ts / scp-ir-architecture.md §5）と同形で、`plan` だけ 3 値:
  *   - 省略（undefined） → 依存から導出（Kahn levels・`concurrency` オプション）。
  *   - `null`            → plan なし（runBehavior の逐次 fallback。graphddb transaction 形）。
  *   - `ExecutionPlanSpec` → 供給値を検証して使う（graphddb query 形）。
+ *
+ * かつては公開データ登録 IF（`buildComponentDefinition`）の引数型 `ComponentDefinitionData` だったが、
+ * その IF もろとも 0.8.0 で撤去した（§SA6）。`compileBehaviors` が core に渡す internal な形として残す。
  */
-export interface ComponentDefinitionData {
+interface ComponentDefinitionData {
     name: string;
     /** 省略時は `{}`（Input Port なし）。 */
     inputPorts?: Record<string, PortSchema>;
@@ -98,57 +81,16 @@ export interface ComponentDefinitionData {
     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 を通る。
+ * buildComponentCore — 検証・plan 導出・正規化・Guard の単一実装（internal）。
+ * `compileBehaviors`（recorder 経路 — catalog port 照合は record 時に共有関数で済ませているため
+ * `catalog` なし）が lowering の末尾でこの core を通る。#127/A5 まで存在した公開データ登録 IF
+ * `buildComponentDefinition`（catalog 必須で core を呼んでいた）は撤去済みで、`opts.catalog` を
+ * 渡す呼び出し口はもう無い（フィールドは互換のため残すが recorder 経路は常に undefined）。
  */
 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;
+export {};
 //# sourceMappingURL=builder.d.ts.map

package/dist/builder.d.ts.map

@@ -1 +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,CAkFX;AAGD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,uBAAuB,EAC7B,OAAO,EAAE,+BAA+B,GACvC,SAAS,CASX"}
+{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../src/builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,OAAO,KAAK,EACV,QAAQ,EACR,OAAO,EACP,YAAY,EACZ,SAAS,EAKT,UAAU,EACX,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAqCnD,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;AA2BD,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAiE3C;;;;;;;;;GASG;AACH,UAAU,uBAAuB;IAC/B,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;AAmUD;;;;;;GAMG;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,CAoFX"}

package/dist/builder.js

@@ -1,7 +1,7 @@
 import { cmpCodePoints, FORBIDDEN_OBJECT_KEY } from "./expr-eval.js";
 import { SPEC_VERSIONS } from "./index.js";
-import { assertPortableComponentGraph, assertPortableTypeNotation } from "./guard.js";
-export class BuilderFailure extends Error {
+import { assertPortableComponentGraph, assertPortableTypeNotation, PortabilityError } from "./guard.js";
+class BuilderFailure extends Error {
     code;
     constructor(code, message) {
         super(message);
@@ -102,7 +102,13 @@ export function collectNodeIdRefs(node, ids, out = []) {
 /** body ノードの依存 id 集合（ports/over/when/cond 式の ref root + parent。`ids` 内のみ）。 */
 function bodyNodeDeps(n, ids) {
     const deps = [];
-    if ("map" in n) {
+    if ("fanout" in n) {
+        collectNodeIdRefs(n.fanout.over, ids, deps);
+        collectNodeIdRefs(n.fanout.ports, ids, deps);
+        if (n.fanout.parent !== undefined && ids.has(n.fanout.parent) && !deps.includes(n.fanout.parent))
+            deps.push(n.fanout.parent);
+    }
+    else if ("map" in n) {
         collectNodeIdRefs(n.map.over, ids, deps);
         collectNodeIdRefs(n.map.ports, ids, deps);
         if (n.map.when !== undefined)
@@ -189,11 +195,19 @@ function canonicalizeDeep(v) {
 }
 // ── 内部: 構造検証ヘルパ ───────────────────────────────────────────────────────────
 const DEFINITION_KEYS = /* @__PURE__ */ new Set(["name", "inputPorts", "body", "output", "plan"]);
-const REF_NODE_KEYS = /* @__PURE__ */ new Set(["id", "component", "ports", "parent", "bindField", "relationKind", "policy"]);
-const MAP_NODE_KEYS = /* @__PURE__ */ new Set(["id", "map"]);
+// node-level outType は additive・省略可の確定型注記（B0 / bc#44・§5.2）。node ラッパ層に載る
+// （map/cond/fanout は id+ラッパ+outType、componentRef は inline なので REF_NODE_KEYS に含める）。
+// 定義レベル `Component.outputType`（behavior.ts:255）は Phase A では buildComponentCore が
+// 生成も検証もしないため DEFINITION_KEYS に含めない（含めると accept-and-drop の fail-open に
+// なる）。将来ここで設定するなら assertPortableTypeNotation で検証し assembled component へ
+// 持ち回ること。それまでは未知キーとして loud-reject する。
+const REF_NODE_KEYS = /* @__PURE__ */ new Set(["id", "component", "ports", "parent", "bindField", "relationKind", "policy", "outType"]);
+const MAP_NODE_KEYS = /* @__PURE__ */ new Set(["id", "map", "outType"]);
 const MAP_KEYS = /* @__PURE__ */ new Set(["over", "as", "component", "ports", "when", "into", "batched", "parent", "relationKind", "policy"]);
-const COND_NODE_KEYS = /* @__PURE__ */ new Set(["id", "cond"]);
+const COND_NODE_KEYS = /* @__PURE__ */ new Set(["id", "cond", "outType"]);
 const COND_KEYS = /* @__PURE__ */ new Set(["if", "then", "else", "parent"]);
+const FANOUT_NODE_KEYS = /* @__PURE__ */ new Set(["id", "fanout", "outType"]);
+const FANOUT_KEYS = /* @__PURE__ */ new Set(["over", "as", "component", "ports", "dedupeKey", "drop", "implicitSource", "relationKind", "parent", "policy"]);
 const SCHEMA_KEYS = /* @__PURE__ */ new Set(["type", "required", "elemType"]);
 const PLAN_KEYS = /* @__PURE__ */ new Set(["groups", "concurrency"]);
 const RELATION_KINDS = /* @__PURE__ */ new Set(["single", "connection"]);
@@ -244,6 +258,24 @@ function checkPortsShape(ports, at) {
             bfail("INVALID_NODE", `${at}: port name "${FORBIDDEN_OBJECT_KEY}" is forbidden (fail-closed)`);
     return ports;
 }
+/**
+ * node ラッパの `outType`（確定型注記・§5.2）を正規化ノードへ写す。additive・省略可
+ * （`.as<T>()` 由来 / consumer 注記）。存在時のみ可搬型記法の閉集合を fail-closed で検証する
+ * （後段の guard と同一強度。ここで先に落とすことで INVALID_NODE ではなく型記法エラーで拒否）。
+ */
+function copyOutType(rec, node, at) {
+    if (rec.outType === undefined)
+        return;
+    try {
+        assertPortableTypeNotation(rec.outType, `${at}.outType`);
+    }
+    catch (e) {
+        if (e instanceof PortabilityError)
+            bfail("INVALID_NODE", e.message);
+        throw e;
+    }
+    node.outType = rec.outType;
+}
 /** 1 body ノードを構造検証し、既知キーだけの正規化コピーを返す（undefined 値の optional は落とす）。 */
 function normalizeNode(raw, ids, at) {
     const rec = raw; // pass 1 で plain object / id は検証済み
@@ -281,6 +313,57 @@ function normalizeNode(raw, ids, at) {
             node.map.relationKind = wire.relationKind;
         if (wire.policy !== undefined)
             node.map.policy = wire.policy;
+        copyOutType(rec, node, at);
+        return node;
+    }
+    if (rec.fanout !== undefined) {
+        checkAllowedKeys(rec, FANOUT_NODE_KEYS, "INVALID_NODE", at);
+        if (!isPlainObject(rec.fanout))
+            bfail("INVALID_NODE", `${at}: 'fanout' must be a plain object`);
+        const fo = rec.fanout;
+        checkAllowedKeys(fo, FANOUT_KEYS, "INVALID_NODE", `${at}.fanout`);
+        if (fo.over === undefined)
+            bfail("INVALID_NODE", `${at}.fanout: 'over' is required`);
+        const as = checkScopeKeyName(fo.as, "'as'", `${at}.fanout`);
+        if (!as.startsWith("$") || as.length < 2)
+            bfail("INVALID_NODE", `${at}.fanout: 'as' must be a "$"-prefixed element binding (e.g. "$ref"), got '${as}'`);
+        if (ids.has(as))
+            bfail("INVALID_NODE", `${at}.fanout: 'as' binding '${as}' collides with a body node id`);
+        if (typeof fo.component !== "string" || fo.component === "")
+            bfail("INVALID_NODE", `${at}.fanout: 'component' must be a non-empty catalog name string`);
+        const fports = checkPortsShape(fo.ports, `${at}.fanout`);
+        const dedupeKey = checkScopeKeyName(fo.dedupeKey, "'dedupeKey'", `${at}.fanout`);
+        if (fo.drop !== "dangling" && fo.drop !== "none")
+            bfail("INVALID_NODE", `${at}.fanout: 'drop' must be "dangling" or "none"`);
+        if (fo.relationKind !== "connection")
+            bfail("INVALID_NODE", `${at}.fanout: 'relationKind' must be "connection"`);
+        const node = {
+            id,
+            fanout: {
+                over: fo.over,
+                as,
+                component: fo.component,
+                ports: fports,
+                dedupeKey,
+                drop: fo.drop,
+                relationKind: "connection",
+            },
+        };
+        if (fo.implicitSource !== undefined)
+            node.fanout.implicitSource = checkScopeKeyName(fo.implicitSource, "'implicitSource'", `${at}.fanout`);
+        if (fo.parent !== undefined) {
+            if (typeof fo.parent !== "string")
+                bfail("INVALID_NODE", `${at}.fanout: 'parent' must be a node id string`);
+            if (!ids.has(fo.parent))
+                bfail("UNKNOWN_PARENT", `${at}.fanout: parent '${fo.parent}' is not a body node id`);
+            node.fanout.parent = fo.parent;
+        }
+        if (fo.policy !== undefined) {
+            if (typeof fo.policy !== "string" || !POLICY_KINDS.has(fo.policy))
+                bfail("INVALID_NODE", `${at}.fanout: 'policy' must be "fail", "retry" or "continue"`);
+            node.fanout.policy = fo.policy;
+        }
+        copyOutType(rec, node, at);
         return node;
     }
     if (rec.cond !== undefined) {
@@ -301,6 +384,7 @@ function normalizeNode(raw, ids, at) {
         const wire = checkNodeWire(c, ids, `${at}.cond`);
         if (wire.parent !== undefined)
             node.cond.parent = wire.parent;
+        copyOutType(rec, node, at);
         return node;
     }
     if (rec.component !== undefined) {
@@ -321,6 +405,7 @@ function normalizeNode(raw, ids, at) {
             node.relationKind = wire.relationKind;
         if (wire.policy !== undefined)
             node.policy = wire.policy;
+        copyOutType(rec, node, at);
         return node;
     }
     bfail("INVALID_NODE", `${at}: body node must be componentRef ('component'), 'map' or 'cond'`);
@@ -380,7 +465,13 @@ function nodeRefsAndDeps(n, ids, inputs, at) {
                 deps.push(d);
         },
     };
-    if ("map" in n) {
+    if ("fanout" in n) {
+        walkRefs(n.fanout.over, null, ctx, `${at}.fanout.over`); // over は束縛の外で評価される
+        walkRefs(n.fanout.ports, n.fanout.as, ctx, `${at}.fanout.ports`);
+        if (n.fanout.parent !== undefined && !deps.includes(n.fanout.parent))
+            deps.push(n.fanout.parent);
+    }
+    else if ("map" in n) {
         walkRefs(n.map.over, null, ctx, `${at}.map.over`); // over は束縛の外で評価される
         walkRefs(n.map.ports, n.map.as, ctx, `${at}.map.ports`);
         if (n.map.when !== undefined)
@@ -439,12 +530,13 @@ function validateSuppliedPlan(raw, body, depsByIndex) {
     });
     return { groups: groups.map((stage) => [...stage]), concurrency };
 }
-// ── core（recorder 経路と共有される単一実装 — B-3）────────────────────────────────────
+// ── core（compileBehaviors が委譲する internal な単一実装）──────────────────────────────
 /**
- * buildComponentCore — 検証・plan 導出・正規化・Guard の単一実装。
- * `buildComponentDefinition`（データ登録 IF、catalog 必須）と `compileBehaviors`
- * （recorder 経路 — catalog port 照合は record 時に共有関数で済ませているため
- * `catalog` なし）の両方がこの core を通る。
+ * buildComponentCore — 検証・plan 導出・正規化・Guard の単一実装（internal）。
+ * `compileBehaviors`（recorder 経路 — catalog port 照合は record 時に共有関数で済ませているため
+ * `catalog` なし）が lowering の末尾でこの core を通る。#127/A5 まで存在した公開データ登録 IF
+ * `buildComponentDefinition`（catalog 必須で core を呼んでいた）は撤去済みで、`opts.catalog` を
+ * 渡す呼び出し口はもう無い（フィールドは互換のため残すが recorder 経路は常に undefined）。
  */
 export function buildComponentCore(data, opts) {
     if (!isPlainObject(data))
@@ -498,14 +590,16 @@ export function buildComponentCore(data, opts) {
     });
     // body — pass 2: ノード構造の正規化コピー。
     const body = rec.body.map((raw, i) => normalizeNode(raw, ids, `body[${i}]`));
-    // catalog 照合（データ登録経路。recorder 経路は record 時に同じ共有関数で照合済み）。
+    // catalog 照合（defensive）。#127/A5 でデータ登録経路が撤去されて以降、recorder 経路は record 時に
+    // 同じ共有関数（checkPortableEntry/checkPortNames/checkDeclaredPortTypes — authoring.ts）で照合済みの
+    // ため catalog は渡さない。将来 core を catalog 付きで呼ぶ internal 用途に備え、ゲートだけ残す。
     if (opts.catalog !== undefined) {
         const catalog = opts.catalog;
         body.forEach((n, i) => {
-            const cname = "map" in n ? n.map.component : "cond" in n ? null : n.component;
+            const cname = "fanout" in n ? n.fanout.component : "map" in n ? n.map.component : "cond" in n ? null : n.component;
             if (cname === null)
                 return;
-            const ports = "map" in n ? n.map.ports : n.ports;
+            const ports = "fanout" in n ? n.fanout.ports : "map" in n ? n.map.ports : n.ports;
             if (!Object.hasOwn(catalog, cname))
                 bfail("UNKNOWN_COMPONENT", `body[${i}]: component '${cname}' is not in the catalog (fail-closed)`);
             const entry = catalog[cname];
@@ -534,48 +628,9 @@ export function buildComponentCore(data, opts) {
     assertPortableComponentGraph({ irVersion: 1, exprVersion: SPEC_VERSIONS.expression, components: [component] });
     return component;
 }
-// ── データ登録 IF（B-1）──────────────────────────────────────────────────────────────
-/**
- * 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 function buildComponentDefinition(data, options) {
-    if (!isPlainObject(options) || !isPlainObject(options.catalog))
-        bfail("INVALID_DEFINITION", "buildComponentDefinition requires options.catalog (fail-closed: component references cannot be validated without a catalog)");
-    if (options.concurrency !== undefined && (!Number.isSafeInteger(options.concurrency) || options.concurrency < 1))
-        bfail("INVALID_DEFINITION", "options.concurrency must be a positive integer");
-    return buildComponentCore(data, {
-        catalog: options.catalog,
-        concurrency: options.concurrency ?? DEFAULT_PLAN_CONCURRENCY,
-    });
-}
+// ── データ登録 IF（route B）は撤去済み（#127/A5・§SA6）─────────────────────────────────
+// 公開 `buildComponentDefinition(data, { catalog })` と引数型 `BuildComponentDefinitionOptions` は
+// 0.8.0 で完全撤去した。IR の唯一の正規生産者は compile seam（`compileBehaviors`）であり、生 IR を
+// データとして登録する経路はもう存在しない。上の `buildComponentCore` は残るが internal 専用で、
+// catalog 照合を含む完全な検証は record 時（authoring.ts の recordComponentCall）で行われる。
 //# sourceMappingURL=builder.js.map