@proposit/shared 0.4.0 → 0.5.0

package/dist/api-client/user/claims.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/api-client/user/claims.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,CAAC,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAYtB"}
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/api-client/user/claims.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,CAAC,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAYtB"}

package/dist/consts/user-tiers.js

@@ -17,43 +17,43 @@ export const UserTierLimits = {
     [UserTiers.UNVERIFIED]: {
         maxArguments: 0,
         maxStatementsPerArg: 0,
-        maxSourcesPerArg: 0,
+        maxCitationsPerArg: 0,
         maxTokensPerMonth: 0,
     },
     [UserTiers.FREE]: {
         maxArguments: 50,
         maxStatementsPerArg: 25,
-        maxSourcesPerArg: 100,
+        maxCitationsPerArg: 100,
         maxTokensPerMonth: 10_000,
     },
     [UserTiers.PREMIUM]: {
         maxArguments: 1000,
         maxStatementsPerArg: 50,
-        maxSourcesPerArg: 100,
+        maxCitationsPerArg: 100,
         maxTokensPerMonth: 500_000,
     },
     [UserTiers.ENTERPRISE]: {
         maxArguments: 100_000,
         maxStatementsPerArg: 1_000,
-        maxSourcesPerArg: 1_000,
+        maxCitationsPerArg: 1_000,
         maxTokensPerMonth: 10_000_000,
     },
     [UserTiers.BANNED]: {
         maxArguments: 0,
         maxStatementsPerArg: 0,
-        maxSourcesPerArg: 0,
+        maxCitationsPerArg: 0,
         maxTokensPerMonth: 0,
     },
     [UserTiers.DEACTIVATED]: {
         maxArguments: 0,
         maxStatementsPerArg: 0,
-        maxSourcesPerArg: 0,
+        maxCitationsPerArg: 0,
         maxTokensPerMonth: 0,
     },
     [UserTiers.NO_ASSIST]: {
         maxArguments: 50,
         maxStatementsPerArg: 25,
-        maxSourcesPerArg: 100,
+        maxCitationsPerArg: 100,
         maxTokensPerMonth: 0,
     },
 };

package/dist/consts/user-tiers.js.map

@@ -1 +1 @@
-{"version":3,"file":"user-tiers.js","sourceRoot":"","sources":["../../src/consts/user-tiers.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,wEAAwE;AACxE,uEAAuE;AACvE,oCAAoC;AACpC,yDAAyD;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAMrD,MAAM,CAAC,MAAM,aAAa,GAAmC;IACzD,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,YAAY;IACpC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM;IACxB,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,SAAS;IAC9B,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,YAAY;IACpC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,QAAQ;IAC5B,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,aAAa;IACtC,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,cAAc;CACxC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAA4C;IACnE,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE;QACpB,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,CAAC;QACtB,gBAAgB,EAAE,CAAC;QACnB,iBAAiB,EAAE,CAAC;KACvB;IACD,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;QACd,YAAY,EAAE,EAAE;QAChB,mBAAmB,EAAE,EAAE;QACvB,gBAAgB,EAAE,GAAG;QACrB,iBAAiB,EAAE,MAAM;KAC5B;IACD,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE;QACjB,YAAY,EAAE,IAAI;QAClB,mBAAmB,EAAE,EAAE;QACvB,gBAAgB,EAAE,GAAG;QACrB,iBAAiB,EAAE,OAAO;KAC7B;IACD,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE;QACpB,YAAY,EAAE,OAAO;QACrB,mBAAmB,EAAE,KAAK;QAC1B,gBAAgB,EAAE,KAAK;QACvB,iBAAiB,EAAE,UAAU;KAChC;IACD,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE;QAChB,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,CAAC;QACtB,gBAAgB,EAAE,CAAC;QACnB,iBAAiB,EAAE,CAAC;KACvB;IACD,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE;QACrB,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,CAAC;QACtB,gBAAgB,EAAE,CAAC;QACnB,iBAAiB,EAAE,CAAC;KACvB;IACD,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE;QACnB,YAAY,EAAE,EAAE;QAChB,mBAAmB,EAAE,EAAE;QACvB,gBAAgB,EAAE,GAAG;QACrB,iBAAiB,EAAE,CAAC;KACvB;CACJ,CAAA"}
+{"version":3,"file":"user-tiers.js","sourceRoot":"","sources":["../../src/consts/user-tiers.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,wEAAwE;AACxE,uEAAuE;AACvE,oCAAoC;AACpC,yDAAyD;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AAMrD,MAAM,CAAC,MAAM,aAAa,GAAmC;IACzD,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,YAAY;IACpC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM;IACxB,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,SAAS;IAC9B,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,YAAY;IACpC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,QAAQ;IAC5B,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,aAAa;IACtC,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,cAAc;CACxC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAA4C;IACnE,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE;QACpB,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,CAAC;QACtB,kBAAkB,EAAE,CAAC;QACrB,iBAAiB,EAAE,CAAC;KACvB;IACD,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;QACd,YAAY,EAAE,EAAE;QAChB,mBAAmB,EAAE,EAAE;QACvB,kBAAkB,EAAE,GAAG;QACvB,iBAAiB,EAAE,MAAM;KAC5B;IACD,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE;QACjB,YAAY,EAAE,IAAI;QAClB,mBAAmB,EAAE,EAAE;QACvB,kBAAkB,EAAE,GAAG;QACvB,iBAAiB,EAAE,OAAO;KAC7B;IACD,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE;QACpB,YAAY,EAAE,OAAO;QACrB,mBAAmB,EAAE,KAAK;QAC1B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,UAAU;KAChC;IACD,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE;QAChB,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,CAAC;QACtB,kBAAkB,EAAE,CAAC;QACrB,iBAAiB,EAAE,CAAC;KACvB;IACD,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE;QACrB,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,CAAC;QACtB,kBAAkB,EAAE,CAAC;QACrB,iBAAiB,EAAE,CAAC;KACvB;IACD,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE;QACnB,YAAY,EAAE,EAAE;QAChB,mBAAmB,EAAE,EAAE;QACvB,kBAAkB,EAAE,GAAG;QACvB,iBAAiB,EAAE,CAAC;KACvB;CACJ,CAAA"}

package/dist/engine/derivation.d.ts

@@ -0,0 +1,3 @@
+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";
+//# sourceMappingURL=derivation.d.ts.map

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

@@ -0,0 +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"}

package/dist/engine/derivation.js

@@ -0,0 +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";
+//# sourceMappingURL=derivation.js.map

package/dist/engine/derivation.js.map

@@ -0,0 +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"}

package/dist/engine/engine.d.ts

@@ -2,29 +2,21 @@ import { ArgumentEngine, type TArgumentEngineSnapshot, type TCoreValidationIssue
 import type { TArgument } from "../schemas/model/arguments.js";
 import type { TPropositionalExpressionCombined, TPropositionalPremise, TPropositionalVariable } from "../schemas/logic.js";
 import type { TClaim } from "../schemas/model/claims.js";
-import type { TSourceNotStrict } from "../schemas/model/sources.js";
-import type { TClaimSource } from "../schemas/model/sources.js";
+import type { TClaimCitation } from "../schemas/model/citations.js";
 /** Project-parameterized snapshot type used to bridge TypeBox schemas and core engine. */
 export type TProjectSnapshot = TArgumentEngineSnapshot<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable>;
 /**
- * Extended reactive snapshot that includes domain-specific data alongside core engine state.
- * Domain sources are stored in `domainSources` (not `sources`) because the core's
- * `sources` field is typed as `Record<string, TCoreSource>` and our domain TSourceNotStrict
- * is not structurally compatible. The core fields `variableSourceAssociations` and
- * `expressionSourceAssociations` pass through from the base and will be empty until
- * core source associations are used.
- *
- * `claims` and `claimSources` hold the domain-level claim data managed by proposit-server.
+ * Extended reactive snapshot. Adds project-level claim and claim-citation
+ * relation data and computed validation issues to core's reactive snapshot.
  */
 export type TProjectReactiveSnapshot = TReactiveSnapshot<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable> & {
     claims: Record<string, TClaim>;
-    domainSources: Record<string, TSourceNotStrict>;
-    claimSources: Record<string, TClaimSource[]>;
+    claimCitations: Record<string, TClaimCitation[]>;
     validationIssues: TCoreValidationIssue[];
 };
 /**
  * Project-specific extension of ArgumentEngine that manages domain data
- * (claims, sources, claim-source relations) alongside the core
+ * (claims and claim-citation edges) alongside the core
  * propositional logic state.
  *
  * Mutations to domain data trigger reactive notifications via the inherited
@@ -33,8 +25,7 @@ export type TProjectReactiveSnapshot = TReactiveSnapshot<TArgument, TProposition
  */
 export declare class PropositArgumentEngine extends ArgumentEngine<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable> {
     private claimsMap;
-    private sourcesMap;
-    private claimSourcesMap;
+    private claimCitationsMap;
     private claimContext;
     constructor(...args: ConstructorParameters<typeof ArgumentEngine<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable>>);
     /**
@@ -53,29 +44,22 @@ export declare class PropositArgumentEngine extends ArgumentEngine<TArgument, TP
      */
     rollback(snapshot: Parameters<InstanceType<typeof ArgumentEngine<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable>>["rollback"]>[0]): void;
     private claimsDirty;
-    private sourcesDirty;
-    private claimSourcesDirty;
+    private claimCitationsDirty;
     private cachedClaims;
-    private cachedSources;
-    private cachedClaimSources;
+    private cachedClaimCitations;
     private cachedProjectSnapshot;
     private lastBaseSnapshot;
     private getClaimsRecord;
-    private getSourcesRecord;
-    private getClaimSourcesRecord;
+    private getClaimCitationsRecord;
     getProjectSnapshot(): TProjectReactiveSnapshot;
     getClaim(id: string): TClaim | undefined;
     getClaims(): Record<string, TClaim>;
     setClaim(claim: TClaim): void;
     removeClaim(id: string): void;
-    getDomainSource(id: string): TSourceNotStrict | undefined;
-    getDomainSources(): Record<string, TSourceNotStrict>;
-    setDomainSource(source: TSourceNotStrict): void;
-    removeDomainSource(id: string): void;
-    getSourcesForClaim(claimId: string): TClaimSource[];
-    getClaimSources(): Record<string, TClaimSource[]>;
-    addClaimSource(cs: TClaimSource): void;
-    removeClaimSource(claimId: string, sourceId: string): void;
+    getSourceClaimsForCitingClaim(citingClaimId: string): TClaimCitation[];
+    getClaimCitations(): Record<string, TClaimCitation[]>;
+    addClaimCitation(cc: TClaimCitation): void;
+    removeClaimCitation(edgeId: string): void;
     /**
      * Restricts forking to published arguments only.
      * Overrides the base class default which returns true unconditionally.
@@ -84,11 +68,11 @@ export declare class PropositArgumentEngine extends ArgumentEngine<TArgument, TP
     protected buildReactiveSnapshot(): TProjectReactiveSnapshot;
     /**
      * Creates a PropositArgumentEngine from server-provided data: an engine
-     * snapshot (for logic state) plus arrays of claims, sources, and
-     * claim-source relations.
+     * snapshot (for logic state) plus arrays of claims and claim-citation
+     * edges.
      *
      * Does NOT trigger reactive notifications during initial data loading.
      */
-    static fromServerData(snapshot: TProjectSnapshot, claims: TClaim[], domainSources: TSourceNotStrict[], claimSources: TClaimSource[]): PropositArgumentEngine;
+    static fromServerData(snapshot: TProjectSnapshot, claims: TClaim[], claimCitations: TClaimCitation[]): PropositArgumentEngine;
 }
 //# sourceMappingURL=engine.d.ts.map

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,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,gBAAgB,EAAE,MAAM,6BAA6B,CAAA;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAA;AAQ/D,0FAA0F;AAC1F,MAAM,MAAM,gBAAgB,GAAG,uBAAuB,CAClD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CAAA;AAED;;;;;;;;;GASG;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,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IAC/C,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC,CAAA;IAC5C,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,UAAU,CAAsC;IACxD,OAAO,CAAC,eAAe,CAAoC;IAO3D,OAAO,CAAC,YAAY,CAAoC;gBAGpD,GAAG,IAAI,EAAE,qBAAqB,CAC1B,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ;IAoDL;;;;;;;;;;;;;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,YAAY,CAAO;IAC3B,OAAO,CAAC,iBAAiB,CAAO;IAGhC,OAAO,CAAC,YAAY,CAA6B;IACjD,OAAO,CAAC,aAAa,CAAuC;IAC5D,OAAO,CAAC,kBAAkB,CAAqC;IAG/D,OAAO,CAAC,qBAAqB,CAAsC;IACnE,OAAO,CAAC,gBAAgB,CAOT;IAIf,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,gBAAgB;IAQxB,OAAO,CAAC,qBAAqB;IAU7B,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;IAY7B,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAIzD,gBAAgB,IAAI,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAIpD,eAAe,CAAC,MAAM,EAAE,gBAAgB,GAAG,IAAI;IAM/C,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IASpC,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,EAAE;IAInD,eAAe,IAAI,MAAM,CAAC,MAAM,EAAE,YAAY,EAAE,CAAC;IAIjD,cAAc,CAAC,EAAE,EAAE,YAAY,GAAG,IAAI;IAOtC,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI;IAgB1D;;;OAGG;IACa,OAAO,IAAI,OAAO;cAOf,qBAAqB,IAAI,wBAAwB;IAqDpE;;;;;;OAMG;IACH,MAAM,CAAC,cAAc,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,MAAM,EAAE,EAChB,aAAa,EAAE,gBAAgB,EAAE,EACjC,YAAY,EAAE,YAAY,EAAE,GAC7B,sBAAsB;CAkE5B"}
+{"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;AAOnE,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,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAA;IAChD,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,iBAAiB,CAAsC;IAO/D,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,mBAAmB,CAAO;IAGlC,OAAO,CAAC,YAAY,CAA6B;IACjD,OAAO,CAAC,oBAAoB,CAAuC;IAGnE,OAAO,CAAC,qBAAqB,CAAsC;IACnE,OAAO,CAAC,gBAAgB,CAOT;IAIf,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,uBAAuB;IAY/B,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,6BAA6B,CAAC,aAAa,EAAE,MAAM,GAAG,cAAc,EAAE;IAItE,iBAAiB,IAAI,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC;IAIrD,gBAAgB,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI;IAO1C,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAqBzC;;;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,cAAc,EAAE,cAAc,EAAE,GACjC,sBAAsB;CA8D5B"}

package/dist/engine/engine.js

@@ -1,9 +1,9 @@
 import { ArgumentEngine, InvariantViolationError, } from "@proposit/proposit-core";
 import { CHECKSUM_CONFIG } from "../checksum.js";
-import { createClaimLookup, createSourceLookup, EMPTY_CLAIM_SOURCE_LOOKUP, } from "./library-adapters.js";
+import { createClaimLookup, EMPTY_CLAIM_CITATION_LOOKUP, } from "./library-adapters.js";
 /**
  * Project-specific extension of ArgumentEngine that manages domain data
- * (claims, sources, claim-source relations) alongside the core
+ * (claims and claim-citation edges) alongside the core
  * propositional logic state.
  *
  * Mutations to domain data trigger reactive notifications via the inherited
@@ -14,8 +14,7 @@ export class PropositArgumentEngine extends ArgumentEngine {
     // Internal storage — claimsMap also backs the base class's claimLibrary
     // so that setClaim() makes new claims visible to addVariable() validation.
     claimsMap;
-    sourcesMap = new Map();
-    claimSourcesMap = new Map();
+    claimCitationsMap = new Map();
     // Shared context object that is captured by the mutableLookup closure
     // and also accessible after construction so the rollback() override can
     // temporarily enable permissive claim stubs (see rollback() below).
@@ -23,13 +22,14 @@ export class PropositArgumentEngine extends ArgumentEngine {
     // The type annotation is a plain object to satisfy TS before this exists.
     claimContext;
     constructor(...args) {
-        const [argument, claimLookup, sourceLookup, claimSourceLookup, options,] = args;
+        const [argument, claimLookup, claimCitationLookup, options] = args;
         // Create the shared claims map before super() so we can build a
         // live lookup that the base class stores as this.claimLibrary.
         const claimsMap = new Map();
         const toCoreClaim = (c) => ({
             id: c.id,
             version: c.version,
+            type: c.type ?? "normal",
             frozen: false,
             checksum: "",
         });
@@ -54,12 +54,27 @@ export class PropositArgumentEngine extends ArgumentEngine {
                 // (addVariable) still check the lookup — but addVariable is not
                 // called during rollbackInternal, only validate() is.
                 if (claimContext.permissiveForRestore) {
-                    return { id, version, frozen: false, checksum: "" };
+                    return {
+                        id,
+                        version,
+                        type: "normal",
+                        frozen: false,
+                        checksum: "",
+                    };
                 }
                 return undefined;
             },
+            getCurrent(id) {
+                const c = claimsMap.get(id);
+                if (c)
+                    return toCoreClaim(c);
+                const orig = claimLookup.getCurrent(id);
+                if (orig)
+                    return toCoreClaim(orig);
+                return undefined;
+            },
         };
-        super(argument, mutableLookup, sourceLookup, claimSourceLookup, options);
+        super(argument, mutableLookup, claimCitationLookup, options);
         this.claimsMap = claimsMap;
         this.claimContext = claimContext;
     }
@@ -89,12 +104,10 @@ export class PropositArgumentEngine extends ArgumentEngine {
     }
     // Dirty tracking for structural sharing
     claimsDirty = true;
-    sourcesDirty = true;
-    claimSourcesDirty = true;
+    claimCitationsDirty = true;
     // Cached records for reactive snapshot
     cachedClaims = {};
-    cachedSources = {};
-    cachedClaimSources = {};
+    cachedClaimCitations = {};
     // Full combined snapshot cache (for useSyncExternalStore referential stability)
     cachedProjectSnapshot;
     lastBaseSnapshot;
@@ -106,19 +119,12 @@ export class PropositArgumentEngine extends ArgumentEngine {
         }
         return this.cachedClaims;
     }
-    getSourcesRecord() {
-        if (this.sourcesDirty) {
-            this.cachedSources = Object.fromEntries(this.sourcesMap);
-            this.sourcesDirty = false;
+    getClaimCitationsRecord() {
+        if (this.claimCitationsDirty) {
+            this.cachedClaimCitations = Object.fromEntries(this.claimCitationsMap);
+            this.claimCitationsDirty = false;
         }
-        return this.cachedSources;
-    }
-    getClaimSourcesRecord() {
-        if (this.claimSourcesDirty) {
-            this.cachedClaimSources = Object.fromEntries(this.claimSourcesMap);
-            this.claimSourcesDirty = false;
-        }
-        return this.cachedClaimSources;
+        return this.cachedClaimCitations;
     }
     // ──── Typed snapshot accessor ────
     getProjectSnapshot() {
@@ -142,55 +148,37 @@ export class PropositArgumentEngine extends ArgumentEngine {
             this.notifySubscribers();
         }
     }
-    // ──── Domain source accessors ────
-    // Named with "Domain" prefix to avoid shadowing core's SourceManager
-    // methods (getSource, getSources, removeSource). Domain sources are
-    // managed at the proposit-server level, not through proposit-core.
-    getDomainSource(id) {
-        return this.sourcesMap.get(id);
-    }
-    getDomainSources() {
-        return this.getSourcesRecord();
-    }
-    setDomainSource(source) {
-        this.sourcesMap.set(source.id, source);
-        this.sourcesDirty = true;
-        this.notifySubscribers();
-    }
-    removeDomainSource(id) {
-        if (this.sourcesMap.delete(id)) {
-            this.sourcesDirty = true;
-            this.notifySubscribers();
-        }
-    }
-    // ──── ClaimSource accessors ────
-    getSourcesForClaim(claimId) {
-        return this.claimSourcesMap.get(claimId) ?? [];
+    // ──── ClaimCitation accessors ────
+    getSourceClaimsForCitingClaim(citingClaimId) {
+        return this.claimCitationsMap.get(citingClaimId) ?? [];
     }
-    getClaimSources() {
-        return { ...this.getClaimSourcesRecord() };
+    getClaimCitations() {
+        return { ...this.getClaimCitationsRecord() };
     }
-    addClaimSource(cs) {
-        const existing = this.claimSourcesMap.get(cs.claimId) ?? [];
-        this.claimSourcesMap.set(cs.claimId, [...existing, cs]);
-        this.claimSourcesDirty = true;
+    addClaimCitation(cc) {
+        const existing = this.claimCitationsMap.get(cc.citingClaimId) ?? [];
+        this.claimCitationsMap.set(cc.citingClaimId, [...existing, cc]);
+        this.claimCitationsDirty = true;
         this.notifySubscribers();
     }
-    removeClaimSource(claimId, sourceId) {
-        const existing = this.claimSourcesMap.get(claimId);
-        if (!existing)
-            return;
-        const filtered = existing.filter((s) => s.sourceId !== sourceId);
-        if (filtered.length === existing.length)
-            return;
-        if (filtered.length > 0) {
-            this.claimSourcesMap.set(claimId, filtered);
+    removeClaimCitation(edgeId) {
+        let removed = false;
+        for (const [citingClaimId, edges] of this.claimCitationsMap.entries()) {
+            const filtered = edges.filter((e) => e.id !== edgeId);
+            if (filtered.length !== edges.length) {
+                if (filtered.length > 0) {
+                    this.claimCitationsMap.set(citingClaimId, filtered);
+                }
+                else {
+                    this.claimCitationsMap.delete(citingClaimId);
+                }
+                removed = true;
+            }
         }
-        else {
-            this.claimSourcesMap.delete(claimId);
+        if (removed) {
+            this.claimCitationsDirty = true;
+            this.notifySubscribers();
         }
-        this.claimSourcesDirty = true;
-        this.notifySubscribers();
     }
     // ──── canFork override ────
     /**
@@ -205,8 +193,7 @@ export class PropositArgumentEngine extends ArgumentEngine {
     buildReactiveSnapshot() {
         const base = super.buildReactiveSnapshot();
         const claims = this.getClaimsRecord();
-        const domainSources = this.getSourcesRecord();
-        const claimSources = this.getClaimSourcesRecord();
+        const claimCitations = this.getClaimCitationsRecord();
         // Recompute validation when base engine snapshot changes
         let validationIssues;
         if (base !== this.lastBaseSnapshot) {
@@ -231,15 +218,13 @@ export class PropositArgumentEngine extends ArgumentEngine {
         if (this.cachedProjectSnapshot &&
             base === this.lastBaseSnapshot &&
             claims === this.cachedProjectSnapshot.claims &&
-            domainSources === this.cachedProjectSnapshot.domainSources &&
-            claimSources === this.cachedProjectSnapshot.claimSources) {
+            claimCitations === this.cachedProjectSnapshot.claimCitations) {
             return this.cachedProjectSnapshot;
         }
         const snapshot = {
             ...base,
             claims,
-            domainSources,
-            claimSources,
+            claimCitations,
             validationIssues,
         };
         this.cachedProjectSnapshot = snapshot;
@@ -249,15 +234,14 @@ export class PropositArgumentEngine extends ArgumentEngine {
     // ──── Static factory ────
     /**
      * Creates a PropositArgumentEngine from server-provided data: an engine
-     * snapshot (for logic state) plus arrays of claims, sources, and
-     * claim-source relations.
+     * snapshot (for logic state) plus arrays of claims and claim-citation
+     * edges.
      *
      * Does NOT trigger reactive notifications during initial data loading.
      */
-    static fromServerData(snapshot, claims, domainSources, claimSources) {
+    static fromServerData(snapshot, claims, claimCitations) {
         const claimLookup = createClaimLookup(claims);
-        const sourceLookup = createSourceLookup(domainSources);
-        const engine = new PropositArgumentEngine(snapshot.argument, claimLookup, sourceLookup, EMPTY_CLAIM_SOURCE_LOOKUP, {
+        const engine = new PropositArgumentEngine(snapshot.argument, claimLookup, EMPTY_CLAIM_CITATION_LOOKUP, {
             checksumConfig: CHECKSUM_CONFIG,
             positionConfig: snapshot.config?.positionConfig,
             grammarConfig: {
@@ -299,13 +283,10 @@ export class PropositArgumentEngine extends ArgumentEngine {
         for (const claim of claims) {
             engine.claimsMap.set(claim.id, claim);
         }
-        for (const src of domainSources) {
-            engine.sourcesMap.set(src.id, src);
-        }
-        for (const cs of claimSources) {
-            const existing = engine.claimSourcesMap.get(cs.claimId) ?? [];
-            existing.push(cs);
-            engine.claimSourcesMap.set(cs.claimId, existing);
+        for (const cc of claimCitations) {
+            const existing = engine.claimCitationsMap.get(cc.citingClaimId) ?? [];
+            existing.push(cc);
+            engine.claimCitationsMap.set(cc.citingClaimId, existing);
         }
         return engine;
     }

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,GAM1B,MAAM,yBAAyB,CAAA;AAWhC,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAChD,OAAO,EACH,iBAAiB,EACjB,kBAAkB,EAClB,yBAAyB,GAC5B,MAAM,uBAAuB,CAAA;AAgC9B;;;;;;;;GAQG;AACH,MAAM,OAAO,sBAAuB,SAAQ,cAK3C;IACG,wEAAwE;IACxE,2EAA2E;IACnE,SAAS,CAAqB;IAC9B,UAAU,GAAG,IAAI,GAAG,EAA4B,CAAA;IAChD,eAAe,GAAG,IAAI,GAAG,EAA0B,CAAA;IAE3D,sEAAsE;IACtE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,0EAA0E;IAClE,YAAY,CAAoC;IAExD,YACI,GAAG,IAOF;QAED,MAAM,CACF,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,iBAAiB,EACjB,OAAO,EACV,GAAG,IAAI,CAAA;QACR,gEAAgE;QAChE,+DAA+D;QAC/D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;QAC3C,MAAM,WAAW,GAAG,CAAC,CAGpB,EAAc,EAAE,CAAC,CAAC;YACf,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,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,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;gBACvD,CAAC;gBACD,OAAO,SAAS,CAAA;YACpB,CAAC;SACJ,CAAA;QACD,KAAK,CAAC,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAA;QACxE,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,YAAY,GAAG,IAAI,CAAA;IACnB,iBAAiB,GAAG,IAAI,CAAA;IAEhC,uCAAuC;IAC/B,YAAY,GAA2B,EAAE,CAAA;IACzC,aAAa,GAAqC,EAAE,CAAA;IACpD,kBAAkB,GAAmC,EAAE,CAAA;IAE/D,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,gBAAgB;QACpB,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,IAAI,CAAC,aAAa,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACxD,IAAI,CAAC,YAAY,GAAG,KAAK,CAAA;QAC7B,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAA;IAC7B,CAAC;IAEO,qBAAqB;QACzB,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACzB,IAAI,CAAC,kBAAkB,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;YAClE,IAAI,CAAC,iBAAiB,GAAG,KAAK,CAAA;QAClC,CAAC;QACD,OAAO,IAAI,CAAC,kBAAkB,CAAA;IAClC,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,oCAAoC;IACpC,qEAAqE;IACrE,oEAAoE;IACpE,mEAAmE;IAEnE,eAAe,CAAC,EAAU;QACtB,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAClC,CAAC;IAED,gBAAgB;QACZ,OAAO,IAAI,CAAC,gBAAgB,EAAE,CAAA;IAClC,CAAC;IAED,eAAe,CAAC,MAAwB;QACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;QACtC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAA;QACxB,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,kBAAkB,CAAC,EAAU;QACzB,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,YAAY,GAAG,IAAI,CAAA;YACxB,IAAI,CAAC,iBAAiB,EAAE,CAAA;QAC5B,CAAC;IACL,CAAC;IAED,kCAAkC;IAElC,kBAAkB,CAAC,OAAe;QAC9B,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;IAClD,CAAC;IAED,eAAe;QACX,OAAO,EAAE,GAAG,IAAI,CAAC,qBAAqB,EAAE,EAAE,CAAA;IAC9C,CAAC;IAED,cAAc,CAAC,EAAgB;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;QAC3D,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAA;QACvD,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAA;QAC7B,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,iBAAiB,CAAC,OAAe,EAAE,QAAgB;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAClD,IAAI,CAAC,QAAQ;YAAE,OAAM;QACrB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAA;QAChE,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAAE,OAAM;QAC/C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QAC/C,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QACxC,CAAC;QACD,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAA;QAC7B,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,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,aAAa,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAA;QAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAA;QAEjD,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,aAAa,KAAK,IAAI,CAAC,qBAAqB,CAAC,aAAa;YAC1D,YAAY,KAAK,IAAI,CAAC,qBAAqB,CAAC,YAAY,EAC1D,CAAC;YACC,OAAO,IAAI,CAAC,qBAAqB,CAAA;QACrC,CAAC;QAED,MAAM,QAAQ,GAA6B;YACvC,GAAG,IAAI;YACP,MAAM;YACN,aAAa;YACb,YAAY;YACZ,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,aAAiC,EACjC,YAA4B;QAE5B,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;QAC7C,MAAM,YAAY,GAAG,kBAAkB,CAAC,aAAa,CAAC,CAAA;QACtD,MAAM,MAAM,GAAG,IAAI,sBAAsB,CACrC,QAAQ,CAAC,QAAQ,EACjB,WAAW,EACX,YAAY,EACZ,yBAAyB,EACzB;YACI,cAAc,EAAE,eAAe;YAC/B,cAAc,EAAE,QAAQ,CAAC,MAAM,EAAE,cAAc;YAC/C,aAAa,EAAE;gBACX,aAAa,EAAE,KAAK;gBACpB,8BAA8B,EAAE,IAAI;aACvC;YACD,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,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,GAAG,IAAI,aAAa,EAAE,CAAC;YAC9B,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;QACtC,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAA;YAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACjB,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;QACpD,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,EACH,iBAAiB,EACjB,2BAA2B,GAC9B,MAAM,uBAAuB,CAAA;AAyB9B;;;;;;;;GAQG;AACH,MAAM,OAAO,sBAAuB,SAAQ,cAK3C;IACG,wEAAwE;IACxE,2EAA2E;IACnE,SAAS,CAAqB;IAC9B,iBAAiB,GAAG,IAAI,GAAG,EAA4B,CAAA;IAE/D,sEAAsE;IACtE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,0EAA0E;IAClE,YAAY,CAAoC;IAExD,YACI,GAAG,IAOF;QAED,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,mBAAmB,EAAE,OAAO,CAAC,GAAG,IAAI,CAAA;QAClE,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,mBAAmB,EAAE,OAAO,CAAC,CAAA;QAC5D,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,mBAAmB,GAAG,IAAI,CAAA;IAElC,uCAAuC;IAC/B,YAAY,GAA2B,EAAE,CAAA;IACzC,oBAAoB,GAAqC,EAAE,CAAA;IAEnE,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,uBAAuB;QAC3B,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3B,IAAI,CAAC,oBAAoB,GAAG,MAAM,CAAC,WAAW,CAC1C,IAAI,CAAC,iBAAiB,CACzB,CAAA;YACD,IAAI,CAAC,mBAAmB,GAAG,KAAK,CAAA;QACpC,CAAC;QACD,OAAO,IAAI,CAAC,oBAAoB,CAAA;IACpC,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,oCAAoC;IAEpC,6BAA6B,CAAC,aAAqB;QAC/C,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAA;IAC1D,CAAC;IAED,iBAAiB;QACb,OAAO,EAAE,GAAG,IAAI,CAAC,uBAAuB,EAAE,EAAE,CAAA;IAChD,CAAC;IAED,gBAAgB,CAAC,EAAkB;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,CAAA;QACnE,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,GAAG,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAA;QAC/D,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAA;QAC/B,IAAI,CAAC,iBAAiB,EAAE,CAAA;IAC5B,CAAC;IAED,mBAAmB,CAAC,MAAc;QAC9B,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,KAAK,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,EAAE,CAAC;YACpE,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,iBAAiB,CAAC,GAAG,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAA;gBACvD,CAAC;qBAAM,CAAC;oBACJ,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAA;gBAChD,CAAC;gBACD,OAAO,GAAG,IAAI,CAAA;YAClB,CAAC;QACL,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACV,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAA;YAC/B,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,cAAc,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAA;QAErD,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,cAAc,KAAK,IAAI,CAAC,qBAAqB,CAAC,cAAc,EAC9D,CAAC;YACC,OAAO,IAAI,CAAC,qBAAqB,CAAA;QACrC,CAAC;QAED,MAAM,QAAQ,GAA6B;YACvC,GAAG,IAAI;YACP,MAAM;YACN,cAAc;YACd,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,cAAgC;QAEhC,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,IAAI,sBAAsB,CACrC,QAAQ,CAAC,QAAQ,EACjB,WAAW,EACX,2BAA2B,EAC3B;YACI,cAAc,EAAE,eAAe;YAC/B,cAAc,EAAE,QAAQ,CAAC,MAAM,EAAE,cAAc;YAC/C,aAAa,EAAE;gBACX,aAAa,EAAE,KAAK;gBACpB,8BAA8B,EAAE,IAAI;aACvC;YACD,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,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,cAAc,EAAE,CAAC;YAC9B,MAAM,QAAQ,GACV,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,CAAA;YACxD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YACjB,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAA;QAC5D,CAAC;QAED,OAAO,MAAM,CAAA;IACjB,CAAC;CACJ"}

package/dist/engine/library-adapters.d.ts

@@ -1,12 +1,8 @@
-import type { TClaimLookup, TSourceLookup } from "@proposit/proposit-core";
-import { EMPTY_CLAIM_LOOKUP, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP } from "@proposit/proposit-core";
+import type { TClaimLookup } from "@proposit/proposit-core";
+import { EMPTY_CLAIM_LOOKUP, EMPTY_CLAIM_CITATION_LOOKUP } from "@proposit/proposit-core";
 export declare function createClaimLookup(claims: {
     id: string;
     version: number;
 }[]): TClaimLookup;
-export declare function createSourceLookup(sources: {
-    id: string;
-    version?: number;
-}[]): TSourceLookup;
-export { EMPTY_CLAIM_LOOKUP, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP };
+export { EMPTY_CLAIM_LOOKUP, EMPTY_CLAIM_CITATION_LOOKUP };
 //# sourceMappingURL=library-adapters.d.ts.map

package/dist/engine/library-adapters.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"library-adapters.d.ts","sourceRoot":"","sources":["../../src/engine/library-adapters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAC1E,OAAO,EAEH,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,EAC5B,MAAM,yBAAyB,CAAA;AAEhC,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,EAAE,GAC1C,YAAY,CAGd;AAED,wBAAgB,kBAAkB,CAC9B,OAAO,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,GAC5C,aAAa,CAGf;AAED,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,CAAA"}
+{"version":3,"file":"library-adapters.d.ts","sourceRoot":"","sources":["../../src/engine/library-adapters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAEH,kBAAkB,EAClB,2BAA2B,EAC9B,MAAM,yBAAyB,CAAA;AAEhC,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,EAAE,GAC1C,YAAY,CAed;AAED,OAAO,EAAE,kBAAkB,EAAE,2BAA2B,EAAE,CAAA"}

package/dist/engine/library-adapters.js

@@ -1,11 +1,19 @@
-import { createLookup, EMPTY_CLAIM_LOOKUP, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP, } from "@proposit/proposit-core";
+import { createLookup, EMPTY_CLAIM_LOOKUP, EMPTY_CLAIM_CITATION_LOOKUP, } from "@proposit/proposit-core";
 export function createClaimLookup(claims) {
-    // eslint-disable-next-line @typescript-eslint/no-explicit-any, @typescript-eslint/no-unsafe-return
-    return createLookup(claims, (c) => `${c.id}:${c.version}`);
+    const inner = createLookup(claims, (c) => `${c.id}:${c.version}`);
+    const latestById = new Map();
+    for (const c of claims) {
+        const existing = latestById.get(c.id);
+        if (!existing || c.version > existing.version) {
+            latestById.set(c.id, c);
+        }
+    }
+    return {
+        // eslint-disable-next-line @typescript-eslint/no-explicit-any, @typescript-eslint/no-unsafe-return
+        get: (id, version) => inner.get(id, version),
+        // eslint-disable-next-line @typescript-eslint/no-explicit-any, @typescript-eslint/no-unsafe-return
+        getCurrent: (id) => latestById.get(id),
+    };
 }
-export function createSourceLookup(sources) {
-    // eslint-disable-next-line @typescript-eslint/no-explicit-any, @typescript-eslint/no-unsafe-return
-    return createLookup(sources, (s) => `${s.id}:${s.version ?? 1}`);
-}
-export { EMPTY_CLAIM_LOOKUP, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP };
+export { EMPTY_CLAIM_LOOKUP, EMPTY_CLAIM_CITATION_LOOKUP };
 //# sourceMappingURL=library-adapters.js.map

package/dist/engine/library-adapters.js.map

@@ -1 +1 @@
-{"version":3,"file":"library-adapters.js","sourceRoot":"","sources":["../../src/engine/library-adapters.ts"],"names":[],"mappings":"AACA,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,GAC5B,MAAM,yBAAyB,CAAA;AAEhC,MAAM,UAAU,iBAAiB,CAC7B,MAAyC;IAEzC,mGAAmG;IACnG,OAAO,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAQ,CAAA;AACrE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,OAA2C;IAE3C,mGAAmG;IACnG,OAAO,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,EAAE,CAAQ,CAAA;AAC3E,CAAC;AAED,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,CAAA"}
+{"version":3,"file":"library-adapters.js","sourceRoot":"","sources":["../../src/engine/library-adapters.ts"],"names":[],"mappings":"AACA,OAAO,EACH,YAAY,EACZ,kBAAkB,EAClB,2BAA2B,GAC9B,MAAM,yBAAyB,CAAA;AAEhC,MAAM,UAAU,iBAAiB,CAC7B,MAAyC;IAEzC,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2C,CAAA;IACrE,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACrC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC5C,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;QAC3B,CAAC;IACL,CAAC;IACD,OAAO;QACH,mGAAmG;QACnG,GAAG,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAQ;QACnD,mGAAmG;QACnG,UAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAQ;KAChD,CAAA;AACL,CAAC;AAED,OAAO,EAAE,kBAAkB,EAAE,2BAA2B,EAAE,CAAA"}

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":"AAAA,OAAO,KAAK,EACR,gBAAgB,EAChB,qBAAqB,EACxB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAGjE,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,CA4B/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"}
+{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,gBAAgB,EAChB,qBAAqB,EACxB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAGjE,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"}

package/dist/engine/mutations/premises.js

@@ -3,7 +3,10 @@ export function mutateCreatePremise(engine, premiseId, data) {
     if (data.role === "conclusion" && engine.getConclusionPremise()) {
         throw new Error("A conclusion premise already exists for this argument version");
     }
-    const { result: pm, changes } = engine.createPremiseWithId(premiseId, data);
+    const { result: pm, changes } = engine.createPremiseWithId(premiseId, {
+        type: "freeform",
+        extras: data,
+    });
     let allChanges = changes;
     if (data.role === "conclusion") {
         // Ensure this premise is marked as conclusion (createPremiseWithId

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

@@ -1 +1 @@
-{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB,EACjB,IAOC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,+DAA+D,CAClE,CAAA;IACL,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IAE3E,IAAI,UAAU,GAAG,OAAO,CAAA;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,mEAAmE;QACnE,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QACvE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;IACtD,CAAC;SAAM,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC9D,iEAAiE;QACjE,kEAAkE;QAClE,qCAAqC;QACrC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACjE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACvD,CAAC;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,MAAqB,EACrB,SAAiB,EACjB,OAAyB;IAEzB,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QAC3B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QAC1D,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;IACvD,IAAI,iBAAiB,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACnD,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB,EACjB,OAAgC;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;IAC5C,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,KAAK,SAAS,EAAE,OAAO,EAAE,CAAA;AACrD,CAAC"}
+{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB,EACjB,IAOC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,+DAA+D,CAClE,CAAA;IACL,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,SAAS,EAAE;QAClE,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,IAAI;KACf,CAAC,CAAA;IAEF,IAAI,UAAU,GAAG,OAAO,CAAA;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,mEAAmE;QACnE,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QACvE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;IACtD,CAAC;SAAM,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC9D,iEAAiE;QACjE,kEAAkE;QAClE,qCAAqC;QACrC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACjE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACvD,CAAC;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,MAAqB,EACrB,SAAiB,EACjB,OAAyB;IAEzB,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QAC3B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QAC1D,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;IACvD,IAAI,iBAAiB,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACnD,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB,EACjB,OAAgC;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;IAC5C,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,KAAK,SAAS,EAAE,OAAO,EAAE,CAAA;AACrD,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../../src/engine/optimistic/verification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,KAAK,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAc5E;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,sBAAsB,EAC9B,cAAc,EAAE,gBAAgB,GACjC,eAAe,CAmFjB"}
+{"version":3,"file":"verification.d.ts","sourceRoot":"","sources":["../../../src/engine/optimistic/verification.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,KAAK,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAW5E;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,sBAAsB,EAC9B,cAAc,EAAE,gBAAgB,GACjC,eAAe,CAkFjB"}

package/dist/engine/optimistic/verification.js

@@ -1,4 +1,4 @@
-import { EMPTY_CLAIM_SOURCE_LOOKUP, EMPTY_SOURCE_LOOKUP, } from "../library-adapters.js";
+import { EMPTY_CLAIM_CITATION_LOOKUP } from "../library-adapters.js";
 import { CHECKSUM_CONFIG } from "../../checksum.js";
 import { ArgumentEngine } from "@proposit/proposit-core";
 /**
@@ -12,7 +12,7 @@ import { ArgumentEngine } from "@proposit/proposit-core";
  */
 export function detectDivergence(engine, serverSnapshot) {
     // Build a temporary engine from the server snapshot to compute checksums
-    const serverEngine = new ArgumentEngine(serverSnapshot.argument, { get: () => undefined }, EMPTY_SOURCE_LOOKUP, EMPTY_CLAIM_SOURCE_LOOKUP, {
+    const serverEngine = new ArgumentEngine(serverSnapshot.argument, { get: () => undefined, getCurrent: () => undefined }, EMPTY_CLAIM_CITATION_LOOKUP, {
         checksumConfig: CHECKSUM_CONFIG,
         positionConfig: serverSnapshot.config?.positionConfig,
         grammarConfig: {