behavior-contracts 0.1.3 → 0.2.1

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

@@ -24,4 +24,40 @@ export declare class PortabilityError extends Error {
  * @throws {PortabilityError} non-portable な値を検出したとき。
  */
 export declare function assertPortable(value: unknown, path?: string): void;
+/**
+ * 可搬 IR で許可される Expression IR オペレータの閉集合（expression-ir.md §3）。
+ * `assertPortableComponentGraph` はこの集合外の単一キーオブジェクトノードを未知 operator
+ * として 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 残存禁止）に加え、
+ * SCP 汎用層に固有の不変条件を fail-closed で強制する:
+ *   1. `component` フィールド（componentRef / map）は **文字列参照のみ**（catalog 名）。
+ *   2. port 式・output・map.over・cond に現れる Expression IR ノードは **既知 operator の閉集合のみ**
+ *      （PORTABLE_EXPR_OPERATORS 外の単一キーオブジェクトは未知 operator として拒否）。
+ *   3. 関数残存禁止（generic guard を全域に適用）。
+ *
+ * @throws {PortabilityError} 非可搬な構造を検出したとき。
+ */
+export declare function assertPortableComponentGraph(ir: unknown, path?: string): void;
 //# sourceMappingURL=guard.d.ts.map

package/dist/guard.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,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"}
+{"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"}

package/dist/guard.js

@@ -11,6 +11,7 @@
  *   - **含めない**: `makeContractService` / `buildIR`（Metadata → IR）は graphddb 固有の
  *     Metadata/OperationDef 形状に依存する consumer レベル API のため examples に残す。
  */
+import { FORBIDDEN_OBJECT_KEY } from "./expr-eval.js";
 export class PortabilityError extends Error {
     path;
     constructor(path, message) {
@@ -40,4 +41,189 @@ export function assertPortable(value, path = "$") {
             assertPortable(v, `${path}.${k}`);
     }
 }
+/**
+ * 可搬 IR で許可される Expression IR オペレータの閉集合（expression-ir.md §3）。
+ * `assertPortableComponentGraph` はこの集合外の単一キーオブジェクトノードを未知 operator
+ * として fail-closed で拒否する（component-graph の port 式・output・map.over/cond に適用）。
+ */
+export const PORTABLE_EXPR_OPERATORS = /* @__PURE__ */ new Set([
+    "int", "float", "ref", "refOpt", "obj", "arr",
+    "add", "sub", "mul", "neg", "div", "mod",
+    "concat", "eq", "ne", "lt", "le", "gt", "ge",
+    "and", "or", "not", "coalesce", "cond", "len",
+]);
+/**
+ * 可搬型記法（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 const PORTABLE_SCALAR_TYPES = /* @__PURE__ */ new Set([
+    "string", "int", "float", "bool", "null",
+]);
+/**
+ * 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 function assertPortableTypeNotation(node, path) {
+    if (typeof node === "string") {
+        if (!PORTABLE_SCALAR_TYPES.has(node))
+            throw new PortabilityError(path, `Portability Guard: unknown scalar type '${node}' — portable type notation allows only ${[...PORTABLE_SCALAR_TYPES].join("/")} (fail-closed) at ${path}`);
+        return;
+    }
+    if (node === null || typeof node !== "object" || Array.isArray(node))
+        throw new PortabilityError(path, `Portability Guard: type notation must be a scalar-type string or a single-key {opt|arr|obj} object (fail-closed) at ${path}`);
+    const keys = Object.keys(node);
+    if (keys.length !== 1)
+        throw new PortabilityError(path, `Portability Guard: compound type must be a single-key object (opt|arr|obj), got ${keys.length} keys (fail-closed) at ${path}`);
+    const kind = keys[0];
+    const arg = node[kind];
+    if (kind === "opt" || kind === "arr") {
+        assertPortableTypeNotation(arg, `${path}.${kind}`);
+        return;
+    }
+    if (kind === "obj") {
+        if (!arg || typeof arg !== "object" || Array.isArray(arg))
+            throw new PortabilityError(`${path}.obj`, `Portability Guard: {obj: ...} type expects a field→type object (fail-closed) at ${path}.obj`);
+        for (const [k, v] of Object.entries(arg)) {
+            // prototype pollution 規律（expression-ir.md §2.3/§8）を型記法の obj field キーにも踏襲。
+            if (k === FORBIDDEN_OBJECT_KEY)
+                throw new PortabilityError(`${path}.obj`, `Portability Guard: object type key "${FORBIDDEN_OBJECT_KEY}" is forbidden (fail-closed) at ${path}.obj`);
+            assertPortableTypeNotation(v, `${path}.obj.${k}`);
+        }
+        return;
+    }
+    throw new PortabilityError(path, `Portability Guard: unknown compound type kind '${kind}' — portable type notation allows only opt/arr/obj (fail-closed) at ${path}`);
+}
+/**
+ * assertPortableComponentGraph — component-graph IR（scp-ir-architecture.md §5）の
+ * 可搬性 Guard（P0-2）。generic な {@link assertPortable}（関数/Date/Promise 残存禁止）に加え、
+ * SCP 汎用層に固有の不変条件を fail-closed で強制する:
+ *   1. `component` フィールド（componentRef / map）は **文字列参照のみ**（catalog 名）。
+ *   2. port 式・output・map.over・cond に現れる Expression IR ノードは **既知 operator の閉集合のみ**
+ *      （PORTABLE_EXPR_OPERATORS 外の単一キーオブジェクトは未知 operator として拒否）。
+ *   3. 関数残存禁止（generic guard を全域に適用）。
+ *
+ * @throws {PortabilityError} 非可搬な構造を検出したとき。
+ */
+export function assertPortableComponentGraph(ir, path = "$") {
+    assertPortable(ir, path); // 関数/Date/Promise 残存を全域で禁止（1・3）。
+    if (!ir || typeof ir !== "object")
+        throw new PortabilityError(path, `Portability Guard: IR root must be an object (at ${path})`);
+    const root = ir;
+    if (!Array.isArray(root.components))
+        throw new PortabilityError(`${path}.components`, `Portability Guard: IR.components must be an array`);
+    root.components.forEach((c, ci) => assertPortableComponent(c, `${path}.components[${ci}]`));
+}
+function assertPortableComponent(c, path) {
+    if (!c || typeof c !== "object")
+        throw new PortabilityError(path, `Portability Guard: component must be an object (at ${path})`);
+    const comp = c;
+    if (typeof comp.name !== "string")
+        throw new PortabilityError(`${path}.name`, `Portability Guard: component.name must be a string`);
+    if (!Array.isArray(comp.body))
+        throw new PortabilityError(`${path}.body`, `Portability Guard: component.body must be an array`);
+    comp.body.forEach((n, ni) => assertPortableBodyNode(n, `${path}.body[${ni}]`));
+    assertPortableExpr(comp.output, `${path}.output`);
+    // 可搬型記法（B0 / bc#44・§5.2）: additive・省略可。存在時のみ閉集合を fail-closed 検証。
+    if (comp.outputType !== undefined)
+        assertPortableTypeNotation(comp.outputType, `${path}.outputType`);
+}
+function assertPortableBodyNode(n, path) {
+    if (!n || typeof n !== "object")
+        throw new PortabilityError(path, `Portability Guard: body node must be an object (at ${path})`);
+    const node = n;
+    if ("map" in node) {
+        const m = node.map;
+        requireStringComponent(m.component, `${path}.map.component`);
+        assertPortableExpr(m.over, `${path}.map.over`);
+        assertPortablePorts(m.ports, `${path}.map.ports`);
+        // v2 語彙: when は Expression IR（未知 operator を fail-closed）、into は string、batched は bool。
+        if (m.when !== undefined)
+            assertPortableExpr(m.when, `${path}.map.when`);
+        if (m.into !== undefined && typeof m.into !== "string")
+            throw new PortabilityError(`${path}.map.into`, `Portability Guard: 'into' must be a string key (at ${path}.map.into)`);
+        if (m.batched !== undefined && typeof m.batched !== "boolean")
+            throw new PortabilityError(`${path}.map.batched`, `Portability Guard: 'batched' must be a boolean (at ${path}.map.batched)`);
+    }
+    else if ("cond" in node) {
+        const co = node.cond;
+        assertPortableExpr(co.if, `${path}.cond.if`);
+        assertPortableExpr(co.then, `${path}.cond.then`);
+        assertPortableExpr(co.else, `${path}.cond.else`);
+    }
+    else if ("component" in node) {
+        requireStringComponent(node.component, `${path}.component`);
+        assertPortablePorts(node.ports, `${path}.ports`);
+    }
+    else {
+        throw new PortabilityError(path, `Portability Guard: unknown body node kind (not componentRef/map/cond) at ${path}`);
+    }
+    // 可搬型記法（B0 / bc#44・§5.2）: node の `outType` は additive・省略可。全ノード種で
+    // 共通に、存在時のみ閉集合を fail-closed 検証する（emitter 消費は B2）。
+    if (node.outType !== undefined)
+        assertPortableTypeNotation(node.outType, `${path}.outType`);
+}
+function requireStringComponent(v, path) {
+    if (typeof v !== "string")
+        throw new PortabilityError(path, `Portability Guard: 'component' must be a string catalog reference, not ${typeof v} (at ${path})`);
+}
+function assertPortablePorts(ports, path) {
+    if (!ports || typeof ports !== "object" || Array.isArray(ports))
+        throw new PortabilityError(path, `Portability Guard: ports must be an object (at ${path})`);
+    for (const [k, v] of Object.entries(ports))
+        assertPortableExpr(v, `${path}.${k}`);
+}
+/**
+ * Expression IR ノードを再帰的に検査し、未知 operator（PORTABLE_EXPR_OPERATORS 外の
+ * 単一キーオブジェクト）を fail-closed で拒否する。リテラル（null/bool/string/number）と
+ * 配列（arr のラップ内など）は許可し、子を再帰。
+ */
+function assertPortableExpr(node, path) {
+    if (node === null || typeof node === "boolean" || typeof node === "string" || typeof node === "number")
+        return;
+    if (typeof node === "function")
+        throw new PortabilityError(path, `Portability Guard: functions cannot be placed in IR (at ${path})`);
+    if (Array.isArray(node)) {
+        node.forEach((e, i) => assertPortableExpr(e, `${path}[${i}]`));
+        return;
+    }
+    if (typeof node !== "object")
+        throw new PortabilityError(path, `Portability Guard: invalid expression node at ${path}`);
+    const keys = Object.keys(node);
+    if (keys.length === 1) {
+        const op = keys[0];
+        if (!PORTABLE_EXPR_OPERATORS.has(op))
+            throw new PortabilityError(path, `Portability Guard: unknown operator '${op}' (fail-closed) at ${path}`);
+        // obj は「任意の data key → 子式」の構築ノード（expression-ir.md §3）。arg の key は
+        // operator ではなく data であり、値だけを式として再帰する（単一 data key の obj が
+        // 未知 operator と誤判定されないように — evaluate() の意味論と一致させる）。
+        if (op === "obj") {
+            const arg = node[op];
+            if (!arg || typeof arg !== "object" || Array.isArray(arg))
+                throw new PortabilityError(`${path}.obj`, `Portability Guard: {obj: ...} expects an object (at ${path}.obj)`);
+            for (const [k, v] of Object.entries(arg)) {
+                // 静的 fail-closed（defense-in-depth）: own key "__proto__" は evaluator が実行時に
+                // FORBIDDEN_KEY で拒否する（expression-ir.md §2.3/§8 — 言語間発散 / prototype
+                // pollution 対策）。guard でも静的に拒否する（JSON.parse 由来の IR では own key）。
+                if (k === FORBIDDEN_OBJECT_KEY)
+                    throw new PortabilityError(`${path}.obj`, `Portability Guard: object key "${FORBIDDEN_OBJECT_KEY}" is forbidden (fail-closed) at ${path}.obj`);
+                assertPortableExpr(v, `${path}.obj.${k}`);
+            }
+            return;
+        }
+        // それ以外は arg（配列 or 式）を再帰。
+        assertPortableExpr(node[op], `${path}.${op}`);
+        return;
+    }
+    // 多キーオブジェクト（式木では通常出現しない）は各値を再帰検査（関数残存等の検出）。
+    for (const [k, v] of Object.entries(node))
+        assertPortableExpr(v, `${path}.${k}`);
+}
 //# sourceMappingURL=guard.js.map

package/dist/guard.js.map

@@ -1 +1 @@
-{"version":3,"file":"guard.js","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,IAAI,CAAS;IACb,YAAY,IAAY,EAAE,OAAe;QACvC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,KAAc,EAAE,IAAI,GAAG,GAAG;IACvD,IAAI,OAAO,KAAK,KAAK,UAAU;QAC7B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,2DAA2D,IAAI,GAAG,CAAC,CAAC;IACvG,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,YAAY,OAAO;QACnD,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,sBAAsB,KAAK,CAAC,WAAW,CAAC,IAAI,+BAA+B,IAAI,GAAG,CACnF,CAAC;IACJ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC;SAAM,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;AACH,CAAC"}
+{"version":3,"file":"guard.js","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAEtD,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,IAAI,CAAS;IACb,YAAY,IAAY,EAAE,OAAe;QACvC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,KAAc,EAAE,IAAI,GAAG,GAAG;IACvD,IAAI,OAAO,KAAK,KAAK,UAAU;QAC7B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,2DAA2D,IAAI,GAAG,CAAC,CAAC;IACvG,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,YAAY,OAAO;QACnD,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,sBAAsB,KAAK,CAAC,WAAW,CAAC,IAAI,+BAA+B,IAAI,GAAG,CACnF,CAAC;IACJ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC;SAAM,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAwB,eAAe,CAAC,IAAI,GAAG,CAAC;IAClF,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK;IAC7C,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;IACxC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;IAC5C,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK;CAC9C,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAwB,eAAe,CAAC,IAAI,GAAG,CAAC;IAChF,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM;CACzC,CAAC,CAAC;AAEH;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CAAC,IAAa,EAAE,IAAY;IACpE,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC;YAClC,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,2CAA2C,IAAI,0CAA0C,CAAC,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,qBAAqB,IAAI,EAAE,CACzJ,CAAC;QACJ,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAClE,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,uHAAuH,IAAI,EAAE,CAC9H,CAAC;IACJ,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QACnB,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,mFAAmF,IAAI,CAAC,MAAM,0BAA0B,IAAI,EAAE,CAC/H,CAAC;IACJ,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,GAAG,GAAI,IAAgC,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACrC,0BAA0B,CAAC,GAAG,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;QACnD,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YACvD,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,MAAM,EACb,mFAAmF,IAAI,MAAM,CAC9F,CAAC;QACJ,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,EAAE,CAAC;YACpE,0EAA0E;YAC1E,IAAI,CAAC,KAAK,oBAAoB;gBAC5B,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,MAAM,EACb,uCAAuC,oBAAoB,mCAAmC,IAAI,MAAM,CACzG,CAAC;YACJ,0BAA0B,CAAC,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,kDAAkD,IAAI,uEAAuE,IAAI,EAAE,CACpI,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,4BAA4B,CAAC,EAAW,EAAE,IAAI,GAAG,GAAG;IAClE,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,iCAAiC;IAC3D,IAAI,CAAC,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ;QAC/B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,oDAAoD,IAAI,GAAG,CAAC,CAAC;IAChG,MAAM,IAAI,GAAG,EAA8B,CAAC;IAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC;QACjC,MAAM,IAAI,gBAAgB,CAAC,GAAG,IAAI,aAAa,EAAE,mDAAmD,CAAC,CAAC;IACxG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC,EAAE,GAAG,IAAI,eAAe,EAAE,GAAG,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,uBAAuB,CAAC,CAAU,EAAE,IAAY;IACvD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAC7B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,sDAAsD,IAAI,GAAG,CAAC,CAAC;IAClG,MAAM,IAAI,GAAG,CAA+E,CAAC;IAC7F,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC/B,MAAM,IAAI,gBAAgB,CAAC,GAAG,IAAI,OAAO,EAAE,oDAAoD,CAAC,CAAC;IACnG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,MAAM,IAAI,gBAAgB,CAAC,GAAG,IAAI,OAAO,EAAE,oDAAoD,CAAC,CAAC;IACnG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,GAAG,IAAI,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/E,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;IAClD,iEAAiE;IACjE,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;QAAE,0BAA0B,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC;AACvG,CAAC;AAED,SAAS,sBAAsB,CAAC,CAAU,EAAE,IAAY;IACtD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAC7B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,sDAAsD,IAAI,GAAG,CAAC,CAAC;IAClG,MAAM,IAAI,GAAG,CAA4B,CAAC;IAC1C,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QAClB,MAAM,CAAC,GAAG,IAAI,CAAC,GAA8B,CAAC;QAC9C,sBAAsB,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,IAAI,gBAAgB,CAAC,CAAC;QAC7D,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;QAC/C,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;QAClD,uFAAuF;QACvF,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;QACzE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ;YACpD,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,WAAW,EAClB,sDAAsD,IAAI,YAAY,CACvE,CAAC;QACJ,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,SAAS;YAC3D,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,cAAc,EACrB,sDAAsD,IAAI,eAAe,CAC1E,CAAC;IACN,CAAC;SAAM,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,IAA+B,CAAC;QAChD,kBAAkB,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;QAC7C,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;QACjD,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;IACnD,CAAC;SAAM,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;QAC/B,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;QAC5D,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;IACnD,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,4EAA4E,IAAI,EAAE,CAAC,CAAC;IACvH,CAAC;IACD,iEAAiE;IACjE,kDAAkD;IAClD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,0BAA0B,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,sBAAsB,CAAC,CAAU,EAAE,IAAY;IACtD,IAAI,OAAO,CAAC,KAAK,QAAQ;QACvB,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,0EAA0E,OAAO,CAAC,QAAQ,IAAI,GAAG,CAClG,CAAC;AACN,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc,EAAE,IAAY;IACvD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAC7D,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,kDAAkD,IAAI,GAAG,CAAC,CAAC;IAC9F,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;QACnE,kBAAkB,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,IAAa,EAAE,IAAY;IACrD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ;QACpG,OAAO;IACT,IAAI,OAAO,IAAI,KAAK,UAAU;QAC5B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,2DAA2D,IAAI,GAAG,CAAC,CAAC;IACvG,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/D,OAAO;IACT,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ;QAC1B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,iDAAiD,IAAI,EAAE,CAAC,CAAC;IAC5F,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,wCAAwC,EAAE,sBAAsB,IAAI,EAAE,CAAC,CAAC;QAC3G,kEAAkE;QAClE,0DAA0D;QAC1D,oDAAoD;QACpD,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YACjB,MAAM,GAAG,GAAI,IAAgC,CAAC,EAAE,CAAC,CAAC;YAClD,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;gBACvD,MAAM,IAAI,gBAAgB,CAAC,GAAG,IAAI,MAAM,EAAE,uDAAuD,IAAI,OAAO,CAAC,CAAC;YAChH,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,EAAE,CAAC;gBACpE,0EAA0E;gBAC1E,mEAAmE;gBACnE,+DAA+D;gBAC/D,IAAI,CAAC,KAAK,oBAAoB;oBAC5B,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,MAAM,EACb,kCAAkC,oBAAoB,mCAAmC,IAAI,MAAM,CACpG,CAAC;gBACJ,kBAAkB,CAAC,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC5C,CAAC;YACD,OAAO;QACT,CAAC;QACD,yBAAyB;QACzB,kBAAkB,CAAE,IAAgC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3E,OAAO;IACT,CAAC;IACD,4CAA4C;IAC5C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAA+B,CAAC;QAClE,kBAAkB,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC"}

package/dist/index.d.ts

@@ -24,6 +24,9 @@ export declare const SPEC_VERSIONS: {
     readonly template: 1;
     readonly plan: 1;
     readonly canonical: 2;
+    readonly behavior: 2;
+    readonly guard: 1;
+    readonly c2: 1;
 };
 /** validateEnvelope に渡す graphddb 形式の既定 supported 版（`"<major>.<minor>"`）。 */
 export declare const ENVELOPE_SPEC_VERSION: "1.1";
@@ -32,12 +35,23 @@ export { evaluate as evaluateExpression, encodeValue, cmpCodePoints, ExprFailure
 export type { FailureCode as ExprFailureCode } from "./expr-eval.js";
 export { renderTemplate, resolvePartial, TemplateFailure } from "./template.js";
 export type { TemplateFailureCode } from "./template.js";
-export { runPlan, finalTree, PlanFailure } from "./plan.js";
-export type { ExecutionPlanSpec, OpSpec, Exec, ExecOutcome, RunResult, PolicyKind, RelationKind, PlanFailureCode, } from "./plan.js";
+export { runPlan, runPlanAsync, finalTree, PlanFailure } from "./plan.js";
+export type { ExecutionPlanSpec, OpSpec, Exec, AsyncExec, ExecOutcome, RunResult, PolicyKind, RelationKind, PlanFailureCode, } from "./plan.js";
 export { canonicalValue, canonicalJson, pyFloatRepr, CanonicalFailure } from "./canonical.js";
 export type { CanonicalFailureCode } from "./canonical.js";
 export { validateEnvelope, EnvelopeFailure } from "./envelope.js";
 export type { EnvelopeFailureCode } from "./envelope.js";
-export { assertPortable, PortabilityError } from "./guard.js";
+export { assertPortable, assertPortableComponentGraph, assertPortableTypeNotation, PORTABLE_EXPR_OPERATORS, PORTABLE_SCALAR_TYPES, PortabilityError, } from "./guard.js";
+export { runBehavior, runBehaviorAsync, BehaviorFailure } from "./behavior.js";
+export type { ComponentGraphIR, Component, BodyNode, ComponentRefNode, MapNode, CondNode, PortSchema, PortableType, PortableScalarType, CatalogEntry, CatalogOutput, Catalog, Handler, HandlerCtx, Handlers, AsyncHandler, AsyncHandlers, BehaviorFailureCode, } from "./behavior.js";
+export { buildComponentDefinition, BuilderFailure } from "./builder.js";
+export type { ComponentDefinitionData, BuildComponentDefinitionOptions, BuilderFailureCode, } from "./builder.js";
+export { SemanticBehavior, behavior, compileBehaviors, catalogComponents, when, concat, add, sub, mul, div, mod, neg, eq, ne, lt, le, gt, ge, and, or, not, coalesce, len, opt, referencedComponents, classifyBehaviorEffect, AuthoringFailure, } from "./authoring.js";
+export type { In, Recorded, BehaviorClass, CompileBehaviorsOptions, BehaviorEffect, AuthoringFailureCode, } from "./authoring.js";
 export { decodeValue, deepEquals } from "./codec.js";
+export * as codegenPrimitives from "./primitives.js";
+export { mapWithConcurrency, unproducedValue, skipSingle, skipConnection, hydrateInto, evalExpr, } from "./primitives.js";
+export type { Expr } from "./primitives.js";
+export { generateModule, registerEmitter, registeredLanguages, GeneratorFailure, fingerprintComponentGraph, FingerprintFailure, typescriptEmitter, pythonEmitter, typescriptStraightlineEmitter, rustStraightlineEmitter, phpStraightlineEmitter, pythonStraightlineEmitter, typescriptTypedEmitter, tsTypedMaterializer, assertStraightlineSupported, isStraightlineNode, buildTypePlan, deriveTypeRef, } from "./generator/index.js";
+export type { GenerateOptions, GeneratedModule, EmitContext, EmitterPlugin, GeneratorFailureCode, StraightlineDialect, StraightlineOp, ComponentPlan, OpLiteral, TypePlan, TypeRef, TypeDecl, TypedMaterializer, } from "./generator/index.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAIH,eAAO,MAAM,aAAa;;;;;CAKhB,CAAC;AAEX,4EAA4E;AAC5E,eAAO,MAAM,qBAAqB,EAAG,KAAc,CAAC;AAGpD,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAGnD,OAAO,EAAE,QAAQ,IAAI,kBAAkB,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC/H,YAAY,EAAE,WAAW,IAAI,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGrE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChF,YAAY,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC5D,YAAY,EACV,iBAAiB,EACjB,MAAM,EACN,IAAI,EACJ,WAAW,EACX,SAAS,EACT,UAAU,EACV,YAAY,EACZ,eAAe,GAChB,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC9F,YAAY,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAG3D,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAClE,YAAY,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzD,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAG9D,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAIH,eAAO,MAAM,aAAa;;;;;;;;CAQhB,CAAC;AAEX,4EAA4E;AAC5E,eAAO,MAAM,qBAAqB,EAAG,KAAc,CAAC;AAGpD,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAGnD,OAAO,EAAE,QAAQ,IAAI,kBAAkB,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC/H,YAAY,EAAE,WAAW,IAAI,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGrE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChF,YAAY,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzD,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC1E,YAAY,EACV,iBAAiB,EACjB,MAAM,EACN,IAAI,EACJ,SAAS,EACT,WAAW,EACX,SAAS,EACT,UAAU,EACV,YAAY,EACZ,eAAe,GAChB,MAAM,WAAW,CAAC;AAGnB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC9F,YAAY,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAG3D,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAClE,YAAY,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzD,OAAO,EACL,cAAc,EACd,4BAA4B,EAC5B,0BAA0B,EAC1B,uBAAuB,EACvB,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAC/E,YAAY,EACV,gBAAgB,EAChB,SAAS,EACT,QAAQ,EACR,gBAAgB,EAChB,OAAO,EACP,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,kBAAkB,EAClB,YAAY,EACZ,aAAa,EACb,OAAO,EACP,OAAO,EACP,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,mBAAmB,GACpB,MAAM,eAAe,CAAC;AAGvB,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACxE,YAAY,EACV,uBAAuB,EACvB,+BAA+B,EAC/B,kBAAkB,GACnB,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,gBAAgB,EAChB,QAAQ,EACR,gBAAgB,EAChB,iBAAiB,EACjB,IAAI,EACJ,MAAM,EACN,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,EAAE,EACF,GAAG,EACH,EAAE,EACF,GAAG,EACH,QAAQ,EACR,GAAG,EACH,GAAG,EACH,oBAAoB,EACpB,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,EAAE,EACF,QAAQ,EACR,aAAa,EACb,uBAAuB,EACvB,cAAc,EACd,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAQrD,OAAO,KAAK,iBAAiB,MAAM,iBAAiB,CAAC;AACrD,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,UAAU,EACV,cAAc,EACd,WAAW,EACX,QAAQ,GACT,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAK5C,OAAO,EACL,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,gBAAgB,EAChB,yBAAyB,EACzB,kBAAkB,EAClB,iBAAiB,EACjB,aAAa,EACb,6BAA6B,EAC7B,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,sBAAsB,EACtB,mBAAmB,EACnB,2BAA2B,EAC3B,kBAAkB,EAClB,aAAa,EACb,aAAa,GACd,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,eAAe,EACf,eAAe,EACf,WAAW,EACX,aAAa,EACb,oBAAoB,EACpB,mBAAmB,EACnB,cAAc,EACd,aAAa,EACb,SAAS,EACT,QAAQ,EACR,OAAO,EACP,QAAQ,EACR,iBAAiB,GAClB,MAAM,sBAAsB,CAAC"}