@proposit/proposit-core 0.12.1 → 1.0.0

package/dist/lib/core/proposit-core.d.ts

@@ -1,6 +1,6 @@
-import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreClaimAxiom } from "../schemata/index.js";
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
 import type { TCoreClaim } from "../schemata/claim.js";
-import type { TCoreClaimCitation } from "../schemata/claim-citation.js";
+import type { TCoreClaimConnection } from "../schemata/claim-connection.js";
 import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord } from "../schemata/fork.js";
 import type { TPropositCoreSnapshot, TPropositCoreConfig } from "./interfaces/library.interfaces.js";
 import type { TInvariantValidationResult } from "../types/validation.js";
@@ -18,7 +18,7 @@ import { ForkLibrary } from "./fork-library.js";
  * library instance is provided, it is used directly; otherwise a new one
  * is constructed using the shared config.
  */
-export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TAxiom extends TCoreClaimAxiom = TCoreClaimAxiom, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = TPropositCoreConfig & {
+export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimConnection = TCoreClaimConnection, TAxiom extends TCoreClaimConnection = TCoreClaimConnection, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = TPropositCoreConfig & {
     /** Pre-constructed claim library instance. */
     claimLibrary?: ClaimLibrary<TClaim>;
     /** Pre-constructed claim-citation library instance. */
@@ -43,7 +43,7 @@ export type TPropositCoreOptions<TArg extends TCoreArgument = TCoreArgument, TPr
  * claims with `type: "citation"`. As of v0.12.0 a parallel `axioms` library
  * holds axiomatic-claim connections (a third claim type `"axiomatic"`).
  */
-export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TAxiom extends TCoreClaimAxiom = TCoreClaimAxiom, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> {
+export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimConnection = TCoreClaimConnection, TAxiom extends TCoreClaimConnection = TCoreClaimConnection, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> {
     readonly claims: ClaimLibrary<TClaim>;
     readonly citations: ClaimCitationLibrary<TCitation>;
     readonly axioms: ClaimAxiomLibrary<TAxiom>;
@@ -65,7 +65,7 @@ export declare class PropositCore<TArg extends TCoreArgument = TCoreArgument, TP
      * @param config - Optional shared configuration for the restored instance.
      * @returns A fully restored `PropositCore` instance.
      */
-    static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TAxiom extends TCoreClaimAxiom = TCoreClaimAxiom, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord>(snapshot: TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>, config?: TPropositCoreConfig): PropositCore<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
+    static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimConnection = TCoreClaimConnection, TAxiom extends TCoreClaimConnection = TCoreClaimConnection, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord>(snapshot: TPropositCoreSnapshot<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>, config?: TPropositCoreConfig): PropositCore<TArg, TPremise, TExpr, TVar, TClaim, TCitation, TAxiom, TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
     /**
      * Runs invariant validation across all managed libraries and merges
      * the results.

package/dist/lib/core/proposit-core.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"proposit-core.d.ts","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EAEZ,4BAA4B,EAC5B,0BAA0B,EAC1B,eAAe,EAClB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AACvE,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EACR,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAK/B,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAE3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAqB,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAK/C;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAC5B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EACzD,MAAM,SAAS,eAAe,GAAG,eAAe,EAChD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D,mBAAmB,GAAG;IACtB,8CAA8C;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IACnC,uDAAuD;IACvD,oBAAoB,CAAC,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACtD,oDAAoD;IACpD,iBAAiB,CAAC,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC7C,6CAA6C;IAC7C,WAAW,CAAC,EAAE,WAAW,CACrB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,iDAAiD;IACjD,eAAe,CAAC,EAAE,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CACzE,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,YAAY,CACrB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EACzD,MAAM,SAAS,eAAe,GAAG,eAAe,EAChD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB;IAE9D,SAAgB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,SAAgB,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IAC1D,SAAgB,MAAM,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IACjD,SAAgB,KAAK,EAAE,WAAW,CAC9B,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,SAAgB,SAAS,EAAE,eAAe,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,CACT,CAAA;IACD,SAAS,CAAC,UAAU,EAAE,MAAM,MAAM,CAAA;gBAG9B,OAAO,CAAC,EAAE,oBAAoB,CAC1B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IA6CL;;;OAGG;IACI,QAAQ,IAAI,qBAAqB,CACpC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAUD;;;;;;;;OAQG;WACW,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EACzD,MAAM,SAAS,eAAe,GAAG,eAAe,EAChD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAE9D,QAAQ,EAAE,qBAAqB,CAC3B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,EACD,MAAM,CAAC,EAAE,mBAAmB,GAC7B,YAAY,CACX,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAkGD;;;;;OAKG;IACI,QAAQ,IAAI,0BAA0B;IAW7C;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAU,EAAE,MAAM,EAClB,aAAa,CAAC,EAAE,MAAM,EACtB,OAAO,CAAC,EAAE,oBAAoB,GAAG;QAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,iBAAiB,CAAC,EAAE,OAAO,CACvB,IAAI,CAAC,YAAY,EAAE,MAAM,sBAAsB,CAAC,CACnD,CAAA;QACD,oBAAoB,CAAC,EAAE,OAAO,CAC1B,IAAI,CAAC,SAAS,EAAE,MAAM,yBAAyB,CAAC,CACnD,CAAA;QACD,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,eAAe,CAAC,EAAE,OAAO,CACrB,IAAI,CAAC,UAAU,EAAE,MAAM,oBAAoB,CAAC,CAC/C,CAAA;KACJ,GACF;QACC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QAC3D,UAAU,EAAE,eAAe,CAAA;QAC3B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/B,YAAY,EAAE,QAAQ,CAAA;KACzB;IA+QD;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC;CAiCpD"}
+{"version":3,"file":"proposit-core.d.ts","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EAEZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EACR,qBAAqB,EACrB,mBAAmB,EACtB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAK/B,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAE3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAqB,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAK/C;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,CAC5B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D,mBAAmB,GAAG;IACtB,8CAA8C;IAC9C,YAAY,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IACnC,uDAAuD;IACvD,oBAAoB,CAAC,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IACtD,oDAAoD;IACpD,iBAAiB,CAAC,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC7C,6CAA6C;IAC7C,WAAW,CAAC,EAAE,WAAW,CACrB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,iDAAiD;IACjD,eAAe,CAAC,EAAE,eAAe,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CACzE,CAAA;AAED;;;;;;;;;;;;GAYG;AACH,qBAAa,YAAY,CACrB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB;IAE9D,SAAgB,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAC5C,SAAgB,SAAS,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;IAC1D,SAAgB,MAAM,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAA;IACjD,SAAgB,KAAK,EAAE,WAAW,CAC9B,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD,SAAgB,SAAS,EAAE,eAAe,CACtC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,CACT,CAAA;IACD,SAAS,CAAC,UAAU,EAAE,MAAM,MAAM,CAAA;gBAG9B,OAAO,CAAC,EAAE,oBAAoB,CAC1B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IA6CL;;;OAGG;IACI,QAAQ,IAAI,qBAAqB,CACpC,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAUD;;;;;;;;OAQG;WACW,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAE9D,QAAQ,EAAE,qBAAqB,CAC3B,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,EACD,MAAM,CAAC,EAAE,mBAAmB,GAC7B,YAAY,CACX,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,EACJ,MAAM,EACN,SAAS,EACT,MAAM,EACN,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb;IAkGD;;;;;OAKG;IACI,QAAQ,IAAI,0BAA0B;IAW7C;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAU,EAAE,MAAM,EAClB,aAAa,CAAC,EAAE,MAAM,EACtB,OAAO,CAAC,EAAE,oBAAoB,GAAG;QAC7B,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,iBAAiB,CAAC,EAAE,OAAO,CACvB,IAAI,CAAC,YAAY,EAAE,MAAM,sBAAsB,CAAC,CACnD,CAAA;QACD,oBAAoB,CAAC,EAAE,OAAO,CAC1B,IAAI,CAAC,SAAS,EAAE,MAAM,yBAAyB,CAAC,CACnD,CAAA;QACD,kBAAkB,CAAC,EAAE,OAAO,CACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,uBAAuB,CAAC,CAChD,CAAA;QACD,eAAe,CAAC,EAAE,OAAO,CACrB,IAAI,CAAC,UAAU,EAAE,MAAM,oBAAoB,CAAC,CAC/C,CAAA;KACJ,GACF;QACC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QAC3D,UAAU,EAAE,eAAe,CAAA;QAC3B,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/B,YAAY,EAAE,QAAQ,CAAA;KACzB;IAmRD;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC;CAiCpD"}

package/dist/lib/core/proposit-core.js

@@ -53,7 +53,7 @@ export class PropositCore {
                 }, {
                     checksumConfig: options?.checksumConfig,
                     positionConfig: options?.positionConfig,
-                    grammarConfig: options?.grammarConfig,
+                    behavior: options?.behavior,
                     generateId: this.generateId,
                 });
     }
@@ -118,7 +118,7 @@ export class PropositCore {
         }, {
             checksumConfig: config?.checksumConfig,
             positionConfig: config?.positionConfig,
-            grammarConfig: config?.grammarConfig,
+            behavior: config?.behavior,
             generateId: config?.generateId,
         });
         const core = new PropositCore({
@@ -274,6 +274,16 @@ export class PropositCore {
         });
         // Step 7: Remap claim references
         const snap = forkedEngine.snapshot();
+        // D5 — `engine.snapshot()` deliberately omits `behavior` from the
+        // serialized config (see the comment in `ArgumentEngine.snapshot()`),
+        // so the upcoming `fromSnapshot` rebuild would otherwise reset the
+        // forked engine to the default `'assistive'`. Carry the behavior
+        // forward explicitly here, mirroring what `forkArgumentEngine`
+        // does internally.
+        snap.config = {
+            ...snap.config,
+            behavior: forkedEngine.behavior,
+        };
         snap.variables.variables = snap.variables.variables.map((v) => {
             if (isClaimBound(v)) {
                 const clonedClaimId = claimRemap.get(v.claimId);
@@ -301,7 +311,7 @@ export class PropositCore {
                 }
             }
         }
-        const finalEngine = ArgumentEngine.fromSnapshot(snap, this.claims, snap.config?.grammarConfig, "ignore", this.generateId);
+        const finalEngine = ArgumentEngine.fromSnapshot(snap, this.claims, "ignore", this.generateId);
         // Step 8: Register engine
         this.arguments.register(finalEngine);
         // Step 9: Create fork records

package/dist/lib/core/proposit-core.js.map

@@ -1 +1 @@
-{"version":3,"file":"proposit-core.js","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAyBA,OAAO,EACH,2BAA2B,EAC3B,yBAAyB,GAC5B,MAAM,wBAAwB,CAAA;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,aAAa,IAAI,uBAAuB,EAAE,MAAM,WAAW,CAAA;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAwCxE;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,YAAY;IAcL,MAAM,CAAsB;IAC5B,SAAS,CAAiC;IAC1C,MAAM,CAA2B;IACjC,KAAK,CAMpB;IACe,SAAS,CAMxB;IACS,UAAU,CAAc;IAElC,YACI,OAaC;QAED,IAAI,CAAC,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAE1D,MAAM,YAAY,GAAG,OAAO,EAAE,cAAc;YACxC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE;YAC5C,CAAC,CAAC,SAAS,CAAA;QAEf,qEAAqE;QACrE,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,YAAY,IAAI,IAAI,YAAY,CAAS,YAAY,CAAC,CAAA;QAEnE,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,oBAAoB;gBAC7B,IAAI,oBAAoB,CAAY,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QAElE,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,iBAAiB;gBAC1B,IAAI,iBAAiB,CAAS,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QAE5D,IAAI,CAAC,KAAK;YACN,OAAO,EAAE,WAAW;gBACpB,IAAI,WAAW,EAMZ,CAAA;QAEP,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,eAAe;gBACxB,IAAI,eAAe,CACf;oBACI,YAAY,EAAE,IAAI,CAAC,MAAM;iBAC5B,EACD;oBACI,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,aAAa,EAAE,OAAO,EAAE,aAAa;oBACrC,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CACJ,CAAA;IACT,CAAC;IAED;;;OAGG;IACI,QAAQ;QAcX,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;SAC/B,CAAA;IACL,CAAC;IAED;;;;;;;;OAQG;IACI,MAAM,CAAC,YAAY,CAetB,QAaC,EACD,MAA4B;QAe5B,0EAA0E;QAC1E,wEAAwE;QACxE,yEAAyE;QACzE,kBAAkB;QAClB,MAAM,GAAG,GAAG,QAA8C,CAAA;QAC1D,IAAI,gBAAgB,IAAI,GAAG,EAAE,CAAC;YAC1B,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,GAAG,2BAA2B,4FAA4F;oBACnI,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,YAAY;iBACzB;aACJ,CAAC,CAAA;QACN,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG,yBAAyB,8FAA8F;oBACnI,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,YAAY;iBACzB;aACJ,CAAC,CAAA;QACN,CAAC;QAED,MAAM,YAAY,GAAG,MAAM,EAAE,cAAc;YACvC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE;YAC3C,CAAC,CAAC,SAAS,CAAA;QAEf,qEAAqE;QACrE,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,CACpC,QAAQ,CAAC,MAAM,EACf,YAAY,CACf,CAAA;QACD,MAAM,SAAS,GAAG,oBAAoB,CAAC,YAAY,CAC/C,QAAQ,CAAC,SAAS,EAClB,MAAM,EACN,YAAY,CACf,CAAA;QACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,YAAY,CACzC,QAAQ,CAAC,MAAM,EACf,MAAM,EACN,YAAY,CACf,CAAA;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,YAAY,CAMpC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACjB,MAAM,iBAAiB,GAAG,eAAe,CAAC,YAAY,CAOlD,QAAQ,CAAC,SAAS,EAClB;YACI,YAAY,EAAE,MAAM;SACvB,EACD;YACI,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,aAAa,EAAE,MAAM,EAAE,aAAa;YACpC,UAAU,EAAE,MAAM,EAAE,UAAU;SACjC,CACJ,CAAA;QAED,MAAM,IAAI,GAAG,IAAI,YAAY,CAa3B;YACE,YAAY,EAAE,MAAM;YACpB,oBAAoB,EAAE,SAAS;YAC/B,iBAAiB,EAAE,MAAM;YACzB,WAAW,EAAE,KAAK;YAClB,eAAe,EAAE,iBAAiB;SACrC,CAAC,CAAA;QAEF,IAAI,CAAC,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAEzD,OAAO,IAAI,CAAA;IACf,CAAC;IAED;;;;;OAKG;IACI,QAAQ;QACX,MAAM,UAAU,GAA0B;YACtC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;YACvC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU;YACnC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;SAC1C,CAAA;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAkB,EAClB,aAAsB,EACtB,OAiBC;QAOD,iCAAiC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,iCAAiC,CAC3D,CAAA;QACL,CAAC;QAED,wBAAwB;QACxB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,qBAAqB,UAAU,mBAAmB,CAAC,CAAA;QACvE,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;QACtC,MAAM,qBAAqB,GAAG,aAAa,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAChE,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAEnD,iEAAiE;QACjE,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAClD,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;gBAC5C,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;QAED,gEAAgE;QAChE,mEAAmE;QACnE,iEAAiE;QACjE,mEAAmE;QACnE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC5C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;QACjD,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACjC,CAAC;QACL,CAAC;QAED,oEAAoE;QACpE,oEAAoE;QACpE,sEAAsE;QACtE,aAAa;QACb,MAAM,gBAAgB,GAAgB,EAAE,CAAA;QACxC,MAAM,aAAa,GAAa,EAAE,CAAA;QAClC,oFAAoF;QACpF,8EAA8E;QAC9E,MAAM,kBAAkB,GAAa,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;QAC/D,OAAO,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,EAAG,CAAA;YAE3C,MAAM,iBAAiB,GACnB,IAAI,CAAC,SAAS,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;YACpD,KAAK,MAAM,QAAQ,IAAI,iBAAiB,EAAE,CAAC;gBACvC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAClD,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAA;oBAC9C,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAA;gBACvD,CAAC;YACL,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;YACpE,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;gBACjC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACzB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC/C,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;oBAC3C,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;gBACpD,CAAC;YACL,CAAC;QACL,CAAC;QAED,2CAA2C;QAC3C,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAA;YAC5D,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CACX,UAAU,eAAe,8BAA8B,CAC1D,CAAA;YACL,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;YAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;YACpC,MAAM,EACF,EAAE,EAAE,GAAG,EACP,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,SAAS,EACf,GAAG,YAAuC,CAAA;YAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACf,GAAG,SAAS;gBACZ,EAAE,EAAE,UAAU;aACkC,CAAC,CAAA;YACrD,UAAU,CAAC,GAAG,CAAC,eAAe,EAAE,UAAU,CAAC,CAAA;QAC/C,CAAC;QAED,yDAAyD;QACzD,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;YACtC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YACxD,MAAM,oBAAoB,GAAG,UAAU,CAAC,GAAG,CACvC,QAAQ,CAAC,iBAAiB,CAC7B,CAAA;YACD,IAAI,CAAC,eAAe,IAAI,CAAC,oBAAoB;gBAAE,SAAQ;YACvD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;gBACf,GAAG,QAAQ;gBACX,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;gBACrB,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,CAAC;gBACf,iBAAiB,EAAE,oBAAoB;gBACvC,sBAAsB,EAAE,CAAC;aACG,CAAC,CAAA;QACrC,CAAC;QAED,uDAAuD;QACvD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAChC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACrD,MAAM,oBAAoB,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;YACpE,IAAI,CAAC,eAAe,IAAI,CAAC,oBAAoB;gBAAE,SAAQ;YACvD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;gBACZ,GAAG,KAAK;gBACR,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;gBACrB,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,CAAC;gBACf,iBAAiB,EAAE,oBAAoB;gBACvC,sBAAsB,EAAE,CAAC;aACA,CAAC,CAAA;QAClC,CAAC;QAED,sBAAsB;QACtB,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,kBAAkB,CAO3D,MAAM,EACN,qBAAqB,EACrB;YACI,YAAY,EAAE,IAAI,CAAC,MAAM;SAC5B,EACD;YACI,GAAG,OAAO;YACV,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC,UAAU;SACrD,CACJ,CAAA;QAED,iCAAiC;QACjC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACpC,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1D,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAC/C,IAAI,aAAa,EAAE,CAAC;oBAChB,OAAO;wBACH,GAAG,CAAC;wBACJ,OAAO,EAAE,aAAa;wBACtB,YAAY,EAAE,CAAC;qBACN,CAAA;gBACjB,CAAC;YACL,CAAC;YACD,OAAO,CAAC,CAAA;QACZ,CAAC,CAAC,CAAA;QAEF,8CAA8C;QAC9C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAuB,CAAA;YAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAChC,MAAM,sBAAsB,GACxB,OACH,CAAC,cAAc,CAAA;gBAChB,MAAM,sBAAsB,GAAG,UAAU,CAAC,GAAG,CACzC,sBAAsB,CACzB,CAAA;gBACD,IAAI,sBAAsB,EAAE,CAAC;oBACzB,EAAE,CAAC,OAAO,GAAG;wBACT,GAAG,EAAE,CAAC,OAAO;wBACb,cAAc,EAAE,sBAAsB;qBACpB,CAAA;gBAC1B,CAAC;YACL,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAG,cAAc,CAAC,YAAY,CAO3C,IAAI,EACJ,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,MAAM,EAAE,aAAa,EAC1B,QAAQ,EACR,IAAI,CAAC,UAAU,CAClB,CAAA;QAED,0BAA0B;QAC1B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAEpC,8BAA8B;QAE9B,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7C,QAAQ,EAAE,qBAAqB;YAC/B,kBAAkB,EAAE,SAAS,CAAC,EAAE;YAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;YAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;YAC5C,MAAM;YACN,GAAG,OAAO,EAAE,kBAAkB;SACrB,CAAC,CAAA;QAEd,uBAAuB;QACvB,KAAK,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC7D,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACvB,QAAQ,EAAE,YAAY;gBACtB,kBAAkB,EAAE,YAAY;gBAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,iBAAiB;aAChB,CAAC,CAAA;QACtB,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;gBAC1B,QAAQ,EAAE,SAAS;gBACnB,kBAAkB,EAAE,SAAS;gBAC7B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,mBAAmB,EAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE;gBACrD,GAAG,OAAO,EAAE,oBAAoB;aACtB,CAAC,CAAA;QACnB,CAAC;QAED,wBAAwB;QACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACtD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;gBACxB,QAAQ,EAAE,QAAQ;gBAClB,kBAAkB,EAAE,QAAQ;gBAC5B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,kBAAkB;aACrB,CAAC,CAAA;QAClB,CAAC;QAED,qBAAqB;QACrB,KAAK,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YACxD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;gBACrB,QAAQ,EAAE,aAAa;gBACvB,kBAAkB,EAAE,eAAe;gBACnC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,uBAAuB,EAAE,eAAe,CAAC,GAAG,CAAC,eAAe,CAAE;gBAC9D,GAAG,OAAO,EAAE,eAAe;aAChB,CAAC,CAAA;QACpB,CAAC;QAED,kBAAkB;QAClB,OAAO;YACH,MAAM,EAAE,WAAW;YACnB,UAAU;YACV,UAAU;YACV,YAAY;SACf,CAAA;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAmB,EACnB,WAAmB,EACnB,OAAuD;QAEvD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QAED,8CAA8C;QAC9C,MAAM,kBAAkB,GAAG,CAAC,CAAW,EAAE,CAAW,EAAW,EAAE;YAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC5C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,mBAAmB,GAAG,CAAC,CAAO,EAAE,CAAO,EAAW,EAAE;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC7C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,qBAAqB,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE;YAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC/C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QAED,wDAAwD;QACxD,OAAO,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE;YAC7C,GAAG,OAAO;YACV,cAAc,EAAE,OAAO,EAAE,cAAc,IAAI,kBAAkB;YAC7D,eAAe,EAAE,OAAO,EAAE,eAAe,IAAI,mBAAmB;YAChE,iBAAiB,EACb,OAAO,EAAE,iBAAiB,IAAI,qBAAqB;SAC1D,CAAC,CAAA;IACN,CAAC;CACJ"}
+{"version":3,"file":"proposit-core.js","sourceRoot":"","sources":["../../../src/lib/core/proposit-core.ts"],"names":[],"mappings":"AAwBA,OAAO,EACH,2BAA2B,EAC3B,yBAAyB,GAC5B,MAAM,wBAAwB,CAAA;AAG/B,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,aAAa,IAAI,uBAAuB,EAAE,MAAM,WAAW,CAAA;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAwCxE;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,YAAY;IAcL,MAAM,CAAsB;IAC5B,SAAS,CAAiC;IAC1C,MAAM,CAA2B;IACjC,KAAK,CAMpB;IACe,SAAS,CAMxB;IACS,UAAU,CAAc;IAElC,YACI,OAaC;QAED,IAAI,CAAC,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAE1D,MAAM,YAAY,GAAG,OAAO,EAAE,cAAc;YACxC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE;YAC5C,CAAC,CAAC,SAAS,CAAA;QAEf,qEAAqE;QACrE,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,YAAY,IAAI,IAAI,YAAY,CAAS,YAAY,CAAC,CAAA;QAEnE,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,oBAAoB;gBAC7B,IAAI,oBAAoB,CAAY,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QAElE,IAAI,CAAC,MAAM;YACP,OAAO,EAAE,iBAAiB;gBAC1B,IAAI,iBAAiB,CAAS,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QAE5D,IAAI,CAAC,KAAK;YACN,OAAO,EAAE,WAAW;gBACpB,IAAI,WAAW,EAMZ,CAAA;QAEP,IAAI,CAAC,SAAS;YACV,OAAO,EAAE,eAAe;gBACxB,IAAI,eAAe,CACf;oBACI,YAAY,EAAE,IAAI,CAAC,MAAM;iBAC5B,EACD;oBACI,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,cAAc,EAAE,OAAO,EAAE,cAAc;oBACvC,QAAQ,EAAE,OAAO,EAAE,QAAQ;oBAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC9B,CACJ,CAAA;IACT,CAAC;IAED;;;OAGG;IACI,QAAQ;QAcX,OAAO;YACH,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE;YAC9B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE;SAC/B,CAAA;IACL,CAAC;IAED;;;;;;;;OAQG;IACI,MAAM,CAAC,YAAY,CAetB,QAaC,EACD,MAA4B;QAe5B,0EAA0E;QAC1E,wEAAwE;QACxE,yEAAyE;QACzE,kBAAkB;QAClB,MAAM,GAAG,GAAG,QAA8C,CAAA;QAC1D,IAAI,gBAAgB,IAAI,GAAG,EAAE,CAAC;YAC1B,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,GAAG,2BAA2B,4FAA4F;oBACnI,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,YAAY;iBACzB;aACJ,CAAC,CAAA;QACN,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,uBAAuB,CAAC;gBAC9B;oBACI,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,GAAG,yBAAyB,8FAA8F;oBACnI,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,YAAY;iBACzB;aACJ,CAAC,CAAA;QACN,CAAC;QAED,MAAM,YAAY,GAAG,MAAM,EAAE,cAAc;YACvC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE;YAC3C,CAAC,CAAC,SAAS,CAAA;QAEf,qEAAqE;QACrE,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,CACpC,QAAQ,CAAC,MAAM,EACf,YAAY,CACf,CAAA;QACD,MAAM,SAAS,GAAG,oBAAoB,CAAC,YAAY,CAC/C,QAAQ,CAAC,SAAS,EAClB,MAAM,EACN,YAAY,CACf,CAAA;QACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,YAAY,CACzC,QAAQ,CAAC,MAAM,EACf,MAAM,EACN,YAAY,CACf,CAAA;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,YAAY,CAMpC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACjB,MAAM,iBAAiB,GAAG,eAAe,CAAC,YAAY,CAOlD,QAAQ,CAAC,SAAS,EAClB;YACI,YAAY,EAAE,MAAM;SACvB,EACD;YACI,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,cAAc,EAAE,MAAM,EAAE,cAAc;YACtC,QAAQ,EAAE,MAAM,EAAE,QAAQ;YAC1B,UAAU,EAAE,MAAM,EAAE,UAAU;SACjC,CACJ,CAAA;QAED,MAAM,IAAI,GAAG,IAAI,YAAY,CAa3B;YACE,YAAY,EAAE,MAAM;YACpB,oBAAoB,EAAE,SAAS;YAC/B,iBAAiB,EAAE,MAAM;YACzB,WAAW,EAAE,KAAK;YAClB,eAAe,EAAE,iBAAiB;SACrC,CAAC,CAAA;QAEF,IAAI,CAAC,UAAU,GAAG,MAAM,EAAE,UAAU,IAAI,iBAAiB,CAAA;QAEzD,OAAO,IAAI,CAAA;IACf,CAAC;IAED;;;;;OAKG;IACI,QAAQ;QACX,MAAM,UAAU,GAA0B;YACtC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;YACvC,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,UAAU;YACpC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU;YACnC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU;SAC1C,CAAA;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAED;;;;;;;;;;OAUG;IACI,YAAY,CACf,UAAkB,EAClB,aAAsB,EACtB,OAiBC;QAOD,iCAAiC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACX,aAAa,UAAU,iCAAiC,CAC3D,CAAA;QACL,CAAC;QAED,wBAAwB;QACxB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,qBAAqB,UAAU,mBAAmB,CAAC,CAAA;QACvE,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;QACtC,MAAM,qBAAqB,GAAG,aAAa,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAChE,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAA;QAEnD,iEAAiE;QACjE,MAAM,UAAU,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAA;QAClD,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;gBAC5C,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YAChD,CAAC;QACL,CAAC;QAED,gEAAgE;QAChE,mEAAmE;QACnE,iEAAiE;QACjE,mEAAmE;QACnE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC5C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;QACjD,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;QACvC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;QACxC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;YACjC,CAAC;QACL,CAAC;QAED,oEAAoE;QACpE,oEAAoE;QACpE,sEAAsE;QACtE,aAAa;QACb,MAAM,gBAAgB,GAAgB,EAAE,CAAA;QACxC,MAAM,aAAa,GAAa,EAAE,CAAA;QAClC,oFAAoF;QACpF,8EAA8E;QAC9E,MAAM,kBAAkB,GAAa,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;QAC/D,OAAO,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,EAAG,CAAA;YAE3C,MAAM,iBAAiB,GACnB,IAAI,CAAC,SAAS,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;YACpD,KAAK,MAAM,QAAQ,IAAI,iBAAiB,EAAE,CAAC;gBACvC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBAC/B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAClD,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAA;oBAC9C,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAA;gBACvD,CAAC;YACL,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAA;YACpE,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;gBACjC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACzB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,EAAE,CAAC;oBAC/C,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;oBAC3C,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;gBACpD,CAAC;YACL,CAAC;QACL,CAAC;QAED,2CAA2C;QAC3C,KAAK,MAAM,eAAe,IAAI,cAAc,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAA;YAC5D,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CACX,UAAU,eAAe,8BAA8B,CAC1D,CAAA;YACL,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;YAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAA;YACpC,MAAM,EACF,EAAE,EAAE,GAAG,EACP,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,SAAS,EACf,GAAG,YAAuC,CAAA;YAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACf,GAAG,SAAS;gBACZ,EAAE,EAAE,UAAU;aACkC,CAAC,CAAA;YACrD,UAAU,CAAC,GAAG,CAAC,eAAe,EAAE,UAAU,CAAC,CAAA;QAC/C,CAAC;QAED,yDAAyD;QACzD,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;YACtC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YACxD,MAAM,oBAAoB,GAAG,UAAU,CAAC,GAAG,CACvC,QAAQ,CAAC,iBAAiB,CAC7B,CAAA;YACD,IAAI,CAAC,eAAe,IAAI,CAAC,oBAAoB;gBAAE,SAAQ;YACvD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;gBACf,GAAG,QAAQ;gBACX,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;gBACrB,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,CAAC;gBACf,iBAAiB,EAAE,oBAAoB;gBACvC,sBAAsB,EAAE,CAAC;aACG,CAAC,CAAA;QACrC,CAAC;QAED,uDAAuD;QACvD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAChC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACrD,MAAM,oBAAoB,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;YACpE,IAAI,CAAC,eAAe,IAAI,CAAC,oBAAoB;gBAAE,SAAQ;YACvD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;gBACZ,GAAG,KAAK;gBACR,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE;gBACrB,OAAO,EAAE,eAAe;gBACxB,YAAY,EAAE,CAAC;gBACf,iBAAiB,EAAE,oBAAoB;gBACvC,sBAAsB,EAAE,CAAC;aACA,CAAC,CAAA;QAClC,CAAC;QAED,sBAAsB;QACtB,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,kBAAkB,CAO3D,MAAM,EACN,qBAAqB,EACrB;YACI,YAAY,EAAE,IAAI,CAAC,MAAM;SAC5B,EACD;YACI,GAAG,OAAO;YACV,UAAU,EAAE,OAAO,EAAE,UAAU,IAAI,IAAI,CAAC,UAAU;SACrD,CACJ,CAAA;QAED,iCAAiC;QACjC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACpC,kEAAkE;QAClE,sEAAsE;QACtE,mEAAmE;QACnE,iEAAiE;QACjE,+DAA+D;QAC/D,mBAAmB;QACnB,IAAI,CAAC,MAAM,GAAG;YACV,GAAG,IAAI,CAAC,MAAM;YACd,QAAQ,EAAE,YAAY,CAAC,QAAQ;SAClC,CAAA;QACD,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1D,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;gBAC/C,IAAI,aAAa,EAAE,CAAC;oBAChB,OAAO;wBACH,GAAG,CAAC;wBACJ,OAAO,EAAE,aAAa;wBACtB,YAAY,EAAE,CAAC;qBACN,CAAA;gBACjB,CAAC;YACL,CAAC;YACD,OAAO,CAAC,CAAA;QACZ,CAAC,CAAC,CAAA;QAEF,8CAA8C;QAC9C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAuB,CAAA;YAC1C,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAChC,MAAM,sBAAsB,GACxB,OACH,CAAC,cAAc,CAAA;gBAChB,MAAM,sBAAsB,GAAG,UAAU,CAAC,GAAG,CACzC,sBAAsB,CACzB,CAAA;gBACD,IAAI,sBAAsB,EAAE,CAAC;oBACzB,EAAE,CAAC,OAAO,GAAG;wBACT,GAAG,EAAE,CAAC,OAAO;wBACb,cAAc,EAAE,sBAAsB;qBACpB,CAAA;gBAC1B,CAAC;YACL,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAG,cAAc,CAAC,YAAY,CAM7C,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,CAAA;QAE/C,0BAA0B;QAC1B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAEpC,8BAA8B;QAE9B,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;YAC7C,QAAQ,EAAE,qBAAqB;YAC/B,kBAAkB,EAAE,SAAS,CAAC,EAAE;YAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;YAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;YAC5C,MAAM;YACN,GAAG,OAAO,EAAE,kBAAkB;SACrB,CAAC,CAAA;QAEd,uBAAuB;QACvB,KAAK,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC7D,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;gBACvB,QAAQ,EAAE,YAAY;gBACtB,kBAAkB,EAAE,YAAY;gBAChC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,iBAAiB;aAChB,CAAC,CAAA;QACtB,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;gBAC1B,QAAQ,EAAE,SAAS;gBACnB,kBAAkB,EAAE,SAAS;gBAC7B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,mBAAmB,EAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAE;gBACrD,GAAG,OAAO,EAAE,oBAAoB;aACtB,CAAC,CAAA;QACnB,CAAC;QAED,wBAAwB;QACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACtD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;gBACxB,QAAQ,EAAE,QAAQ;gBAClB,kBAAkB,EAAE,QAAQ;gBAC5B,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,GAAG,OAAO,EAAE,kBAAkB;aACrB,CAAC,CAAA;QAClB,CAAC;QAED,qBAAqB;QACrB,KAAK,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YACxD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;gBACrB,QAAQ,EAAE,aAAa;gBACvB,kBAAkB,EAAE,eAAe;gBACnC,oBAAoB,EAAE,SAAS,CAAC,EAAE;gBAClC,yBAAyB,EAAE,SAAS,CAAC,OAAO;gBAC5C,MAAM;gBACN,uBAAuB,EAAE,eAAe,CAAC,GAAG,CAAC,eAAe,CAAE;gBAC9D,GAAG,OAAO,EAAE,eAAe;aAChB,CAAC,CAAA;QACpB,CAAC;QAED,kBAAkB;QAClB,OAAO;YACH,MAAM,EAAE,WAAW;YACnB,UAAU;YACV,UAAU;YACV,YAAY;SACf,CAAA;IACL,CAAC;IAED;;;;;;;;;;;OAWG;IACI,aAAa,CAChB,WAAmB,EACnB,WAAmB,EACnB,OAAuD;QAEvD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,aAAa,WAAW,cAAc,CAAC,CAAA;QAC3D,CAAC;QAED,8CAA8C;QAC9C,MAAM,kBAAkB,GAAG,CAAC,CAAW,EAAE,CAAW,EAAW,EAAE;YAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC5C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,mBAAmB,GAAG,CAAC,CAAO,EAAE,CAAO,EAAW,EAAE;YACtD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC7C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QACD,MAAM,qBAAqB,GAAG,CAAC,CAAQ,EAAE,CAAQ,EAAW,EAAE;YAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YAC/C,OAAO,MAAM,EAAE,kBAAkB,KAAK,CAAC,CAAC,EAAE,CAAA;QAC9C,CAAC,CAAA;QAED,wDAAwD;QACxD,OAAO,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE;YAC7C,GAAG,OAAO;YACV,cAAc,EAAE,OAAO,EAAE,cAAc,IAAI,kBAAkB;YAC7D,eAAe,EAAE,OAAO,EAAE,eAAe,IAAI,mBAAmB;YAChE,iBAAiB,EACb,OAAO,EAAE,iBAAiB,IAAI,qBAAqB;SAC1D,CAAC,CAAA;IACN,CAAC;CACJ"}

package/dist/lib/grammar/an-rules.d.ts

@@ -0,0 +1,158 @@
+import type { ArgumentEngine } from "../core/argument-engine.js";
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreClaim } from "../schemata/index.js";
+/**
+ * Run AN-2 (collapse double negation) on every premise of `engine`.
+ * Returns `true` iff any mutation occurred.
+ *
+ * **D0b: native rewrite.** Walks each premise's expression tree
+ * looking for NOT(NOT(x)) — both the direct form (`NOT_outer →
+ * NOT_inner → x`) and the buffered form (`NOT_outer → formula →
+ * NOT_inner → x`). For each match issues two
+ * `pe.removeExpression(id, false)` calls that promote the
+ * grandchild (and, in the buffered case, the residual formula)
+ * through the two NOT layers.
+ *
+ * The buffered case leaves an unjustified `formula(x)` residue
+ * which AN-3 cleans up in a subsequent iteration of
+ * `applyANToFixedPoint`. AN-2 stays focused on the NOT-NOT
+ * collapse itself — no formula bookkeeping.
+ *
+ * Behavior parity with the legacy `ExpressionManager.normalize()`
+ * pass 4 is asserted by the regression-guard tests in
+ * `test/grammar/an-rules.test.ts` and the broader 1598-test
+ * baseline (which exercises double-negation collapse via
+ * `pe.normalizeExpressions()` and `engine.normalize()`).
+ *
+ * @since 1.0.0
+ */
+export declare function applyAN2<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>): boolean;
+/**
+ * Run AN-3 (collapse 0/1-child operator/formula) on every premise of
+ * `engine`. Returns `true` iff any mutation occurred.
+ *
+ * **D0c: native rewrite.** Walks each premise's expression tree and
+ * collapses four sub-cases via `pe.removeExpression(id, false)`:
+ *
+ *   1. Operator with 0 children → removed (leaf removal).
+ *   2. Operator with 1 child (non-`not`) → child promoted into the
+ *      operator's slot. `not` is unary so 1-child `not` is its
+ *      Presentable form and is NOT collapsed by AN-3.
+ *   3. Formula with 0 children → removed.
+ *   4. Formula with 1 child whose bounded subtree contains no binary
+ *      operator (`and`/`or`) → child promoted (the formula is
+ *      unjustified per P-3, so it disappears).
+ *
+ * Bounded-subtree traversal stops at nested formulas (each formula
+ * is a separate P-3 scope). The shared
+ * `hasBinaryOperatorInBoundedSubtree` helper in
+ * `src/lib/grammar/bounded-subtree.ts` is used by both this rule and
+ * the P-3 validator; AN-3 binds its lookup function to
+ * `pe.getChildExpressions(id)` so it sees live mid-mutation reads,
+ * while the validator binds to a snapshot `TChildMap`. The lift
+ * resolves the pre-D0e duplication (D0a P2 #3 / D0d P2 #3).
+ *
+ * Behavior parity with the legacy `ExpressionManager.normalize()`
+ * passes 1 + 2 is asserted by the regression-guard tests in
+ * `test/grammar/an-rules.test.ts` and the broader 1603-test
+ * baseline.
+ *
+ * @since 1.0.0
+ */
+export declare function applyAN3<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>): boolean;
+/**
+ * Run AN-4 (absorb same-operator through formula) on every premise of
+ * `engine`. Returns `true` iff any mutation occurred.
+ *
+ * **D0e: native rewrite.** Walks each premise's expression tree for
+ * the absorption shape `OUTER_OP → (..., ) formula → INNER_OP (same
+ * operator) → [c1, c2, …, cN]`, with both operators being `and` or
+ * `or` (S-5 restricts `implies`/`iff` to roots, so they never appear in
+ * AN-4-firing positions). For each match:
+ *
+ *   1. Compute target positions for the N inner children under the
+ *      outer operator using the legacy spacing algorithm from
+ *      `ExpressionManager.absorbSameOperator` (em.ts:1240-1349):
+ *      `leftPos + ((rightPos - leftPos) / (count + 1)) * (i + 1)`,
+ *      truncated to integers. `leftPos` and `rightPos` are the
+ *      formula's outer neighbors (or `positionConfig.min`/`max` at
+ *      boundaries).
+ *   2. If `gap = rightPos - leftPos <= count` (tight neighborhood
+ *      where N evenly-spaced positions would collide), fall back to a
+ *      **full redistribution**: renumber every existing sibling of the
+ *      formula evenly across `positionConfig.min..max`, then redo the
+ *      spacing on the refreshed boundaries before reparenting.
+ *   3. Reparent each inner child to the outer operator at its computed
+ *      target position via `pe.reparentExpression`.
+ *   4. Remove the now-empty inner operator via
+ *      `pe.removeExpression(inner.id, true)` (deleteSubtree is fine —
+ *      it has zero children).
+ *   5. Remove the now-empty formula wrapper via
+ *      `pe.removeExpression(formula.id, false)`. Hits the 0-child
+ *      leaf-removal branch of `removeAndPromote` so the inline P-1
+ *      enforcement throw is not reached.
+ *
+ * Identity preservation: each absorbed child's expression id survives
+ * the operation — `reparentExpression` mutates the position/parentId
+ * fields atomically without minting new ids. Asserted by the contract
+ * regression-guard tests in `test/grammar/an-rules.test.ts:559-893`.
+ *
+ * @since 1.0.0
+ */
+export declare function applyAN4<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>): boolean;
+/**
+ * Run AN-1 (insert formula buffer between operators) on every premise
+ * of `engine`. Returns `true` iff any mutation occurred.
+ *
+ * **D0e: native rewrite.** Walks each premise's expression tree
+ * looking for non-`not` operators whose parent is also an operator —
+ * i.e., the P-1 violation shape `parent-op → child-op (non-not)`. For
+ * each match, calls `pe.wrapInFormula(childOpId, formulaId)` which
+ * atomically inserts a freshly-minted `formula` between parent and
+ * child. The formula takes the child's original slot; the child
+ * becomes the formula's sole child at position 0. Per spec §5.1 the
+ * result preserves P-1.
+ *
+ * Why a dedicated `wrapInFormula` primitive rather than composing
+ * `addExpression(formula)` + `reparentExpression(child)`:
+ *
+ *   - `addExpression(formula, parent, childPosition)` would throw S-9
+ *     because the child still occupies that slot.
+ *   - For unary `not` parents and binary `implies`/`iff` parents,
+ *     `assertChildLimit` would reject the formula even transiently —
+ *     even though the *net* child count of the parent is unchanged
+ *     after the wrap (the formula displaces the child).
+ *
+ * `pe.wrapInFormula` sidesteps both by performing the insertion +
+ * reparent as one bundled-composite mutation per spec §8 (see the PE
+ * method's JSDoc for the atomicity contract).
+ *
+ * The new formula's id is minted via `engine.idGenerator` so id
+ * provenance stays at the engine boundary (matches the
+ * `populateFromGrounding` factory pattern in `populate-from.ts`).
+ *
+ * @since 1.0.0
+ */
+export declare function applyAN1<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>): boolean;
+/**
+ * Run AN-1..AN-4 to fixed point on every premise of `engine`.
+ *
+ * **D0e state: all four rules are native.** The driver issues
+ * single-rule passes in order — AN-2, AN-3, AN-4, AN-1 — so buffer
+ * insertion sees the post-collapse tree (avoids inserting a buffer
+ * that would then need to be collapsed by AN-3).
+ *
+ * **D0f state: reduce-or accumulator** (replaces the prior `||`
+ * short-circuit chain). Every outer iteration fires all four rules
+ * and records whether ANY produced a mutation. This reduces outer
+ * iterations by ~4x in the worst case versus the short-circuit
+ * pattern, and pulls the iteration count back well within
+ * MAX_AN_ITERATIONS for previously-borderline inputs.
+ *
+ * Convergence cap: `MAX_AN_ITERATIONS = 10`. Typical convergence is ≤ 3
+ * iterations (spec §5.1); the cap protects against pathological inputs
+ * (e.g. malformed Structural state that would otherwise oscillate).
+ *
+ * @since 1.0.0
+ */
+export declare function applyANToFixedPoint<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>): void;
+//# sourceMappingURL=an-rules.d.ts.map

package/dist/lib/grammar/an-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"an-rules.d.ts","sourceRoot":"","sources":["../../../src/lib/grammar/an-rules.ts"],"names":[],"mappings":"AAsDA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAEhE,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,UAAU,EACb,MAAM,sBAAsB,CAAA;AAa7B;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,QAAQ,CACpB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACxC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,OAAO,CActE;AAuDD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,QAAQ,CACpB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACxC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,OAAO,CAUtE;AA2DD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,wBAAgB,QAAQ,CACpB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACxC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,OAAO,CAUtE;AAoVD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,QAAQ,CACpB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACxC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,OAAO,CAWtE;AAmCD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,mBAAmB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACxC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,IAAI,CAoBnE"}