@proposit/proposit-core 0.12.1 → 1.0.0

package/dist/lib/core/expression-manager.d.ts

@@ -1,7 +1,7 @@
 import type { TCoreLogicalOperatorType, TCorePropositionalExpression } from "../schemata/index.js";
 import type { ChangeCollector } from "./change-collector.js";
+import { type TCorePositionConfig } from "../utils/position.js";
 import type { TLogicEngineOptions } from "./argument-engine.js";
-import { type TGrammarConfig } from "../types/grammar.js";
 import type { TInvariantValidationResult } from "../types/validation.js";
 export type TExpressionInput<TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> = TExpr extends infer U ? U extends TCorePropositionalExpression ? Omit<U, "checksum" | "descendantChecksum" | "combinedChecksum"> : never : never;
 export type TExpressionWithoutPosition<TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> = TExpr extends infer U ? U extends TCorePropositionalExpression ? Omit<U, "position" | "checksum" | "descendantChecksum" | "combinedChecksum"> : never : never;
@@ -36,15 +36,17 @@ export declare class ExpressionManager<TExpr extends TCorePropositionalExpressio
     private collector;
     private dirtyExpressionIds;
     setCollector(collector: ChangeCollector | null): void;
+    constructor(config?: TLogicEngineOptions);
     /**
-     * Overrides the grammar config used for validation and mutation-time
-     * checks. Called by restoration paths (e.g. `fromSnapshot`) when the
-     * caller supplies a grammar config that should override whatever was
-     * stored in the snapshot.
+     * Returns the position config in effect for this expression manager.
+     * Used by in-package helpers (e.g. native AN-4 in
+     * `src/lib/grammar/an-rules.ts`) that need the position range
+     * boundaries (`min`/`max`) for spacing-algorithm fallbacks when a
+     * formula sits at the leftmost or rightmost slot under its parent.
+     *
+     * @internal
      */
-    setGrammarConfig(grammarConfig: TGrammarConfig): void;
-    constructor(config?: TLogicEngineOptions);
-    private get grammarConfig();
+    getPositionConfig(): TCorePositionConfig;
     private attachChecksum;
     /**
      * Registers an expression in the internal data structures without any
@@ -58,9 +60,13 @@ export declare class ExpressionManager<TExpr extends TCorePropositionalExpressio
      * maps (`expressions`, `childExpressionIdsByParentId`,
      * `childPositionsByParentId`) and notifies the change collector.
      *
-     * Used by `addExpression`, `insertExpression`, and `wrapExpression` to
-     * auto-insert formula nodes between operators when
-     * `grammarConfig.autoNormalize` is enabled.
+     * As of v1.0 the legacy per-mutation P-1 buffer-insertion branches
+     * (`addExpression`/`insertExpression`/`wrapExpression`) are gone —
+     * AN-1 (post-mutation hook in assistive mode, see
+     * `src/lib/grammar/an-rules.ts`) is the sole formula-buffer
+     * insertion path. This helper is invoked from `wrapInFormula` (the
+     * public AN-1 primitive on `PremiseEngine`) which calls it once per
+     * buffer insertion to materialize the formula node.
      *
      * @returns The generated formula expression ID.
      */
@@ -141,13 +147,16 @@ export declare class ExpressionManager<TExpr extends TCorePropositionalExpressio
      * Removes an expression from the tree.
      *
      * When `deleteSubtree` is `true`, the expression and its entire descendant
-     * subtree are removed, then {@link collapseIfNeeded} runs on the parent.
+     * subtree are removed.
      *
      * When `deleteSubtree` is `false`, the expression is removed but its single
-     * child (if any) is promoted into the removed expression's slot.  If the
-     * expression has more than one child, an error is thrown.  Leaf removal
-     * (0 children) still triggers {@link collapseIfNeeded} on the parent.
-     * Promotion does **not** trigger collapse.
+     * child (if any) is promoted into the removed expression's slot. If the
+     * expression has more than one child, an error is thrown.
+     *
+     * As of v1.0 the pre-removal collapse-cascade (the legacy
+     * `collapseIfNeeded` / `simulateCollapseChain`) is gone — AN-3
+     * (post-mutation hook in assistive mode) handles 0/1-child
+     * operator/formula collapse on the surviving parent.
      *
      * @throws If `deleteSubtree` is `false` and the expression has multiple children.
      * @throws If `deleteSubtree` is `false` and the single child is a root-only
@@ -157,11 +166,6 @@ export declare class ExpressionManager<TExpr extends TCorePropositionalExpressio
     removeExpression(expressionId: string, deleteSubtree: boolean): TExpr | undefined;
     private removeSubtree;
     private removeAndPromote;
-    /**
-     * Promotes `child` into the slot occupied by `parent` and removes `parent`.
-     * Used by `collapseIfNeeded` and `normalize()`.
-     */
-    private promoteChild;
     /**
      * Redistributes the minimal set of sibling positions to create room at
      * an insertion point between `leftPos` and `rightPos` under `parentId`.
@@ -170,41 +174,6 @@ export declare class ExpressionManager<TExpr extends TCorePropositionalExpressio
      * rather than a real node position, the corresponding chain has 0 nodes.
      */
     private repositionSiblings;
-    private collapseIfNeeded;
-    /**
-     * Flag-gated wrapper: absorbs same-operator children through a formula
-     * after an operator swap, if `absorbSameOperator` is enabled.
-     */
-    private absorbSameOperatorIfNeeded;
-    /**
-     * Absorbs the inner operator's children into the outer (grandparent)
-     * operator when both are the same type, separated by a formula.
-     *
-     * Example: `AND → formula → AND(B, C)` becomes `AND → [B, C]` (children
-     * promoted into the outer AND at positions between the formula's neighbors).
-     *
-     * No-op if the pattern does not match.
-     */
-    private absorbSameOperator;
-    /**
-     * Checks whether the subtree rooted at `expressionId` contains a binary
-     * operator (`and` or `or`). Traversal stops at formula boundaries — a
-     * nested formula owns its own subtree and is not inspected.
-     */
-    private hasBinaryOperatorInBoundedSubtree;
-    /**
-     * Performs a full normalization sweep on the expression tree:
-     * 1. Collapses operators with 0 or 1 children.
-     * 2. Collapses formulas whose bounded subtree has no binary operator.
-     * 3. Inserts formula buffers where `enforceFormulaBetweenOperators` requires them.
-     * 4. Collapses double negation.
-     * 5. Absorbs same-operator nesting through formulas.
-     * 6. Repeats until stable.
-     *
-     * Works regardless of the current `autoNormalize` setting — this is an
-     * explicit on-demand normalization.
-     */
-    normalize(): void;
     /** Returns `true` if any expression in the tree references the given variable ID. */
     hasVariableReference(variableId: string): boolean;
     /** Returns the expression with the given ID, or `undefined` if not found. */
@@ -213,28 +182,24 @@ export declare class ExpressionManager<TExpr extends TCorePropositionalExpressio
     getChildExpressions(parentId: string | null): TExpr[];
     private loadInitialExpressions;
     /**
-     * Simulates the collapse chain that would result from removing an expression.
-     * Throws if any promotion would violate nesting or root-only rules.
+     * Pre-flight before {@link removeExpression} mutates state. As of v1.0
+     * the only structural failure mode for `removeAndPromote`'s 1-child
+     * branch is the root-only-operator promotion rule (S-5): an
+     * `implies`/`iff` child cannot be promoted into a non-root slot. The
+     * pre-v1.0 P-1 promote-on-remove check was deleted in D2 along with
+     * the rest of the `grammarConfig.enforceFormulaBetweenOperators`
+     * machinery; the legacy `collapseEmptyFormula` cascade simulation
+     * (`simulateCollapseChain` / `simulatePostPromotionCollapse`) was
+     * deleted in lockstep — AN-3 (post-mutation hook in assistive mode)
+     * handles every collapse case.
      */
     private assertRemovalSafe;
     /**
      * Checks whether promoting `child` into a slot with the given `newParentId`
-     * would violate the nesting rule or root-only rule.
+     * would violate the root-only rule (S-5). The pre-v1.0 nesting check
+     * (P-1 / `enforceFormulaBetweenOperators`) was deleted in D2.
      */
     private assertPromotionSafe;
-    /**
-     * Walks the collapse chain starting from `operatorId` after `removedChildId`
-     * is removed. At each level: if 0 remaining children, operator/formula is deleted
-     * and chain continues up. If 1 remaining child, check promotion safety.
-     */
-    private simulateCollapseChain;
-    /**
-     * After an operator promotion places `promotedChild` into `parentId`'s child set,
-     * check whether the parent (if a formula) would itself collapse. Formula collapse
-     * promotion is always safe (the child can't be a binary operator or root-only operator),
-     * but we need to continue the simulation chain.
-     */
-    private simulatePostPromotionCollapse;
     private assertChildLimit;
     private reparent;
     /**
@@ -282,6 +247,36 @@ export declare class ExpressionManager<TExpr extends TCorePropositionalExpressio
      * Reparents an expression to a new parent at a given position.
      */
     reparentExpression(expressionId: string, newParentId: string | null, newPosition: number): void;
+    /**
+     * Inserts a new `formula` node between an existing expression and
+     * its current parent atomically. The formula takes the child's
+     * original slot (parentId + position); the child becomes the
+     * formula's sole child at position 0.
+     *
+     * Used by the native AN-1 (formula-buffer insertion) pass in
+     * `src/lib/grammar/an-rules.ts` per spec §5.1. Composing this from
+     * `addExpression` + `reparentExpression` is not possible without
+     * trip-wires: `addExpression(formula, parent, childPosition)` would
+     * throw S-9 (child still occupies that slot), and `assertChildLimit`
+     * would reject the extra child under unary `not` parents and binary
+     * `implies`/`iff` parents even transiently. This primitive sidesteps
+     * both: the net child count of the parent is unchanged by the wrap
+     * (the formula displaces the child), so the limit isn't actually
+     * violated, just transiently if expressed via two atomic mutations.
+     *
+     * Generates the formula's id via the caller-supplied `formulaId`
+     * parameter so the caller (PE) can plug in the engine's
+     * `idGenerator` rather than this manager minting one internally —
+     * keeps id provenance explicit at the PE boundary.
+     *
+     * The new formula inherits the source child's `argumentId`,
+     * `argumentVersion`, and `premiseId` automatically.
+     *
+     * @throws If `childId` does not exist.
+     * @throws If `childId` is at the root (`parentId === null`) — there
+     *         is no operator parent to insert a buffer beneath.
+     */
+    wrapInFormula(childId: string, formulaId: string): void;
     /**
      * Deletes a single expression that has no children.
      * Does NOT trigger operator collapse. Caller must ensure children
@@ -313,6 +308,6 @@ export declare class ExpressionManager<TExpr extends TCorePropositionalExpressio
     /** Returns a serializable snapshot of the current state. */
     snapshot(): TExpressionManagerSnapshot<TExpr>;
     /** Creates a new ExpressionManager from a previously captured snapshot. */
-    static fromSnapshot<TExpr extends TCorePropositionalExpression = TCorePropositionalExpression>(snapshot: TExpressionManagerSnapshot<TExpr>, grammarConfig?: TGrammarConfig, generateId?: () => string): ExpressionManager<TExpr>;
+    static fromSnapshot<TExpr extends TCorePropositionalExpression = TCorePropositionalExpression>(snapshot: TExpressionManagerSnapshot<TExpr>, generateId?: () => string): ExpressionManager<TExpr>;
 }
 //# sourceMappingURL=expression-manager.d.ts.map

package/dist/lib/core/expression-manager.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"expression-manager.d.ts","sourceRoot":"","sources":["../../../src/lib/core/expression-manager.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,wBAAwB,EACxB,4BAA4B,EAC/B,MAAM,sBAAsB,CAAA;AAE7B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAQ5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAO/D,OAAO,EAGH,KAAK,cAAc,EACtB,MAAM,qBAAqB,CAAA;AAE5B,OAAO,KAAK,EAER,0BAA0B,EAC7B,MAAM,wBAAwB,CAAA;AAe/B,MAAM,MAAM,gBAAgB,CACxB,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,IACzE,KAAK,SAAS,MAAM,CAAC,GACnB,CAAC,SAAS,4BAA4B,GAClC,IAAI,CAAC,CAAC,EAAE,UAAU,GAAG,oBAAoB,GAAG,kBAAkB,CAAC,GAC/D,KAAK,GACT,KAAK,CAAA;AAEX,MAAM,MAAM,0BAA0B,CAClC,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,IACzE,KAAK,SAAS,MAAM,CAAC,GACnB,CAAC,SAAS,4BAA4B,GAClC,IAAI,CACA,CAAC,EACC,UAAU,GACV,UAAU,GACV,oBAAoB,GACpB,kBAAkB,CACvB,GACD,KAAK,GACT,KAAK,CAAA;AAEX,MAAM,MAAM,0BAA0B,CAClC,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,IACzE;IACA,WAAW,EAAE,KAAK,EAAE,CAAA;IACpB,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED,4DAA4D;AAC5D,MAAM,MAAM,iBAAiB,GAAG;IAC5B,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,EAAE,wBAAwB,CAAA;CACtC,CAAA;AASD;;;;;;;;;;GAUG;AACH,qBAAa,iBAAiB,CAC1B,KAAK,SAAS,4BAA4B,GAAG,4BAA4B;IAEzE,OAAO,CAAC,WAAW,CAAoB;IACvC,OAAO,CAAC,4BAA4B,CAAiC;IACrE,OAAO,CAAC,wBAAwB,CAAiC;IACjE,OAAO,CAAC,cAAc,CAAqB;IAC3C,OAAO,CAAC,MAAM,CAAC,CAAqB;IACpC,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,SAAS,CAA+B;IAChD,OAAO,CAAC,kBAAkB,CAAoB;IAE9C,YAAY,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI,GAAG,IAAI;IAIrD;;;;;OAKG;IACH,gBAAgB,CAAC,aAAa,EAAE,cAAc,GAAG,IAAI;gBAIzC,MAAM,CAAC,EAAE,mBAAmB;IASxC,OAAO,KAAK,aAAa,GAExB;IAED,OAAO,CAAC,cAAc;IAgBtB;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;IAqB1B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,qBAAqB;IAoC7B;;;;;;;;OAQG;IACH,OAAO,CAAC,gBAAgB;IAYxB;;;;OAIG;IACI,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAUhD;;;;OAIG;IACI,wBAAwB,IAAI,IAAI;IA6EvC;;;OAGG;IACI,wBAAwB,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI;IAM9D,qEAAqE;IAC9D,OAAO,IAAI,KAAK,EAAE;IAMzB;;;;;;;;;OASG;IACI,aAAa,CAAC,KAAK,EAAE,gBAAgB,CAAC,KAAK,CAAC;IAyGnD;;;;;;OAMG;IACI,gBAAgB,CACnB,QAAQ,EAAE,MAAM,GAAG,IAAI,EACvB,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,IAAI;IAuCP;;;;OAIG;IACI,qBAAqB,CACxB,SAAS,EAAE,MAAM,EACjB,gBAAgB,EAAE,QAAQ,GAAG,OAAO,EACpC,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,IAAI;IAyFP;;;;;;;;;;;;;;;;OAgBG;IACI,gBAAgB,CACnB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GAC3B,KAAK;IAyGR;;;;;;;;;;;;;;;;OAgBG;IACI,gBAAgB,CACnB,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,OAAO,GACvB,KAAK,GAAG,SAAS;IAgBpB,OAAO,CAAC,aAAa;IA4CrB,OAAO,CAAC,gBAAgB;IA2GxB;;;OAGG;IACH,OAAO,CAAC,YAAY;IAgEpB;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IA0H1B,OAAO,CAAC,gBAAgB;IAsGxB;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IAMlC;;;;;;;;OAQG;IACH,OAAO,CAAC,kBAAkB;IAqG1B;;;;OAIG;IACH,OAAO,CAAC,iCAAiC;IAiBzC;;;;;;;;;;;OAWG;IACI,SAAS,IAAI,IAAI;IAuKxB,qFAAqF;IAC9E,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAYxD,6EAA6E;IACtE,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAI7D,oEAAoE;IAC7D,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,KAAK,EAAE;IAiB5D,OAAO,CAAC,sBAAsB;IAQ9B;;;OAGG;IACH,OAAO,CAAC,iBAAiB;IAmCzB;;;OAGG;IACH,OAAO,CAAC,mBAAmB;IA6B3B;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IA6C7B;;;;;OAKG;IACH,OAAO,CAAC,6BAA6B;IAqBrC,OAAO,CAAC,gBAAgB;IAmBxB,OAAO,CAAC,QAAQ;IA8ChB;;;;;;;;;;;;;;;;;;OAkBG;IACI,gBAAgB,CACnB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,EACnC,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,IAAI;IAsRP;;;;;;;;;;;;;;;;;;;OAmBG;IACI,cAAc,CACjB,QAAQ,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC3C,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC7C,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,IAAI;IA+QP;;OAEG;IACI,kBAAkB,CACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,GAAG,IAAI,EAC1B,WAAW,EAAE,MAAM,GACpB,IAAI;IAQP;;;;OAIG;IACI,gBAAgB,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IA2BhE;;;;;OAKG;IACI,kBAAkB,CACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,wBAAwB,GACtC,KAAK;IAyCR;;;OAGG;IACI,eAAe,CAAC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI;IAIpE;;;;;;;;OAQG;IACI,QAAQ,IAAI,0BAA0B;IAgN7C,4DAA4D;IACrD,QAAQ,IAAI,0BAA0B,CAAC,KAAK,CAAC;IAcpD,2EAA2E;WAC7D,YAAY,CACtB,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAEhC,QAAQ,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC3C,aAAa,CAAC,EAAE,cAAc,EAC9B,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,iBAAiB,CAAC,KAAK,CAAC;CA4B9B"}
+{"version":3,"file":"expression-manager.d.ts","sourceRoot":"","sources":["../../../src/lib/core/expression-manager.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,wBAAwB,EACxB,4BAA4B,EAC/B,MAAM,sBAAsB,CAAA;AAE7B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAE5D,OAAO,EAEH,KAAK,mBAAmB,EAE3B,MAAM,sBAAsB,CAAA;AAE7B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAQ/D,OAAO,KAAK,EAER,0BAA0B,EAC7B,MAAM,wBAAwB,CAAA;AAgB/B,MAAM,MAAM,gBAAgB,CACxB,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,IACzE,KAAK,SAAS,MAAM,CAAC,GACnB,CAAC,SAAS,4BAA4B,GAClC,IAAI,CAAC,CAAC,EAAE,UAAU,GAAG,oBAAoB,GAAG,kBAAkB,CAAC,GAC/D,KAAK,GACT,KAAK,CAAA;AAEX,MAAM,MAAM,0BAA0B,CAClC,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,IACzE,KAAK,SAAS,MAAM,CAAC,GACnB,CAAC,SAAS,4BAA4B,GAClC,IAAI,CACA,CAAC,EACC,UAAU,GACV,UAAU,GACV,oBAAoB,GACpB,kBAAkB,CACvB,GACD,KAAK,GACT,KAAK,CAAA;AAEX,MAAM,MAAM,0BAA0B,CAClC,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,IACzE;IACA,WAAW,EAAE,KAAK,EAAE,CAAA;IACpB,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED,4DAA4D;AAC5D,MAAM,MAAM,iBAAiB,GAAG;IAC5B,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,EAAE,wBAAwB,CAAA;CACtC,CAAA;AASD;;;;;;;;;;GAUG;AACH,qBAAa,iBAAiB,CAC1B,KAAK,SAAS,4BAA4B,GAAG,4BAA4B;IAEzE,OAAO,CAAC,WAAW,CAAoB;IACvC,OAAO,CAAC,4BAA4B,CAAiC;IACrE,OAAO,CAAC,wBAAwB,CAAiC;IACjE,OAAO,CAAC,cAAc,CAAqB;IAC3C,OAAO,CAAC,MAAM,CAAC,CAAqB;IACpC,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,SAAS,CAA+B;IAChD,OAAO,CAAC,kBAAkB,CAAoB;IAE9C,YAAY,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI,GAAG,IAAI;gBAIzC,MAAM,CAAC,EAAE,mBAAmB;IASxC;;;;;;;;OAQG;IACI,iBAAiB,IAAI,mBAAmB;IAI/C,OAAO,CAAC,cAAc;IAgBtB;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;IAqB1B;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,qBAAqB;IAoC7B;;;;;;;;OAQG;IACH,OAAO,CAAC,gBAAgB;IAYxB;;;;OAIG;IACI,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAUhD;;;;OAIG;IACI,wBAAwB,IAAI,IAAI;IA6EvC;;;OAGG;IACI,wBAAwB,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI;IAM9D,qEAAqE;IAC9D,OAAO,IAAI,KAAK,EAAE;IAMzB;;;;;;;;;OASG;IACI,aAAa,CAAC,KAAK,EAAE,gBAAgB,CAAC,KAAK,CAAC;IA0EnD;;;;;;OAMG;IACI,gBAAgB,CACnB,QAAQ,EAAE,MAAM,GAAG,IAAI,EACvB,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,IAAI;IAoCP;;;;OAIG;IACI,qBAAqB,CACxB,SAAS,EAAE,MAAM,EACjB,gBAAgB,EAAE,QAAQ,GAAG,OAAO,EACpC,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,IAAI;IA2EP;;;;;;;;;;;;;;;;OAgBG;IACI,gBAAgB,CACnB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GAC3B,KAAK;IAyGR;;;;;;;;;;;;;;;;;;;OAmBG;IACI,gBAAgB,CACnB,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,OAAO,GACvB,KAAK,GAAG,SAAS;IAgBpB,OAAO,CAAC,aAAa;IA+CrB,OAAO,CAAC,gBAAgB;IA0GxB;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IA0I1B,qFAAqF;IAC9E,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAYxD,6EAA6E;IACtE,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAI7D,oEAAoE;IAC7D,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,KAAK,EAAE;IAiB5D,OAAO,CAAC,sBAAsB;IAQ9B;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,iBAAiB;IAezB;;;;OAIG;IACH,OAAO,CAAC,mBAAmB;IAiB3B,OAAO,CAAC,gBAAgB;IAmBxB,OAAO,CAAC,QAAQ;IA8ChB;;;;;;;;;;;;;;;;;;OAkBG;IACI,gBAAgB,CACnB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,EACnC,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,IAAI;IA0LP;;;;;;;;;;;;;;;;;;;OAmBG;IACI,cAAc,CACjB,QAAQ,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC3C,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC7C,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,IAAI;IAoKP;;OAEG;IACI,kBAAkB,CACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,GAAG,IAAI,EAC1B,WAAW,EAAE,MAAM,GACpB,IAAI;IAQP;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACI,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI;IA0D9D;;;;OAIG;IACI,gBAAgB,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IA2BhE;;;;;OAKG;IACI,kBAAkB,CACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,wBAAwB,GACtC,KAAK;IA0CR;;;OAGG;IACI,eAAe,CAAC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI;IAIpE;;;;;;;;OAQG;IACI,QAAQ,IAAI,0BAA0B;IAsM7C,4DAA4D;IACrD,QAAQ,IAAI,0BAA0B,CAAC,KAAK,CAAC;IAcpD,2EAA2E;WAC7D,YAAY,CACtB,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAEhC,QAAQ,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC3C,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,iBAAiB,CAAC,KAAK,CAAC;CA0B9B"}