@proposit/shared 0.7.1 → 0.8.0

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

@@ -4,9 +4,25 @@ export declare function getUserClaimsImpl(config: TApiClientConfig, argumentId?:
     errorMessage: import("typebox").TString;
     statusCode: import("typebox").TNumber;
 }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TArray<import("typebox").TObject<{
-    claim: import("typebox").TObject<{
+    claim: import("typebox").TUnion<[import("typebox").TObject<{
+        digest: import("typebox").TString;
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        version: import("typebox").TNumber;
+        claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        creatorId: import("typebox").TString;
+        createdOn: import("../../schemas/common.js").TDateType;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         title: import("typebox").TString;
         body: import("typebox").TString;
+        titleContentHash: import("typebox").TString;
+        type: import("typebox").TLiteral<"normal">;
+        kind: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"criterion">]>, import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"claim">]>]>;
+        url: import("typebox").TNull;
+        citation: import("typebox").TNull;
+        citationContentHash: import("typebox").TNull;
+        axiom: import("typebox").TNull;
+    }>, import("typebox").TObject<{
         digest: import("typebox").TString;
         id: import("typebox").TString;
         argumentId: import("typebox").TString;
@@ -14,12 +30,14 @@ export declare function getUserClaimsImpl(config: TApiClientConfig, argumentId?:
         claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         creatorId: import("typebox").TString;
         createdOn: import("../../schemas/common.js").TDateType;
-        kind: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"criterion">]>, import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"claim">]>]>;
-        type: import("typebox").TUnion<[import("typebox").TLiteral<"normal">, import("typebox").TLiteral<"citation">]>;
         parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
-        titleContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
-        url: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
-        citation: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+        type: import("typebox").TLiteral<"citation">;
+        kind: import("typebox").TNull;
+        title: import("typebox").TNull;
+        body: import("typebox").TNull;
+        titleContentHash: import("typebox").TNull;
+        url: import("typebox").TString;
+        citation: import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
             type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
         }>, import("typebox").TObject<{
             type: import("typebox").TLiteral<"Book">;
@@ -447,9 +465,28 @@ export declare function getUserClaimsImpl(config: TApiClientConfig, argumentId?:
             type: import("typebox").TLiteral<"UnparsedURL">;
             url: import("typebox").TString;
             text: import("typebox").TOptional<import("typebox").TString>;
-        }>]>]>, import("typebox").TNull]>>;
-        citationContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
-    }>;
+        }>]>]>;
+        citationContentHash: import("typebox").TString;
+        axiom: import("typebox").TNull;
+    }>, import("typebox").TObject<{
+        digest: import("typebox").TString;
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        version: import("typebox").TNumber;
+        claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        creatorId: import("typebox").TString;
+        createdOn: import("../../schemas/common.js").TDateType;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        type: import("typebox").TLiteral<"axiomatic">;
+        kind: import("typebox").TNull;
+        title: import("typebox").TNull;
+        body: import("typebox").TNull;
+        titleContentHash: import("typebox").TNull;
+        url: import("typebox").TNull;
+        citation: import("typebox").TNull;
+        citationContentHash: import("typebox").TNull;
+        axiom: import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"stipulation">, import("typebox").TLiteral<"logical-principle">, import("typebox").TLiteral<"mathematical-principle">, import("typebox").TLiteral<"domain-rule">, import("typebox").TLiteral<"background-assumption">]>;
+    }>]>;
     argument: import("typebox").TObject<{
         id: import("typebox").TString;
         title: import("typebox").TString;

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/argument.d.ts

@@ -1,5 +1,7 @@
 import type { TArgumentImportOrigin } from "../schemas/integrations/index.js";
-export declare const CLAIM_TITLE_MAX_LEN = 50;
+export declare const ARGUMENT_TITLE_MAX_LEN = 100;
+export declare const PREMISE_TITLE_MAX_LEN = 100;
+export declare const CLAIM_TITLE_MAX_LEN = 100;
 export declare const CLAIM_BODY_MAX_LEN = 500;
 export declare const POPULARITY_ALGO_PARAMS: {
     readonly a: 0.01;

package/dist/consts/argument.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"argument.d.ts","sourceRoot":"","sources":["../../src/consts/argument.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAA;AAE7E,eAAO,MAAM,mBAAmB,KAAK,CAAA;AACrC,eAAO,MAAM,kBAAkB,MAAM,CAAA;AAErC,eAAO,MAAM,sBAAsB;;CAEzB,CAAA;AAEV,wBAAgB,mBAAmB,CAC/B,iBAAiB,EAAE,MAAM,EACzB,IAAI,CAAC,EAAE,MAAM,EACb,KAAK,CAAC,EAAE,MAAM,GACf,MAAM,CAIR;AAED,eAAO,MAAM,wBAAwB,EAAE,qBAAqB,EAK3D,CAAA"}
+{"version":3,"file":"argument.d.ts","sourceRoot":"","sources":["../../src/consts/argument.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAA;AAE7E,eAAO,MAAM,sBAAsB,MAAM,CAAA;AACzC,eAAO,MAAM,qBAAqB,MAAM,CAAA;AACxC,eAAO,MAAM,mBAAmB,MAAM,CAAA;AACtC,eAAO,MAAM,kBAAkB,MAAM,CAAA;AAErC,eAAO,MAAM,sBAAsB;;CAEzB,CAAA;AAEV,wBAAgB,mBAAmB,CAC/B,iBAAiB,EAAE,MAAM,EACzB,IAAI,CAAC,EAAE,MAAM,EACb,KAAK,CAAC,EAAE,MAAM,GACf,MAAM,CAIR;AAED,eAAO,MAAM,wBAAwB,EAAE,qBAAqB,EAK3D,CAAA"}

package/dist/consts/argument.js

@@ -1,4 +1,6 @@
-export const CLAIM_TITLE_MAX_LEN = 50;
+export const ARGUMENT_TITLE_MAX_LEN = 100;
+export const PREMISE_TITLE_MAX_LEN = 100;
+export const CLAIM_TITLE_MAX_LEN = 100;
 export const CLAIM_BODY_MAX_LEN = 500;
 export const POPULARITY_ALGO_PARAMS = {
     a: 0.01,

package/dist/consts/argument.js.map

@@ -1 +1 @@
-{"version":3,"file":"argument.js","sourceRoot":"","sources":["../../src/consts/argument.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,CAAA;AACrC,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAA;AAErC,MAAM,CAAC,MAAM,sBAAsB,GAAG;IAClC,CAAC,EAAE,IAAI;CACD,CAAA;AAEV,MAAM,UAAU,mBAAmB,CAC/B,iBAAyB,EACzB,IAAa,EACb,KAAc;IAEd,KAAK,GAAG,KAAK,IAAI,sBAAsB,CAAC,CAAC,CAAA;IACzC,IAAI,GAAG,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAA;IACzB,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAA;AACrE,CAAC;AAED,MAAM,CAAC,MAAM,wBAAwB,GAA4B;IAC7D,SAAS;IACT,QAAQ;IACR,UAAU;IACV,QAAQ;CACX,CAAA"}
+{"version":3,"file":"argument.js","sourceRoot":"","sources":["../../src/consts/argument.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAA;AACzC,MAAM,CAAC,MAAM,qBAAqB,GAAG,GAAG,CAAA;AACxC,MAAM,CAAC,MAAM,mBAAmB,GAAG,GAAG,CAAA;AACtC,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAA;AAErC,MAAM,CAAC,MAAM,sBAAsB,GAAG;IAClC,CAAC,EAAE,IAAI;CACD,CAAA;AAEV,MAAM,UAAU,mBAAmB,CAC/B,iBAAyB,EACzB,IAAa,EACb,KAAc;IAEd,KAAK,GAAG,KAAK,IAAI,sBAAsB,CAAC,CAAC,CAAA;IACzC,IAAI,GAAG,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAA;IACzB,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAA;AACrE,CAAC;AAED,MAAM,CAAC,MAAM,wBAAwB,GAA4B;IAC7D,SAAS;IACT,QAAQ;IACR,UAAU;IACV,QAAQ;CACX,CAAA"}

package/dist/consts/axioms.d.ts

@@ -0,0 +1,4 @@
+import type { TAxiomKind } from "../schemas/model/claims.js";
+export declare const AXIOM_KIND_LABELS: Readonly<Record<TAxiomKind, string>>;
+export declare const AXIOM_KIND_DESCRIPTIONS: Readonly<Record<TAxiomKind, string>>;
+//# sourceMappingURL=axioms.d.ts.map

package/dist/consts/axioms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"axioms.d.ts","sourceRoot":"","sources":["../../src/consts/axioms.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAA;AAE5D,eAAO,MAAM,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAOzD,CAAA;AAEV,eAAO,MAAM,uBAAuB,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAa/D,CAAA"}

package/dist/consts/axioms.js

@@ -0,0 +1,17 @@
+export const AXIOM_KIND_LABELS = {
+    definition: "True by definition or meaning",
+    stipulation: "Assumed for this argument",
+    "logical-principle": "Basic logical principle",
+    "mathematical-principle": "Basic mathematical principle",
+    "domain-rule": "Rule or authority within a system",
+    "background-assumption": "General background assumption",
+};
+export const AXIOM_KIND_DESCRIPTIONS = {
+    definition: "Use when the claim is treated as true because of what the relevant words, categories, or concepts mean. Example: 'A bachelor is unmarried.'",
+    stipulation: "Use when the argument explicitly defines or assumes something for its own purposes. Example: 'For this argument, an active user means someone who logs in weekly.'",
+    "logical-principle": "Use for basic principles of valid reasoning. Example: 'If P implies Q, and P is true, then Q follows.'",
+    "mathematical-principle": "Use for basic mathematical identities, axioms, or quantitative rules. Example: 'For any number x, x + 0 = x.'",
+    "domain-rule": "Use for rules, standards, texts, contracts, doctrines, protocols, or authorities internal to a system. Example: 'Under this contract, payment is due within 30 days.'",
+    "background-assumption": "Use for a foundational assumption the argument relies on but does not prove. Example: 'Human well-being matters.'",
+};
+//# sourceMappingURL=axioms.js.map

package/dist/consts/axioms.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"axioms.js","sourceRoot":"","sources":["../../src/consts/axioms.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,iBAAiB,GAAyC;IACnE,UAAU,EAAE,+BAA+B;IAC3C,WAAW,EAAE,2BAA2B;IACxC,mBAAmB,EAAE,yBAAyB;IAC9C,wBAAwB,EAAE,8BAA8B;IACxD,aAAa,EAAE,mCAAmC;IAClD,uBAAuB,EAAE,+BAA+B;CAClD,CAAA;AAEV,MAAM,CAAC,MAAM,uBAAuB,GAAyC;IACzE,UAAU,EACN,6IAA6I;IACjJ,WAAW,EACP,oKAAoK;IACxK,mBAAmB,EACf,wGAAwG;IAC5G,wBAAwB,EACpB,+GAA+G;IACnH,aAAa,EACT,uKAAuK;IAC3K,uBAAuB,EACnB,mHAAmH;CACjH,CAAA"}

package/dist/consts/index.d.ts

@@ -3,4 +3,5 @@ export * from "./task-status.js";
 export * from "./roles.js";
 export * from "./argument.js";
 export * from "./identity.js";
+export * from "./axioms.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/consts/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/consts/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,kBAAkB,CAAA;AAChC,cAAc,YAAY,CAAA;AAC1B,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/consts/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,kBAAkB,CAAA;AAChC,cAAc,YAAY,CAAA;AAC1B,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,aAAa,CAAA"}

package/dist/consts/index.js

@@ -3,4 +3,5 @@ export * from "./task-status.js";
 export * from "./roles.js";
 export * from "./argument.js";
 export * from "./identity.js";
+export * from "./axioms.js";
 //# sourceMappingURL=index.js.map

package/dist/consts/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/consts/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,kBAAkB,CAAA;AAChC,cAAc,YAAY,CAAA;AAC1B,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/consts/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,kBAAkB,CAAA;AAChC,cAAc,YAAY,CAAA;AAC1B,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,aAAa,CAAA"}

package/dist/engine/engine.d.ts

@@ -6,17 +6,17 @@ 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. Adds project-level claim and claim-citation
- * relation data and computed validation issues to core's reactive snapshot.
+ * Extended reactive snapshot. Adds project-level claim and citation edge
+ * data and computed validation issues to core's reactive snapshot.
  */
 export type TProjectReactiveSnapshot = TReactiveSnapshot<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable> & {
     claims: Record<string, TClaim>;
-    claimCitations: Record<string, TClaimCitation[]>;
+    citations: Record<string, TClaimCitation[]>;
     validationIssues: TCoreValidationIssue[];
 };
 /**
  * Project-specific extension of ArgumentEngine that manages domain data
- * (claims and claim-citation edges) alongside the core
+ * (claims and citation edges) alongside the core
  * propositional logic state.
  *
  * Mutations to domain data trigger reactive notifications via the inherited
@@ -25,7 +25,7 @@ export type TProjectReactiveSnapshot = TReactiveSnapshot<TArgument, TProposition
  */
 export declare class PropositArgumentEngine extends ArgumentEngine<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable> {
     private claimsMap;
-    private claimCitationsMap;
+    private citationsMap;
     private claimContext;
     constructor(...args: ConstructorParameters<typeof ArgumentEngine<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable>>);
     /**
@@ -44,22 +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 claimCitationsDirty;
+    private citationsDirty;
     private cachedClaims;
-    private cachedClaimCitations;
+    private cachedCitations;
     private cachedProjectSnapshot;
     private lastBaseSnapshot;
     private getClaimsRecord;
-    private getClaimCitationsRecord;
+    private getCitationsRecord;
     getProjectSnapshot(): TProjectReactiveSnapshot;
     getClaim(id: string): TClaim | undefined;
     getClaims(): Record<string, TClaim>;
     setClaim(claim: TClaim): void;
     removeClaim(id: string): void;
-    getSourceClaimsForCitingClaim(citingClaimId: string): TClaimCitation[];
-    getClaimCitations(): Record<string, TClaimCitation[]>;
-    addClaimCitation(cc: TClaimCitation): void;
-    removeClaimCitation(edgeId: string): void;
+    getCitationsForClaim(claimId: string): TClaimCitation[];
+    getCitations(): Record<string, TClaimCitation[]>;
+    addCitation(cc: TClaimCitation): void;
+    removeCitation(edgeId: string): void;
     /**
      * Restricts forking to published arguments only.
      * Overrides the base class default which returns true unconditionally.
@@ -68,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 and claim-citation
+     * snapshot (for logic state) plus arrays of claims and citation
      * edges.
      *
      * Does NOT trigger reactive notifications during initial data loading.
      */
-    static fromServerData(snapshot: TProjectSnapshot, claims: TClaim[], claimCitations: TClaimCitation[]): PropositArgumentEngine;
+    static fromServerData(snapshot: TProjectSnapshot, claims: TClaim[], citations: 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,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;AAqBnE,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;CAmF5B"}
+{"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"}

package/dist/engine/engine.js

@@ -1,6 +1,6 @@
 import { ArgumentEngine, InvariantViolationError, } from "@proposit/proposit-core";
 import { CHECKSUM_CONFIG } from "../checksum.js";
-import { createClaimLookup, EMPTY_CLAIM_CITATION_LOOKUP, } from "./library-adapters.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
@@ -16,7 +16,7 @@ const LOADING_GRAMMAR = {
 };
 /**
  * Project-specific extension of ArgumentEngine that manages domain data
- * (claims and claim-citation edges) alongside the core
+ * (claims and citation edges) alongside the core
  * propositional logic state.
  *
  * Mutations to domain data trigger reactive notifications via the inherited
@@ -27,7 +27,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;
-    claimCitationsMap = new Map();
+    citationsMap = 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).
@@ -35,7 +35,7 @@ export class PropositArgumentEngine extends ArgumentEngine {
     // The type annotation is a plain object to satisfy TS before this exists.
     claimContext;
     constructor(...args) {
-        const [argument, claimLookup, claimCitationLookup, options] = args;
+        const [argument, claimLookup, 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();
@@ -87,7 +87,7 @@ export class PropositArgumentEngine extends ArgumentEngine {
                 return undefined;
             },
         };
-        super(argument, mutableLookup, claimCitationLookup, options);
+        super(argument, mutableLookup, options);
         this.claimsMap = claimsMap;
         this.claimContext = claimContext;
     }
@@ -117,10 +117,10 @@ export class PropositArgumentEngine extends ArgumentEngine {
     }
     // Dirty tracking for structural sharing
     claimsDirty = true;
-    claimCitationsDirty = true;
+    citationsDirty = true;
     // Cached records for reactive snapshot
     cachedClaims = {};
-    cachedClaimCitations = {};
+    cachedCitations = {};
     // Full combined snapshot cache (for useSyncExternalStore referential stability)
     cachedProjectSnapshot;
     lastBaseSnapshot;
@@ -132,12 +132,12 @@ export class PropositArgumentEngine extends ArgumentEngine {
         }
         return this.cachedClaims;
     }
-    getClaimCitationsRecord() {
-        if (this.claimCitationsDirty) {
-            this.cachedClaimCitations = Object.fromEntries(this.claimCitationsMap);
-            this.claimCitationsDirty = false;
+    getCitationsRecord() {
+        if (this.citationsDirty) {
+            this.cachedCitations = Object.fromEntries(this.citationsMap);
+            this.citationsDirty = false;
         }
-        return this.cachedClaimCitations;
+        return this.cachedCitations;
     }
     // ──── Typed snapshot accessor ────
     getProjectSnapshot() {
@@ -161,35 +161,35 @@ export class PropositArgumentEngine extends ArgumentEngine {
             this.notifySubscribers();
         }
     }
-    // ──── ClaimCitation accessors ────
-    getSourceClaimsForCitingClaim(citingClaimId) {
-        return this.claimCitationsMap.get(citingClaimId) ?? [];
+    // ──── Citation accessors ────
+    getCitationsForClaim(claimId) {
+        return this.citationsMap.get(claimId) ?? [];
     }
-    getClaimCitations() {
-        return { ...this.getClaimCitationsRecord() };
+    getCitations() {
+        return { ...this.getCitationsRecord() };
     }
-    addClaimCitation(cc) {
-        const existing = this.claimCitationsMap.get(cc.citingClaimId) ?? [];
-        this.claimCitationsMap.set(cc.citingClaimId, [...existing, cc]);
-        this.claimCitationsDirty = true;
+    addCitation(cc) {
+        const existing = this.citationsMap.get(cc.claimId) ?? [];
+        this.citationsMap.set(cc.claimId, [...existing, cc]);
+        this.citationsDirty = true;
         this.notifySubscribers();
     }
-    removeClaimCitation(edgeId) {
+    removeCitation(edgeId) {
         let removed = false;
-        for (const [citingClaimId, edges] of this.claimCitationsMap.entries()) {
+        for (const [claimId, edges] of this.citationsMap.entries()) {
             const filtered = edges.filter((e) => e.id !== edgeId);
             if (filtered.length !== edges.length) {
                 if (filtered.length > 0) {
-                    this.claimCitationsMap.set(citingClaimId, filtered);
+                    this.citationsMap.set(claimId, filtered);
                 }
                 else {
-                    this.claimCitationsMap.delete(citingClaimId);
+                    this.citationsMap.delete(claimId);
                 }
                 removed = true;
             }
         }
         if (removed) {
-            this.claimCitationsDirty = true;
+            this.citationsDirty = true;
             this.notifySubscribers();
         }
     }
@@ -206,7 +206,7 @@ export class PropositArgumentEngine extends ArgumentEngine {
     buildReactiveSnapshot() {
         const base = super.buildReactiveSnapshot();
         const claims = this.getClaimsRecord();
-        const claimCitations = this.getClaimCitationsRecord();
+        const citations = this.getCitationsRecord();
         // Recompute validation when base engine snapshot changes
         let validationIssues;
         if (base !== this.lastBaseSnapshot) {
@@ -231,13 +231,13 @@ export class PropositArgumentEngine extends ArgumentEngine {
         if (this.cachedProjectSnapshot &&
             base === this.lastBaseSnapshot &&
             claims === this.cachedProjectSnapshot.claims &&
-            claimCitations === this.cachedProjectSnapshot.claimCitations) {
+            citations === this.cachedProjectSnapshot.citations) {
             return this.cachedProjectSnapshot;
         }
         const snapshot = {
             ...base,
             claims,
-            claimCitations,
+            citations,
             validationIssues,
         };
         this.cachedProjectSnapshot = snapshot;
@@ -247,14 +247,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 and claim-citation
+     * snapshot (for logic state) plus arrays of claims and citation
      * edges.
      *
      * Does NOT trigger reactive notifications during initial data loading.
      */
-    static fromServerData(snapshot, claims, claimCitations) {
+    static fromServerData(snapshot, claims, citations) {
         const claimLookup = createClaimLookup(claims);
-        const engine = new PropositArgumentEngine(snapshot.argument, claimLookup, EMPTY_CLAIM_CITATION_LOOKUP, {
+        const engine = new PropositArgumentEngine(snapshot.argument, claimLookup, {
             checksumConfig: CHECKSUM_CONFIG,
             positionConfig: snapshot.config?.positionConfig,
             grammarConfig: RUNTIME_GRAMMAR,
@@ -316,10 +316,10 @@ export class PropositArgumentEngine extends ArgumentEngine {
         for (const claim of claims) {
             engine.claimsMap.set(claim.id, claim);
         }
-        for (const cc of claimCitations) {
-            const existing = engine.claimCitationsMap.get(cc.citingClaimId) ?? [];
+        for (const cc of citations) {
+            const existing = engine.citationsMap.get(cc.claimId) ?? [];
             existing.push(cc);
-            engine.claimCitationsMap.set(cc.citingClaimId, existing);
+            engine.citationsMap.set(cc.claimId, 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,GAO1B,MAAM,yBAAyB,CAAA;AAUhC,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAChD,OAAO,EACH,iBAAiB,EACjB,2BAA2B,GAC9B,MAAM,uBAAuB,CAAA;AAE9B,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,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,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,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"}
+{"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"}

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

@@ -1,8 +1,8 @@
 import type { TClaimLookup } from "@proposit/proposit-core";
-import { EMPTY_CLAIM_LOOKUP, EMPTY_CLAIM_CITATION_LOOKUP } from "@proposit/proposit-core";
+import { EMPTY_CLAIM_LOOKUP } from "@proposit/proposit-core";
 export declare function createClaimLookup(claims: {
     id: string;
     version: number;
 }[]): TClaimLookup;
-export { EMPTY_CLAIM_LOOKUP, EMPTY_CLAIM_CITATION_LOOKUP };
+export { EMPTY_CLAIM_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,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"}
+{"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,EAAgB,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAE1E,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,CAAA"}

package/dist/engine/library-adapters.js

@@ -1,4 +1,4 @@
-import { createLookup, EMPTY_CLAIM_LOOKUP, EMPTY_CLAIM_CITATION_LOOKUP, } from "@proposit/proposit-core";
+import { createLookup, EMPTY_CLAIM_LOOKUP } from "@proposit/proposit-core";
 export function createClaimLookup(claims) {
     const inner = createLookup(claims, (c) => `${c.id}:${c.version}`);
     const latestById = new Map();
@@ -15,5 +15,5 @@ export function createClaimLookup(claims) {
         getCurrent: (id) => latestById.get(id),
     };
 }
-export { EMPTY_CLAIM_LOOKUP, EMPTY_CLAIM_CITATION_LOOKUP };
+export { EMPTY_CLAIM_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,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"}
+{"version":3,"file":"library-adapters.js","sourceRoot":"","sources":["../../src/engine/library-adapters.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAE1E,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,CAAA"}

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

@@ -84,7 +84,7 @@ export declare function clearDerivationAntecedent(engine: ProjectEngine, premise
  * naked derivation premise. For `n=1`, produces `IMPLIES(citation_var_1, Q)`.
  * For `n=0`, returns an empty changeset.
  *
- * Caller-supplied `sourceClaimIds` ordering determines the OR's child positions
+ * Caller-supplied `supportingClaimIds` ordering determines the OR's child positions
  * (or the single-source antecedent for n=1).
  *
  * @throws InvariantViolationError(DERIVATION_TYPE_MISMATCH) when `premiseId`
@@ -93,7 +93,7 @@ export declare function clearDerivationAntecedent(engine: ProjectEngine, premise
  *         premise's root expression is already an IMPLIES (caller forgot to
  *         call `clearDerivationAntecedent` first).
  */
-export declare function populateDerivationFromCitations(engine: ProjectEngine, premiseId: string, sourceClaimIds: string[]): {
+export declare function populateDerivationFromCitations(engine: ProjectEngine, premiseId: string, supportingClaimIds: string[]): {
     changes: ProjectChangeset;
 };
 //# sourceMappingURL=premises.d.ts.map

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,cAAc,EAAE,MAAM,EAAE,GACzB;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;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"}

package/dist/engine/mutations/premises.js

@@ -337,7 +337,7 @@ export function clearDerivationAntecedent(engine, premiseId) {
  * naked derivation premise. For `n=1`, produces `IMPLIES(citation_var_1, Q)`.
  * For `n=0`, returns an empty changeset.
  *
- * Caller-supplied `sourceClaimIds` ordering determines the OR's child positions
+ * Caller-supplied `supportingClaimIds` ordering determines the OR's child positions
  * (or the single-source antecedent for n=1).
  *
  * @throws InvariantViolationError(DERIVATION_TYPE_MISMATCH) when `premiseId`
@@ -346,7 +346,7 @@ export function clearDerivationAntecedent(engine, premiseId) {
  *         premise's root expression is already an IMPLIES (caller forgot to
  *         call `clearDerivationAntecedent` first).
  */
-export function populateDerivationFromCitations(engine, premiseId, sourceClaimIds) {
+export function populateDerivationFromCitations(engine, premiseId, supportingClaimIds) {
     const pm = engine.getPremise(premiseId);
     if (!pm) {
         throw new Error(`Premise ${premiseId} not found`);
@@ -383,7 +383,7 @@ export function populateDerivationFromCitations(engine, premiseId, sourceClaimId
             },
         ]);
     }
-    if (sourceClaimIds.length === 0)
+    if (supportingClaimIds.length === 0)
         return { changes: {} };
     const consequentExpr = root;
     if (consequentExpr.variableId == null) {
@@ -402,8 +402,8 @@ export function populateDerivationFromCitations(engine, premiseId, sourceClaimId
     //    mutation surface and produces no changeset of its own).
     const variablesBefore = new Set(engine.getVariables().map((v) => v.id));
     const sourceVariables = [];
-    for (const sourceClaimId of sourceClaimIds) {
-        const v = engine.ensureClaimBoundVariable(sourceClaimId);
+    for (const supportingClaimId of supportingClaimIds) {
+        const v = engine.ensureClaimBoundVariable(supportingClaimId);
         sourceVariables.push(v);
     }
     const newlyAddedVariables = sourceVariables.filter((v) => !variablesBefore.has(v.id));