@proposit/shared 0.8.0 → 0.9.0

package/dist/engine/derivation.d.ts

@@ -1,3 +1,2 @@
-export { ManagedDerivationPremiseEngine, validateDerivationStructure, DERIVATION_STRUCTURE_INVALID, DERIVATION_STRUCTURE_INVALID_AT_EVALUATION, DERIVATION_ANTECEDENT_NON_EMPTY, LEGACY_PREMISE_MISSING_TYPE, CLAIM_NOT_FOUND, CLAIM_TYPE_IMMUTABLE, } from "@proposit/proposit-core";
-export type { TVariableMaterializer } from "@proposit/proposit-core";
+export { validateDerivationStructure, DERIVATION_STRUCTURE_INVALID, LEGACY_PREMISE_MISSING_TYPE, CLAIM_NOT_FOUND, CLAIM_TYPE_IMMUTABLE, CREATE_DERIVATION_REQUIRES_DERIVED_CLAIM_ID, CREATE_DERIVATION_CLAIM_NOT_FOUND, } from "@proposit/proposit-core";
 //# sourceMappingURL=derivation.d.ts.map

package/dist/engine/derivation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"derivation.d.ts","sourceRoot":"","sources":["../../src/engine/derivation.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,8BAA8B,EAC9B,2BAA2B,EAC3B,4BAA4B,EAC5B,0CAA0C,EAC1C,+BAA+B,EAC/B,2BAA2B,EAC3B,eAAe,EACf,oBAAoB,GACvB,MAAM,yBAAyB,CAAA;AAEhC,YAAY,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAA"}
+{"version":3,"file":"derivation.d.ts","sourceRoot":"","sources":["../../src/engine/derivation.ts"],"names":[],"mappings":"AAkCA,OAAO,EACH,2BAA2B,EAC3B,4BAA4B,EAC5B,2BAA2B,EAC3B,eAAe,EACf,oBAAoB,EACpB,2CAA2C,EAC3C,iCAAiC,GACpC,MAAM,yBAAyB,CAAA"}

package/dist/engine/derivation.js

@@ -1,2 +1,36 @@
-export { ManagedDerivationPremiseEngine, validateDerivationStructure, DERIVATION_STRUCTURE_INVALID, DERIVATION_STRUCTURE_INVALID_AT_EVALUATION, DERIVATION_ANTECEDENT_NON_EMPTY, LEGACY_PREMISE_MISSING_TYPE, CLAIM_NOT_FOUND, CLAIM_TYPE_IMMUTABLE, } from "@proposit/proposit-core";
+// Re-exports of the derivation surface that survived core 1.0's D-tier
+// rewrite. Server and mobile import these via
+// `@proposit/shared/engine/derivation` for the ergonomic single-import
+// path; the source of truth remains `@proposit/proposit-core`.
+//
+// Core 1.0 (Phase D of the grammar-tiers initiative) removed several
+// derivation-related exports that the pre-1.0 surface had:
+//
+//   - `ManagedDerivationPremiseEngine` (the dedicated subclass that
+//     enforced derivation invariants on every mutation) is deleted by
+//     core's D1 — derivation premises now go through the regular
+//     `PremiseEngine`, and the invariants surface via
+//     `engine.validate('derivable')` returning the D-1..D-6 violations
+//     rather than throwing at mutation time.
+//
+//   - `DERIVATION_STRUCTURE_INVALID_AT_EVALUATION` (the pre-1.0
+//     evaluation-time throw on naked-Q derivation premises) is deleted
+//     by core's D4 — naked-Q derivation premises are now an evaluation
+//     no-op per spec §4.2, and broken-tree premises surface as the
+//     unchanged `DERIVATION_STRUCTURE_INVALID` engine-error code.
+//
+//   - `DERIVATION_ANTECEDENT_NON_EMPTY` (a pre-1.0 mutation-time throw)
+//     is gone — `populateFromCitations` / `populateFromAxioms` return
+//     `{ kind: 'no-op' }` on already-populated premises rather than
+//     throwing, per core 1.0's no-changes-without-consent contract.
+//
+//   - `TVariableMaterializer` (an MDPE-only interface) is deleted
+//     alongside MDPE.
+//
+// Consumers of the deleted surface should migrate to
+// `engine.populateFromCitations(claimId, lookup)` /
+// `engine.populateFromAxioms(claimId, lookup)` on `ArgumentEngine`, and
+// `engine.validate('derivable')` for D-tier invariants. See spec
+// 2026-05-13-grammar-tiers-design §10.1, §10.2, §12.
+export { validateDerivationStructure, DERIVATION_STRUCTURE_INVALID, LEGACY_PREMISE_MISSING_TYPE, CLAIM_NOT_FOUND, CLAIM_TYPE_IMMUTABLE, CREATE_DERIVATION_REQUIRES_DERIVED_CLAIM_ID, CREATE_DERIVATION_CLAIM_NOT_FOUND, } from "@proposit/proposit-core";
 //# sourceMappingURL=derivation.js.map

package/dist/engine/derivation.js.map

@@ -1 +1 @@
-{"version":3,"file":"derivation.js","sourceRoot":"","sources":["../../src/engine/derivation.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,8BAA8B,EAC9B,2BAA2B,EAC3B,4BAA4B,EAC5B,0CAA0C,EAC1C,+BAA+B,EAC/B,2BAA2B,EAC3B,eAAe,EACf,oBAAoB,GACvB,MAAM,yBAAyB,CAAA"}
+{"version":3,"file":"derivation.js","sourceRoot":"","sources":["../../src/engine/derivation.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,8CAA8C;AAC9C,uEAAuE;AACvE,+DAA+D;AAC/D,EAAE;AACF,qEAAqE;AACrE,2DAA2D;AAC3D,EAAE;AACF,oEAAoE;AACpE,sEAAsE;AACtE,iEAAiE;AACjE,sDAAsD;AACtD,uEAAuE;AACvE,6CAA6C;AAC7C,EAAE;AACF,gEAAgE;AAChE,uEAAuE;AACvE,uEAAuE;AACvE,mEAAmE;AACnE,kEAAkE;AAClE,EAAE;AACF,wEAAwE;AACxE,sEAAsE;AACtE,oEAAoE;AACpE,oEAAoE;AACpE,EAAE;AACF,kEAAkE;AAClE,sBAAsB;AACtB,EAAE;AACF,qDAAqD;AACrD,oDAAoD;AACpD,wEAAwE;AACxE,iEAAiE;AACjE,qDAAqD;AACrD,OAAO,EACH,2BAA2B,EAC3B,4BAA4B,EAC5B,2BAA2B,EAC3B,eAAe,EACf,oBAAoB,EACpB,2CAA2C,EAC3C,iCAAiC,GACpC,MAAM,yBAAyB,CAAA"}

package/dist/engine/engine.d.ts

@@ -30,17 +30,19 @@ export declare class PropositArgumentEngine extends ArgumentEngine<TArgument, TP
     constructor(...args: ConstructorParameters<typeof ArgumentEngine<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable>>);
     /**
      * Overrides base rollback() to temporarily enable permissive claim stubs
-     * during the validate() call that rollback() performs internally.
+     * during the validateInvariants() call that rollback() performs internally.
      *
-     * In proposit-core 0.8.0+, rollback() calls validate() which checks that
-     * every claim-bound variable's (claimId, claimVersion) exists in the claim
-     * library. When the engine is loaded from a server snapshot and the caller
-     * does not supply the full claims array (common in tests), this would fail.
+     * In proposit-core 1.0.0+, rollback() calls validateInvariants() which
+     * checks that every claim-bound variable's (claimId, claimVersion) exists
+     * in the claim library. When the engine is loaded from a server snapshot
+     * and the caller does not supply the full claims array (common in tests),
+     * this would fail.
      *
-     * Permissive stubs are ONLY active during rollback's validate() pass:
+     * Permissive stubs are ONLY active during rollback's validateInvariants()
+     * pass:
      * - addVariable() explicit check: claimContext.permissiveForRestore = false
      *   (addVariable is not called inside rollbackInternal)
-     * - validate() inside rollback(): permissiveForRestore = true
+     * - validateInvariants() inside rollback(): permissiveForRestore = true
      */
     rollback(snapshot: Parameters<InstanceType<typeof ArgumentEngine<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable>>["rollback"]>[0]): void;
     private claimsDirty;
@@ -52,7 +54,7 @@ export declare class PropositArgumentEngine extends ArgumentEngine<TArgument, TP
     private getClaimsRecord;
     private getCitationsRecord;
     getProjectSnapshot(): TProjectReactiveSnapshot;
-    getClaim(id: string): TClaim | undefined;
+    getProjectClaim(id: string): TClaim | undefined;
     getClaims(): Record<string, TClaim>;
     setClaim(claim: TClaim): void;
     removeClaim(id: string): void;

package/dist/engine/engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/engine/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EAEd,KAAK,uBAAuB,EAG5B,KAAK,oBAAoB,EAEzB,KAAK,iBAAiB,EACzB,MAAM,yBAAyB,CAAA;AAEhC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAA;AAC9D,OAAO,KAAK,EACR,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,EACzB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAkBnE,0FAA0F;AAC1F,MAAM,MAAM,gBAAgB,GAAG,uBAAuB,CAClD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,CACpD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,GAAG;IACA,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAA;IAC3C,gBAAgB,EAAE,oBAAoB,EAAE,CAAA;CAC3C,CAAA;AAED;;;;;;;;GAQG;AACH,qBAAa,sBAAuB,SAAQ,cAAc,CACtD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB;IAGG,OAAO,CAAC,SAAS,CAAqB;IACtC,OAAO,CAAC,YAAY,CAAsC;IAO1D,OAAO,CAAC,YAAY,CAAoC;gBAGpD,GAAG,IAAI,EAAE,qBAAqB,CAC1B,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ;IA6DL;;;;;;;;;;;;;OAaG;IACM,QAAQ,CACb,QAAQ,EAAE,UAAU,CAChB,YAAY,CACR,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ,CAAC,UAAU,CAAC,CAChB,CAAC,CAAC,CAAC,GACL,IAAI;IAUP,OAAO,CAAC,WAAW,CAAO;IAC1B,OAAO,CAAC,cAAc,CAAO;IAG7B,OAAO,CAAC,YAAY,CAA6B;IACjD,OAAO,CAAC,eAAe,CAAuC;IAG9D,OAAO,CAAC,qBAAqB,CAAsC;IACnE,OAAO,CAAC,gBAAgB,CAOT;IAIf,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,kBAAkB;IAU1B,kBAAkB,IAAI,wBAAwB;IAM9C,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIxC,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAInC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAM7B,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAS7B,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,cAAc,EAAE;IAIvD,YAAY,IAAI,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC;IAIhD,WAAW,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI;IAOrC,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAqBpC;;;OAGG;IACa,OAAO,IAAI,OAAO;cAOf,qBAAqB,IAAI,wBAAwB;IAkDpE;;;;;;OAMG;IACH,MAAM,CAAC,cAAc,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,MAAM,EAAE,EAChB,SAAS,EAAE,cAAc,EAAE,GAC5B,sBAAsB;CAiF5B"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/engine/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EAEd,KAAK,uBAAuB,EAG5B,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACzB,MAAM,yBAAyB,CAAA;AAEhC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAA;AAC9D,OAAO,KAAK,EACR,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,EACzB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAYnE,0FAA0F;AAC1F,MAAM,MAAM,gBAAgB,GAAG,uBAAuB,CAClD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,CACpD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,GAAG;IACA,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAA;IAC3C,gBAAgB,EAAE,oBAAoB,EAAE,CAAA;CAC3C,CAAA;AAED;;;;;;;;GAQG;AACH,qBAAa,sBAAuB,SAAQ,cAAc,CACtD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB;IAGG,OAAO,CAAC,SAAS,CAAqB;IACtC,OAAO,CAAC,YAAY,CAAsC;IAO1D,OAAO,CAAC,YAAY,CAAoC;gBAGpD,GAAG,IAAI,EAAE,qBAAqB,CAC1B,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ;IA8DL;;;;;;;;;;;;;;;OAeG;IACM,QAAQ,CACb,QAAQ,EAAE,UAAU,CAChB,YAAY,CACR,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ,CAAC,UAAU,CAAC,CAChB,CAAC,CAAC,CAAC,GACL,IAAI;IAUP,OAAO,CAAC,WAAW,CAAO;IAC1B,OAAO,CAAC,cAAc,CAAO;IAG7B,OAAO,CAAC,YAAY,CAA6B;IACjD,OAAO,CAAC,eAAe,CAAuC;IAG9D,OAAO,CAAC,qBAAqB,CAAsC;IACnE,OAAO,CAAC,gBAAgB,CAOT;IAIf,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,kBAAkB;IAU1B,kBAAkB,IAAI,wBAAwB;IAiB9C,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI/C,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAInC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAM7B,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAS7B,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,cAAc,EAAE;IAIvD,YAAY,IAAI,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC;IAIhD,WAAW,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI;IAOrC,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAqBpC;;;OAGG;IACa,OAAO,IAAI,OAAO;cAOf,qBAAqB,IAAI,wBAAwB;IAyDpE;;;;;;OAMG;IACH,MAAM,CAAC,cAAc,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,MAAM,EAAE,EAChB,SAAS,EAAE,cAAc,EAAE,GAC5B,sBAAsB;CAgE5B"}

package/dist/engine/engine.js

@@ -1,19 +1,6 @@
 import { ArgumentEngine, InvariantViolationError, } from "@proposit/proposit-core";
 import { CHECKSUM_CONFIG } from "../checksum.js";
 import { createClaimLookup } from "./library-adapters.js";
-// Grammar configs used by fromServerData. Wave-2 derivation premises produced
-// by populateDerivationFromCitations carry an `IMPLIES(OR(c1, c2), Q)` shape
-// that violates the strict runtime rule banning a non-not operator as a direct
-// child of another operator. Loading must therefore tolerate that shape, while
-// runtime mutations after the load must still be disciplined.
-const RUNTIME_GRAMMAR = {
-    autoNormalize: false,
-    enforceFormulaBetweenOperators: true,
-};
-const LOADING_GRAMMAR = {
-    ...RUNTIME_GRAMMAR,
-    enforceFormulaBetweenOperators: false,
-};
 /**
  * Project-specific extension of ArgumentEngine that manages domain data
  * (claims and citation edges) alongside the core
@@ -61,11 +48,12 @@ export class PropositArgumentEngine extends ArgumentEngine {
                 if (orig)
                     return toCoreClaim(orig);
                 // During snapshot rollback (restoring from server data), return
-                // a stub so validate() passes for claim references not present
-                // in the supplied claims array. This allows fromServerData to
-                // work when claims are omitted or incomplete. Normal mutations
-                // (addVariable) still check the lookup — but addVariable is not
-                // called during rollbackInternal, only validate() is.
+                // a stub so validateInvariants() passes for claim references
+                // not present in the supplied claims array. This allows
+                // fromServerData to work when claims are omitted or incomplete.
+                // Normal mutations (addVariable) still check the lookup — but
+                // addVariable is not called during rollbackInternal, only
+                // validateInvariants() is.
                 if (claimContext.permissiveForRestore) {
                     return {
                         id,
@@ -94,17 +82,19 @@ export class PropositArgumentEngine extends ArgumentEngine {
     // ──── Rollback override for permissive claim stubs ────
     /**
      * Overrides base rollback() to temporarily enable permissive claim stubs
-     * during the validate() call that rollback() performs internally.
+     * during the validateInvariants() call that rollback() performs internally.
      *
-     * In proposit-core 0.8.0+, rollback() calls validate() which checks that
-     * every claim-bound variable's (claimId, claimVersion) exists in the claim
-     * library. When the engine is loaded from a server snapshot and the caller
-     * does not supply the full claims array (common in tests), this would fail.
+     * In proposit-core 1.0.0+, rollback() calls validateInvariants() which
+     * checks that every claim-bound variable's (claimId, claimVersion) exists
+     * in the claim library. When the engine is loaded from a server snapshot
+     * and the caller does not supply the full claims array (common in tests),
+     * this would fail.
      *
-     * Permissive stubs are ONLY active during rollback's validate() pass:
+     * Permissive stubs are ONLY active during rollback's validateInvariants()
+     * pass:
      * - addVariable() explicit check: claimContext.permissiveForRestore = false
      *   (addVariable is not called inside rollbackInternal)
-     * - validate() inside rollback(): permissiveForRestore = true
+     * - validateInvariants() inside rollback(): permissiveForRestore = true
      */
     rollback(snapshot) {
         this.claimContext.permissiveForRestore = true;
@@ -144,7 +134,18 @@ export class PropositArgumentEngine extends ArgumentEngine {
         return this.getSnapshot();
     }
     // ──── Claim accessors ────
-    getClaim(id) {
+    // NOTE: this is `getProjectClaim`, not `getClaim`, because core 1.0
+    // promoted `getClaim(claimId, claimVersion)` to the `ArgumentEngine` base
+    // surface (returns `TCoreClaim`, the minimal `{ id, version, type, frozen,
+    // checksum }` shape used by the engine's claim-bound-variable validation).
+    // Shared's domain method returns the richer `TClaim` (a discriminated
+    // union over normal / citation / axiomatic with `createdOn`, `creatorId`,
+    // `title`, etc.) drawn from the per-engine `claimsMap`, so it cannot be
+    // an override — the return types are incompatible. Both methods coexist
+    // on the engine: callers wanting the wire-format minimal shape use
+    // `getClaim(id, version)`; callers wanting the full project-claim record
+    // use `getProjectClaim(id)`.
+    getProjectClaim(id) {
         return this.claimsMap.get(id);
     }
     getClaims() {
@@ -211,7 +212,14 @@ export class PropositArgumentEngine extends ArgumentEngine {
         let validationIssues;
         if (base !== this.lastBaseSnapshot) {
             const evaluability = this.validateEvaluability().issues;
-            const invariants = this.validate();
+            // Core 1.0 split the legacy `validate()` into two methods:
+            // `validateInvariants()` is the engine-invariant sweep returning
+            // `{ ok, violations }` with `TCoreValidationIssue`-shaped entries
+            // (legacy semantics — what this wrapper has always consumed);
+            // `validate(tier)` is the new four-tier grammar query returning a
+            // `readonly TViolation[]`. Reactive snapshot consumers expect the
+            // invariant view here.
+            const invariants = this.validateInvariants();
             const mappedViolations = invariants.ok
                 ? []
                 : invariants.violations.map((v) => ({
@@ -257,7 +265,6 @@ export class PropositArgumentEngine extends ArgumentEngine {
         const engine = new PropositArgumentEngine(snapshot.argument, claimLookup, {
             checksumConfig: CHECKSUM_CONFIG,
             positionConfig: snapshot.config?.positionConfig,
-            grammarConfig: RUNTIME_GRAMMAR,
             generateId: () => crypto.randomUUID(),
         });
         // Restore engine state from the snapshot.
@@ -268,17 +275,17 @@ export class PropositArgumentEngine extends ArgumentEngine {
         // the server's CHECKSUM_CONFIG includes extra fields (createdOn, etc.).
         //
         // NOTE: rollback() is overridden in PropositArgumentEngine to set
-        // claimContext.permissiveForRestore = true during the validate() call,
+        // claimContext.permissiveForRestore = true during the validateInvariants() call,
         // so unknown claim references in the snapshot don't cause failures when
         // the caller provides an incomplete claims array.
         //
-        // The per-premise expression configs are also rewritten to LOADING_GRAMMAR
-        // so that rollback's `validate()` pass tolerates wave-2 derivation shapes
-        // (`IMPLIES(OR(c1, c2), Q)`) — those are produced intentionally by
-        // populateDerivationFromCitations and bypass the normal
-        // enforceFormulaBetweenOperators rule. After rollback, each PremiseEngine
-        // is re-tightened to RUNTIME_GRAMMAR so subsequent runtime mutations
-        // remain disciplined.
+        // Core 1.0 dropped the per-premise `grammarConfig` knob and the
+        // legacy `LOAD_GRAMMAR` / `STRICT_GRAMMAR` snapshot-loading split:
+        // snapshot loading now accepts any Structural-valid state, and the
+        // P-1 formula-buffer rule is queried via `validate('presentable')`
+        // rather than rejecting at load time. Wave-2 derivation premises
+        // with the `IMPLIES(OR(c1, c2), Q)` shape therefore load without
+        // any per-premise config rewrite or post-load re-tightening loop.
         const snapshotWithVariableConfig = {
             ...snapshot,
             variables: {
@@ -287,16 +294,6 @@ export class PropositArgumentEngine extends ArgumentEngine {
                     checksumConfig: CHECKSUM_CONFIG,
                 },
             },
-            premises: snapshot.premises.map((premiseSnap) => ({
-                ...premiseSnap,
-                expressions: {
-                    ...premiseSnap.expressions,
-                    config: {
-                        ...premiseSnap.expressions.config,
-                        grammarConfig: LOADING_GRAMMAR,
-                    },
-                },
-            })),
         };
         try {
             engine.rollback(snapshotWithVariableConfig);
@@ -307,11 +304,6 @@ export class PropositArgumentEngine extends ArgumentEngine {
             }
             throw error;
         }
-        // Re-tighten so subsequent mutations (addExpression, wrapExpression, …)
-        // respect the explicit-formula-between-operators discipline.
-        for (const pe of engine.listPremises()) {
-            pe.setGrammarConfig(RUNTIME_GRAMMAR);
-        }
         // Load domain data into internal maps (no notifications)
         for (const claim of claims) {
             engine.claimsMap.set(claim.id, claim);

package/dist/engine/engine.js.map

@@ -1 +1 @@
-{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/engine/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,uBAAuB,GAO1B,MAAM,yBAAyB,CAAA;AAUhC,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AAEzD,8EAA8E;AAC9E,6EAA6E;AAC7E,+EAA+E;AAC/E,+EAA+E;AAC/E,8DAA8D;AAC9D,MAAM,eAAe,GAAmB;IACpC,aAAa,EAAE,KAAK;IACpB,8BAA8B,EAAE,IAAI;CACvC,CAAA;AACD,MAAM,eAAe,GAAmB;IACpC,GAAG,eAAe;IAClB,8BAA8B,EAAE,KAAK;CACxC,CAAA;AAyBD;;;;;;;;GAQG;AACH,MAAM,OAAO,sBAAuB,SAAQ,cAK3C;IACG,wEAAwE;IACxE,2EAA2E;IACnE,SAAS,CAAqB;IAC9B,YAAY,GAAG,IAAI,GAAG,EAA4B,CAAA;IAE1D,sEAAsE;IACtE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,0EAA0E;IAClE,YAAY,CAAoC;IAExD,YACI,GAAG,IAOF;QAED,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,GAAG,IAAI,CAAA;QAC7C,gEAAgE;QAChE,+DAA+D;QAC/D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC3C,MAAM,WAAW,GAAG,CAAC,CAIpB,EAAc,EAAE,CAAC,CAAC;YACf,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,QAAQ;YACxB,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,EAAE;SACf,CAAC,CAAA;QACF,mEAAmE;QACnE,kEAAkE;QAClE,4DAA4D;QAC5D,MAAM,YAAY,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAA;QACpD,MAAM,aAAa,GAAiB;YAChC,GAAG,CAAC,EAAU,EAAE,OAAe;gBAC3B,8DAA8D;gBAC9D,qEAAqE;gBACrE,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBAC3B,IAAI,CAAC,EAAE,OAAO,KAAK,OAAO;oBAAE,OAAO,WAAW,CAAC,CAAC,CAAC,CAAA;gBACjD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;gBACzC,IAAI,IAAI;oBAAE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAA;gBAClC,gEAAgE;gBAChE,+DAA+D;gBAC/D,8DAA8D;gBAC9D,+DAA+D;gBAC/D,gEAAgE;gBAChE,sDAAsD;gBACtD,IAAI,YAAY,CAAC,oBAAoB,EAAE,CAAC;oBACpC,OAAO;wBACH,EAAE;wBACF,OAAO;wBACP,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,KAAK;wBACb,QAAQ,EAAE,EAAE;qBACf,CAAA;gBACL,CAAC;gBACD,OAAO,SAAS,CAAA;YACpB,CAAC;YACD,UAAU,CAAC,EAAU;gBACjB,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBAC3B,IAAI,CAAC;oBAAE,OAAO,WAAW,CAAC,CAAC,CAAC,CAAA;gBAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBACvC,IAAI,IAAI;oBAAE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAA;gBAClC,OAAO,SAAS,CAAA;YACpB,CAAC;SACJ,CAAA;QACD,KAAK,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,CAAA;QACvC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC1B,IAAI,CAAC,YAAY,GAAG,YAAY,CAAA;IACpC,CAAC;IAED,yDAAyD;IAEzD;;;;;;;;;;;;;OAaG;IACM,QAAQ,CACb,QASI;QAEJ,IAAI,CAAC,YAAY,CAAC,oBAAoB,GAAG,IAAI,CAAA;QAC7C,IAAI,CAAC;YACD,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;QAC5B,CAAC;gBAAS,CAAC;YACP,IAAI,CAAC,YAAY,CAAC,oBAAoB,GAAG,KAAK,CAAA;QAClD,CAAC;IACL,CAAC;IAED,wCAAwC;IAChC,WAAW,GAAG,IAAI,CAAA;IAClB,cAAc,GAAG,IAAI,CAAA;IAE7B,uCAAuC;IAC/B,YAAY,GAA2B,EAAE,CAAA;IACzC,eAAe,GAAqC,EAAE,CAAA;IAE9D,gFAAgF;IACxE,qBAAqB,CAAsC;IAC3D,gBAAgB,CAOT;IAEf,kCAAkC;IAE1B,eAAe;QACnB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACnB,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACtD,IAAI,CAAC,WAAW,GAAG,KAAK,CAAA;QAC5B,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAA;IAC5B,CAAC;IAEO,kBAAkB;QACtB,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,IAAI,CAAC,eAAe,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;YAC5D,IAAI,CAAC,cAAc,GAAG,KAAK,CAAA;QAC/B,CAAC;QACD,OAAO,IAAI,CAAC,eAAe,CAAA;IAC/B,CAAC;IAED,oCAAoC;IAEpC,kBAAkB;QACd,OAAO,IAAI,CAAC,WAAW,EAA8B,CAAA;IACzD,CAAC;IAED,4BAA4B;IAE5B,QAAQ,CAAC,EAAU;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACjC,CAAC;IAED,SAAS;QACL,OAAO,IAAI,CAAC,eAAe,EAAE,CAAA;IACjC,CAAC;IAED,QAAQ,CAAC,KAAa;QAClB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QACnC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;QACvB,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,WAAW,CAAC,EAAU;QAClB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;YACvB,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAC5B,CAAC;IACL,CAAC;IAED,+BAA+B;IAE/B,oBAAoB,CAAC,OAAe;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;IAC/C,CAAC;IAED,YAAY;QACR,OAAO,EAAE,GAAG,IAAI,CAAC,kBAAkB,EAAE,EAAE,CAAA;IAC3C,CAAC;IAED,WAAW,CAAC,EAAkB;QAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;QACxD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAA;QACpD,IAAI,CAAC,cAAc,GAAG,IAAI,CAAA;QAC1B,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,cAAc,CAAC,MAAc;QACzB,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;YACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAA;YACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;gBACnC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;gBAC5C,CAAC;qBAAM,CAAC;oBACJ,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;gBACrC,CAAC;gBACD,OAAO,GAAG,IAAI,CAAA;YAClB,CAAC;QACL,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACV,IAAI,CAAC,cAAc,GAAG,IAAI,CAAA;YAC1B,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAC5B,CAAC;IACL,CAAC;IAED,6BAA6B;IAE7B;;;OAGG;IACa,OAAO;QACnB,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAC9B,OAAO,GAAG,EAAE,SAAS,KAAK,IAAI,CAAA;IAClC,CAAC;IAED,uCAAuC;IAEpB,qBAAqB;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,qBAAqB,EAAE,CAAA;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,EAAE,CAAA;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAA;QAE3C,yDAAyD;QACzD,IAAI,gBAAwC,CAAA;QAC5C,IAAI,IAAI,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACjC,MAAM,YAAY,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAC,MAAM,CAAA;YACvD,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;YAClC,MAAM,gBAAgB,GAA2B,UAAU,CAAC,EAAE;gBAC1D,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CACrB,CAAC,CAAC,EAAwB,EAAE,CAAC,CAAC;oBAC1B,IAAI,EAAE,CAAC,CAAC,IAAoC;oBAC5C,QAAQ,EAAE,OAAgB;oBAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,SAAS,EAAE,CAAC,CAAC,SAAS;iBACzB,CAAC,CACL,CAAA;YACP,gBAAgB,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,gBAAgB,CAAC,CAAA;QAC7D,CAAC;aAAM,CAAC;YACJ,gBAAgB;gBACZ,IAAI,CAAC,qBAAqB,EAAE,gBAAgB,IAAI,EAAE,CAAA;QAC1D,CAAC;QAED,qEAAqE;QACrE,6DAA6D;QAC7D,IACI,IAAI,CAAC,qBAAqB;YAC1B,IAAI,KAAK,IAAI,CAAC,gBAAgB;YAC9B,MAAM,KAAK,IAAI,CAAC,qBAAqB,CAAC,MAAM;YAC5C,SAAS,KAAK,IAAI,CAAC,qBAAqB,CAAC,SAAS,EACpD,CAAC;YACC,OAAO,IAAI,CAAC,qBAAqB,CAAA;QACrC,CAAC;QAED,MAAM,QAAQ,GAA6B;YACvC,GAAG,IAAI;YACP,MAAM;YACN,SAAS;YACT,gBAAgB;SACnB,CAAA;QACD,IAAI,CAAC,qBAAqB,GAAG,QAAQ,CAAA;QACrC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAA;QAC5B,OAAO,QAAQ,CAAA;IACnB,CAAC;IAED,2BAA2B;IAE3B;;;;;;OAMG;IACH,MAAM,CAAC,cAAc,CACjB,QAA0B,EAC1B,MAAgB,EAChB,SAA2B;QAE3B,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,IAAI,sBAAsB,CACrC,QAAQ,CAAC,QAAQ,EACjB,WAAW,EACX;YACI,cAAc,EAAE,eAAe;YAC/B,cAAc,EAAE,QAAQ,CAAC,MAAM,EAAE,cAAc;YAC/C,aAAa,EAAE,eAAe;YAC9B,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE;SACxC,CACJ,CAAA;QAED,0CAA0C;QAC1C,+DAA+D;QAC/D,iEAAiE;QACjE,oEAAoE;QACpE,oEAAoE;QACpE,wEAAwE;QACxE,EAAE;QACF,kEAAkE;QAClE,uEAAuE;QACvE,wEAAwE;QACxE,kDAAkD;QAClD,EAAE;QACF,2EAA2E;QAC3E,0EAA0E;QAC1E,mEAAmE;QACnE,wDAAwD;QACxD,0EAA0E;QAC1E,qEAAqE;QACrE,sBAAsB;QACtB,MAAM,0BAA0B,GAAqB;YACjD,GAAG,QAAQ;YACX,SAAS,EAAE;gBACP,GAAG,QAAQ,CAAC,SAAS;gBACrB,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,IAAI;oBACjC,cAAc,EAAE,eAAe;iBAClC;aACJ;YACD,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;gBAC9C,GAAG,WAAW;gBACd,WAAW,EAAE;oBACT,GAAG,WAAW,CAAC,WAAW;oBAC1B,MAAM,EAAE;wBACJ,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM;wBACjC,aAAa,EAAE,eAAe;qBACjC;iBACJ;aACJ,CAAC,CAAC;SACN,CAAA;QACD,IAAI,CAAC;YACD,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,CAAA;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;gBAC3C,MAAM,IAAI,KAAK,CACX,2BAA2B,QAAQ,CAAC,QAAQ,EAAE,EAAE,0CAA0C,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC7I,EAAE,KAAK,EAAE,KAAK,EAAE,CACnB,CAAA;YACL,CAAC;YACD,MAAM,KAAK,CAAA;QACf,CAAC;QAED,wEAAwE;QACxE,6DAA6D;QAC7D,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;YACrC,EAAE,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAA;QACxC,CAAC;QAED,yDAAyD;QACzD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YACzB,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QACzC,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;YAC1D,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACjB,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QACjD,CAAC;QAED,OAAO,MAAM,CAAA;IACjB,CAAC;CACJ"}
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/engine/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,uBAAuB,GAM1B,MAAM,yBAAyB,CAAA;AAUhC,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAA;AAiCzD;;;;;;;;GAQG;AACH,MAAM,OAAO,sBAAuB,SAAQ,cAK3C;IACG,wEAAwE;IACxE,2EAA2E;IACnE,SAAS,CAAqB;IAC9B,YAAY,GAAG,IAAI,GAAG,EAA4B,CAAA;IAE1D,sEAAsE;IACtE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,0EAA0E;IAClE,YAAY,CAAoC;IAExD,YACI,GAAG,IAOF;QAED,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,GAAG,IAAI,CAAA;QAC7C,gEAAgE;QAChE,+DAA+D;QAC/D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC3C,MAAM,WAAW,GAAG,CAAC,CAIpB,EAAc,EAAE,CAAC,CAAC;YACf,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,QAAQ;YACxB,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,EAAE;SACf,CAAC,CAAA;QACF,mEAAmE;QACnE,kEAAkE;QAClE,4DAA4D;QAC5D,MAAM,YAAY,GAAG,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAA;QACpD,MAAM,aAAa,GAAiB;YAChC,GAAG,CAAC,EAAU,EAAE,OAAe;gBAC3B,8DAA8D;gBAC9D,qEAAqE;gBACrE,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBAC3B,IAAI,CAAC,EAAE,OAAO,KAAK,OAAO;oBAAE,OAAO,WAAW,CAAC,CAAC,CAAC,CAAA;gBACjD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;gBACzC,IAAI,IAAI;oBAAE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAA;gBAClC,gEAAgE;gBAChE,6DAA6D;gBAC7D,wDAAwD;gBACxD,gEAAgE;gBAChE,8DAA8D;gBAC9D,0DAA0D;gBAC1D,2BAA2B;gBAC3B,IAAI,YAAY,CAAC,oBAAoB,EAAE,CAAC;oBACpC,OAAO;wBACH,EAAE;wBACF,OAAO;wBACP,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,KAAK;wBACb,QAAQ,EAAE,EAAE;qBACf,CAAA;gBACL,CAAC;gBACD,OAAO,SAAS,CAAA;YACpB,CAAC;YACD,UAAU,CAAC,EAAU;gBACjB,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBAC3B,IAAI,CAAC;oBAAE,OAAO,WAAW,CAAC,CAAC,CAAC,CAAA;gBAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBACvC,IAAI,IAAI;oBAAE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAA;gBAClC,OAAO,SAAS,CAAA;YACpB,CAAC;SACJ,CAAA;QACD,KAAK,CAAC,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,CAAA;QACvC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC1B,IAAI,CAAC,YAAY,GAAG,YAAY,CAAA;IACpC,CAAC;IAED,yDAAyD;IAEzD;;;;;;;;;;;;;;;OAeG;IACM,QAAQ,CACb,QASI;QAEJ,IAAI,CAAC,YAAY,CAAC,oBAAoB,GAAG,IAAI,CAAA;QAC7C,IAAI,CAAC;YACD,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;QAC5B,CAAC;gBAAS,CAAC;YACP,IAAI,CAAC,YAAY,CAAC,oBAAoB,GAAG,KAAK,CAAA;QAClD,CAAC;IACL,CAAC;IAED,wCAAwC;IAChC,WAAW,GAAG,IAAI,CAAA;IAClB,cAAc,GAAG,IAAI,CAAA;IAE7B,uCAAuC;IAC/B,YAAY,GAA2B,EAAE,CAAA;IACzC,eAAe,GAAqC,EAAE,CAAA;IAE9D,gFAAgF;IACxE,qBAAqB,CAAsC;IAC3D,gBAAgB,CAOT;IAEf,kCAAkC;IAE1B,eAAe;QACnB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACnB,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACtD,IAAI,CAAC,WAAW,GAAG,KAAK,CAAA;QAC5B,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAA;IAC5B,CAAC;IAEO,kBAAkB;QACtB,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,IAAI,CAAC,eAAe,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;YAC5D,IAAI,CAAC,cAAc,GAAG,KAAK,CAAA;QAC/B,CAAC;QACD,OAAO,IAAI,CAAC,eAAe,CAAA;IAC/B,CAAC;IAED,oCAAoC;IAEpC,kBAAkB;QACd,OAAO,IAAI,CAAC,WAAW,EAA8B,CAAA;IACzD,CAAC;IAED,4BAA4B;IAE5B,oEAAoE;IACpE,0EAA0E;IAC1E,2EAA2E;IAC3E,2EAA2E;IAC3E,sEAAsE;IACtE,0EAA0E;IAC1E,wEAAwE;IACxE,wEAAwE;IACxE,mEAAmE;IACnE,yEAAyE;IACzE,6BAA6B;IAC7B,eAAe,CAAC,EAAU;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACjC,CAAC;IAED,SAAS;QACL,OAAO,IAAI,CAAC,eAAe,EAAE,CAAA;IACjC,CAAC;IAED,QAAQ,CAAC,KAAa;QAClB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QACnC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;QACvB,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,WAAW,CAAC,EAAU;QAClB,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAA;YACvB,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAC5B,CAAC;IACL,CAAC;IAED,+BAA+B;IAE/B,oBAAoB,CAAC,OAAe;QAChC,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;IAC/C,CAAC;IAED,YAAY;QACR,OAAO,EAAE,GAAG,IAAI,CAAC,kBAAkB,EAAE,EAAE,CAAA;IAC3C,CAAC;IAED,WAAW,CAAC,EAAkB;QAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;QACxD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAA;QACpD,IAAI,CAAC,cAAc,GAAG,IAAI,CAAA;QAC1B,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,cAAc,CAAC,MAAc;QACzB,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;YACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,CAAA;YACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;gBACnC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;gBAC5C,CAAC;qBAAM,CAAC;oBACJ,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;gBACrC,CAAC;gBACD,OAAO,GAAG,IAAI,CAAA;YAClB,CAAC;QACL,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACV,IAAI,CAAC,cAAc,GAAG,IAAI,CAAA;YAC1B,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAC5B,CAAC;IACL,CAAC;IAED,6BAA6B;IAE7B;;;OAGG;IACa,OAAO;QACnB,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAC9B,OAAO,GAAG,EAAE,SAAS,KAAK,IAAI,CAAA;IAClC,CAAC;IAED,uCAAuC;IAEpB,qBAAqB;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,qBAAqB,EAAE,CAAA;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,EAAE,CAAA;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAA;QAE3C,yDAAyD;QACzD,IAAI,gBAAwC,CAAA;QAC5C,IAAI,IAAI,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACjC,MAAM,YAAY,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAC,MAAM,CAAA;YACvD,2DAA2D;YAC3D,iEAAiE;YACjE,kEAAkE;YAClE,8DAA8D;YAC9D,kEAAkE;YAClE,kEAAkE;YAClE,uBAAuB;YACvB,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAA;YAC5C,MAAM,gBAAgB,GAA2B,UAAU,CAAC,EAAE;gBAC1D,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CACrB,CAAC,CAAC,EAAwB,EAAE,CAAC,CAAC;oBAC1B,IAAI,EAAE,CAAC,CAAC,IAAoC;oBAC5C,QAAQ,EAAE,OAAgB;oBAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,SAAS,EAAE,CAAC,CAAC,SAAS;iBACzB,CAAC,CACL,CAAA;YACP,gBAAgB,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,gBAAgB,CAAC,CAAA;QAC7D,CAAC;aAAM,CAAC;YACJ,gBAAgB;gBACZ,IAAI,CAAC,qBAAqB,EAAE,gBAAgB,IAAI,EAAE,CAAA;QAC1D,CAAC;QAED,qEAAqE;QACrE,6DAA6D;QAC7D,IACI,IAAI,CAAC,qBAAqB;YAC1B,IAAI,KAAK,IAAI,CAAC,gBAAgB;YAC9B,MAAM,KAAK,IAAI,CAAC,qBAAqB,CAAC,MAAM;YAC5C,SAAS,KAAK,IAAI,CAAC,qBAAqB,CAAC,SAAS,EACpD,CAAC;YACC,OAAO,IAAI,CAAC,qBAAqB,CAAA;QACrC,CAAC;QAED,MAAM,QAAQ,GAA6B;YACvC,GAAG,IAAI;YACP,MAAM;YACN,SAAS;YACT,gBAAgB;SACnB,CAAA;QACD,IAAI,CAAC,qBAAqB,GAAG,QAAQ,CAAA;QACrC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAA;QAC5B,OAAO,QAAQ,CAAA;IACnB,CAAC;IAED,2BAA2B;IAE3B;;;;;;OAMG;IACH,MAAM,CAAC,cAAc,CACjB,QAA0B,EAC1B,MAAgB,EAChB,SAA2B;QAE3B,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,IAAI,sBAAsB,CACrC,QAAQ,CAAC,QAAQ,EACjB,WAAW,EACX;YACI,cAAc,EAAE,eAAe;YAC/B,cAAc,EAAE,QAAQ,CAAC,MAAM,EAAE,cAAc;YAC/C,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE;SACxC,CACJ,CAAA;QAED,0CAA0C;QAC1C,+DAA+D;QAC/D,iEAAiE;QACjE,oEAAoE;QACpE,oEAAoE;QACpE,wEAAwE;QACxE,EAAE;QACF,kEAAkE;QAClE,iFAAiF;QACjF,wEAAwE;QACxE,kDAAkD;QAClD,EAAE;QACF,gEAAgE;QAChE,mEAAmE;QACnE,mEAAmE;QACnE,mEAAmE;QACnE,iEAAiE;QACjE,iEAAiE;QACjE,kEAAkE;QAClE,MAAM,0BAA0B,GAAqB;YACjD,GAAG,QAAQ;YACX,SAAS,EAAE;gBACP,GAAG,QAAQ,CAAC,SAAS;gBACrB,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,IAAI;oBACjC,cAAc,EAAE,eAAe;iBAClC;aACJ;SACJ,CAAA;QACD,IAAI,CAAC;YACD,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,CAAA;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,KAAK,YAAY,uBAAuB,EAAE,CAAC;gBAC3C,MAAM,IAAI,KAAK,CACX,2BAA2B,QAAQ,CAAC,QAAQ,EAAE,EAAE,0CAA0C,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC7I,EAAE,KAAK,EAAE,KAAK,EAAE,CACnB,CAAA;YACL,CAAC;YACD,MAAM,KAAK,CAAA;QACf,CAAC;QAED,yDAAyD;QACzD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YACzB,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QACzC,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;YAC1D,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACjB,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QACjD,CAAC;QAED,OAAO,MAAM,CAAA;IACjB,CAAC;CACJ"}

package/dist/engine/mutations/expressions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/expressions.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACR,gCAAgC,EAChC,6BAA6B,EAC7B,oBAAoB,EACvB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAQjE,MAAM,MAAM,yBAAyB,GAAG;IACpC,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAC9B,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,YAAY,EAAE,oBAAoB,CAAA;IAClC,SAAS,EAAE,MAAM,CAAA;IACjB,WAAW,EAAE,6BAA6B,CAAA;IAC1C,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE;IACF,SAAS,EAAE,MAAM,CAAA;IACjB,YAAY,EAAE,MAAM,CAAA;IACpB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,QAAQ,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAA;IACtC,UAAU,CAAC,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;KAAE,CAAA;IACpE,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,GACF;IACC,OAAO,EAAE,gCAAgC,CAAA;IACzC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAyEA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE;IACL,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,QAAQ,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAA;CACzC,GACF;IACC,UAAU,EAAE,gCAAgC,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA8BA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,GACrB;IACC,OAAO,EAAE,gCAAgC,GAAG,SAAS,CAAA;IACrD,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAgBA;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,IAAI,CAAA;CAAE,GACpD;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAY/B;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE;IACF,YAAY,EAAE,MAAM,CAAA;IACpB,WAAW,EAAE,oBAAoB,CAAA;IACjC,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,WAAW,CAAC,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,IAAI,CAAA;KAAE,CAAA;CACvD,GACF;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAyB/B;AAED,MAAM,MAAM,iCAAiC,GAAG;IAC5C,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,YAAY,EAAE,oBAAoB,CAAA;IAClC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,wBAAgB,0BAA0B,CACtC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,yBAAyB,GAChC;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA2CA;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,mBAAmB,GAC1B;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA8EA;AAED,wBAAgB,kCAAkC,CAC9C,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,iCAAiC,GACxC;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAsDA"}
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/expressions.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACR,gCAAgC,EAChC,6BAA6B,EAC7B,oBAAoB,EACvB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAQjE,MAAM,MAAM,yBAAyB,GAAG;IACpC,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAC9B,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,YAAY,EAAE,oBAAoB,CAAA;IAClC,SAAS,EAAE,MAAM,CAAA;IACjB,WAAW,EAAE,6BAA6B,CAAA;IAC1C,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE;IACF,SAAS,EAAE,MAAM,CAAA;IACjB,YAAY,EAAE,MAAM,CAAA;IACpB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,QAAQ,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAA;IACtC,UAAU,CAAC,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;KAAE,CAAA;IACpE,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,GACF;IACC,OAAO,EAAE,gCAAgC,CAAA;IACzC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAyEA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE;IACL,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,QAAQ,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAA;CACzC,GACF;IACC,UAAU,EAAE,gCAAgC,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA8BA;AAED,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,GACrB;IACC,OAAO,EAAE,gCAAgC,GAAG,SAAS,CAAA;IACrD,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAgBA;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,IAAI,CAAA;CAAE,GACpD;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAY/B;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE;IACF,YAAY,EAAE,MAAM,CAAA;IACpB,WAAW,EAAE,oBAAoB,CAAA;IACjC,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,WAAW,CAAC,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,IAAI,CAAA;KAAE,CAAA;CACvD,GACF;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAyB/B;AAED,MAAM,MAAM,iCAAiC,GAAG;IAC5C,SAAS,EAAE,MAAM,CAAA;IACjB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,YAAY,EAAE,oBAAoB,CAAA;IAClC,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAA;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,6BAA6B,CAAA;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;IAC1B,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;CAClB,CAAA;AAED,wBAAgB,0BAA0B,CACtC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,yBAAyB,GAChC;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA2CA;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,mBAAmB,GAC1B;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAgFA;AAED,wBAAgB,kCAAkC,CAC9C,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,iCAAiC,GACxC;IACC,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAC3C,QAAQ,EAAE,gCAAgC,EAAE,CAAA;IAC5C,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CAsDA"}

package/dist/engine/mutations/expressions.js

@@ -199,9 +199,11 @@ export function mutateWrapExpression(engine, data) {
             operator: null,
         };
     const wrapResult = pm.wrapExpression(operatorInput, siblingInput, data.direction === "after" ? data.targetExpressionId : undefined, data.direction === "before" ? data.targetExpressionId : undefined);
-    // Auto-generated expressions (formula buffers from wrapInsertFormula)
-    // only have core fields. Patch both the engine's internal state AND the
-    // changeset copies with the missing application-level fields.
+    // Auto-generated expressions (formula buffers inserted by the engine's
+    // post-mutation AN pass when running in assistive behavior; see cross-repo
+    // spec 2026-05-13-grammar-tiers-design §5) only have core fields. Patch
+    // both the engine's internal state AND the changeset copies with the
+    // missing application-level fields.
     // pm.getExpression() returns the actual Map-stored object, so
     // Object.assign mutates the engine's internal expression in-place.
     const appFields = {

package/dist/engine/mutations/expressions.js.map

@@ -1 +1 @@
-{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/engine/mutations/expressions.ts"],"names":[],"mappings":"AA+CA,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,IAaC;IAMD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,YAAY;QACrB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,4DAA4D;IAC5D,wDAAwD;IACxD,4DAA4D;IAC5D,IAAI,aAAwB,CAAA;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC,EAAE,8CAA8C;SAC9D,CAAA;IACL,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAS;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,CAAC;SACd,CAAA;IACL,CAAC;SAAM,CAAC;QACJ,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC;SACd,CAAA;IACL,CAAC;IAED,IAAI,MAA2C,CAAA;IAE/C,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,UAAU,CAAA;QAC9D,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,GAAG,aAAa,CAAA;QACvD,MAAM,GAAG,EAAE,CAAC,qBAAqB,CAC7B,SAAS,EACT,SAAS,EACT,UAA4B,CAC/B,CAAA;IACL,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrC,aAAa,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;QACtC,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC,aAAsB,CAAC,CAAA;IACrD,CAAC;SAAM,CAAC;QACJ,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,GAAG,aAAa,CAAA;QACvD,MAAM,GAAG,EAAE,CAAC,gBAAgB,CACxB,IAAI,CAAC,QAAQ,EACb,UAA4B,CAC/B,CAAA;IACL,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAA;IAC7B,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAC/D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,YAAY,CACpC,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAA;AACxD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,YAAoB,EACpB,OAIC;IAKD,8CAA8C;IAC9C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YAAE,SAAQ;QACjB,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC3C,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,aAAa,GAA0B,EAAE,CAAA;QAC/C,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,aAAa,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;QAC7C,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACnC,aAAa,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,SAAS,CAAA;QAC9D,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,aAAa,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAA;QAC1D,CAAC;QAED,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC3C,YAAY,EACZ,aAAa,CAChB,CAAA;QACD,OAAO;YACH,UAAU,EAAE,MAAM;YAClB,OAAO;SACV,CAAA;IACL,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,YAAoB;IAKpB,8CAA8C;IAC9C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YAAE,SAAQ;QACjB,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC3C,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAA;QACnE,OAAO;YACH,OAAO,EAAE,MAAM;YACf,OAAO;SACV,CAAA;IACL,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,YAAoB,EACpB,WAAmD;IAEnD,MAAM,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,YAAY,CAAC,CAAA;IACzD,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;IAC1E,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,YAAY,EAAE;QAChD,GAAG,WAAW;QACd,UAAU,EAAE,IAAI;KAC0B,CAAC,CAAA;IAE/C,OAAO,EAAE,OAAO,EAAE,CAAA;AACtB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,IAMC;IAED,MAAM,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAC9D,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CACX,cAAc,IAAI,CAAC,YAAY,2BAA2B,CAC7D,CAAA;IACL,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,CAAC,WAAW;QACxC,CAAC,CAAE;YACG,GAAG,IAAI,CAAC,WAAW;YACnB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SAC6B;QACjD,CAAC,CAAC,SAAS,CAAA;IAEf,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,cAAc,CACjC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,aAAa,EAClB,mBAAmB,CACtB,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,CAAA;AACtB,CAAC;AAiBD,MAAM,UAAU,0BAA0B,CACtC,MAAqB,EACrB,IAA+B;IAM/B,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,SAAS;QAClB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,MAAM,YAAY,GACd,IAAI,CAAC,IAAI,KAAK,UAAU;QACpB,CAAC,CAAC;YACI,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;SACjB;QACH,CAAC,CAAC;YACI,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACjB,CAAA;IAEX,MAAM,MAAM,GAAG,EAAE,CAAC,qBAAqB,CACnC,IAAI,CAAC,kBAAkB,EACvB,IAAI,CAAC,SAAS,EACd,YAAY,CACf,CAAA;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE,CAAA;IACvD,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAChE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAC7C,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAA;AACzD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,IAAyB;IAMzB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,MAAM,aAAa,GAAmB;QAClC,EAAE,EAAE,IAAI,CAAC,UAAU;QACnB,GAAG,MAAM;QACT,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,IAAI,CAAC,YAAY;QAC3B,UAAU,EAAE,IAAI;KACnB,CAAA;IAED,MAAM,YAAY,GACd,IAAI,CAAC,WAAW,KAAK,UAAU;QAC3B,CAAC,CAAC;YACI,EAAE,EAAE,IAAI,CAAC,SAAS;YAClB,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;SACjB;QACH,CAAC,CAAC;YACI,EAAE,EAAE,IAAI,CAAC,SAAS;YAClB,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACjB,CAAA;IAEX,MAAM,UAAU,GAAG,EAAE,CAAC,cAAc,CAChC,aAAa,EACb,YAAY,EACZ,IAAI,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,EAChE,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CACpE,CAAA;IAED,sEAAsE;IACtE,wEAAwE;IACxE,8DAA8D;IAC9D,8DAA8D;IAC9D,mEAAmE;IACnE,MAAM,SAAS,GAAG;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,IAAI;KACjB,CAAA;IACD,IAAI,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACtD,IAAI,CAAC,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,EAAE,CAAC;gBACnD,wCAAwC;gBACxC,MAAM,QAAQ,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAC1C,IAAI,QAAQ,EAAE,CAAC;oBACX,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;gBACtC,CAAC;gBACD,mCAAmC;gBACnC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;YAClC,CAAC;QACL,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE,CAAA;IAC3D,MAAM,QAAQ,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CACpE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAC7C,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAA;AAC7D,CAAC;AAED,MAAM,UAAU,kCAAkC,CAC9C,MAAqB,EACrB,IAAuC;IAMvC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,yEAAyE,CAC5E,CAAA;IACL,CAAC;IAED,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;IAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,kBAAkB,YAAY,CAAC,CAAA;IACtE,CAAC;IAED,qDAAqD;IACrD,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ;QAClC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC;QACvC,CAAC,CAAC,IAAI,CAAA;IACV,MAAM,kBAAkB,GACpB,UAAU,EAAE,IAAI,KAAK,UAAU;QAC/B,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAA;IAEnE,IAAI,kBAAkB,EAAE,CAAC;QACrB,OAAO,0BAA0B,CAAC,MAAM,EAAE;YACtC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;YAC3C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;SAC5B,CAAC,CAAA;IACN,CAAC;IAED,OAAO,oBAAoB,CAAC,MAAM,EAAE;QAChC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,WAAW,EAAE,IAAI,CAAC,IAAI;QACtB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAC,CAAA;AACN,CAAC"}
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../src/engine/mutations/expressions.ts"],"names":[],"mappings":"AA+CA,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,IAaC;IAMD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,YAAY;QACrB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,4DAA4D;IAC5D,wDAAwD;IACxD,4DAA4D;IAC5D,IAAI,aAAwB,CAAA;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC,EAAE,8CAA8C;SAC9D,CAAA;IACL,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAS;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,CAAC;SACd,CAAA;IACL,CAAC;SAAM,CAAC;QACJ,aAAa,GAAG;YACZ,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC;SACd,CAAA;IACL,CAAC;IAED,IAAI,MAA2C,CAAA;IAE/C,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,UAAU,CAAA;QAC9D,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,GAAG,aAAa,CAAA;QACvD,MAAM,GAAG,EAAE,CAAC,qBAAqB,CAC7B,SAAS,EACT,SAAS,EACT,UAA4B,CAC/B,CAAA;IACL,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrC,aAAa,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;QACtC,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC,aAAsB,CAAC,CAAA;IACrD,CAAC;SAAM,CAAC;QACJ,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,GAAG,aAAa,CAAA;QACvD,MAAM,GAAG,EAAE,CAAC,gBAAgB,CACxB,IAAI,CAAC,QAAQ,EACb,UAA4B,CAC/B,CAAA;IACL,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAA;IAC7B,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAC/D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,YAAY,CACpC,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAA;AACxD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,YAAoB,EACpB,OAIC;IAKD,8CAA8C;IAC9C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YAAE,SAAQ;QACjB,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC3C,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,aAAa,GAA0B,EAAE,CAAA;QAC/C,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,aAAa,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;QAC7C,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACnC,aAAa,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,SAAS,CAAA;QAC9D,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,aAAa,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,SAAS,CAAA;QAC1D,CAAC;QAED,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC3C,YAAY,EACZ,aAAa,CAChB,CAAA;QACD,OAAO;YACH,UAAU,EAAE,MAAM;YAClB,OAAO;SACV,CAAA;IACL,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,MAAqB,EACrB,YAAoB;IAKpB,8CAA8C;IAC9C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE;YAAE,SAAQ;QACjB,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,CAAA;QAC3C,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,YAAY,EAAE,IAAI,CAAC,CAAA;QACnE,OAAO;YACH,OAAO,EAAE,MAAM;YACf,OAAO;SACV,CAAA;IACL,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,YAAoB,EACpB,WAAmD;IAEnD,MAAM,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,YAAY,CAAC,CAAA;IACzD,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,cAAc,YAAY,2BAA2B,CAAC,CAAA;IAC1E,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,YAAY,EAAE;QAChD,GAAG,WAAW;QACd,UAAU,EAAE,IAAI;KAC0B,CAAC,CAAA;IAE/C,OAAO,EAAE,OAAO,EAAE,CAAA;AACtB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,IAMC;IAED,MAAM,EAAE,GAAG,MAAM,CAAC,yBAAyB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAC9D,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CACX,cAAc,IAAI,CAAC,YAAY,2BAA2B,CAC7D,CAAA;IACL,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,CAAC,WAAW;QACxC,CAAC,CAAE;YACG,GAAG,IAAI,CAAC,WAAW;YACnB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SAC6B;QACjD,CAAC,CAAC,SAAS,CAAA;IAEf,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,cAAc,CACjC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,WAAW,EAChB,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,aAAa,EAClB,mBAAmB,CACtB,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,CAAA;AACtB,CAAC;AAiBD,MAAM,UAAU,0BAA0B,CACtC,MAAqB,EACrB,IAA+B;IAM/B,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,SAAS;QAClB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,MAAM,YAAY,GACd,IAAI,CAAC,IAAI,KAAK,UAAU;QACpB,CAAC,CAAC;YACI,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;SACjB;QACH,CAAC,CAAC;YACI,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACjB,CAAA;IAEX,MAAM,MAAM,GAAG,EAAE,CAAC,qBAAqB,CACnC,IAAI,CAAC,kBAAkB,EACvB,IAAI,CAAC,SAAS,EACd,YAAY,CACf,CAAA;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE,CAAA;IACvD,MAAM,QAAQ,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAChE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAC7C,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAA;AACzD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAqB,EACrB,IAAyB;IAMzB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG;QACX,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAA;IAED,MAAM,aAAa,GAAmB;QAClC,EAAE,EAAE,IAAI,CAAC,UAAU;QACnB,GAAG,MAAM;QACT,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,IAAI,CAAC,YAAY;QAC3B,UAAU,EAAE,IAAI;KACnB,CAAA;IAED,MAAM,YAAY,GACd,IAAI,CAAC,WAAW,KAAK,UAAU;QAC3B,CAAC,CAAC;YACI,EAAE,EAAE,IAAI,CAAC,SAAS;YAClB,GAAG,MAAM;YACT,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,IAAI,CAAC,UAAW;YAC5B,QAAQ,EAAE,IAAI;SACjB;QACH,CAAC,CAAC;YACI,EAAE,EAAE,IAAI,CAAC,SAAS;YAClB,GAAG,MAAM;YACT,IAAI,EAAE,SAAkB;YACxB,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;SACjB,CAAA;IAEX,MAAM,UAAU,GAAG,EAAE,CAAC,cAAc,CAChC,aAAa,EACb,YAAY,EACZ,IAAI,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,EAChE,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CACpE,CAAA;IAED,uEAAuE;IACvE,2EAA2E;IAC3E,wEAAwE;IACxE,qEAAqE;IACrE,oCAAoC;IACpC,8DAA8D;IAC9D,mEAAmE;IACnE,MAAM,SAAS,GAAG;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,IAAI;KACjB,CAAA;IACD,IAAI,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC;QACxC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACtD,IAAI,CAAC,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,EAAE,CAAC;gBACnD,wCAAwC;gBACxC,MAAM,QAAQ,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAC1C,IAAI,QAAQ,EAAE,CAAC;oBACX,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;gBACtC,CAAC;gBACD,mCAAmC;gBACnC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;YAClC,CAAC;QACL,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE,CAAA;IAC3D,MAAM,QAAQ,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CACpE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAC7C,CAAA;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAA;AAC7D,CAAC;AAED,MAAM,UAAU,kCAAkC,CAC9C,MAAqB,EACrB,IAAuC;IAMvC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,yEAAyE,CAC5E,CAAA;IACL,CAAC;IAED,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC5C,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,CAAC,SAAS,YAAY,CAAC,CAAA;IAC1D,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;IAC5D,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,kBAAkB,YAAY,CAAC,CAAA;IACtE,CAAC;IAED,qDAAqD;IACrD,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ;QAClC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC;QACvC,CAAC,CAAC,IAAI,CAAA;IACV,MAAM,kBAAkB,GACpB,UAAU,EAAE,IAAI,KAAK,UAAU;QAC/B,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAA;IAEnE,IAAI,kBAAkB,EAAE,CAAC;QACrB,OAAO,0BAA0B,CAAC,MAAM,EAAE;YACtC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;YAC3C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;SAC5B,CAAC,CAAA;IACN,CAAC;IAED,OAAO,oBAAoB,CAAC,MAAM,EAAE;QAChC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,kBAAkB,EAAE,IAAI,CAAC,kBAAkB;QAC3C,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,WAAW,EAAE,IAAI,CAAC,IAAI;QACtB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KAC5B,CAAC,CAAA;AACN,CAAC"}

package/dist/engine/mutations/premises.d.ts

@@ -92,6 +92,21 @@ export declare function clearDerivationAntecedent(engine: ProjectEngine, premise
  * @throws InvariantViolationError(DERIVATION_ANTECEDENT_NON_EMPTY) when the
  *         premise's root expression is already an IMPLIES (caller forgot to
  *         call `clearDerivationAntecedent` first).
+ *
+ * @deprecated since `@proposit/shared@0.9.0`. Core 1.0 ships
+ *   `engine.populateFromCitations(claimId, lookup)` and
+ *   `engine.populateFromAxioms(claimId, lookup)` on `ArgumentEngine` —
+ *   first-class antecedent-population factories that integrate with the
+ *   four-tier grammar model, return a structured `{ kind, state }`
+ *   result instead of throwing on already-populated premises, and
+ *   enforce the D-3 no-mixing rule via the grammar tier rather than
+ *   ad-hoc invariant throws. Migrate to the engine methods at your next
+ *   convenient checkpoint. This helper continues to function correctly
+ *   against `@proposit/proposit-core@^1.0.0` (its IMPLIES/OR tree
+ *   construction uses the unchanged `wrapExpression`/`appendExpression`
+ *   mutation surface), but the parallel implementation no longer earns
+ *   its keep — scheduled for removal in shared `^1.0.0`. See cross-repo
+ *   spec 2026-05-13-grammar-tiers-design §10.1, §12.
  */
 export declare function populateDerivationFromCitations(engine: ProjectEngine, premiseId: string, supportingClaimIds: string[]): {
     changes: ProjectChangeset;

package/dist/engine/mutations/premises.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,gBAAgB,EAChB,qBAAqB,EACrB,sBAAsB,EACtB,gCAAgC,EACnC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAQjE,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,IAAI,EAAE,gBAAgB,CAAA;CACzB,GACF;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA+B/D;AAED,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,gBAAgB,GAC1B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAa/B;AAED,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAO/D;AAED,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAGjD;AAID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,6BAA6B,CACzC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,cAAc,EAAE,MAAM,CAAA;IACtB,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B,4BAA4B,CAAC,EAAE,MAAM,CAAA;IACrC,sBAAsB,EAAE,MAAM,CAAA;CACjC,GACF;IACC,OAAO,EAAE,qBAAqB,CAAA;IAC9B,kBAAkB,EAAE,sBAAsB,CAAA;IAC1C,oBAAoB,EAAE,gCAAgC,CAAA;IACtD,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA4KA;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA8H/B;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,kBAAkB,EAAE,MAAM,EAAE,GAC7B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAyJ/B"}
+{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,gBAAgB,EAChB,qBAAqB,EACrB,sBAAsB,EACtB,gCAAgC,EACnC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAajE,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,IAAI,EAAE,gBAAgB,CAAA;CACzB,GACF;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA+B/D;AAED,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,gBAAgB,GAC1B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAa/B;AAED,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAO/D;AAED,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAGjD;AAID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,6BAA6B,CACzC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,cAAc,EAAE,MAAM,CAAA;IACtB,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B,4BAA4B,CAAC,EAAE,MAAM,CAAA;IACrC,sBAAsB,EAAE,MAAM,CAAA;CACjC,GACF;IACC,OAAO,EAAE,qBAAqB,CAAA;IAC9B,kBAAkB,EAAE,sBAAsB,CAAA;IAC1C,oBAAoB,EAAE,gCAAgC,CAAA;IACtD,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA4KA;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA+H/B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,kBAAkB,EAAE,MAAM,EAAE,GAC7B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA6L/B"}

package/dist/engine/mutations/premises.js

@@ -1,7 +1,12 @@
 import { InvariantViolationError } from "@proposit/proposit-core";
 import { mergeChangesets } from "./types.js";
-// Error codes mirrored from `@proposit/proposit-core`. Surfaced in messages so
-// callers (server, tests) can match on string codes without importing core.
+// Helper-throw error codes scoped to shared's populateDerivationFromCitations.
+// Pre-1.0 these mirrored constants in `@proposit/proposit-core`; core 1.0
+// removed those constants (the corresponding D-tier violations now surface via
+// `engine.validate('derivable')`). Shared retains these local codes for
+// backward-compat with the helper's own throw contract until the helper is
+// removed in shared `^1.0.0`. Surfaced in messages so callers (server, tests)
+// can match on string codes without importing core.
 const DERIVATION_TYPE_MISMATCH = "DERIVATION_TYPE_MISMATCH";
 const DERIVATION_ANTECEDENT_NON_EMPTY = "DERIVATION_ANTECEDENT_NON_EMPTY";
 export function mutateCreatePremise(engine, premiseId, data) {
@@ -278,8 +283,9 @@ export function clearDerivationAntecedent(engine, premiseId) {
     //   - n ≥ 2 (canonical, post-v0.7.0): antecedent is a `formula` node
     //     whose only child is an OR; the OR's children are citation vars.
     //   - n ≥ 2 (legacy pre-v0.7.0 snapshots): antecedent is the OR directly
-    //     (no formula buffer), reached only via a load through
-    //     `LOADING_GRAMMAR`.
+    //     (no formula buffer). Core 1.0 loads such snapshots unconditionally;
+    //     no `LOADING_GRAMMAR` shim is involved (the snapshot-loading split was
+    //     removed in core 1.0).
     const citationVariableIds = [];
     if (antecedent.type === "variable") {
         if (antecedent.variableId != null) {
@@ -345,6 +351,21 @@ export function clearDerivationAntecedent(engine, premiseId) {
  * @throws InvariantViolationError(DERIVATION_ANTECEDENT_NON_EMPTY) when the
  *         premise's root expression is already an IMPLIES (caller forgot to
  *         call `clearDerivationAntecedent` first).
+ *
+ * @deprecated since `@proposit/shared@0.9.0`. Core 1.0 ships
+ *   `engine.populateFromCitations(claimId, lookup)` and
+ *   `engine.populateFromAxioms(claimId, lookup)` on `ArgumentEngine` —
+ *   first-class antecedent-population factories that integrate with the
+ *   four-tier grammar model, return a structured `{ kind, state }`
+ *   result instead of throwing on already-populated premises, and
+ *   enforce the D-3 no-mixing rule via the grammar tier rather than
+ *   ad-hoc invariant throws. Migrate to the engine methods at your next
+ *   convenient checkpoint. This helper continues to function correctly
+ *   against `@proposit/proposit-core@^1.0.0` (its IMPLIES/OR tree
+ *   construction uses the unchanged `wrapExpression`/`appendExpression`
+ *   mutation surface), but the parallel implementation no longer earns
+ *   its keep — scheduled for removal in shared `^1.0.0`. See cross-repo
+ *   spec 2026-05-13-grammar-tiers-design §10.1, §12.
  */
 export function populateDerivationFromCitations(engine, premiseId, supportingClaimIds) {
     const pm = engine.getPremise(premiseId);
@@ -423,11 +444,38 @@ export function populateDerivationFromCitations(engine, premiseId, supportingCla
     //    consequent appears in the wrap's changeset as `modified` (its
     //    parentId/position changed).
     //
-    // Standard grammar drives construction throughout. For n ≥ 2 the engine's
-    // wrapInsertFormula auto-normalize rule inserts a formula buffer between
-    // IMPLIES and OR, producing the canonical
-    // `IMPLIES(formula(OR(c1, …, cn)), Q)` shape. n = 0 and n = 1 have no
-    // operator-under-operator nesting so no formula gets inserted.
+    // For n ≥ 2 the pre-1.0 helper produced an `IMPLIES(OR(c1, …, cn), Q)`
+    // tree and relied on the engine's `wrapInsertFormula` flag to slip a
+    // formula buffer between IMPLIES and OR for P-1 compliance (then known
+    // as `enforceFormulaBetweenOperators`). The buffer landed inside the
+    // captured changeset because the auto-rule fired during the
+    // `wrapExpression` call itself, on the same mutation surface.
+    //
+    // Core 1.0 separates the two concerns: the AN post-hook (which inserts
+    // the formula buffer in `assistive` behavior) runs as an independent
+    // pass *after* the mutation, and crucially also runs AN-3 (delete
+    // 0-child operators / formulas). If we build the tree in `assistive`
+    // the AN-3 sweep fires between `wrapExpression(IMPLIES, OR)` and the
+    // subsequent `appendExpression(orId, …)` calls, sees a transient
+    // 0-child OR, and deletes it — leaving the next iteration unable to
+    // find its parent.
+    //
+    // Build the tree in `permissive` so the AN post-hook is suppressed
+    // throughout the construction. The final shape produced is
+    // `IMPLIES(OR(c1, …, cn), Q)` — Structural-valid, but P-1-noncompliant
+    // (a Presentable rule). Consumers that care about the formula buffer
+    // run `engine.normalize()` after this helper returns, capture the
+    // additional changeset themselves (e.g., via snapshot diffing), or
+    // rely on the canonical-shape canonicalization migration to materialize
+    // the formula buffer at the storage layer. The caller's prior behavior
+    // is restored on exit. Note: the helper is synchronous, so the window
+    // during which `engine.behavior === 'permissive'` is observable to any
+    // concurrent subscriber is narrow but non-zero — it's not strictly
+    // transparent w.r.t. the engine's mode.
+    //
+    // For n = 1 we don't need the flip: `IMPLIES(citvar, Q)` has no
+    // operator-under-operator nesting, so AN-1 doesn't fire and AN-3 has
+    // nothing to delete. Build under whatever behavior the caller set.
     const impliesId = generateId();
     const impliesOp = {
         id: impliesId,
@@ -450,8 +498,7 @@ export function populateDerivationFromCitations(engine, premiseId, supportingCla
         collected.push(wrap);
         return { changes: mergeChangesetSequence(collected) };
     }
-    // n ≥ 2: wrap with IMPLIES(OR, Q) and append citation children to OR.
-    // wrapInsertFormula slips a formula expression between IMPLIES and OR.
+    // n ≥ 2: see the two-stage commentary above.
     const orId = generateId();
     const orSibling = {
         id: orId,
@@ -461,18 +508,29 @@ export function populateDerivationFromCitations(engine, premiseId, supportingCla
         operator: "or",
         variableId: null,
     };
-    const { changes: wrap } = pm.wrapExpression(impliesOp, orSibling, undefined, consequentExpr.id);
-    collected.push(wrap);
-    for (const sourceVar of sourceVariables) {
-        const { changes: appendChanges } = pm.appendExpression(orId, {
-            id: generateId(),
-            ...sharedMeta,
-            parentId: orId,
-            type: "variable",
-            variableId: sourceVar.id,
-            operator: null,
-        });
-        collected.push(appendChanges);
+    const priorBehavior = engine.behavior;
+    if (priorBehavior !== "permissive") {
+        engine.setBehavior("permissive");
+    }
+    try {
+        const { changes: wrap } = pm.wrapExpression(impliesOp, orSibling, undefined, consequentExpr.id);
+        collected.push(wrap);
+        for (const sourceVar of sourceVariables) {
+            const { changes: appendChanges } = pm.appendExpression(orId, {
+                id: generateId(),
+                ...sharedMeta,
+                parentId: orId,
+                type: "variable",
+                variableId: sourceVar.id,
+                operator: null,
+            });
+            collected.push(appendChanges);
+        }
+    }
+    finally {
+        if (priorBehavior !== "permissive") {
+            engine.setBehavior(priorBehavior);
+        }
     }
     return { changes: mergeChangesetSequence(collected) };
 }