behavior-contracts 0.1.2 → 0.2.0

package/dist/builder.js

@@ -0,0 +1,574 @@
+import { cmpCodePoints, FORBIDDEN_OBJECT_KEY } from "./expr-eval.js";
+import { SPEC_VERSIONS } from "./index.js";
+import { assertPortableComponentGraph } from "./guard.js";
+export class BuilderFailure extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "BuilderFailure";
+    }
+}
+function bfail(code, message) {
+    throw new BuilderFailure(code, message);
+}
+/** `portableToIR: false` のエントリは可搬 IR に載せられない（両経路共通の先頭検査）。 */
+export function checkPortableEntry(name, entry, fail) {
+    if (entry.portableToIR === false)
+        fail("NOT_PORTABLE_COMPONENT", `component '${name}' is declared portableToIR: false and cannot be referenced from portable IR`);
+}
+/**
+ * port 名の catalog 照合（両経路共通）:
+ *   - 未宣言 port はエントリが `additionalPorts: true` を宣言しない限り fail-closed で拒否
+ *     （動的 port 群 — `item.<field>` 等 — を持つ write 系エントリだけが opt-in する）。
+ *   - required 宣言 port の欠落は additionalPorts に関わらず拒否。
+ */
+export function checkPortNames(name, entry, portNames, fail) {
+    const schema = entry.inputPorts ?? {};
+    if (entry.additionalPorts !== true) {
+        for (const k of portNames)
+            if (!Object.hasOwn(schema, k))
+                fail("UNKNOWN_PORT", `component '${name}': unknown port '${k}' (catalog schema is the contract; declare it or opt in with additionalPorts: true)`);
+    }
+    for (const [k, s] of Object.entries(schema))
+        if (s.required === true && !portNames.includes(k))
+            fail("MISSING_PORT", `component '${name}': required port '${k}' is missing`);
+}
+/** 宣言 port の型名 → 静的に検査できるスカラ種（それ以外の型名は検査対象外）。 */
+const SCALAR_TYPE_KINDS = {
+    string: "string",
+    number: "number",
+    int: "number",
+    float: "number",
+    boolean: "boolean",
+    bool: "boolean",
+};
+/** lower 済み port 値が静的スカラリテラルならその種を返す（式は null = 検査不能）。 */
+function literalKind(v) {
+    if (typeof v === "string")
+        return "string";
+    if (typeof v === "number")
+        return "number";
+    if (typeof v === "boolean")
+        return "boolean";
+    if (v !== null && typeof v === "object" && !Array.isArray(v)) {
+        const keys = Object.keys(v);
+        if (keys.length === 1 && (keys[0] === "int" || keys[0] === "float"))
+            return "number";
+    }
+    return null;
+}
+/**
+ * 宣言 port のスカラリテラル型検査（両経路共通・additionalPorts に関わらず適用）:
+ * 宣言型がスカラ（string/number/boolean 系）で、配線値が**静的スカラリテラル**のとき
+ * のみ照合する（`{ref}` / `{concat}` 等の式は実行時型のため検査対象外）。
+ */
+export function checkDeclaredPortTypes(name, entry, ports, fail) {
+    for (const [k, s] of Object.entries(entry.inputPorts ?? {})) {
+        if (!Object.hasOwn(ports, k))
+            continue;
+        const want = SCALAR_TYPE_KINDS[s.type];
+        if (want === undefined)
+            continue;
+        const got = literalKind(ports[k]);
+        if (got !== null && got !== want)
+            fail("PORT_TYPE_MISMATCH", `component '${name}': port '${k}' is declared '${s.type}' but is wired a ${got} literal (declared ports are type-checked)`);
+    }
+}
+// ── 依存収集（recorder 経路と共有）────────────────────────────────────────────────
+/**
+ * IR ノードを走査し、`ids` に含まれる id を root に持つ ref/refOpt の root を出現順に集める
+ * （recorder の Wire 選択・両経路の plan 導出が使う共通プリミティブ）。
+ */
+export function collectNodeIdRefs(node, ids, out = []) {
+    if (Array.isArray(node)) {
+        for (const e of node)
+            collectNodeIdRefs(e, ids, out);
+        return out;
+    }
+    if (node && typeof node === "object") {
+        const keys = Object.keys(node);
+        if (keys.length === 1 && (keys[0] === "ref" || keys[0] === "refOpt")) {
+            const path = node[keys[0]];
+            if (Array.isArray(path) && typeof path[0] === "string" && ids.has(path[0]) && !out.includes(path[0]))
+                out.push(path[0]);
+            return out;
+        }
+        for (const k of keys)
+            collectNodeIdRefs(node[k], ids, out);
+    }
+    return out;
+}
+/** body ノードの依存 id 集合（ports/over/when/cond 式の ref root + parent。`ids` 内のみ）。 */
+function bodyNodeDeps(n, ids) {
+    const deps = [];
+    if ("map" in n) {
+        collectNodeIdRefs(n.map.over, ids, deps);
+        collectNodeIdRefs(n.map.ports, ids, deps);
+        if (n.map.when !== undefined)
+            collectNodeIdRefs(n.map.when, ids, deps);
+        if (n.map.parent !== undefined && ids.has(n.map.parent) && !deps.includes(n.map.parent))
+            deps.push(n.map.parent);
+    }
+    else if ("cond" in n) {
+        collectNodeIdRefs(n.cond.if, ids, deps);
+        collectNodeIdRefs(n.cond.then, ids, deps);
+        collectNodeIdRefs(n.cond.else, ids, deps);
+        if (n.cond.parent !== undefined && ids.has(n.cond.parent) && !deps.includes(n.cond.parent))
+            deps.push(n.cond.parent);
+    }
+    else {
+        collectNodeIdRefs(n.ports, ids, deps);
+        if (n.parent !== undefined && ids.has(n.parent) && !deps.includes(n.parent))
+            deps.push(n.parent);
+    }
+    return deps;
+}
+// ── plan 導出（依存 → stage groups。recorder 経路と共有）──────────────────────────
+export const DEFAULT_PLAN_CONCURRENCY = 16;
+/**
+ * 依存グラフから Execution Plan（`{groups, concurrency}`, execution-plan.md）を導出する。
+ * stage = 依存深さ（Kahn levels）。record 順が topological な recorder 経路では現行実装と
+ * 同一の結果になり、順序が任意のデータ登録経路では worklist で収束させ、循環は
+ * `DEPENDENCY_CYCLE` で fail-closed に拒否する。
+ */
+function derivePlanFromDeps(nodes, depsByIndex, concurrency) {
+    if (nodes.length === 0)
+        return undefined;
+    const level = new Map();
+    let pending = nodes.length;
+    while (pending > 0) {
+        let progress = false;
+        nodes.forEach((n, i) => {
+            if (level.has(n.id))
+                return;
+            let l = 0;
+            for (const d of depsByIndex[i]) {
+                const dl = d === n.id ? undefined : level.get(d);
+                if (dl === undefined) {
+                    l = -1;
+                    break;
+                }
+                l = Math.max(l, dl + 1);
+            }
+            if (l < 0)
+                return;
+            level.set(n.id, l);
+            pending--;
+            progress = true;
+        });
+        if (!progress) {
+            const stuck = nodes.filter((n) => !level.has(n.id)).map((n) => `'${n.id}'`);
+            bfail("DEPENDENCY_CYCLE", `component body has a dependency cycle among nodes [${stuck.join(", ")}]`);
+        }
+    }
+    const groups = [];
+    nodes.forEach((n, i) => {
+        const l = level.get(n.id);
+        (groups[l] ??= []).push(i);
+    });
+    return { groups, concurrency };
+}
+// ── 決定的正規化（キーソート再構築）────────────────────────────────────────────────
+/**
+ * 全 object のキーを code-point 順（canonical-serialization.md と同じ `cmpCodePoints`）に
+ * ソートして再構築する（配列順序・値は保持。入力は変異しない）。これにより
+ * **構造的に同じ入力データ → byte 同一の出力**（`JSON.stringify` 安定）が成立する。
+ */
+function canonicalizeDeep(v) {
+    if (Array.isArray(v))
+        return v.map(canonicalizeDeep);
+    if (v !== null && typeof v === "object") {
+        const src = v;
+        const out = {};
+        for (const k of Object.keys(src).sort(cmpCodePoints))
+            out[k] = canonicalizeDeep(src[k]);
+        return out;
+    }
+    return 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"]);
+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_KEYS = /* @__PURE__ */ new Set(["if", "then", "else", "parent"]);
+const SCHEMA_KEYS = /* @__PURE__ */ new Set(["type", "required"]);
+const PLAN_KEYS = /* @__PURE__ */ new Set(["groups", "concurrency"]);
+const RELATION_KINDS = /* @__PURE__ */ new Set(["single", "connection"]);
+const POLICY_KINDS = /* @__PURE__ */ new Set(["fail", "retry", "continue"]);
+function isPlainObject(v) {
+    return v !== null && typeof v === "object" && !Array.isArray(v);
+}
+function checkAllowedKeys(rec, allowed, code, at) {
+    for (const k of Object.keys(rec))
+        if (!allowed.has(k))
+            bfail(code, `${at}: unknown key '${k}' (fail-closed)`);
+}
+/** runBehavior の scope / 結果 object のキーになる名前は "__proto__" を禁止（fail-closed）。 */
+function checkScopeKeyName(name, what, at) {
+    if (typeof name !== "string" || name === "")
+        bfail("INVALID_NODE", `${at}: ${what} must be a non-empty string`);
+    if (name === FORBIDDEN_OBJECT_KEY)
+        bfail("INVALID_NODE", `${at}: ${what} "${FORBIDDEN_OBJECT_KEY}" is forbidden (fail-closed)`);
+    return name;
+}
+/** parent / relationKind / policy の共通検証（値は正規化ノードへ写す）。 */
+function checkNodeWire(rec, ids, at) {
+    const out = {};
+    if (rec.parent !== undefined) {
+        if (typeof rec.parent !== "string")
+            bfail("INVALID_NODE", `${at}: 'parent' must be a node id string`);
+        if (!ids.has(rec.parent))
+            bfail("UNKNOWN_PARENT", `${at}: parent '${rec.parent}' is not a body node id`);
+        out.parent = rec.parent;
+    }
+    if (rec.relationKind !== undefined) {
+        if (typeof rec.relationKind !== "string" || !RELATION_KINDS.has(rec.relationKind))
+            bfail("INVALID_NODE", `${at}: 'relationKind' must be "single" or "connection"`);
+        out.relationKind = rec.relationKind;
+    }
+    if (rec.policy !== undefined) {
+        if (typeof rec.policy !== "string" || !POLICY_KINDS.has(rec.policy))
+            bfail("INVALID_NODE", `${at}: 'policy' must be "fail", "retry" or "continue"`);
+        out.policy = rec.policy;
+    }
+    return out;
+}
+function checkPortsShape(ports, at) {
+    if (!isPlainObject(ports))
+        bfail("INVALID_NODE", `${at}: 'ports' must be a plain object`);
+    for (const k of Object.keys(ports))
+        if (k === FORBIDDEN_OBJECT_KEY)
+            bfail("INVALID_NODE", `${at}: port name "${FORBIDDEN_OBJECT_KEY}" is forbidden (fail-closed)`);
+    return ports;
+}
+/** 1 body ノードを構造検証し、既知キーだけの正規化コピーを返す（undefined 値の optional は落とす）。 */
+function normalizeNode(raw, ids, at) {
+    const rec = raw; // pass 1 で plain object / id は検証済み
+    const id = rec.id;
+    if (rec.map !== undefined) {
+        checkAllowedKeys(rec, MAP_NODE_KEYS, "INVALID_NODE", at);
+        if (!isPlainObject(rec.map))
+            bfail("INVALID_NODE", `${at}: 'map' must be a plain object`);
+        const m = rec.map;
+        checkAllowedKeys(m, MAP_KEYS, "INVALID_NODE", `${at}.map`);
+        if (m.over === undefined)
+            bfail("INVALID_NODE", `${at}.map: 'over' is required`);
+        const as = checkScopeKeyName(m.as, "'as'", `${at}.map`);
+        if (!as.startsWith("$") || as.length < 2)
+            bfail("INVALID_NODE", `${at}.map: 'as' must be a "$"-prefixed element binding (e.g. "$el"), got '${as}'`);
+        if (ids.has(as))
+            bfail("INVALID_NODE", `${at}.map: 'as' binding '${as}' collides with a body node id`);
+        if (typeof m.component !== "string" || m.component === "")
+            bfail("INVALID_NODE", `${at}.map: 'component' must be a non-empty catalog name string`);
+        const ports = checkPortsShape(m.ports, `${at}.map`);
+        const node = { id, map: { over: m.over, as, component: m.component, ports } };
+        if (m.when !== undefined)
+            node.map.when = m.when;
+        if (m.into !== undefined)
+            node.map.into = checkScopeKeyName(m.into, "'into'", `${at}.map`);
+        if (m.batched !== undefined) {
+            if (typeof m.batched !== "boolean")
+                bfail("INVALID_NODE", `${at}.map: 'batched' must be a boolean`);
+            node.map.batched = m.batched;
+        }
+        const wire = checkNodeWire(m, ids, `${at}.map`);
+        if (wire.parent !== undefined)
+            node.map.parent = wire.parent;
+        if (wire.relationKind !== undefined)
+            node.map.relationKind = wire.relationKind;
+        if (wire.policy !== undefined)
+            node.map.policy = wire.policy;
+        return node;
+    }
+    if (rec.cond !== undefined) {
+        checkAllowedKeys(rec, COND_NODE_KEYS, "INVALID_NODE", at);
+        if (!isPlainObject(rec.cond))
+            bfail("INVALID_NODE", `${at}: 'cond' must be a plain object`);
+        const c = rec.cond;
+        checkAllowedKeys(c, COND_KEYS, "INVALID_NODE", `${at}.cond`);
+        if (c.if === undefined)
+            bfail("INVALID_NODE", `${at}.cond: 'if' is required`);
+        if (c.then === undefined)
+            bfail("INVALID_NODE", `${at}.cond: 'then' is required (use null for an empty branch)`);
+        if (c.else === undefined)
+            bfail("INVALID_NODE", `${at}.cond: 'else' is required (use null for an empty branch)`);
+        const node = { id, cond: { if: c.if, then: c.then, else: c.else } };
+        // relationKind / policy は COND_KEYS に無い（cond ノードには適用されない — 上の
+        // checkAllowedKeys が拒否済み）。ここで検証するのは parent のみ。
+        const wire = checkNodeWire(c, ids, `${at}.cond`);
+        if (wire.parent !== undefined)
+            node.cond.parent = wire.parent;
+        return node;
+    }
+    if (rec.component !== undefined) {
+        checkAllowedKeys(rec, REF_NODE_KEYS, "INVALID_NODE", at);
+        if (typeof rec.component !== "string" || rec.component === "")
+            bfail("INVALID_NODE", `${at}: 'component' must be a non-empty catalog name string`);
+        const ports = checkPortsShape(rec.ports, at);
+        const node = { id, component: rec.component, ports };
+        const wire = checkNodeWire(rec, ids, at);
+        if (wire.parent !== undefined)
+            node.parent = wire.parent;
+        if (rec.bindField !== undefined) {
+            if (typeof rec.bindField !== "string" || rec.bindField === "")
+                bfail("INVALID_NODE", `${at}: 'bindField' must be a non-empty string`);
+            node.bindField = rec.bindField;
+        }
+        if (wire.relationKind !== undefined)
+            node.relationKind = wire.relationKind;
+        if (wire.policy !== undefined)
+            node.policy = wire.policy;
+        return node;
+    }
+    bfail("INVALID_NODE", `${at}: body node must be componentRef ('component'), 'map' or 'cond'`);
+}
+/**
+ * Expression IR を走査し、`ref`/`refOpt` の root が「body ノード id / 宣言 input port /
+ * `binding`（その map 自身の `as`）」のいずれかであることを検証する（fail-closed
+ * `UNKNOWN_REF`）。node id root は依存として収集する（plan 導出・供給 plan 検証に使う）。
+ */
+function walkRefs(node, binding, ctx, at) {
+    if (node === null || typeof node !== "object")
+        return;
+    if (Array.isArray(node)) {
+        node.forEach((e, i) => walkRefs(e, binding, ctx, `${at}[${i}]`));
+        return;
+    }
+    const rec = node;
+    const keys = Object.keys(rec);
+    if (keys.length === 1) {
+        const op = keys[0];
+        const arg = rec[op];
+        if (op === "ref" || op === "refOpt") {
+            if (!Array.isArray(arg) || arg.length === 0 || arg.some((s) => typeof s !== "string"))
+                bfail("UNKNOWN_REF", `${at}: '${op}' path must be a non-empty array of strings`);
+            const root = arg[0];
+            if (ctx.ids.has(root)) {
+                ctx.addDep(root);
+                return;
+            }
+            if (ctx.inputs.has(root) || (binding !== null && root === binding))
+                return;
+            bfail("UNKNOWN_REF", `${at}: reference root '${root}' is not a body node id, a declared input port${binding !== null ? `, or the map binding '${binding}'` : ""} (fail-closed)`);
+        }
+        if (op === "obj") {
+            // obj の arg キーは operator ではなく data — 値だけを式として再帰（guard と同じ規約)。
+            if (isPlainObject(arg))
+                for (const [k, v] of Object.entries(arg))
+                    walkRefs(v, binding, ctx, `${at}.obj.${k}`);
+            return; // 不正な obj arg は guard が拒否する
+        }
+        if (op === "int" || op === "float")
+            return; // リテラルラッパ
+        walkRefs(arg, binding, ctx, `${at}.${op}`);
+        return;
+    }
+    for (const [k, v] of Object.entries(rec))
+        walkRefs(v, binding, ctx, `${at}.${k}`);
+}
+/** 1 body ノードの全式位置を検証し、依存 id（ref root + parent）を返す。 */
+function nodeRefsAndDeps(n, ids, inputs, at) {
+    const deps = [];
+    const ctx = {
+        ids,
+        inputs,
+        addDep: (d) => {
+            if (!deps.includes(d))
+                deps.push(d);
+        },
+    };
+    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)
+            walkRefs(n.map.when, n.map.as, ctx, `${at}.map.when`);
+        if (n.map.parent !== undefined && !deps.includes(n.map.parent))
+            deps.push(n.map.parent);
+    }
+    else if ("cond" in n) {
+        walkRefs(n.cond.if, null, ctx, `${at}.cond.if`);
+        walkRefs(n.cond.then, null, ctx, `${at}.cond.then`);
+        walkRefs(n.cond.else, null, ctx, `${at}.cond.else`);
+        if (n.cond.parent !== undefined && !deps.includes(n.cond.parent))
+            deps.push(n.cond.parent);
+    }
+    else {
+        walkRefs(n.ports, null, ctx, `${at}.ports`);
+        if (n.parent !== undefined && !deps.includes(n.parent))
+            deps.push(n.parent);
+    }
+    return deps;
+}
+// ── 内部: 供給 plan の検証 ───────────────────────────────────────────────────────────
+function validateSuppliedPlan(raw, body, depsByIndex) {
+    if (!isPlainObject(raw))
+        bfail("INVALID_PLAN", "'plan' must be an object, null (no plan) or omitted (derived)");
+    checkAllowedKeys(raw, PLAN_KEYS, "INVALID_PLAN", "plan");
+    const { groups, concurrency } = raw;
+    if (typeof concurrency !== "number" || !Number.isSafeInteger(concurrency) || concurrency < 1)
+        bfail("INVALID_PLAN", "plan.concurrency must be a positive integer");
+    if (!Array.isArray(groups))
+        bfail("INVALID_PLAN", "plan.groups must be an array of stages");
+    const n = body.length;
+    const stageOf = new Array(n);
+    const seen = new Set();
+    groups.forEach((stage, s) => {
+        if (!Array.isArray(stage))
+            bfail("INVALID_PLAN", `plan.groups[${s}] must be an array of body indexes`);
+        for (const i of stage) {
+            if (typeof i !== "number" || !Number.isSafeInteger(i) || i < 0 || i >= n)
+                bfail("INVALID_PLAN", `plan.groups[${s}]: index ${String(i)} out of range [0,${n})`);
+            if (seen.has(i))
+                bfail("INVALID_PLAN", `plan: body index ${i} appears in more than one stage`);
+            seen.add(i);
+            stageOf[i] = s;
+        }
+    });
+    if (seen.size !== n)
+        bfail("INVALID_PLAN", `plan does not cover all ${n} body nodes (covered ${seen.size})`);
+    const idToIndex = new Map(body.map((node, i) => [node.id, i]));
+    body.forEach((node, i) => {
+        for (const d of depsByIndex[i]) {
+            const di = idToIndex.get(d);
+            if (stageOf[di] >= stageOf[i])
+                bfail("INVALID_PLAN", `plan: node '${node.id}' (stage ${stageOf[i]}) depends on '${d}' (stage ${stageOf[di]}) — dependencies must be staged earlier`);
+        }
+    });
+    return { groups: groups.map((stage) => [...stage]), concurrency };
+}
+// ── core（recorder 経路と共有される単一実装 — B-3）────────────────────────────────────
+/**
+ * buildComponentCore — 検証・plan 導出・正規化・Guard の単一実装。
+ * `buildComponentDefinition`（データ登録 IF、catalog 必須）と `compileBehaviors`
+ * （recorder 経路 — catalog port 照合は record 時に共有関数で済ませているため
+ * `catalog` なし）の両方がこの core を通る。
+ */
+export function buildComponentCore(data, opts) {
+    if (!isPlainObject(data))
+        bfail("INVALID_DEFINITION", "component definition must be a plain object");
+    const rec = data;
+    checkAllowedKeys(rec, DEFINITION_KEYS, "INVALID_DEFINITION", "definition");
+    if (typeof rec.name !== "string" || rec.name === "")
+        bfail("INVALID_DEFINITION", "component 'name' must be a non-empty string");
+    const name = rec.name;
+    if (rec.output === undefined)
+        bfail("INVALID_DEFINITION", `component '${name}': 'output' is required (use null for no output)`);
+    // inputPorts（省略時 {}。PortSchema を既知キーだけで正規化コピー）。
+    const inputPorts = {};
+    if (rec.inputPorts !== undefined) {
+        if (!isPlainObject(rec.inputPorts))
+            bfail("INVALID_DEFINITION", `component '${name}': 'inputPorts' must be an object`);
+        for (const [k, s] of Object.entries(rec.inputPorts)) {
+            if (k === FORBIDDEN_OBJECT_KEY)
+                bfail("INVALID_DEFINITION", `component '${name}': input port name "${FORBIDDEN_OBJECT_KEY}" is forbidden (fail-closed)`);
+            if (!isPlainObject(s))
+                bfail("INVALID_DEFINITION", `component '${name}': inputPorts['${k}'] must be an object`);
+            checkAllowedKeys(s, SCHEMA_KEYS, "INVALID_DEFINITION", `component '${name}': inputPorts['${k}']`);
+            if (typeof s.type !== "string")
+                bfail("INVALID_DEFINITION", `component '${name}': inputPorts['${k}'].type must be a string`);
+            if (s.required !== undefined && typeof s.required !== "boolean")
+                bfail("INVALID_DEFINITION", `component '${name}': inputPorts['${k}'].required must be a boolean`);
+            inputPorts[k] = s.required !== undefined ? { type: s.type, required: s.required } : { type: s.type };
+        }
+    }
+    // body — pass 1: id の一意性と scope 衝突（runBehavior の flat scope は input と node 結果を
+    // 同居させるため、id と input port 名の衝突は黙った shadowing になる — fail-closed で拒否）。
+    if (!Array.isArray(rec.body))
+        bfail("INVALID_DEFINITION", `component '${name}': 'body' must be an array`);
+    const ids = new Set();
+    rec.body.forEach((raw, i) => {
+        if (!isPlainObject(raw))
+            bfail("INVALID_NODE", `body[${i}]: node must be a plain object`);
+        const id = checkScopeKeyName(raw.id, "node 'id'", `body[${i}]`);
+        if (ids.has(id))
+            bfail("DUPLICATE_NODE_ID", `body[${i}]: duplicate node id '${id}'`);
+        if (Object.hasOwn(inputPorts, id))
+            bfail("INVALID_NODE", `body[${i}]: node id '${id}' collides with an input port name (the runBehavior scope would be ambiguous)`);
+        ids.add(id);
+    });
+    // body — pass 2: ノード構造の正規化コピー。
+    const body = rec.body.map((raw, i) => normalizeNode(raw, ids, `body[${i}]`));
+    // catalog 照合（データ登録経路。recorder 経路は record 時に同じ共有関数で照合済み）。
+    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;
+            if (cname === null)
+                return;
+            const 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];
+            checkPortableEntry(cname, entry, bfail);
+            checkPortNames(cname, entry, Object.keys(ports), bfail);
+            checkDeclaredPortTypes(cname, entry, ports, bfail);
+        });
+    }
+    // 参照 root の実在検証 + 依存収集（ports/over/when/cond/output の全式位置）。
+    const inputs = new Set(Object.keys(inputPorts));
+    const depsByIndex = body.map((n, i) => nodeRefsAndDeps(n, ids, inputs, `body[${i}]`));
+    walkRefs(rec.output, null, { ids, inputs, addDep: () => { } }, "output");
+    // plan: 供給値を検証 / 省略時は依存から導出 / null は plan なし。
+    let plan;
+    if (rec.plan === null)
+        plan = undefined;
+    else if (rec.plan === undefined)
+        plan = derivePlanFromDeps(body, depsByIndex, opts.concurrency);
+    else
+        plan = validateSuppliedPlan(rec.plan, body, depsByIndex);
+    // 決定的正規化（全 object キーを code-point 順に再構築）→ Guard 自己検査。
+    const assembled = { name, inputPorts, body, output: rec.output };
+    if (plan !== undefined)
+        assembled.plan = plan;
+    const component = canonicalizeDeep(assembled);
+    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,
+    });
+}
+//# sourceMappingURL=builder.js.map

package/dist/builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builder.js","sourceRoot":"","sources":["../src/builder.ts"],"names":[],"mappings":"AAgEA,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,4BAA4B,EAAE,MAAM,YAAY,CAAC;AAiB1D,MAAM,OAAO,cAAe,SAAQ,KAAK;IACvC,IAAI,CAAqB;IACzB,YAAY,IAAwB,EAAE,OAAe;QACnD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;IAC/B,CAAC;CACF;AAED,SAAS,KAAK,CAAC,IAAwB,EAAE,OAAe;IACtD,MAAM,IAAI,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC;AAYD,6DAA6D;AAC7D,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,KAAmB,EAAE,IAAmB;IACvF,IAAI,KAAK,CAAC,YAAY,KAAK,KAAK;QAC9B,IAAI,CACF,wBAAwB,EACxB,cAAc,IAAI,6EAA6E,CAChG,CAAC;AACN,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,KAAmB,EACnB,SAA4B,EAC5B,IAAmB;IAEnB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;IACtC,IAAI,KAAK,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,SAAS;YACvB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC3B,IAAI,CACF,cAAc,EACd,cAAc,IAAI,oBAAoB,CAAC,qFAAqF,CAC7H,CAAC;IACR,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;QACzC,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/C,IAAI,CAAC,cAAc,EAAE,cAAc,IAAI,qBAAqB,CAAC,cAAc,CAAC,CAAC;AACnF,CAAC;AAED,iDAAiD;AACjD,MAAM,iBAAiB,GAAoD;IACzE,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,QAAQ;IACb,KAAK,EAAE,QAAQ;IACf,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,SAAS;CAChB,CAAC;AAEF,yDAAyD;AACzD,SAAS,WAAW,CAAC,CAAU;IAC7B,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC;YAAE,OAAO,QAAQ,CAAC;IACvF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAY,EACZ,KAAmB,EACnB,KAA8B,EAC9B,IAAmB;IAEnB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;YAAE,SAAS;QACvC,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI;YAC9B,IAAI,CACF,oBAAoB,EACpB,cAAc,IAAI,YAAY,CAAC,kBAAkB,CAAC,CAAC,IAAI,oBAAoB,GAAG,4CAA4C,CAC3H,CAAC;IACN,CAAC;AACH,CAAC;AAED,0EAA0E;AAC1E;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAa,EAAE,GAAwB,EAAE,MAAgB,EAAE;IAC3F,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,iBAAiB,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACrD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;YACrE,MAAM,IAAI,GAAI,IAAgC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACxD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACpB,OAAO,GAAG,CAAC;QACb,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,iBAAiB,CAAE,IAAgC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,SAAS,YAAY,CAAC,CAAW,EAAE,GAAwB;IACzD,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACzC,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;YAAE,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACvE,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnH,CAAC;SAAM,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACxC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1C,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvH,CAAC;SAAM,CAAC;QACN,iBAAiB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACtC,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yEAAyE;AACzE,MAAM,CAAC,MAAM,wBAAwB,GAAG,EAAE,CAAC;AAE3C;;;;;GAKG;AACH,SAAS,kBAAkB,CACzB,KAA0B,EAC1B,WAA2C,EAC3C,WAAmB;IAEnB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,IAAI,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC;IAC3B,OAAO,OAAO,GAAG,CAAC,EAAE,CAAC;QACnB,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAE,OAAO;YAC5B,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/B,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACjD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;oBACrB,CAAC,GAAG,CAAC,CAAC,CAAC;oBACP,MAAM;gBACR,CAAC;gBACD,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;YAC1B,CAAC;YACD,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO;YAClB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACnB,OAAO,EAAE,CAAC;YACV,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC5E,KAAK,CAAC,kBAAkB,EAAE,sDAAsD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvG,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC;QAC3B,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACjC,CAAC;AAED,sEAAsE;AACtE;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,CAAU;IAClC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,CAA4B,CAAC;QACzC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxF,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AA8BD,6EAA6E;AAC7E,MAAM,eAAe,GAAG,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AAClG,MAAM,aAAa,GAAG,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC7H,MAAM,aAAa,GAAG,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAC7D,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC9I,MAAM,cAAc,GAAG,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;AAC/D,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC5E,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;AAClE,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;AACrE,MAAM,cAAc,GAAG,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;AACzE,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;AAE5E,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,gBAAgB,CAAC,GAA4B,EAAE,OAA4B,EAAE,IAAwB,EAAE,EAAU;IACxH,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,CAAC;AAChH,CAAC;AAED,8EAA8E;AAC9E,SAAS,iBAAiB,CAAC,IAAa,EAAE,IAAY,EAAE,EAAU;IAChE,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE;QAAE,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,KAAK,IAAI,6BAA6B,CAAC,CAAC;IAChH,IAAI,IAAI,KAAK,oBAAoB;QAC/B,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,KAAK,IAAI,KAAK,oBAAoB,8BAA8B,CAAC,CAAC;IAC/F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yDAAyD;AACzD,SAAS,aAAa,CACpB,GAA4B,EAC5B,GAAwB,EACxB,EAAU;IAEV,MAAM,GAAG,GAAwG,EAAE,CAAC;IACpH,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ;YAAE,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,qCAAqC,CAAC,CAAC;QACtG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,KAAK,CAAC,gBAAgB,EAAE,GAAG,EAAE,aAAa,GAAG,CAAC,MAAM,yBAAyB,CAAC,CAAC;QACzG,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,CAAC;IACD,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACnC,IAAI,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC;YAC/E,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,mDAAmD,CAAC,CAAC;QAClF,GAAG,CAAC,YAAY,GAAG,GAAG,CAAC,YAAuC,CAAC;IACjE,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC;YACjE,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,kDAAkD,CAAC,CAAC;QACjF,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,MAAuC,CAAC;IAC3D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,EAAU;IACjD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,kCAAkC,CAAC,CAAC;IAC1F,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QAChC,IAAI,CAAC,KAAK,oBAAoB;YAC5B,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,gBAAgB,oBAAoB,8BAA8B,CAAC,CAAC;IACnG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qEAAqE;AACrE,SAAS,aAAa,CAAC,GAAY,EAAE,GAAwB,EAAE,EAAU;IACvE,MAAM,GAAG,GAAG,GAA8B,CAAC,CAAC,mCAAmC;IAC/E,MAAM,EAAE,GAAG,GAAG,CAAC,EAAY,CAAC;IAC5B,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC1B,gBAAgB,CAAC,GAAG,EAAE,aAAa,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC;QACzD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,gCAAgC,CAAC,CAAC;QAC1F,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC;QAClB,gBAAgB,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3D,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,0BAA0B,CAAC,CAAC;QACjF,MAAM,EAAE,GAAG,iBAAiB,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YACtC,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,wEAAwE,EAAE,GAAG,CAAC,CAAC;QAC5G,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,uBAAuB,EAAE,gCAAgC,CAAC,CAAC;QACvG,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,KAAK,EAAE;YACvD,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,2DAA2D,CAAC,CAAC;QAC1F,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QACpD,MAAM,IAAI,GAAY,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC;QACvF,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;QACjD,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3F,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,mCAAmC,CAAC,CAAC;YACpG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;QAC/B,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC7D,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QAC/E,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC7D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3B,gBAAgB,CAAC,GAAG,EAAE,cAAc,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC;QAC1D,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,iCAAiC,CAAC,CAAC;QAC5F,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC;QACnB,gBAAgB,CAAC,CAAC,EAAE,SAAS,EAAE,cAAc,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC7D,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS;YAAE,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,yBAAyB,CAAC,CAAC;QAC9E,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,0DAA0D,CAAC,CAAC;QACjH,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,0DAA0D,CAAC,CAAC;QACjH,MAAM,IAAI,GAAa,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9E,8DAA8D;QAC9D,+CAA+C;QAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAChC,gBAAgB,CAAC,GAAG,EAAE,aAAa,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC;QACzD,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,EAAE;YAC3D,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,uDAAuD,CAAC,CAAC;QACtF,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAqB,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,CAAC;QACvE,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QACzD,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAChC,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,KAAK,EAAE;gBAC3D,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,0CAA0C,CAAC,CAAC;YACzE,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;QACjC,CAAC;QACD,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS;YAAE,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QAC3E,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,KAAK,CAAC,cAAc,EAAE,GAAG,EAAE,iEAAiE,CAAC,CAAC;AAChG,CAAC;AASD;;;;GAIG;AACH,SAAS,QAAQ,CAAC,IAAa,EAAE,OAAsB,EAAE,GAAe,EAAE,EAAU;IAClF,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACjE,OAAO;IACT,CAAC;IACD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;QACpB,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBACnF,KAAK,CAAC,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,6CAA6C,CAAC,CAAC;YACnF,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAW,CAAC;YAC9B,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACjB,OAAO;YACT,CAAC;YACD,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,IAAI,KAAK,OAAO,CAAC;gBAAE,OAAO;YAC3E,KAAK,CACH,aAAa,EACb,GAAG,EAAE,qBAAqB,IAAI,iDAC5B,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,yBAAyB,OAAO,GAAG,CAAC,CAAC,CAAC,EAC3D,gBAAgB,CACjB,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YACjB,8DAA8D;YAC9D,IAAI,aAAa,CAAC,GAAG,CAAC;gBAAE,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;oBAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC9G,OAAO,CAAC,4BAA4B;QACtC,CAAC;QACD,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,OAAO;YAAE,OAAO,CAAC,UAAU;QACtD,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3C,OAAO;IACT,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;AACpF,CAAC;AAED,uDAAuD;AACvD,SAAS,eAAe,CAAC,CAAW,EAAE,GAAwB,EAAE,MAA2B,EAAE,EAAU;IACrG,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAe;QACtB,GAAG;QACH,MAAM;QACN,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE;YACZ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC;KACF,CAAC;IACF,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,mBAAmB;QACtE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QACxD,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS;YAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;QACpF,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1F,CAAC;SAAM,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACvB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;QAChD,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QACpD,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QACpD,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7F,CAAC;SAAM,CAAC;QACN,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC5C,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iFAAiF;AACjF,SAAS,oBAAoB,CAC3B,GAAY,EACZ,IAAyB,EACzB,WAA2C;IAE3C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC;QAAE,KAAK,CAAC,cAAc,EAAE,+DAA+D,CAAC,CAAC;IAChH,gBAAgB,CAAC,GAAG,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC;IACzD,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,GAAkD,CAAC;IACnF,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC;QAC1F,KAAK,CAAC,cAAc,EAAE,6CAA6C,CAAC,CAAC;IACvE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,KAAK,CAAC,cAAc,EAAE,wCAAwC,CAAC,CAAC;IAC5F,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,OAAO,GAAG,IAAI,KAAK,CAAS,CAAC,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,cAAc,EAAE,eAAe,CAAC,oCAAoC,CAAC,CAAC;QACvG,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBACtE,KAAK,CAAC,cAAc,EAAE,eAAe,CAAC,YAAY,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC;YACvF,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,cAAc,EAAE,oBAAoB,CAAC,iCAAiC,CAAC,CAAC;YAC/F,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC;QAAE,KAAK,CAAC,cAAc,EAAE,2BAA2B,CAAC,wBAAwB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAC7G,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACvB,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;YAC7B,IAAI,OAAO,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC;gBAC3B,KAAK,CACH,cAAc,EACd,eAAe,IAAI,CAAC,EAAE,YAAY,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,YAAY,OAAO,CAAC,EAAE,CAAC,yCAAyC,CAC/H,CAAC;QACN,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAe,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;AAC9E,CAAC;AAED,2EAA2E;AAC3E;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAA6B,EAC7B,IAAgD;IAEhD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QAAE,KAAK,CAAC,oBAAoB,EAAE,6CAA6C,CAAC,CAAC;IACrG,MAAM,GAAG,GAAG,IAA0C,CAAC;IACvD,gBAAgB,CAAC,GAAG,EAAE,eAAe,EAAE,oBAAoB,EAAE,YAAY,CAAC,CAAC;IAC3E,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE;QACjD,KAAK,CAAC,oBAAoB,EAAE,6CAA6C,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACtB,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS;QAC1B,KAAK,CAAC,oBAAoB,EAAE,cAAc,IAAI,kDAAkD,CAAC,CAAC;IAEpG,gDAAgD;IAChD,MAAM,UAAU,GAA+B,EAAE,CAAC;IAClD,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,KAAK,CAAC,oBAAoB,EAAE,cAAc,IAAI,mCAAmC,CAAC,CAAC;QACvH,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,KAAK,oBAAoB;gBAC5B,KAAK,CAAC,oBAAoB,EAAE,cAAc,IAAI,uBAAuB,oBAAoB,8BAA8B,CAAC,CAAC;YAC3H,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,oBAAoB,EAAE,cAAc,IAAI,kBAAkB,CAAC,sBAAsB,CAAC,CAAC;YAChH,gBAAgB,CAAC,CAAC,EAAE,WAAW,EAAE,oBAAoB,EAAE,cAAc,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAClG,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,KAAK,CAAC,oBAAoB,EAAE,cAAc,IAAI,kBAAkB,CAAC,0BAA0B,CAAC,CAAC;YAC7H,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,SAAS;gBAC7D,KAAK,CAAC,oBAAoB,EAAE,cAAc,IAAI,kBAAkB,CAAC,+BAA+B,CAAC,CAAC;YACpG,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACvG,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,qEAAqE;IACrE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,KAAK,CAAC,oBAAoB,EAAE,cAAc,IAAI,4BAA4B,CAAC,CAAC;IAC1G,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAC1B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC;YAAE,KAAK,CAAC,cAAc,EAAE,QAAQ,CAAC,gCAAgC,CAAC,CAAC;QAC1F,MAAM,EAAE,GAAG,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,WAAW,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;QAChE,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,mBAAmB,EAAE,QAAQ,CAAC,yBAAyB,EAAE,GAAG,CAAC,CAAC;QACrF,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC;YAC/B,KAAK,CAAC,cAAc,EAAE,QAAQ,CAAC,eAAe,EAAE,+EAA+E,CAAC,CAAC;QACnI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,+BAA+B;IAC/B,MAAM,IAAI,GAAgB,GAAG,CAAC,IAAkB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAExG,yDAAyD;IACzD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACpB,MAAM,KAAK,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9E,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO;YAC3B,MAAM,KAAK,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,CAAsB,CAAC,KAAK,CAAC;YACvE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC;gBAChC,KAAK,CAAC,mBAAmB,EAAE,QAAQ,CAAC,iBAAiB,KAAK,uCAAuC,CAAC,CAAC;YACrG,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YAC7B,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YACxC,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;YACxD,sBAAsB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,2DAA2D;IAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACtF,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAExE,8CAA8C;IAC9C,IAAI,IAAmC,CAAC;IACxC,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;QAAE,IAAI,GAAG,SAAS,CAAC;SACnC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;;QAC3F,IAAI,GAAG,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAE9D,qDAAqD;IACrD,MAAM,SAAS,GAAc,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;IAC5E,IAAI,IAAI,KAAK,SAAS;QAAE,SAAS,CAAC,IAAI,GAAG,IAAI,CAAC;IAC9C,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAc,CAAC;IAC3D,4BAA4B,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAC/G,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,iFAAiF;AACjF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAA6B,EAC7B,OAAwC;IAExC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC;QAC5D,KAAK,CAAC,oBAAoB,EAAE,6HAA6H,CAAC,CAAC;IAC7J,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC;QAC9G,KAAK,CAAC,oBAAoB,EAAE,gDAAgD,CAAC,CAAC;IAChF,OAAO,kBAAkB,CAAC,IAAI,EAAE;QAC9B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,wBAAwB;KAC7D,CAAC,CAAC;AACL,CAAC"}

package/dist/canonical.d.ts

@@ -16,7 +16,7 @@
  * canonical-serialization.md §4.1 の CPython format_float_short('r') を移植する。
  */
 import type { Value } from "./expr-eval.js";
-export type CanonicalFailureCode = "NAN_OR_INF" | "INVALID_VALUE";
+export type CanonicalFailureCode = "NAN_OR_INF" | "INVALID_VALUE" | "FORBIDDEN_KEY";
 export declare class CanonicalFailure extends Error {
     code: CanonicalFailureCode;
     constructor(code: CanonicalFailureCode, message: string);

package/dist/canonical.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../src/canonical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAI5C,MAAM,MAAM,oBAAoB,GAC5B,YAAY,GACZ,eAAe,CAAC;AAEpB,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,oBAAoB,CAAC;gBACf,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,MAAM;CAKxD;AAOD;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAmB7C;AA+ED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAO/C;AAGD,mEAAmE;AACnE,wBAAgB,aAAa,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAQ9C"}
+{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../src/canonical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAI5C,MAAM,MAAM,oBAAoB,GAC5B,YAAY,GACZ,eAAe,GACf,eAAe,CAAC;AAEpB,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,oBAAoB,CAAC;gBACf,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,MAAM;CAKxD;AAOD;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAmB7C;AA+ED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAQ/C;AAGD,mEAAmE;AACnE,wBAAgB,aAAa,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAS9C"}