@proposit/proposit-core 0.9.1 → 0.11.0

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

@@ -1,6 +1,6 @@
 import type { TCoreClaim } from "../../schemata/claim.js";
-import type { TCoreClaimSourceAssociation, TCoreSource } from "../../schemata/source.js";
-import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord, TCoreSourceForkRecord } from "../../schemata/fork.js";
+import type { TCoreClaimCitation } from "../../schemata/claim-citation.js";
+import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord } from "../../schemata/fork.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";
@@ -21,21 +21,19 @@ export interface TClaimLookup<TClaim extends TCoreClaim = TCoreClaim> {
      * @returns The claim entity, or `undefined`.
      */
     get(id: string, version: number): TClaim | undefined;
-}
-/**
- * Narrow read-only interface for source lookups. Used by `ArgumentEngine` for
- * validation — callers that only need to verify source existence should depend
- * on this rather than the full `SourceLibrary`.
- */
-export interface TSourceLookup<TSource extends TCoreSource = TCoreSource> {
     /**
-     * Returns a source by ID and version, or `undefined` if not found.
+     * Returns the latest version of a claim for the given ID, or `undefined`
+     * if the claim does not exist in this lookup.
+     *
+     * Implementations backed by a flat array (e.g. `createLookup`) return the
+     * item with the highest version number for the given ID. The full
+     * `ClaimLibrary` class tracks versions natively and returns its internal
+     * latest version directly.
      *
-     * @param id - The source ID.
-     * @param version - The source version number.
-     * @returns The source entity, or `undefined`.
+     * @param id - The claim ID.
+     * @returns The latest claim entity, or `undefined`.
      */
-    get(id: string, version: number): TSource | undefined;
+    getCurrent(id: string): TClaim | undefined;
 }
 /**
  * Full management interface for a versioned claim library. Extends
@@ -44,13 +42,18 @@ export interface TSourceLookup<TSource extends TCoreSource = TCoreSource> {
 export interface TClaimLibraryManagement<TClaim extends TCoreClaim = TCoreClaim> extends TClaimLookup<TClaim> {
     /**
      * Creates a new claim at version 0. The `version`, `frozen`, and
-     * `checksum` fields are assigned automatically.
+     * `checksum` fields are assigned automatically. The `id` field is
+     * auto-generated when omitted. The `type` field is required and is
+     * immutable across the claim's lifetime.
      *
-     * @param claim - The claim data without system-managed fields.
+     * @param claim - The claim data without system-managed fields. `id` is
+     *   optional (auto-generated when omitted) and `type` is required.
      * @returns The created claim entity with all fields populated.
      * @throws If a claim with the same ID already exists.
      */
-    create(claim: Omit<TClaim, "version" | "frozen" | "checksum">): TClaim;
+    create(claim: Omit<TClaim, "version" | "frozen" | "checksum"> | (Omit<TClaim, "id" | "version" | "frozen" | "checksum"> & {
+        id?: string;
+    })): TClaim;
     /**
      * Updates mutable fields on the current (latest, unfrozen) version of a
      * claim. System-managed fields (`id`, `version`, `frozen`, `checksum`)
@@ -112,152 +115,81 @@ export interface TClaimLibraryManagement<TClaim extends TCoreClaim = TCoreClaim>
     validate(): TInvariantValidationResult;
 }
 /**
- * Full management interface for a versioned source library. Extends
- * `TSourceLookup` with mutation, query, and snapshot methods.
+ * Narrow read-only interface for claim-citation lookups.
+ * Implemented by `ClaimCitationLibrary`.
  */
-export interface TSourceLibraryManagement<TSource extends TCoreSource = TCoreSource> extends TSourceLookup<TSource> {
-    /**
-     * Creates a new source at version 0. The `version`, `frozen`, and
-     * `checksum` fields are assigned automatically.
-     *
-     * @param source - The source data without system-managed fields.
-     * @returns The created source entity with all fields populated.
-     * @throws If a source with the same ID already exists.
-     */
-    create(source: Omit<TSource, "version" | "frozen" | "checksum">): TSource;
-    /**
-     * Updates mutable fields on the current (latest, unfrozen) version of a
-     * source. System-managed fields (`id`, `version`, `frozen`, `checksum`)
-     * cannot be updated.
-     *
-     * @param id - The source ID.
-     * @param updates - The fields to update.
-     * @returns The updated source entity.
-     * @throws If the source does not exist.
-     * @throws If the current version is frozen.
-     */
-    update(id: string, updates: Partial<Omit<TSource, "id" | "version" | "frozen" | "checksum">>): TSource;
+export interface TClaimCitationLookup<TCitation extends TCoreClaimCitation = TCoreClaimCitation> {
     /**
-     * Freezes the current version of a source (marking it immutable) and
-     * creates a new mutable version at `version + 1`.
+     * Returns all citations where the given claim is the citing-side endpoint.
      *
-     * @param id - The source ID.
-     * @returns An object containing the `frozen` version and the new
-     *   `current` (mutable) version.
-     * @throws If the source does not exist.
-     * @throws If the current version is already frozen.
+     * @param citingClaimId - The citing claim ID to filter by.
+     * @returns An array of matching citations.
      */
-    freeze(id: string): {
-        frozen: TSource;
-        current: TSource;
-    };
+    getCitationsForCitingClaim(citingClaimId: string): TCitation[];
     /**
-     * Returns the latest version of a source, or `undefined` if not found.
+     * Returns all citations where the given claim is the source-side endpoint.
      *
-     * @param id - The source ID.
-     * @returns The latest source entity, or `undefined`.
+     * @param sourceClaimId - The source claim ID to filter by.
+     * @returns An array of matching citations.
      */
-    getCurrent(id: string): TSource | undefined;
+    getCitationsForSourceClaim(sourceClaimId: string): TCitation[];
     /**
-     * Returns all source entities across all IDs and versions.
+     * Returns a citation by ID, or `undefined` if not found.
      *
-     * @returns An array of all source entities.
+     * @param id - The citation ID.
+     * @returns The citation entity, or `undefined`.
      */
-    getAll(): TSource[];
-    /**
-     * Returns all versions of a source sorted by version number ascending.
-     *
-     * @param id - The source ID.
-     * @returns An array of source entities, or an empty array if the ID does
-     *   not exist.
-     */
-    getVersions(id: string): TSource[];
-    /**
-     * Returns a serializable snapshot of all sources in the library.
-     *
-     * @returns The source library snapshot.
-     */
-    snapshot(): TSourceLibrarySnapshot<TSource>;
-    /**
-     * Run invariant validation on the source library.
-     *
-     * @returns The invariant validation result.
-     */
-    validate(): TInvariantValidationResult;
+    get(id: string): TCitation | undefined;
 }
 /**
- * Narrow read-only interface for claim-source association lookups.
- * Implemented by `ClaimSourceLibrary`. Passed to `ArgumentEngine` as the
- * fourth constructor parameter.
+ * Full management interface for a claim-citation library. Extends
+ * `TClaimCitationLookup` with mutation, query, and snapshot methods.
+ * Citations are create-or-delete only — no update path.
  */
-export interface TClaimSourceLookup<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> {
+export interface TClaimCitationLibraryManagement<TCitation extends TCoreClaimCitation = TCoreClaimCitation> extends TClaimCitationLookup<TCitation> {
     /**
-     * Returns all associations for the given claim ID.
+     * Creates a claim citation. Validates that both the citing and source
+     * claims exist in the claim library, that the source-side claim has
+     * type='citation', and that the new edge does not introduce a cycle in
+     * the global claim-citation graph.
      *
-     * @param claimId - The claim ID to filter by.
-     * @returns An array of matching associations.
+     * @param citation - The citation data without the `checksum` field.
+     * @returns The created citation with checksum populated.
+     * @throws If a citation with the same ID already exists.
+     * @throws If the referenced citing or source claim does not exist.
+     * @throws If the source-side claim has type !== 'citation'.
+     * @throws If the citation would create a cycle.
      */
-    getForClaim(claimId: string): TAssoc[];
+    add(citation: Omit<TCitation, "checksum">): TCitation;
     /**
-     * Returns all associations for the given source ID.
+     * Removes a claim citation by ID.
      *
-     * @param sourceId - The source ID to filter by.
-     * @returns An array of matching associations.
+     * @param id - The citation ID to remove.
+     * @returns The removed citation entity.
+     * @throws If the citation does not exist.
      */
-    getForSource(sourceId: string): TAssoc[];
+    remove(id: string): TCitation;
     /**
-     * Returns an association by ID, or `undefined` if not found.
+     * Returns all citations in the library.
      *
-     * @param id - The association ID.
-     * @returns The association entity, or `undefined`.
+     * @returns An array of all citation entities.
      */
-    get(id: string): TAssoc | undefined;
-}
-/**
- * Full management interface for a claim-source association library. Extends
- * `TClaimSourceLookup` with mutation, query, and snapshot methods.
- * Associations are create-or-delete only — no update path.
- */
-export interface TClaimSourceLibraryManagement<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> extends TClaimSourceLookup<TAssoc> {
+    getAll(): TCitation[];
     /**
-     * Creates a claim-source association. Validates that the referenced claim
-     * and source exist in their respective libraries.
+     * Returns all citations matching the predicate.
      *
-     * @param assoc - The association data without the `checksum` field.
-     * @returns The created association with checksum populated.
-     * @throws If an association with the same ID already exists.
-     * @throws If the referenced claim or source does not exist.
+     * @param predicate - A filter function applied to each citation.
+     * @returns An array of matching citations.
      */
-    add(assoc: Omit<TAssoc, "checksum">): TAssoc;
+    filter(predicate: (c: TCitation) => boolean): TCitation[];
     /**
-     * Removes a claim-source association by ID.
+     * Returns a serializable snapshot of all citations in the library.
      *
-     * @param id - The association ID to remove.
-     * @returns The removed association entity.
-     * @throws If the association does not exist.
+     * @returns The claim-citation library snapshot.
      */
-    remove(id: string): TAssoc;
+    snapshot(): TClaimCitationLibrarySnapshot<TCitation>;
     /**
-     * Returns all associations in the library.
-     *
-     * @returns An array of all association entities.
-     */
-    getAll(): TAssoc[];
-    /**
-     * Returns all associations matching the predicate.
-     *
-     * @param predicate - A filter function applied to each association.
-     * @returns An array of matching associations.
-     */
-    filter(predicate: (a: TAssoc) => boolean): TAssoc[];
-    /**
-     * Returns a serializable snapshot of all associations in the library.
-     *
-     * @returns The claim-source library snapshot.
-     */
-    snapshot(): TClaimSourceLibrarySnapshot<TAssoc>;
-    /**
-     * Run invariant validation on the claim-source association library.
+     * Run invariant validation on the claim-citation library.
      *
      * @returns The invariant validation result.
      */
@@ -272,26 +204,18 @@ export type TClaimLibrarySnapshot<TClaim extends TCoreClaim = TCoreClaim> = {
     claims: TClaim[];
 };
 /**
- * Serializable snapshot of a `SourceLibrary`. Contains all source entities
- * across all IDs and versions.
- */
-export type TSourceLibrarySnapshot<TSource extends TCoreSource = TCoreSource> = {
-    /** All source entities in the library. */
-    sources: TSource[];
-};
-/**
- * Serializable snapshot of a `ClaimSourceLibrary`. Contains all association
+ * Serializable snapshot of a `ClaimCitationLibrary`. Contains all citation
  * entities.
  */
-export type TClaimSourceLibrarySnapshot<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> = {
-    /** All claim-source association entities in the library. */
-    claimSourceAssociations: TAssoc[];
+export type TClaimCitationLibrarySnapshot<TCitation extends TCoreClaimCitation = TCoreClaimCitation> = {
+    /** All claim citation entities in the library. */
+    claimCitations: TCitation[];
 };
 /**
  * Serializable snapshot of a `ForkLibrary`. Contains arrays of fork records
  * for each entity type.
  */
-export type TForkLibrarySnapshot<TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord> = {
+export type TForkLibrarySnapshot<TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = {
     /** All argument fork records. */
     arguments: TArgFork[];
     /** All premise fork records. */
@@ -302,8 +226,6 @@ export type TForkLibrarySnapshot<TArgFork extends TCoreArgumentForkRecord = TCor
     variables: TVarFork[];
     /** All claim fork records. */
     claims: TClaimFork[];
-    /** All source fork records. */
-    sources: TSourceFork[];
 };
 /**
  * Serializable snapshot of an `ArgumentLibrary`. Contains snapshots of all
@@ -315,20 +237,17 @@ export type TArgumentLibrarySnapshot<TArg extends TCoreArgument = TCoreArgument,
 };
 /**
  * Serializable snapshot of a `PropositCore` instance. Contains snapshots of
- * all managed libraries: arguments, claims, sources, claim-source associations,
- * and fork records.
+ * all managed libraries: arguments, claims, claim citations, and fork records.
  */
-export type TPropositCoreSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TSource extends TCoreSource = TCoreSource, TClaim extends TCoreClaim = TCoreClaim, TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord, TSourceFork extends TCoreSourceForkRecord = TCoreSourceForkRecord> = {
+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 TCoreClaimCitation = TCoreClaimCitation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = {
     /** Snapshot of all argument engines. */
     arguments: TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>;
     /** Snapshot of the claim library. */
     claims: TClaimLibrarySnapshot<TClaim>;
-    /** Snapshot of the source library. */
-    sources: TSourceLibrarySnapshot<TSource>;
-    /** Snapshot of the claim-source association library. */
-    claimSources: TClaimSourceLibrarySnapshot<TAssoc>;
+    /** Snapshot of the claim-citation library. */
+    claimCitations: TClaimCitationLibrarySnapshot<TCitation>;
     /** Snapshot of the fork library. */
-    forks: TForkLibrarySnapshot<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork, TSourceFork>;
+    forks: TForkLibrarySnapshot<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
 };
 /**
  * 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,EACR,2BAA2B,EAC3B,WAAW,EACd,MAAM,0BAA0B,CAAA;AACjC,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACxB,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,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAE5D;;;;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;CACvD;AAED;;;;GAIG;AACH,MAAM,WAAW,aAAa,CAAC,OAAO,SAAS,WAAW,GAAG,WAAW;IACpE;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAA;CACxD;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB,CACpC,MAAM,SAAS,UAAU,GAAG,UAAU,CACxC,SAAQ,YAAY,CAAC,MAAM,CAAC;IAC1B;;;;;;;OAOG;IACH,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG,MAAM,CAAA;IAEtE;;;;;;;;;;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;;;GAGG;AACH,MAAM,WAAW,wBAAwB,CACrC,OAAO,SAAS,WAAW,GAAG,WAAW,CAC3C,SAAQ,aAAa,CAAC,OAAO,CAAC;IAC5B;;;;;;;OAOG;IACH,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG,OAAO,CAAA;IAEzE;;;;;;;;;;OAUG;IACH,MAAM,CACF,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CACZ,IAAI,CAAC,OAAO,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAC1D,GACF,OAAO,CAAA;IAEV;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAA;IAEzD;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAA;IAE3C;;;;OAIG;IACH,MAAM,IAAI,OAAO,EAAE,CAAA;IAEnB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,EAAE,CAAA;IAElC;;;;OAIG;IACH,QAAQ,IAAI,sBAAsB,CAAC,OAAO,CAAC,CAAA;IAE3C;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB,CAC/B,MAAM,SAAS,2BAA2B,GAAG,2BAA2B;IAExE;;;;;OAKG;IACH,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAEtC;;;;;OAKG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAExC;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CACtC;AAED;;;;GAIG;AACH,MAAM,WAAW,6BAA6B,CAC1C,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,CAC1E,SAAQ,kBAAkB,CAAC,MAAM,CAAC;IAChC;;;;;;;;OAQG;IACH,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,MAAM,CAAA;IAE5C;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAA;IAE1B;;;;OAIG;IACH,MAAM,IAAI,MAAM,EAAE,CAAA;IAElB;;;;;OAKG;IACH,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,GAAG,MAAM,EAAE,CAAA;IAEnD;;;;OAIG;IACH,QAAQ,IAAI,2BAA2B,CAAC,MAAM,CAAC,CAAA;IAE/C;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;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,sBAAsB,CAAC,OAAO,SAAS,WAAW,GAAG,WAAW,IACxE;IACI,0CAA0C;IAC1C,OAAO,EAAE,OAAO,EAAE,CAAA;CACrB,CAAA;AAEL;;;GAGG;AACH,MAAM,MAAM,2BAA2B,CACnC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,IACxE;IACA,4DAA4D;IAC5D,uBAAuB,EAAE,MAAM,EAAE,CAAA;CACpC,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,EAC9D,WAAW,SAAS,qBAAqB,GAAG,qBAAqB,IACjE;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;IACpB,+BAA+B;IAC/B,OAAO,EAAE,WAAW,EAAE,CAAA;CACzB,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,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,EACxE,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,WAAW,SAAS,qBAAqB,GAAG,qBAAqB,IACjE;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,sCAAsC;IACtC,OAAO,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAA;IACxC,wDAAwD;IACxD,YAAY,EAAE,2BAA2B,CAAC,MAAM,CAAC,CAAA;IACjD,oCAAoC;IACpC,KAAK,EAAE,oBAAoB,CACvB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,EACV,WAAW,CACd,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,2CAA2C;IAC3C,aAAa,CAAC,EAAE,cAAc,CAAA;IAC9B,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,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AAC1E,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,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAE5D;;;;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;;;GAGG;AACH,MAAM,WAAW,oBAAoB,CACjC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB;IAEzD;;;;;OAKG;IACH,0BAA0B,CAAC,aAAa,EAAE,MAAM,GAAG,SAAS,EAAE,CAAA;IAE9D;;;;;OAKG;IACH,0BAA0B,CAAC,aAAa,EAAE,MAAM,GAAG,SAAS,EAAE,CAAA;IAE9D;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAA;CACzC;AAED;;;;GAIG;AACH,MAAM,WAAW,+BAA+B,CAC5C,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,CAC3D,SAAQ,oBAAoB,CAAC,SAAS,CAAC;IACrC;;;;;;;;;;;;OAYG;IACH,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,SAAS,CAAA;IAErD;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,CAAA;IAE7B;;;;OAIG;IACH,MAAM,IAAI,SAAS,EAAE,CAAA;IAErB;;;;;OAKG;IACH,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,SAAS,KAAK,OAAO,GAAG,SAAS,EAAE,CAAA;IAEzD;;;;OAIG;IACH,QAAQ,IAAI,6BAA6B,CAAC,SAAS,CAAC,CAAA;IAEpD;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;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,6BAA6B,CACrC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,IACzD;IACA,kDAAkD;IAClD,cAAc,EAAE,SAAS,EAAE,CAAA;CAC9B,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;;;GAGG;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,kBAAkB,GAAG,kBAAkB,EACzD,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,cAAc,EAAE,6BAA6B,CAAC,SAAS,CAAC,CAAA;IACxD,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,2CAA2C;IAC3C,aAAa,CAAC,EAAE,cAAc,CAAA;IAC9B,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA"}

package/dist/lib/core/managed-derivation-premise-engine.d.ts

@@ -0,0 +1,155 @@
+import { type TCoreArgument, type TCoreLogicalOperatorType, type TCorePremise, type TCorePropositionalExpression, type TCorePropositionalVariable, type TOptionalChecksum, type TClaimBoundVariable } from "../schemata/index.js";
+import { PremiseEngine, type TPremiseEngineSnapshot } from "./premise-engine.js";
+import { VariableManager } from "./variable-manager.js";
+import { type TLogicEngineOptions } from "./argument-engine.js";
+/**
+ * Minimal structural interface needed by `populateFromCitations`. Using a
+ * structural type rather than the concrete `ArgumentEngine<…>` class prevents
+ * generic-parameter variance errors when the caller uses default type params.
+ */
+export type TVariableMaterializer = {
+    ensureClaimBoundVariable(claimId: string): TClaimBoundVariable;
+};
+import { type TGrammarConfig } from "../types/grammar.js";
+import type { TExpressionInput, TExpressionWithoutPosition, TExpressionUpdate } from "./expression-manager.js";
+import type { TCoreMutationResult } from "../types/mutation.js";
+import type { ClaimCitationLibrary } from "./claim-citation-library.js";
+/**
+ * A managed engine for derivation premises that enforces structural rules
+ * from the v0.11.0 spec on construction and on snapshot restoration.
+ *
+ * Construction validates the premise type (`DERIVATION_TYPE_MISMATCH` if the
+ * premise isn't `type: "derivation"`). Full expression-tree structural
+ * validation (`DERIVATION_STRUCTURE_INVALID`) runs in `fromSnapshot` — after
+ * expressions are loaded — and will be called from mutation overrides in
+ * Task 6.
+ *
+ * Note: The constructor only validates the premise type, not the expression
+ * tree, because `PremiseEngine` is always constructed before expressions are
+ * loaded (expressions are added separately via mutations or `loadExpressions`).
+ * Structural validation at the end of `fromSnapshot` catches tampered
+ * snapshots, and Task 6 mutation overrides will enforce it on every change.
+ *
+ * The classic `PremiseEngine` is permissive and allows mutations that leave a
+ * derivation premise temporarily or permanently invalid. The managed engine
+ * wraps it for safe, structurally-enforced editing.
+ *
+ * Use `ManagedDerivationPremiseEngine.fromSnapshot(...)` to restore from a
+ * serialized snapshot — the validation pass catches tampered snapshots.
+ */
+export declare class ManagedDerivationPremiseEngine<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable> extends PremiseEngine<TArg, TPremise, TExpr, TVar> {
+    /**
+     * Captured from `config.generateId` (or the default UUID generator) for
+     * use in `populateFromCitations`, which needs to mint new expression IDs.
+     * Stored separately because `PremiseEngine`'s generateId is private.
+     * Not `readonly` because `fromSnapshot` re-injects it after the prototype
+     * upgrade.
+     */
+    private generateIdFn;
+    constructor(premise: TOptionalChecksum<TPremise>, deps: {
+        argument: TOptionalChecksum<TArg>;
+        variables: VariableManager<TVar>;
+        expressionIndex?: Map<string, string>;
+    }, config?: TLogicEngineOptions);
+    /**
+     * Restore a `ManagedDerivationPremiseEngine` from a serialized snapshot,
+     * applying both derivation-type and structural validation. Throws on
+     * tampered or structurally invalid snapshots.
+     *
+     * Delegates to `PremiseEngine.fromSnapshot` for the full restoration logic
+     * (including the private `rebuildVariableIndex` pass), then upgrades the
+     * prototype and validates. TypeScript's static methods do not support
+     * `super`, so the parent is called by name and the result is recast.
+     */
+    static fromSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable>(snapshot: TPremiseEngineSnapshot<TPremise, TExpr>, argument: TOptionalChecksum<TArg>, variables: VariableManager<TVar>, expressionIndex?: Map<string, string>, grammarConfig?: TGrammarConfig, generateId?: () => string): ManagedDerivationPremiseEngine<TArg, TPremise, TExpr, TVar>;
+    /**
+     * Validate that the wrapped premise has `type === "derivation"`.
+     * @throws InvariantViolationError with code `DERIVATION_TYPE_MISMATCH`
+     */
+    protected assertDerivationType(): void;
+    /**
+     * Validate that the expression tree conforms to the derivation rules from
+     * the v0.11.0 spec (naked-Q or IMPLIES/IFF with Q as consequent).
+     * @throws InvariantViolationError with code `DERIVATION_STRUCTURE_INVALID`
+     */
+    protected assertWellFormed(): void;
+    addExpression(expression: TExpressionInput<TExpr>): TCoreMutationResult<TExpr, TExpr, TVar, TPremise, TArg>;
+    appendExpression(parentId: string | null, expression: TExpressionWithoutPosition<TExpr>): TCoreMutationResult<TExpr, TExpr, TVar, TPremise, TArg>;
+    addExpressionRelative(siblingId: string, relativePosition: "before" | "after", expression: TExpressionWithoutPosition<TExpr>): TCoreMutationResult<TExpr, TExpr, TVar, TPremise, TArg>;
+    updateExpression(expressionId: string, updates: TExpressionUpdate): TCoreMutationResult<TExpr, TExpr, TVar, TPremise, TArg>;
+    removeExpression(expressionId: string, deleteSubtree: boolean): TCoreMutationResult<TExpr | undefined, TExpr, TVar, TPremise, TArg>;
+    insertExpression(expression: TExpressionInput<TExpr>, leftNodeId?: string, rightNodeId?: string): TCoreMutationResult<TExpr, TExpr, TVar, TPremise, TArg>;
+    toggleNegation(expressionId: string, extraFields?: Partial<TExpr>): TCoreMutationResult<TExpr | null, TExpr, TVar, TPremise, TArg>;
+    wrapExpression(operator: TExpressionWithoutPosition<TExpr>, newSibling: TExpressionWithoutPosition<TExpr>, leftNodeId?: string, rightNodeId?: string): TCoreMutationResult<TExpr, TExpr, TVar, TPremise, TArg>;
+    changeOperator(expressionId: string, newOperator: TCoreLogicalOperatorType, sourceChildId?: string, targetChildId?: string, extraFields?: Partial<TExpr>): TCoreMutationResult<TExpr | null, TExpr, TVar, TPremise, TArg>;
+    normalizeExpressions(): TCoreMutationResult<void, TExpr, TVar, TPremise, TArg>;
+    loadExpressions(expressions: TExpressionInput<TExpr>[]): void;
+    /**
+     * One-shot snapshot helper that builds the antecedent of this derivation
+     * premise from the current global citations of the derived claim.
+     *
+     * Behavior by citation count:
+     *   - n = 0: no change. Premise stays in its current form (typically
+     *     naked-Q, indicating "no support given").
+     *   - n = 1: produces `IMPLIES(VariableExpression(S1), VariableExpression(Q))`.
+     *   - n ≥ 2: produces `IMPLIES(OR(VariableExpression(S1), …,
+     *     VariableExpression(Sn)), VariableExpression(Q))`.
+     *
+     * Materializes a claim-bound variable for each cited source via
+     * `argumentEngine.ensureClaimBoundVariable(citation.sourceClaimId)`.
+     *
+     * **Tree construction approach:** Mutations are performed via `super.*`
+     * calls, bypassing this class's overrides (which call `assertWellFormed()`
+     * after every mutation and would reject intermediate states during
+     * multi-step construction). For n ≥ 2 the grammar is temporarily switched
+     * to `PERMISSIVE_GRAMMAR_CONFIG` so that the OR operator can sit directly
+     * under IMPLIES without triggering an auto-inserted formula buffer. The
+     * grammar is restored and `assertWellFormed()` is called at the end to
+     * validate the final state.
+     *
+     * @throws InvariantViolationError(DERIVATION_ANTECEDENT_NON_EMPTY) when the
+     *         derivation premise already has a non-empty antecedent (i.e., the
+     *         root is `implies`/`iff` with a position-0 child). The caller
+     *         decides whether to delete and re-create the premise.
+     *
+     * @since 0.11.0
+     */
+    populateFromCitations(citationLib: ClaimCitationLibrary, argumentEngine: TVariableMaterializer): void;
+    /**
+     * Returns the ID of the consequent expression, or `undefined` if the tree
+     * has no root yet.
+     *
+     * - Naked form (root is a variable expression): the root IS the consequent.
+     * - Implication/biconditional form (root is `implies`/`iff`): the position-1
+     *   child of the root is the consequent.
+     */
+    private getConsequentExpressionId;
+    /**
+     * Reject an `insertExpression` call that would place a new node into the
+     * consequent slot of the root `implies`/`iff`.
+     *
+     * Detection is by parentId + position on the input: we block when
+     * `expression.parentId === rootId` AND `expression.position >= consequent.position`.
+     * For `implies`/`iff` the consequent sits at position 1, so this blocks
+     * insertions into position 1 (which would displace the consequent) and
+     * positions beyond (which would exceed arity 2). Insertions at position 0
+     * (antecedent slot) pass through.
+     */
+    private assertNotConsequentSlot;
+    /**
+     * Reject `removeExpression` and `toggleNegation` calls on the consequent
+     * expression.
+     */
+    private assertNotConsequentExpression;
+    /**
+     * Reject `updateExpression` calls that change the consequent's `variableId`
+     * or `type`.
+     */
+    private assertConsequentNotMutated;
+    /**
+     * Reject `changeOperator` calls that would swap the root `implies`/`iff`
+     * to a non-implication operator (`and`, `or`, `not`).
+     */
+    private assertRootOperatorChangeValid;
+}
+//# sourceMappingURL=managed-derivation-premise-engine.d.ts.map

package/dist/lib/core/managed-derivation-premise-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"managed-derivation-premise-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/managed-derivation-premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,KAAK,aAAa,EAElB,KAAK,wBAAwB,EAC7B,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,aAAa,EAAE,KAAK,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAEH,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAE7B;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAChC,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB,CAAA;CACjE,CAAA;AACD,OAAO,EAEH,KAAK,cAAc,EACtB,MAAM,qBAAqB,CAAA;AAU5B,OAAO,KAAK,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAEvE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,qBAAa,8BAA8B,CACvC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,CACtE,SAAQ,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAChD;;;;;;OAMG;IACH,OAAO,CAAC,YAAY,CAAc;gBAG9B,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EACpC,IAAI,EAAE;QACF,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;QACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAA;QAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KACxC,EACD,MAAM,CAAC,EAAE,mBAAmB;IAWhC;;;;;;;;;OASG;IACH,MAAM,CAAC,YAAY,CACf,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EACjD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,EAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,aAAa,CAAC,EAAE,cAAc,EAC9B,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IA8C9D;;;OAGG;IACH,SAAS,CAAC,oBAAoB,IAAI,IAAI;IActC;;;;OAIG;IACH,SAAS,CAAC,gBAAgB,IAAI,IAAI;IAuBlB,aAAa,CACzB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,GACpC,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM1C,gBAAgB,CAC5B,QAAQ,EAAE,MAAM,GAAG,IAAI,EACvB,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM1C,qBAAqB,CACjC,SAAS,EAAE,MAAM,EACjB,gBAAgB,EAAE,QAAQ,GAAG,OAAO,EACpC,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAU1C,gBAAgB,CAC5B,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GAC3B,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAO1C,gBAAgB,CAC5B,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,OAAO,GACvB,mBAAmB,CAAC,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOtD,gBAAgB,CAC5B,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,EACnC,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAW1C,cAAc,CAC1B,YAAY,EAAE,MAAM,EACpB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOjD,cAAc,CAC1B,QAAQ,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC3C,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC7C,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAc1C,cAAc,CAC1B,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,wBAAwB,EACrC,aAAa,CAAC,EAAE,MAAM,EACtB,aAAa,CAAC,EAAE,MAAM,EACtB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAajD,oBAAoB,IAAI,mBAAmB,CACvD,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAQe,eAAe,CAC3B,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,GACvC,IAAI;IA2BP;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACI,qBAAqB,CACxB,WAAW,EAAE,oBAAoB,EACjC,cAAc,EAAE,qBAAqB,GACtC,IAAI;IA+IP;;;;;;;OAOG;IACH,OAAO,CAAC,yBAAyB;IA0BjC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,uBAAuB;IAwC/B;;;OAGG;IACH,OAAO,CAAC,6BAA6B;IAerC;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IAwBlC;;;OAGG;IACH,OAAO,CAAC,6BAA6B;CA4BxC"}