behavior-contracts 0.7.3 → 0.8.0

package/README.md

@@ -94,7 +94,6 @@ The shared runtime also exposes the individual COMMON primitives piecewise:
 | `assertPortable` / `assertPortableComponentGraph` | Portability Guard (fail-closed structural validation of portable IR) |
 | `SemanticBehavior` / `behavior` / `compileBehaviors` / `catalogComponents` / `when` + expression builders | effect-agnostic authoring surface — each public method of a marked class lowers to one component-graph root Behavior |
 | `referencedComponents` / `classifyBehaviorEffect` | consumer-side CQRS derivation from the lowered graph |
-| `buildComponentDefinition` | data-registration IF for model-driven consumers — validates and canonicalizes a pre-composed component graph; byte-stable output |
 
 ## Spec versions
 

package/dist/authoring.d.ts

@@ -67,8 +67,9 @@
  * IR スキーマは変えない）。生成 IR は `assertPortableComponentGraph` を通り、`runBehavior` で
  * そのまま実行できる。
  */
-import type { Catalog, ComponentGraphIR, Component, PortSchema } from "./behavior.js";
-export type AuthoringFailureCode = "NOT_A_BEHAVIOR_CLASS" | "NO_PUBLIC_METHOD" | "NO_FRAME" | "NOT_RECORDABLE" | "NATIVE_CONTROL_SYNTAX" | "COMPUTED_ACCESS" | "WHOLE_INPUT" | "BAD_PORT_VALUE" | "UNKNOWN_PORT" | "MISSING_PORT" | "PORT_TYPE_MISMATCH" | "NOT_PORTABLE_COMPONENT" | "BAD_CONDITION" | "BAD_BRANCH" | "NESTED_BRANCH" | "MAP_IN_BRANCH" | "NESTED_MAP" | "MAP_NOT_LOWERABLE" | "MAP_MULTI_COMPONENT" | "FANOUT_NOT_LOWERABLE" | "FANOUT_MULTI_COMPONENT" | "FANOUT_IN_BRANCH" | "BAD_OUTPUT";
+import type { Catalog, CatalogEntry, Component, PortSchema, PortableType } from "./behavior.js";
+import type { ComponentGraphIR as CompiledIR } from "./index.js";
+export type AuthoringFailureCode = "NOT_A_BEHAVIOR_CLASS" | "NO_PUBLIC_METHOD" | "NO_FRAME" | "NOT_RECORDABLE" | "NATIVE_CONTROL_SYNTAX" | "COMPUTED_ACCESS" | "WHOLE_INPUT" | "BAD_PORT_VALUE" | "UNKNOWN_PORT" | "MISSING_PORT" | "PORT_TYPE_MISMATCH" | "NOT_PORTABLE_COMPONENT" | "BAD_CONDITION" | "BAD_BRANCH" | "NESTED_BRANCH" | "MAP_IN_BRANCH" | "NESTED_MAP" | "MAP_NOT_LOWERABLE" | "MAP_MULTI_COMPONENT" | "FANOUT_NOT_LOWERABLE" | "FANOUT_MULTI_COMPONENT" | "FANOUT_IN_BRANCH" | "BAD_AS_TARGET" | "BAD_TYPE_NOTATION" | "BAD_LEAF_META" | "BAD_OUTPUT";
 export declare class AuthoringFailure extends Error {
     code: AuthoringFailureCode;
     constructor(code: AuthoringFailureCode, message: string);
@@ -99,6 +100,89 @@ export type In<T> = Readonly<T>;
  * （`In<...>` / consumer の Catalog 型）に委ね、recorder は構造の記録に徹する。
  */
 export type Recorded = any;
+/**
+ * `TsToPortable<T>` — TS 型 → 対応する `PortableType` runtime 注記の型レベル写像
+ * （{@link PortableTypeToTs} の逆向き）。`.as<T>(t)` の runtime 引数 `t` を、generic `<T>` が
+ * 表す確定型と**一致する PortableType リテラル**にだけ制約するために使う。矛盾（例
+ * `.as<string>({ obj: {…} })`）は tsc エラー（BC は runtime `t` だけを読み・型は推論しない）。
+ *
+ *   - `string` → `"string"` / `number` → `"int" | "float"` / `boolean` → `"bool"` /
+ *     `null` → `"null"`
+ *   - `T | null | undefined` → `{ opt: TsToPortable<T> }`
+ *   - `T[]` → `{ arr: TsToPortable<T> }`
+ *   - `{ k: T, … }` → `{ obj: { k: TsToPortable<T>, … } }`
+ */
+export type TsToPortable<T> = [
+    T
+] extends [string] ? "string" : [
+    T
+] extends [number] ? ("int" | "float") : [
+    T
+] extends [boolean] ? "bool" : [
+    T
+] extends [null] ? "null" : null extends T ? {
+    opt: TsToPortable<Exclude<T, null | undefined>>;
+} : undefined extends T ? {
+    opt: TsToPortable<Exclude<T, null | undefined>>;
+} : T extends readonly (infer U)[] ? {
+    arr: TsToPortable<U>;
+} : T extends object ? {
+    obj: {
+        [K in keyof T]-?: TsToPortable<T[K]>;
+    };
+} : never;
+/**
+ * `TypedRecorded<T>` — node 結果 recorder の型付きビュー（`behaviorComponents` の leaf 呼びが返す）。
+ * 実行時は {@link Recorded}（Proxy）そのものだが、compile-time では:
+ *   - `.as<U>(t)` が **runtime `PortableType`（{@link TsToPortable}<U> に一致）を必須引数**に取り、
+ *     `TypedRecorded<U>` を返す（`<U>` を runtime `t` に束縛 = 型と runtime 注記の一致を tsc が強制）。
+ *   - フィールドアクセス（`article.tagRefs`）・`.map` は既存の record ергономикс を保つため
+ *     緩く型付ける（base 型は leaf signature 由来・projection 点で `.as` が確定させる — §4.4）。
+ */
+export interface TypedRecorded<T = unknown> {
+    as<U>(t: TsToPortable<U>): TypedRecorded<U>;
+    map(cb: (el: any) => any, opts?: MapOptions): TypedRecorded;
+    refsConnection(cb: (el: any) => any, opts?: FanoutOptions): TypedRecorded;
+    [field: string]: any;
+}
+/**
+ * `.map` の opts キーの閉集合（**runtime-enumerable SoT**）。{@link MapOptions} の型はここから
+ * 導出し（`Record<...> `）、新 opts キーを足すときはここに 1 語追加するのが正。matrix の網羅ゲート
+ * （#132）はこの配列から導出するので、SoT にキーを足して matrix にケースが無ければ CI が RED になる。
+ * 注: 要素ごと skip の `when` は opts キーではなく callback 内 `when(...)` guard 由来（`map.when` へ
+ * lower）なので、ここには含めない（authoring 手段が別。matrix 側で別途カバーする）。
+ */
+export declare const MAP_OPTION_KEYS: readonly ["into", "batched"];
+/** `.map` の 1 opts キー（{@link MAP_OPTION_KEYS} から導出）。 */
+export type MapOptionKey = (typeof MAP_OPTION_KEYS)[number];
+interface MapOptionShapes {
+    /** v2 zip-attach キー（scp-ir-architecture.md §5.1 `map.into`）。 */
+    into: string;
+    /** v2 バッチ fan-out（`map.batched`）。 */
+    batched: boolean;
+}
+/** `.map` の opts。キー集合は {@link MAP_OPTION_KEYS} が SoT（型は shape から取り、キーは SoT に一致）。 */
+type MapOptions = {
+    [K in MapOptionKey]?: MapOptionShapes[K];
+};
+/**
+ * `refsConnection`（v3 fanout）の opts キーの閉集合（**runtime-enumerable SoT**）。graphddb の
+ * `@refs` 読みが宣言する dedupe/drop 契約。{@link FanoutOptions} の型はここから導出。新 opts キーは
+ * ここに追加するのが正で、matrix 網羅ゲート（#132）がこの配列から導出する（未カバー → CI RED）。
+ */
+export declare const FANOUT_OPTION_KEYS: readonly ["dedupeKey", "drop", "implicitSource"];
+/** `refsConnection` の 1 opts キー（{@link FANOUT_OPTION_KEYS} から導出）。 */
+export type FanoutOptionKey = (typeof FANOUT_OPTION_KEYS)[number];
+interface FanoutOptionShapes {
+    /** first-seen dedupe の基準となる結果要素の port（必須）。 */
+    dedupeKey: string;
+    /** dangling（null body）の扱い（既定 "dangling"）。 */
+    drop?: "dangling" | "none";
+    /** 結果要素から除去する暗黙ソースフィールド名。 */
+    implicitSource?: string;
+}
+/** `refsConnection` の opts（キー集合は {@link FANOUT_OPTION_KEYS} が SoT）。 */
+type FanoutOptions = Pick<FanoutOptionShapes, FanoutOptionKey>;
 /** `+`（文字列連結）。n-ary（min 2）。 */
 export declare function concat(...parts: unknown[]): Recorded;
 export declare const add: (a: unknown, b: unknown) => Recorded;
@@ -136,6 +220,133 @@ export declare function opt(x: unknown): Recorded;
 export declare function catalogComponents<C extends Catalog>(catalog: C): {
     [K in keyof C]: (ports: Record<string, unknown>) => Recorded;
 };
+/**
+ * `PortableTypeToTs<T>` — 可搬型記法（`PortableType` 閉集合）→ TS 型の型レベル写像。
+ * `defineLeaf` の generic 制約が impl fn のシグネチャ（引数 = 入力 Port・戻り = 出力）を
+ * この写像で **runtime 注記（`ports`/`output`）に束縛**するために使う。宣言した runtime
+ * 型と impl の TS 型が矛盾すれば tsc エラーになる（型は consumer が確定・BC は推論しない）。
+ *
+ *   - `"string"` → `string` / `"int" | "float"` → `number` / `"bool"` → `boolean` /
+ *     `"null"` → `null`
+ *   - `{opt: T}` → `PortableTypeToTs<T> | null | undefined`（nullable）
+ *   - `{arr: T}` → `PortableTypeToTs<T>[]`
+ *   - `{obj: {k: T, …}}` → `{ k: PortableTypeToTs<T>, … }`
+ */
+export type PortableTypeToTs<T> = T extends "string" ? string : T extends "int" ? number : T extends "float" ? number : T extends "bool" ? boolean : T extends "null" ? null : T extends {
+    opt: infer U;
+} ? PortableTypeToTs<U> | null | undefined : T extends {
+    arr: infer U;
+} ? PortableTypeToTs<U>[] : T extends {
+    obj: infer O;
+} ? {
+    [K in keyof O]: PortableTypeToTs<O[K]>;
+} : never;
+/** opt でラップされた Port キー（省略可能キーにする）。 */
+type OptionalPortKeys<P extends Record<string, PortableType>> = {
+    [K in keyof P]: P[K] extends {
+        opt: PortableType;
+    } ? K : never;
+}[keyof P];
+/**
+ * `ports` レコード（Port 名 → PortableType）→ impl fn の第1引数型（Port 束）。
+ * `{opt:T}` Port は**省略可能キー**（`SK?: string`）にする。
+ */
+export type PortsToTs<P extends Record<string, PortableType>> = {
+    [K in Exclude<keyof P, OptionalPortKeys<P>>]: PortableTypeToTs<P[K]>;
+} & {
+    [K in OptionalPortKeys<P>]?: PortableTypeToTs<P[K]>;
+};
+/**
+ * leaf の意味情報（型で表せず consumer が inline で明示する最小集合 — §4.1(B)）＋
+ * runtime 型注記（`PortableType`。TS 型消去後に BC が読む SSoT）。
+ */
+export interface LeafMeta<P extends Record<string, PortableType> = Record<string, PortableType>, R extends PortableType = PortableType, Card extends "one" | "many" = "one" | "many"> {
+    /** cardinality（型から導けない意味情報。one → item / many → items）。 */
+    cardinality: Card;
+    /** 入力 Port schema（runtime SSoT。各 Port の確定型を PortableType で宣言）。 */
+    ports: P;
+    /** 出力（`cardinality:"many"` のときは要素型）の確定型（runtime SSoT）。 */
+    output: R;
+    /** 動的 port 群（`item.<field>` 等）の受容 opt-in（既定 false — CatalogEntry と同義）。 */
+    additionalPorts?: boolean;
+    /** 可搬 IR に載せられるか（既定 true — CatalogEntry と同義。false は ts-runtime 専用 leaf）。 */
+    portableToIR?: boolean;
+}
+/**
+ * `defineLeaf` の戻り値。leaf を「型付き静的関数」として 1 回登録した結果で、runtime 注記
+ * （name + meta）と impl fn を保持する。`behaviorComponents` がこの注記から portable catalog を
+ * **導出**する（consumer は catalog を手書きしない・二重宣言しない — §4.1）。generic は fn の
+ * シグネチャに束縛され、`.__ports` / `.__output` phantom で TS の型情報を持ち回る。
+ */
+export interface LeafDefinition<P extends Record<string, PortableType> = Record<string, PortableType>, R extends PortableType = PortableType> {
+    readonly name: string;
+    readonly meta: LeafMeta<P, R>;
+    /**
+     * leaf 実装“本体”（ctx は環境境界注入。IR には載らない — C4）。stored 型は緩い
+     * （`(p, ctx) => unknown`）: 厳密な signature 束縛は {@link defineLeaf} の**パラメータ**
+     * （generic P/R 由来）が担い、tsc がそこで矛盾を落とす。stored フィールドの緩さは
+     * `LeafDefinition<specific>` を `LeafDefinition`（既定パラメータ）へ代入可能にするための
+     * variance 対策（`fn` は contravariant なので厳密型のままだと合成レコードが不通過になる）。
+     */
+    readonly fn: (p: any, ctx: any) => unknown;
+}
+/**
+ * `LeafImplMatches<Card, R, Out>` — impl fn の戻り型 `Out` が、宣言した cardinality/output
+ * （`one` → 要素型 `PortableTypeToTs<R>` / `many` → その配列）に**適合するか**の型レベル述語。
+ * `defineLeaf` の戻り型ゲートに使う（fn 戻り型を推論源にせず照合先にすることで、`P2T<R>` を
+ * 通した逆方向推論が招く tsc "excessively deep" を回避する — この分離が設計上 load-bearing）。
+ */
+export type LeafImplMatches<Card extends "one" | "many", R extends PortableType, Out> = Card extends "many" ? [Out] extends [readonly PortableTypeToTs<R>[]] ? true : false : [Out] extends [PortableTypeToTs<R>] ? true : false;
+/**
+ * impl 戻り型が宣言 output と矛盾したときの branded エラー型（`defineLeaf` の戻り型がこれに
+ * 化けると LeafDefinition として使えず、下流（`behaviorComponents` 等）で tsc が落ちる）。
+ */
+export interface LeafImplMismatch {
+    readonly __IMPL_RETURN_DOES_NOT_MATCH_DECLARED_OUTPUT__: true;
+}
+/**
+ * defineLeaf — leaf を**型付き静的関数として 1 回定義**する（SA8・§4.1(B)）。
+ *
+ * `fn` の引数型（= 入力 Port）は `meta.ports`、戻り型（= 出力）は `meta.output` + `cardinality`
+ * の runtime `PortableType` 注記へ**束縛**される。impl の TS 型が宣言と矛盾すると `defineLeaf` の
+ * 戻り型が {@link LeafImplMismatch} に化け、`LeafDefinition` として使えず **tsc エラー**になる
+ * （例: `output:"string"` なのに `(): number => …`）。BC core は runtime 注記だけを読み、TS の型は
+ * 推論しない（consumer-interface.md C3・不変）。`ctx`（環境依存物 = client/config/hooks の境界注入）
+ * は impl の第2引数で受ける（IR には載らない — C4）。
+ *
+ * @param name  catalog 名（IR の componentRef が参照する名前）。
+ * @param meta  cardinality（型で表せない意味情報）＋ ports/output（runtime 型 SSoT）。
+ * @param fn    leaf 実装本体（型付き。呼ばれ方＝IR/dispatch は書かない）。
+ */
+export declare function defineLeaf<const P extends Record<string, PortableType>, const R extends PortableType, const Card extends "one" | "many", const Out, Ctx = unknown>(name: string, meta: LeafMeta<P, R, Card>, fn: (p: PortsToTs<P>, ctx: Ctx) => Out): LeafImplMatches<Card, R, Out> extends true ? LeafDefinition<P, R> : LeafImplMismatch;
+/**
+ * catalogEntryFromLeaf — defineLeaf の runtime 注記から `CatalogEntry` を **導出**する
+ * （consumer は catalog を手書きしない — §4.1）。
+ *   - `inputPorts` = 各 Port の PortableType を PortSchema へ射影（scalar/opt/arr/obj）。
+ *   - `output.shape` = cardinality（one→item / many→items）。
+ *   - `elemType` = `output`（その leaf が返す要素の確定型。typed codegen / map 要素型の SSoT）。
+ *   - `portableToIR` / `additionalPorts` は meta から（既定 true / false）。
+ */
+export declare function catalogEntryFromLeaf(def: LeafDefinition): CatalogEntry;
+/**
+ * behaviorComponents — `defineLeaf` 結果のレコードから **portable catalog を導出**し、
+ * authoring 本体で呼べる leaf コンポーネント関数群を返す（`catalogComponents(catalog)` と
+ * **同一の call-shape** `{ [name]: (ports) => Recorded }`・同一の {@link recordComponentCall}
+ * 機構）。consumer は catalog も handlers も手書きしない（§4.1 / SA4）。
+ *
+ * catalog は `defineLeaf` の型付きシグネチャ由来の runtime 注記から機械導出されるため、
+ * 手書き catalog と**構造的に同一**（AC1）。派生後の record は既存 catalog 経路と完全に同じ
+ * port 検証・lowering を通る。
+ */
+export declare function behaviorComponents<C extends Record<string, LeafDefinition>>(leaves: C): {
+    [K in keyof C]: C[K] extends LeafDefinition<infer _P, infer R> ? (ports: PortsToTs<C[K]["meta"]["ports"]>) => TypedRecorded<PortableTypeToTs<R>> : never;
+};
+/**
+ * deriveCatalog — `defineLeaf` レコードから `Catalog`（name → CatalogEntry）を導出する
+ * （guard / typed codegen / fingerprint の SSoT を得たい consumer 向け。`behaviorComponents`
+ * が内部で使うのと同一の {@link catalogEntryFromLeaf} 射影）。
+ */
+export declare function deriveCatalog(leaves: Record<string, LeafDefinition>): Catalog;
 /**
  * when — Conditional（`?:`）/ Guard（`&&`）の record 形（semantic-contract-programming.md
  * 「構造化制御構文」の Compiler 規則を評価モードで実装する）:
@@ -184,7 +395,7 @@ export interface CompileBehaviorsOptions {
  *
  * effect（Query/Command）はここでは一切扱わない — {@link classifyBehaviorEffect} を参照。
  */
-export declare function compileBehaviors(cls: BehaviorClass, opts?: CompileBehaviorsOptions): ComponentGraphIR;
+export declare function compileBehaviors(cls: BehaviorClass, opts?: CompileBehaviorsOptions): CompiledIR;
 /**
  * referencedComponents — lowering 済み合成コンポーネントの body が参照する catalog 名
  * （componentRef / map。重複除去・出現順）。
@@ -199,4 +410,5 @@ export type BehaviorEffect = "read-only" | "writing";
  * 実装点。
  */
 export declare function classifyBehaviorEffect(component: Component, writeComponents: Iterable<string>): BehaviorEffect;
+export {};
 //# sourceMappingURL=authoring.d.ts.map

package/dist/authoring.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"authoring.d.ts","sourceRoot":"","sources":["../src/authoring.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoEG;AACH,OAAO,KAAK,EAEV,OAAO,EAEP,gBAAgB,EAChB,SAAS,EAKT,UAAU,EACX,MAAM,eAAe,CAAC;AAavB,MAAM,MAAM,oBAAoB,GAC5B,sBAAsB,GACtB,kBAAkB,GAClB,UAAU,GACV,gBAAgB,GAChB,uBAAuB,GACvB,iBAAiB,GACjB,aAAa,GACb,gBAAgB,GAChB,cAAc,GACd,cAAc,GACd,oBAAoB,GACpB,wBAAwB,GACxB,eAAe,GACf,YAAY,GACZ,eAAe,GACf,eAAe,GACf,YAAY,GACZ,mBAAmB,GACnB,qBAAqB,GACrB,sBAAsB,GACtB,wBAAwB,GACxB,kBAAkB,GAClB,YAAY,CAAC;AAEjB,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,oBAAoB,CAAC;gBACf,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,MAAM;CAKxD;AASD;;;;GAIG;AACH,qBAAa,gBAAgB;CAAG;AAEhC,iDAAiD;AACjD,MAAM,MAAM,aAAa,GAAG,UAAU,MAAM,CAAC;AAE7C;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,SAAS,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,OAAO,GAAG,CAAC,CAG/E;AASD;;;;GAIG;AACH,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;AAqBhC;;;GAGG;AAEH,MAAM,MAAM,QAAQ,GAAG,GAAG,CAAC;AAkI3B,+BAA+B;AAC/B,wBAAgB,MAAM,CAAC,GAAG,KAAK,EAAE,OAAO,EAAE,GAAG,QAAQ,CAGpD;AACD,eAAO,MAAM,GAAG,MAXH,OAAO,KAAK,OAAO,KAAG,QAWY,CAAC;AAChD,eAAO,MAAM,GAAG,MAZH,OAAO,KAAK,OAAO,KAAG,QAYY,CAAC;AAChD,eAAO,MAAM,GAAG,MAbH,OAAO,KAAK,OAAO,KAAG,QAaY,CAAC;AAChD,eAAO,MAAM,GAAG,MAdH,OAAO,KAAK,OAAO,KAAG,QAcY,CAAC;AAChD,eAAO,MAAM,GAAG,MAfH,OAAO,KAAK,OAAO,KAAG,QAeY,CAAC;AAChD,eAAO,MAAM,GAAG,MAbH,OAAO,KAAG,QAauB,CAAC;AAC/C,eAAO,MAAM,EAAE,MAjBF,OAAO,KAAK,OAAO,KAAG,QAiBU,CAAC;AAC9C,eAAO,MAAM,EAAE,MAlBF,OAAO,KAAK,OAAO,KAAG,QAkBU,CAAC;AAC9C,eAAO,MAAM,EAAE,MAnBF,OAAO,KAAK,OAAO,KAAG,QAmBU,CAAC;AAC9C,eAAO,MAAM,EAAE,MApBF,OAAO,KAAK,OAAO,KAAG,QAoBU,CAAC;AAC9C,eAAO,MAAM,EAAE,MArBF,OAAO,KAAK,OAAO,KAAG,QAqBU,CAAC;AAC9C,eAAO,MAAM,EAAE,MAtBF,OAAO,KAAK,OAAO,KAAG,QAsBU,CAAC;AAC9C,eAAO,MAAM,GAAG,MAvBH,OAAO,KAAK,OAAO,KAAG,QAuBY,CAAC;AAChD,eAAO,MAAM,EAAE,MAxBF,OAAO,KAAK,OAAO,KAAG,QAwBU,CAAC;AAC9C,eAAO,MAAM,GAAG,MAtBH,OAAO,KAAG,QAsBuB,CAAC;AAC/C,YAAY;AACZ,eAAO,MAAM,QAAQ,MA3BR,OAAO,KAAK,OAAO,KAAG,QA2BsB,CAAC;AAC1D,eAAO,MAAM,GAAG,MAzBH,OAAO,KAAG,QAyBuB,CAAC;AAE/C;;;GAGG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,QAAQ,CAKxC;AA4FD;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,OAAO,EACjD,OAAO,EAAE,CAAC,GACT;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,QAAQ;CAAE,CAOlE;AAiKD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,OAAO,EAAE,SAAS,CAAC,EAAE,MAAM,OAAO,GAAG,QAAQ,CAmEjG;AAiPD,MAAM,WAAW,uBAAuB;IACtC,yDAAyD;IACzD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iCAAiC;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CACzD;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,GAAE,uBAA4B,GAAG,gBAAgB,CAmFzG;AAGD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,SAAS,GAAG,MAAM,EAAE,CAOnE;AAED,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG,SAAS,CAAC;AAErD;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,cAAc,CAG9G"}
+{"version":3,"file":"authoring.d.ts","sourceRoot":"","sources":["../src/authoring.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoEG;AACH,OAAO,KAAK,EAEV,OAAO,EACP,YAAY,EAEZ,SAAS,EAKT,UAAU,EACV,YAAY,EAEb,MAAM,eAAe,CAAC;AAIvB,OAAO,KAAK,EAAE,gBAAgB,IAAI,UAAU,EAAE,MAAM,YAAY,CAAC;AAcjE,MAAM,MAAM,oBAAoB,GAC5B,sBAAsB,GACtB,kBAAkB,GAClB,UAAU,GACV,gBAAgB,GAChB,uBAAuB,GACvB,iBAAiB,GACjB,aAAa,GACb,gBAAgB,GAChB,cAAc,GACd,cAAc,GACd,oBAAoB,GACpB,wBAAwB,GACxB,eAAe,GACf,YAAY,GACZ,eAAe,GACf,eAAe,GACf,YAAY,GACZ,mBAAmB,GACnB,qBAAqB,GACrB,sBAAsB,GACtB,wBAAwB,GACxB,kBAAkB,GAClB,eAAe,GACf,mBAAmB,GACnB,eAAe,GACf,YAAY,CAAC;AAEjB,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,oBAAoB,CAAC;gBACf,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,MAAM;CAKxD;AASD;;;;GAIG;AACH,qBAAa,gBAAgB;CAAG;AAEhC,iDAAiD;AACjD,MAAM,MAAM,aAAa,GAAG,UAAU,MAAM,CAAC;AAE7C;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,SAAS,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,OAAO,GAAG,CAAC,CAG/E;AASD;;;;GAIG;AACH,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;AA2BhC;;;GAGG;AAEH,MAAM,MAAM,QAAQ,GAAG,GAAG,CAAC;AAE3B;;;;;;;;;;;GAWG;AAEH,MAAM,MAAM,YAAY,CAAC,CAAC,IACxB;IAAC,CAAC;CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,QAAQ,GAC/B;IAAC,CAAC;CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,OAAO,CAAC,GACxC;IAAC,CAAC;CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,MAAM,GAC9B;IAAC,CAAC;CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,MAAM,GAC3B,IAAI,SAAS,CAAC,GAAG;IAAE,GAAG,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,CAAC,CAAA;CAAE,GACpE,SAAS,SAAS,CAAC,GAAG;IAAE,GAAG,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,CAAC,CAAA;CAAE,GACzE,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG;IAAE,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,CAAA;CAAE,GACzD,CAAC,SAAS,MAAM,GAAG;IAAE,GAAG,EAAE;SAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,CAAA;CAAE,GACpE,KAAK,CAAC;AAER;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC,GAAG,OAAO;IACxC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAG5C,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,KAAK,GAAG,EAAE,IAAI,CAAC,EAAE,UAAU,GAAG,aAAa,CAAC;IAE5D,cAAc,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,KAAK,GAAG,EAAE,IAAI,CAAC,EAAE,aAAa,GAAG,aAAa,CAAC;IAE1E,CAAC,KAAK,EAAE,MAAM,GAAG,GAAG,CAAC;CACtB;AAED;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,8BAA+B,CAAC;AAC5D,wDAAwD;AACxD,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5D,UAAU,eAAe;IACvB,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,qCAAqC;IACrC,OAAO,EAAE,OAAO,CAAC;CAClB;AACD,oFAAoF;AACpF,KAAK,UAAU,GAAG;KAAG,CAAC,IAAI,YAAY,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC;CAAE,CAAC;AAE/D;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,kDAAmD,CAAC;AACnF,qEAAqE;AACrE,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAElE,UAAU,kBAAkB;IAC1B,8CAA8C;IAC9C,SAAS,EAAE,MAAM,CAAC;IAClB,6CAA6C;IAC7C,IAAI,CAAC,EAAE,UAAU,GAAG,MAAM,CAAC;IAC3B,6BAA6B;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AACD,uEAAuE;AACvE,KAAK,aAAa,GAAG,IAAI,CAAC,kBAAkB,EAAE,eAAe,CAAC,CAAC;AA2H/D,+BAA+B;AAC/B,wBAAgB,MAAM,CAAC,GAAG,KAAK,EAAE,OAAO,EAAE,GAAG,QAAQ,CAGpD;AACD,eAAO,MAAM,GAAG,MAXH,OAAO,KAAK,OAAO,KAAG,QAWY,CAAC;AAChD,eAAO,MAAM,GAAG,MAZH,OAAO,KAAK,OAAO,KAAG,QAYY,CAAC;AAChD,eAAO,MAAM,GAAG,MAbH,OAAO,KAAK,OAAO,KAAG,QAaY,CAAC;AAChD,eAAO,MAAM,GAAG,MAdH,OAAO,KAAK,OAAO,KAAG,QAcY,CAAC;AAChD,eAAO,MAAM,GAAG,MAfH,OAAO,KAAK,OAAO,KAAG,QAeY,CAAC;AAChD,eAAO,MAAM,GAAG,MAbH,OAAO,KAAG,QAauB,CAAC;AAC/C,eAAO,MAAM,EAAE,MAjBF,OAAO,KAAK,OAAO,KAAG,QAiBU,CAAC;AAC9C,eAAO,MAAM,EAAE,MAlBF,OAAO,KAAK,OAAO,KAAG,QAkBU,CAAC;AAC9C,eAAO,MAAM,EAAE,MAnBF,OAAO,KAAK,OAAO,KAAG,QAmBU,CAAC;AAC9C,eAAO,MAAM,EAAE,MApBF,OAAO,KAAK,OAAO,KAAG,QAoBU,CAAC;AAC9C,eAAO,MAAM,EAAE,MArBF,OAAO,KAAK,OAAO,KAAG,QAqBU,CAAC;AAC9C,eAAO,MAAM,EAAE,MAtBF,OAAO,KAAK,OAAO,KAAG,QAsBU,CAAC;AAC9C,eAAO,MAAM,GAAG,MAvBH,OAAO,KAAK,OAAO,KAAG,QAuBY,CAAC;AAChD,eAAO,MAAM,EAAE,MAxBF,OAAO,KAAK,OAAO,KAAG,QAwBU,CAAC;AAC9C,eAAO,MAAM,GAAG,MAtBH,OAAO,KAAG,QAsBuB,CAAC;AAC/C,YAAY;AACZ,eAAO,MAAM,QAAQ,MA3BR,OAAO,KAAK,OAAO,KAAG,QA2BsB,CAAC;AAC1D,eAAO,MAAM,GAAG,MAzBH,OAAO,KAAG,QAyBuB,CAAC;AAE/C;;;GAGG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,QAAQ,CAKxC;AAuGD;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,OAAO,EACjD,OAAO,EAAE,CAAC,GACT;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,QAAQ;CAAE,CAOlE;AAGD;;;;;;;;;;;GAWG;AAEH,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAC5B,CAAC,SAAS,QAAQ,GAAG,MAAM,GAC3B,CAAC,SAAS,KAAK,GAAG,MAAM,GACxB,CAAC,SAAS,OAAO,GAAG,MAAM,GAC1B,CAAC,SAAS,MAAM,GAAG,OAAO,GAC1B,CAAC,SAAS,MAAM,GAAG,IAAI,GACvB,CAAC,SAAS;IAAE,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,SAAS,GACnE,CAAC,SAAS;IAAE,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,EAAE,GAClD,CAAC,SAAS;IAAE,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GACvE,KAAK,CAAC;AAER,sCAAsC;AACtC,KAAK,gBAAgB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI;KAC7D,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,GAAG,EAAE,YAAY,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK;CAC/D,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI;KAC7D,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACrE,GAAG;KACD,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACpD,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,QAAQ,CACvB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,EACrE,CAAC,SAAS,YAAY,GAAG,YAAY,EACrC,IAAI,SAAS,KAAK,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM;IAE5C,0DAA0D;IAC1D,WAAW,EAAE,IAAI,CAAC;IAClB,kEAAkE;IAClE,KAAK,EAAE,CAAC,CAAC;IACT,0DAA0D;IAC1D,MAAM,EAAE,CAAC,CAAC;IACV,0EAA0E;IAC1E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,4EAA4E;IAC5E,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc,CAC7B,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,EACrE,CAAC,SAAS,YAAY,GAAG,YAAY;IAErC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9B;;;;;;OAMG;IAEH,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK,OAAO,CAAC;CAC5C;AAED;;;;;GAKG;AACH,MAAM,MAAM,eAAe,CAAC,IAAI,SAAS,KAAK,GAAG,MAAM,EAAE,CAAC,SAAS,YAAY,EAAE,GAAG,IAAI,IAAI,SAAS,MAAM,GACvG,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,GAC5C,IAAI,GACJ,KAAK,GACP,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,GACjC,IAAI,GACJ,KAAK,CAAC;AAEZ;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,8CAA8C,EAAE,IAAI,CAAC;CAC/D;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,UAAU,CACxB,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,EAC5C,KAAK,CAAC,CAAC,SAAS,YAAY,EAC5B,KAAK,CAAC,IAAI,SAAS,KAAK,GAAG,MAAM,EACjC,KAAK,CAAC,GAAG,EACT,GAAG,GAAG,OAAO,EAEb,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,EAC1B,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,GAAG,GACrC,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,IAAI,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,gBAAgB,CAAC;AAwExF;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,cAAc,GAAG,YAAY,CAgBtE;AAED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EACzE,MAAM,EAAE,CAAC,GACR;KACA,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,cAAc,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAC1D,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,GAC/E,KAAK;CACV,CAcA;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,GAAG,OAAO,CAI7E;AAoQD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,OAAO,EAAE,SAAS,CAAC,EAAE,MAAM,OAAO,GAAG,QAAQ,CAmEjG;AAiPD,MAAM,WAAW,uBAAuB;IACtC,yDAAyD;IACzD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iCAAiC;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CACzD;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,GAAE,uBAA4B,GAAG,UAAU,CAkGnG;AAGD;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,SAAS,GAAG,MAAM,EAAE,CAOnE;AAED,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG,SAAS,CAAC;AAErD;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,cAAc,CAG9G"}