@proposit/proposit-core 3.3.0 → 3.4.0

package/dist/lib/core/interfaces/library.interfaces.d.ts

@@ -1,6 +1,7 @@
 import type { TCoreClaim } from "../../schemata/claim.js";
 import type { TCoreClaimConnection } from "../../schemata/claim-connection.js";
 import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord } from "../../schemata/fork.js";
+import type { TCoreOriginDocument, TCoreOriginLink, TCoreOriginAnchor, TOriginAnchorTargetType } from "../../schemata/origin.js";
 import type { TInvariantValidationResult } from "../../types/validation.js";
 import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../../schemata/index.js";
 import type { TArgumentEngineSnapshot } from "../argument-engine.js";
@@ -202,6 +203,68 @@ export type TClaimConnectionLibrarySnapshot<TConn extends TCoreClaimConnection =
     /** All claim-connection entities in the library. */
     connections: TConn[];
 };
+/**
+ * Read-only view of an origin library — the source texts an argument was
+ * built from, their association with argument versions, and the spans of
+ * those texts individual argument parts derive from.
+ */
+export interface TOriginLookup<TDocument extends TCoreOriginDocument = TCoreOriginDocument, TLink extends TCoreOriginLink = TCoreOriginLink, TAnchor extends TCoreOriginAnchor = TCoreOriginAnchor> {
+    /** Returns the document with the given ID, or `undefined`. */
+    getDocument(id: string): TDocument | undefined;
+    /** Returns the link with the given ID, or `undefined`. */
+    getLink(id: string): TLink | undefined;
+    /** Returns the anchor with the given ID, or `undefined`. */
+    getAnchor(id: string): TAnchor | undefined;
+    /** Returns every link attached to the given argument version. */
+    getLinksForArgument(argumentId: string, argumentVersion: number): TLink[];
+    /** Returns every anchor recorded against the given argument version. */
+    getAnchorsForArgument(argumentId: string, argumentVersion: number): TAnchor[];
+    /**
+     * Returns every anchor pointing at one target — a claim expression, a
+     * premise, or the argument itself.
+     */
+    getAnchorsForTarget(targetType: TOriginAnchorTargetType, targetId: string): TAnchor[];
+}
+/**
+ * Full management surface of an origin library: the read-only lookup plus
+ * creation, removal, snapshotting, and validation.
+ */
+export interface TOriginLibraryManagement<TDocument extends TCoreOriginDocument = TCoreOriginDocument, TLink extends TCoreOriginLink = TCoreOriginLink, TAnchor extends TCoreOriginAnchor = TCoreOriginAnchor> extends TOriginLookup<TDocument, TLink, TAnchor> {
+    /**
+     * Creates a document. The supplied text is normalized and its SHA-256
+     * digest computed by the library; neither is a caller input.
+     */
+    addDocument(document: Omit<TDocument, "checksum" | "digest">): TDocument;
+    /** Attaches a document to one argument version with a stance. */
+    addLink(link: Omit<TLink, "checksum">): TLink;
+    /** Records the span of a document that one argument part derives from. */
+    addAnchor(anchor: Omit<TAnchor, "checksum">): TAnchor;
+    /** Removes a document. Refuses while any link or anchor still references it. */
+    removeDocument(id: string): TDocument;
+    /** Removes a link. */
+    removeLink(id: string): TLink;
+    /** Removes an anchor. */
+    removeAnchor(id: string): TAnchor;
+    /** Every document in the library. */
+    getAllDocuments(): TDocument[];
+    /** Every link in the library. */
+    getAllLinks(): TLink[];
+    /** Every anchor in the library. */
+    getAllAnchors(): TAnchor[];
+    /** Serializable snapshot of the whole library. */
+    snapshot(): TOriginLibrarySnapshot<TDocument, TLink, TAnchor>;
+    /** Checks every entity against the schema and the library's invariants. */
+    validate(): TInvariantValidationResult;
+}
+/** Serializable snapshot of an `OriginLibrary`. */
+export type TOriginLibrarySnapshot<TDocument extends TCoreOriginDocument = TCoreOriginDocument, TLink extends TCoreOriginLink = TCoreOriginLink, TAnchor extends TCoreOriginAnchor = TCoreOriginAnchor> = {
+    /** All origin documents in the library. */
+    documents: TDocument[];
+    /** All argument-version-to-document links. */
+    links: TLink[];
+    /** All origin anchors. */
+    anchors: TAnchor[];
+};
 /**
  * Serializable snapshot of a `ClaimLibrary`. Contains all claim entities
  * across all IDs and versions.
@@ -239,7 +302,7 @@ export type TArgumentLibrarySnapshot<TArg extends TCoreArgument = TCoreArgument,
  * all managed libraries: arguments, claims, claim citations, axioms, and fork
  * records.
  */
-export type TPropositCoreSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimConnection = TCoreClaimConnection, TAxiom extends TCoreClaimConnection = TCoreClaimConnection, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = {
+export type TPropositCoreSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimConnection = TCoreClaimConnection, TAxiom extends TCoreClaimConnection = TCoreClaimConnection, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TOriginDocument extends TCoreOriginDocument = TCoreOriginDocument, TOriginLink extends TCoreOriginLink = TCoreOriginLink, TOriginAnchor extends TCoreOriginAnchor = TCoreOriginAnchor> = {
     /** Snapshot of all argument engines. */
     arguments: TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>;
     /** Snapshot of the claim library. */
@@ -250,6 +313,14 @@ export type TPropositCoreSnapshot<TArg extends TCoreArgument = TCoreArgument, TP
     axioms: TClaimConnectionLibrarySnapshot<TAxiom>;
     /** Snapshot of the fork library. */
     forks: TForkLibrarySnapshot<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
+    /**
+     * Snapshot of the origin library. Optional on input only: a snapshot
+     * written before origin data existed carries no such slot, and absence is
+     * unambiguously "no origin data" — unlike the axiom slot, no earlier field
+     * ever held it. `PropositCore.fromSnapshot` defaults it to an empty
+     * library rather than refusing the payload.
+     */
+    origins?: TOriginLibrarySnapshot<TOriginDocument, TOriginLink, TOriginAnchor>;
 };
 /**
  * Shared configuration options for `PropositCore`. These config values are

package/dist/lib/core/interfaces/library.interfaces.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"library.interfaces.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/library.interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAA;AAC9E,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAC3E,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AACpE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE;;;;GAIG;AACH,MAAM,WAAW,YAAY,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU;IAChE;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAEpD;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CAC7C;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB,CACpC,MAAM,SAAS,UAAU,GAAG,UAAU,CACxC,SAAQ,YAAY,CAAC,MAAM,CAAC;IAC1B;;;;;;;;;;OAUG;IACH,MAAM,CACF,KAAK,EACC,IAAI,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAC/C,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG;QACtD,EAAE,CAAC,EAAE,MAAM,CAAA;KACd,CAAC,GACT,MAAM,CAAA;IAET;;;;;;;;;;OAUG;IACH,MAAM,CACF,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAAC,GACzE,MAAM,CAAA;IAET;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;IAEvD;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAE1C;;;;OAIG;IACH,MAAM,IAAI,MAAM,EAAE,CAAA;IAElB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAEjC;;;;OAIG;IACH,QAAQ,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAA;IAEzC;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAsB,CACnC,KAAK,SAAS,oBAAoB,GAAG,oBAAoB;IAEzD;;;;;;OAMG;IACH,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,EAAE,CAAA;IAEhD;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS,CAAA;CACrC;AAED;;;;GAIG;AACH,MAAM,WAAW,iCAAiC,CAC9C,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,CAC3D,SAAQ,sBAAsB,CAAC,KAAK,CAAC;IACnC;;;;;;;;;;;;;;;;OAgBG;IACH,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,KAAK,CAAA;IAE/C;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,CAAA;IAEzB;;;;OAIG;IACH,MAAM,IAAI,KAAK,EAAE,CAAA;IAEjB;;;;;OAKG;IACH,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,GAAG,KAAK,EAAE,CAAA;IAEjD;;;;OAIG;IACH,QAAQ,IAAI,+BAA+B,CAAC,KAAK,CAAC,CAAA;IAElD;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED,MAAM,MAAM,+BAA+B,CACvC,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,IACzD;IACA,oDAAoD;IACpD,WAAW,EAAE,KAAK,EAAE,CAAA;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,IAAI;IACxE,yCAAyC;IACzC,MAAM,EAAE,MAAM,EAAE,CAAA;CACnB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,oBAAoB,CAC5B,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D;IACA,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,gCAAgC;IAChC,QAAQ,EAAE,YAAY,EAAE,CAAA;IACxB,mCAAmC;IACnC,WAAW,EAAE,SAAS,EAAE,CAAA;IACxB,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,8BAA8B;IAC9B,MAAM,EAAE,UAAU,EAAE,CAAA;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,wBAAwB,CAChC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,wDAAwD;IACxD,SAAS,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;CACpE,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D;IACA,wCAAwC;IACxC,SAAS,EAAE,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAChE,qCAAqC;IACrC,MAAM,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAA;IACrC,8CAA8C;IAC9C,SAAS,EAAE,+BAA+B,CAAC,SAAS,CAAC,CAAA;IACrD,2CAA2C;IAC3C,MAAM,EAAE,+BAA+B,CAAC,MAAM,CAAC,CAAA;IAC/C,oCAAoC;IACpC,KAAK,EAAE,oBAAoB,CACvB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;CACJ,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAC9B,+DAA+D;IAC/D,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,4CAA4C;IAC5C,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,WAAW,GAAG,YAAY,CAAA;IACrC,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA"}
+{"version":3,"file":"library.interfaces.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/library.interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAA;AAC9E,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EACR,mBAAmB,EACnB,eAAe,EACf,iBAAiB,EACjB,uBAAuB,EAC1B,MAAM,0BAA0B,CAAA;AACjC,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAC3E,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AACpE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE;;;;GAIG;AACH,MAAM,WAAW,YAAY,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU;IAChE;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAEpD;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CAC7C;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB,CACpC,MAAM,SAAS,UAAU,GAAG,UAAU,CACxC,SAAQ,YAAY,CAAC,MAAM,CAAC;IAC1B;;;;;;;;;;OAUG;IACH,MAAM,CACF,KAAK,EACC,IAAI,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAC/C,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG;QACtD,EAAE,CAAC,EAAE,MAAM,CAAA;KACd,CAAC,GACT,MAAM,CAAA;IAET;;;;;;;;;;OAUG;IACH,MAAM,CACF,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAAC,GACzE,MAAM,CAAA;IAET;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;IAEvD;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAE1C;;;;OAIG;IACH,MAAM,IAAI,MAAM,EAAE,CAAA;IAElB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAEjC;;;;OAIG;IACH,QAAQ,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAA;IAEzC;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAsB,CACnC,KAAK,SAAS,oBAAoB,GAAG,oBAAoB;IAEzD;;;;;;OAMG;IACH,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,EAAE,CAAA;IAEhD;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS,CAAA;CACrC;AAED;;;;GAIG;AACH,MAAM,WAAW,iCAAiC,CAC9C,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,CAC3D,SAAQ,sBAAsB,CAAC,KAAK,CAAC;IACnC;;;;;;;;;;;;;;;;OAgBG;IACH,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,KAAK,CAAA;IAE/C;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,CAAA;IAEzB;;;;OAIG;IACH,MAAM,IAAI,KAAK,EAAE,CAAA;IAEjB;;;;;OAKG;IACH,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,GAAG,KAAK,EAAE,CAAA;IAEjD;;;;OAIG;IACH,QAAQ,IAAI,+BAA+B,CAAC,KAAK,CAAC,CAAA;IAElD;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED,MAAM,MAAM,+BAA+B,CACvC,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,IACzD;IACA,oDAAoD;IACpD,WAAW,EAAE,KAAK,EAAE,CAAA;CACvB,CAAA;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa,CAC1B,SAAS,SAAS,mBAAmB,GAAG,mBAAmB,EAC3D,KAAK,SAAS,eAAe,GAAG,eAAe,EAC/C,OAAO,SAAS,iBAAiB,GAAG,iBAAiB;IAErD,8DAA8D;IAC9D,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAA;IAC9C,0DAA0D;IAC1D,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS,CAAA;IACtC,4DAA4D;IAC5D,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAA;IAC1C,iEAAiE;IACjE,mBAAmB,CAAC,UAAU,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,KAAK,EAAE,CAAA;IACzE,wEAAwE;IACxE,qBAAqB,CACjB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,GACxB,OAAO,EAAE,CAAA;IACZ;;;OAGG;IACH,mBAAmB,CACf,UAAU,EAAE,uBAAuB,EACnC,QAAQ,EAAE,MAAM,GACjB,OAAO,EAAE,CAAA;CACf;AAED;;;GAGG;AACH,MAAM,WAAW,wBAAwB,CACrC,SAAS,SAAS,mBAAmB,GAAG,mBAAmB,EAC3D,KAAK,SAAS,eAAe,GAAG,eAAe,EAC/C,OAAO,SAAS,iBAAiB,GAAG,iBAAiB,CACvD,SAAQ,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC;IAC9C;;;OAGG;IACH,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,GAAG,QAAQ,CAAC,GAAG,SAAS,CAAA;IACxE,iEAAiE;IACjE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,KAAK,CAAA;IAC7C,0EAA0E;IAC1E,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,OAAO,CAAA;IACrD,gFAAgF;IAChF,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,CAAA;IACrC,sBAAsB;IACtB,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,CAAA;IAC7B,yBAAyB;IACzB,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAA;IACjC,qCAAqC;IACrC,eAAe,IAAI,SAAS,EAAE,CAAA;IAC9B,iCAAiC;IACjC,WAAW,IAAI,KAAK,EAAE,CAAA;IACtB,mCAAmC;IACnC,aAAa,IAAI,OAAO,EAAE,CAAA;IAC1B,kDAAkD;IAClD,QAAQ,IAAI,sBAAsB,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;IAC7D,2EAA2E;IAC3E,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED,mDAAmD;AACnD,MAAM,MAAM,sBAAsB,CAC9B,SAAS,SAAS,mBAAmB,GAAG,mBAAmB,EAC3D,KAAK,SAAS,eAAe,GAAG,eAAe,EAC/C,OAAO,SAAS,iBAAiB,GAAG,iBAAiB,IACrD;IACA,2CAA2C;IAC3C,SAAS,EAAE,SAAS,EAAE,CAAA;IACtB,8CAA8C;IAC9C,KAAK,EAAE,KAAK,EAAE,CAAA;IACd,0BAA0B;IAC1B,OAAO,EAAE,OAAO,EAAE,CAAA;CACrB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,IAAI;IACxE,yCAAyC;IACzC,MAAM,EAAE,MAAM,EAAE,CAAA;CACnB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,oBAAoB,CAC5B,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D;IACA,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,gCAAgC;IAChC,QAAQ,EAAE,YAAY,EAAE,CAAA;IACxB,mCAAmC;IACnC,WAAW,EAAE,SAAS,EAAE,CAAA;IACxB,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,8BAA8B;IAC9B,MAAM,EAAE,UAAU,EAAE,CAAA;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,wBAAwB,CAChC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,wDAAwD;IACxD,SAAS,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;CACpE,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,oBAAoB,GAAG,oBAAoB,EAC7D,MAAM,SAAS,oBAAoB,GAAG,oBAAoB,EAC1D,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,EAC9D,eAAe,SAAS,mBAAmB,GAAG,mBAAmB,EACjE,WAAW,SAAS,eAAe,GAAG,eAAe,EACrD,aAAa,SAAS,iBAAiB,GAAG,iBAAiB,IAC3D;IACA,wCAAwC;IACxC,SAAS,EAAE,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAChE,qCAAqC;IACrC,MAAM,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAA;IACrC,8CAA8C;IAC9C,SAAS,EAAE,+BAA+B,CAAC,SAAS,CAAC,CAAA;IACrD,2CAA2C;IAC3C,MAAM,EAAE,+BAA+B,CAAC,MAAM,CAAC,CAAA;IAC/C,oCAAoC;IACpC,KAAK,EAAE,oBAAoB,CACvB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;IACD;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,sBAAsB,CAC5B,eAAe,EACf,WAAW,EACX,aAAa,CAChB,CAAA;CACJ,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAC9B,+DAA+D;IAC/D,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,4CAA4C;IAC5C,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,WAAW,GAAG,YAAY,CAAA;IACrC,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA"}

package/dist/lib/core/origin-library.d.ts

@@ -0,0 +1,127 @@
+import type { TCoreOriginDocument, TCoreOriginLink, TCoreOriginAnchor, TOriginAnchorTargetType } from "../schemata/origin.js";
+import type { TCoreChecksumConfig } from "../types/checksum.js";
+import type { TOriginLibraryManagement, TOriginLibrarySnapshot } from "./interfaces/library.interfaces.js";
+import type { TInvariantValidationResult } from "../types/validation.js";
+/**
+ * Holds the source texts arguments were built from, their per-version
+ * associations, and the spans of those texts individual argument parts derive
+ * from.
+ *
+ * Documents are immutable: there is no update path, because every anchor is
+ * an offset into a document's exact text. Correcting a source means replacing
+ * the document, which invalidates its anchors by design.
+ *
+ * The text is opaque content. This class digests it, measures it, and slices
+ * it by index; it never parses, renders, or interprets it.
+ *
+ * An anchor is only meaningful alongside a link: the link carries the stance.
+ * `validate()` therefore requires every anchor's
+ * `(argumentId, argumentVersion, documentId)` to have a matching link, which
+ * fixes the persistence order for consumers — document, then link, then
+ * anchors — and makes removing a link that still has anchors a violation.
+ *
+ * Like the claim-connection libraries, this one mints no identifiers —
+ * callers supply them — and takes no argument lookup: an argument library is
+ * constructed after this one, so cross-checking argument existence here would
+ * invert the dependency order. What it does enforce is everything decidable
+ * from its own contents, most importantly that an anchor's span slices out
+ * the anchor's own quote.
+ */
+export declare class OriginLibrary<TDocument extends TCoreOriginDocument = TCoreOriginDocument, TLink extends TCoreOriginLink = TCoreOriginLink, TAnchor extends TCoreOriginAnchor = TCoreOriginAnchor> implements TOriginLibraryManagement<TDocument, TLink, TAnchor> {
+    private documents;
+    private links;
+    private anchors;
+    private linksByArgument;
+    private anchorsByArgument;
+    private anchorsByTarget;
+    /**
+     * Documents whose stored text has been confirmed normalized and matching
+     * its digest, keyed by id and pinned to the exact text that passed. A
+     * document is immutable, so a body that has been checked once cannot
+     * change — but keying on the text rather than the id alone is what stops a
+     * tampered snapshot from inheriting a previous instance's verdict.
+     */
+    private verifiedDocumentBodies;
+    /** Code-point index per document, reused across that document's anchors. */
+    private documentIndexes;
+    /**
+     * Violations present as of the last accepted state, so a mutation can be
+     * judged on what it *introduced* rather than on whether everything is
+     * clean afterwards. Carried between mutations rather than recomputed, so
+     * this costs no extra `validate()` pass.
+     */
+    private knownViolationKeys;
+    private checksumConfig?;
+    constructor(options?: {
+        checksumConfig?: TCoreChecksumConfig;
+    });
+    /** Stable identity for a violation, so two validation runs can be compared. */
+    private static violationKey;
+    private static addToIndex;
+    private reindex;
+    private restoreFromSnapshot;
+    /**
+     * Runs a mutation, then rolls back and throws if the mutation *introduced*
+     * a violation.
+     *
+     * Introduced, not "left the library inconsistent". Demanding a clean
+     * library after every mutation makes an already-inconsistent one
+     * unrepairable: two anchors that both violate the same invariant each keep
+     * the other's removal from being accepted, and every mutation fails
+     * forever. A library that validates has to stay repairable, and a snapshot
+     * assembled by a consumer — or written by an older build — can arrive
+     * inconsistent through no fault of the mutation being attempted.
+     *
+     * One rule covers both directions: an `addAnchor` with no link introduces a
+     * violation and is still refused on a broken library as on a clean one, and
+     * a `removeLink` that orphans existing anchors introduces theirs.
+     *
+     * ponytail: validating the whole library after every mutation is O(n²) in
+     * anchor count across a bulk import — each of n `addAnchor` calls re-checks
+     * the n anchors already present. Each check is one short slice comparison
+     * against a cached index, so a few thousand anchors is still milliseconds;
+     * scope the validation to the entity that changed if a caller ever needs
+     * tens of thousands. The document-body checks, which scaled with document
+     * *size* rather than count, are already skipped once verified.
+     *
+     * ponytail: the code-point indexes those checks rely on are retained for
+     * the life of every document, uncapped — roughly 10x the text size, so 10 MB
+     * of documents holds about 100 MB of heap. Peak is unchanged; steady state
+     * is not. If it bites, index only documents that have anchors and drop the
+     * index with their last anchor.
+     */
+    private withValidation;
+    /**
+     * Creates a document from raw text. The text is normalized and digested
+     * here rather than by the caller, so every document in the library shares
+     * one coordinate system and one identity rule.
+     */
+    addDocument(document: Omit<TDocument, "checksum" | "digest">): TDocument;
+    addLink(link: Omit<TLink, "checksum">): TLink;
+    addAnchor(anchor: Omit<TAnchor, "checksum">): TAnchor;
+    /**
+     * Removes a document. Refuses while a link or an anchor still references
+     * it — dropping it silently would leave dangling references that only
+     * `validate()` would notice, and only later.
+     */
+    removeDocument(id: string): TDocument;
+    removeLink(id: string): TLink;
+    removeAnchor(id: string): TAnchor;
+    getDocument(id: string): TDocument | undefined;
+    getLink(id: string): TLink | undefined;
+    getAnchor(id: string): TAnchor | undefined;
+    getLinksForArgument(argumentId: string, argumentVersion: number): TLink[];
+    getAnchorsForArgument(argumentId: string, argumentVersion: number): TAnchor[];
+    getAnchorsForTarget(targetType: TOriginAnchorTargetType, targetId: string): TAnchor[];
+    getAllDocuments(): TDocument[];
+    getAllLinks(): TLink[];
+    getAllAnchors(): TAnchor[];
+    snapshot(): TOriginLibrarySnapshot<TDocument, TLink, TAnchor>;
+    /** Restores an origin library from a snapshot, rebuilding its indexes. */
+    static fromSnapshot<TDocument extends TCoreOriginDocument = TCoreOriginDocument, TLink extends TCoreOriginLink = TCoreOriginLink, TAnchor extends TCoreOriginAnchor = TCoreOriginAnchor>(snapshot: TOriginLibrarySnapshot<TDocument, TLink, TAnchor>, options?: {
+        checksumConfig?: TCoreChecksumConfig;
+    }): OriginLibrary<TDocument, TLink, TAnchor>;
+    validate(): TInvariantValidationResult;
+    private fieldsFor;
+}
+//# sourceMappingURL=origin-library.d.ts.map

package/dist/lib/core/origin-library.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"origin-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/origin-library.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,mBAAmB,EACnB,eAAe,EACf,iBAAiB,EACjB,uBAAuB,EAC1B,MAAM,uBAAuB,CAAA;AAM9B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAU/D,OAAO,KAAK,EACR,wBAAwB,EACxB,sBAAsB,EACzB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAgC/B;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,qBAAa,aAAa,CACtB,SAAS,SAAS,mBAAmB,GAAG,mBAAmB,EAC3D,KAAK,SAAS,eAAe,GAAG,eAAe,EAC/C,OAAO,SAAS,iBAAiB,GAAG,iBAAiB,CACvD,YAAW,wBAAwB,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC;IAC5D,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,KAAK,CAAoB;IACjC,OAAO,CAAC,OAAO,CAAsB;IACrC,OAAO,CAAC,eAAe,CAA0B;IACjD,OAAO,CAAC,iBAAiB,CAA0B;IACnD,OAAO,CAAC,eAAe,CAA0B;IACjD;;;;;;OAMG;IACH,OAAO,CAAC,sBAAsB,CAAqB;IACnD,4EAA4E;IAC5E,OAAO,CAAC,eAAe,CAA8B;IACrD;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB,CAAa;IACvC,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAEhC,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAa9D,+EAA+E;IAC/E,OAAO,CAAC,MAAM,CAAC,YAAY;IAI3B,OAAO,CAAC,MAAM,CAAC,UAAU;IAazB,OAAO,CAAC,OAAO;IAyBf,OAAO,CAAC,mBAAmB;IAmB3B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACH,OAAO,CAAC,cAAc;IA2BtB;;;;OAIG;IACI,WAAW,CACd,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,GAAG,QAAQ,CAAC,GACjD,SAAS;IAsCL,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,KAAK;IA2B7C,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,OAAO;IAgC5D;;;;OAIG;IACI,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS;IAiCrC,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK;IAqB7B,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAwBjC,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS;IAI9C,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAItC,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS;IAI1C,mBAAmB,CACtB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,GACxB,KAAK,EAAE;IAUH,qBAAqB,CACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,GACxB,OAAO,EAAE;IAUL,mBAAmB,CACtB,UAAU,EAAE,uBAAuB,EACnC,QAAQ,EAAE,MAAM,GACjB,OAAO,EAAE;IAQL,eAAe,IAAI,SAAS,EAAE;IAI9B,WAAW,IAAI,KAAK,EAAE;IAItB,aAAa,IAAI,OAAO,EAAE;IAI1B,QAAQ,IAAI,sBAAsB,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC;IAQpE,0EAA0E;WAC5D,YAAY,CACtB,SAAS,SAAS,mBAAmB,GAAG,mBAAmB,EAC3D,KAAK,SAAS,eAAe,GAAG,eAAe,EAC/C,OAAO,SAAS,iBAAiB,GAAG,iBAAiB,EAErD,QAAQ,EAAE,sBAAsB,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,EAC3D,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,aAAa,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC;IAYpC,QAAQ,IAAI,0BAA0B;IA8I7C,OAAO,CAAC,SAAS;CAKpB"}