@proposit/shared 0.7.2 → 0.9.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/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/derivation.d.ts

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

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

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

package/dist/engine/derivation.js

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

package/dist/engine/derivation.js.map

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

package/dist/engine/engine.d.ts

@@ -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,41 +25,43 @@ 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>>);
     /**
      * Overrides base rollback() to temporarily enable permissive claim stubs
-     * during the validate() call that rollback() performs internally.
+     * during the validateInvariants() call that rollback() performs internally.
      *
-     * In proposit-core 0.8.0+, rollback() calls validate() which checks that
-     * every claim-bound variable's (claimId, claimVersion) exists in the claim
-     * library. When the engine is loaded from a server snapshot and the caller
-     * does not supply the full claims array (common in tests), this would fail.
+     * In proposit-core 1.0.0+, rollback() calls validateInvariants() which
+     * checks that every claim-bound variable's (claimId, claimVersion) exists
+     * in the claim library. When the engine is loaded from a server snapshot
+     * and the caller does not supply the full claims array (common in tests),
+     * this would fail.
      *
-     * Permissive stubs are ONLY active during rollback's validate() pass:
+     * Permissive stubs are ONLY active during rollback's validateInvariants()
+     * pass:
      * - addVariable() explicit check: claimContext.permissiveForRestore = false
      *   (addVariable is not called inside rollbackInternal)
-     * - validate() inside rollback(): permissiveForRestore = true
+     * - validateInvariants() inside rollback(): permissiveForRestore = true
      */
     rollback(snapshot: Parameters<InstanceType<typeof ArgumentEngine<TArgument, TPropositionalPremise, TPropositionalExpressionCombined, TPropositionalVariable>>["rollback"]>[0]): void;
     private claimsDirty;
-    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;
+    getProjectClaim(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 +70,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,EACzB,KAAK,iBAAiB,EACzB,MAAM,yBAAyB,CAAA;AAEhC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAA;AAC9D,OAAO,KAAK,EACR,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,EACzB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAYnE,0FAA0F;AAC1F,MAAM,MAAM,gBAAgB,GAAG,uBAAuB,CAClD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,CACpD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,GAAG;IACA,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAA;IAC3C,gBAAgB,EAAE,oBAAoB,EAAE,CAAA;CAC3C,CAAA;AAED;;;;;;;;GAQG;AACH,qBAAa,sBAAuB,SAAQ,cAAc,CACtD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB;IAGG,OAAO,CAAC,SAAS,CAAqB;IACtC,OAAO,CAAC,YAAY,CAAsC;IAO1D,OAAO,CAAC,YAAY,CAAoC;gBAGpD,GAAG,IAAI,EAAE,qBAAqB,CAC1B,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ;IA8DL;;;;;;;;;;;;;;;OAeG;IACM,QAAQ,CACb,QAAQ,EAAE,UAAU,CAChB,YAAY,CACR,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ,CAAC,UAAU,CAAC,CAChB,CAAC,CAAC,CAAC,GACL,IAAI;IAUP,OAAO,CAAC,WAAW,CAAO;IAC1B,OAAO,CAAC,cAAc,CAAO;IAG7B,OAAO,CAAC,YAAY,CAA6B;IACjD,OAAO,CAAC,eAAe,CAAuC;IAG9D,OAAO,CAAC,qBAAqB,CAAsC;IACnE,OAAO,CAAC,gBAAgB,CAOT;IAIf,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,kBAAkB;IAU1B,kBAAkB,IAAI,wBAAwB;IAiB9C,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI/C,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAInC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAM7B,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAS7B,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,cAAc,EAAE;IAIvD,YAAY,IAAI,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC;IAIhD,WAAW,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI;IAOrC,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAqBpC;;;OAGG;IACa,OAAO,IAAI,OAAO;cAOf,qBAAqB,IAAI,wBAAwB;IAyDpE;;;;;;OAMG;IACH,MAAM,CAAC,cAAc,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,MAAM,EAAE,EAChB,SAAS,EAAE,cAAc,EAAE,GAC5B,sBAAsB;CAgE5B"}