@polintpro/proposit-core 0.3.0 → 0.5.0

package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts

@@ -0,0 +1,338 @@
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TOptionalChecksum } from "../../schemata/index.js";
+import type { TCoreArgumentEvaluationOptions, TCoreArgumentEvaluationResult, TCoreArgumentRoleState, TCoreExpressionAssignment, TCoreValidationResult, TCoreValidityCheckOptions, TCoreValidityCheckResult } from "../../types/evaluation.js";
+import type { TCoreMutationResult } from "../../types/mutation.js";
+import type { TReactiveSnapshot } from "../../types/reactive.js";
+import type { PremiseEngine } from "../premise-engine.js";
+import type { TArgumentEngineSnapshot } from "../argument-engine.js";
+/**
+ * Premise creation, removal, and lookup.
+ */
+export interface TPremiseCrud<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable> {
+    /**
+     * Creates a new premise with an auto-generated UUID and registers it
+     * with this engine.
+     *
+     * @param extras - Optional extra metadata to attach to the premise.
+     * @returns The newly created PremiseEngine instance and changeset.
+     */
+    createPremise(extras?: Record<string, unknown>): TCoreMutationResult<PremiseEngine<TArg, TPremise, TExpr, TVar>, TExpr, TVar, TPremise, TArg>;
+    /**
+     * Creates a premise with a caller-supplied ID and registers it with
+     * this engine.
+     *
+     * @param id - The ID to assign to the new premise.
+     * @param extras - Optional extra metadata to attach to the premise.
+     * @returns The newly created PremiseEngine instance and changeset.
+     * @throws If a premise with the given ID already exists.
+     */
+    createPremiseWithId(id: string, extras?: Record<string, unknown>): TCoreMutationResult<PremiseEngine<TArg, TPremise, TExpr, TVar>, TExpr, TVar, TPremise, TArg>;
+    /**
+     * Removes a premise and clears any role assignments that reference it.
+     *
+     * @param premiseId - The ID of the premise to remove.
+     * @returns The removed premise data, or `undefined` if not found.
+     */
+    removePremise(premiseId: string): TCoreMutationResult<TPremise | undefined, TExpr, TVar, TPremise, TArg>;
+    /**
+     * Returns the premise with the given ID, or `undefined` if not found.
+     *
+     * @param premiseId - The ID of the premise to retrieve.
+     * @returns The PremiseEngine instance, or `undefined`.
+     */
+    getPremise(premiseId: string): PremiseEngine<TArg, TPremise, TExpr, TVar> | undefined;
+    /**
+     * Returns `true` if a premise with the given ID exists.
+     *
+     * @param premiseId - The ID to check.
+     * @returns Whether the premise exists.
+     */
+    hasPremise(premiseId: string): boolean;
+    /**
+     * Returns all premise IDs in lexicographic order.
+     *
+     * @returns An array of premise ID strings.
+     */
+    listPremiseIds(): string[];
+    /**
+     * Returns all premises in lexicographic ID order.
+     *
+     * @returns An array of PremiseEngine instances.
+     */
+    listPremises(): PremiseEngine<TArg, TPremise, TExpr, TVar>[];
+    /**
+     * Returns the PremiseEngine containing the given expression, or
+     * `undefined`.
+     *
+     * @param expressionId - The expression ID to search for.
+     * @returns The owning PremiseEngine, or `undefined`.
+     */
+    findPremiseByExpressionId(expressionId: string): PremiseEngine<TArg, TPremise, TExpr, TVar> | undefined;
+}
+/**
+ * Variable CRUD and lookup across the argument.
+ */
+export interface TVariableManagement<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable> {
+    /**
+     * Registers a propositional variable for use across all premises.
+     *
+     * @param variable - The variable entity to register.
+     * @returns The registered variable (with checksum) and changeset.
+     * @throws If `variable.symbol` is already in use.
+     * @throws If `variable.id` already exists.
+     * @throws If the variable does not belong to this argument.
+     */
+    addVariable(variable: TOptionalChecksum<TVar>): TCoreMutationResult<TVar, TExpr, TVar, TPremise, TArg>;
+    /**
+     * Updates fields on an existing variable. Since all premises share the
+     * same VariableManager, the update is immediately visible everywhere.
+     *
+     * @param variableId - The ID of the variable to update.
+     * @param updates - Fields to update (`symbol`, `assertionId`, `assertionVersion`).
+     *   `assertionId` and `assertionVersion` must be provided together.
+     * @returns The updated variable, or `undefined` if not found.
+     * @throws If the new symbol is already in use by a different variable.
+     * @throws If the new assertion reference does not exist in the assertion library.
+     */
+    updateVariable(variableId: string, updates: {
+        symbol?: string;
+        assertionId?: string;
+        assertionVersion?: number;
+    }): TCoreMutationResult<TVar | undefined, TExpr, TVar, TPremise, TArg>;
+    /**
+     * Removes a variable and cascade-deletes all expressions referencing it
+     * across every premise (including subtrees and operator collapse).
+     *
+     * @param variableId - The ID of the variable to remove.
+     * @returns The removed variable, or `undefined` if not found.
+     */
+    removeVariable(variableId: string): TCoreMutationResult<TVar | undefined, TExpr, TVar, TPremise, TArg>;
+    /**
+     * Returns the variable with the given ID, or `undefined` if not found.
+     *
+     * @param variableId - The variable ID to look up.
+     * @returns The variable entity, or `undefined`.
+     */
+    getVariable(variableId: string): TVar | undefined;
+    /**
+     * Returns `true` if a variable with the given ID exists.
+     *
+     * @param variableId - The variable ID to check.
+     * @returns Whether the variable exists.
+     */
+    hasVariable(variableId: string): boolean;
+    /**
+     * Returns the variable with the given symbol, or `undefined` if not
+     * found.
+     *
+     * @param symbol - The symbol string to look up.
+     * @returns The variable entity, or `undefined`.
+     */
+    getVariableBySymbol(symbol: string): TVar | undefined;
+    /**
+     * Returns all registered variables sorted by ID.
+     *
+     * @returns An array of variable entities.
+     */
+    getVariables(): TVar[];
+    /**
+     * Builds a Map keyed by a caller-supplied function over all variables.
+     * Useful for indexing by extension fields (e.g. statementId). The
+     * caller should cache the result — this is O(n) per call.
+     *
+     * @param keyFn - A function that extracts the map key from a variable.
+     * @returns A Map from the extracted key to the variable.
+     */
+    buildVariableIndex<K>(keyFn: (v: TVar) => K): Map<K, TVar>;
+}
+/**
+ * Cross-premise expression lookups and analysis.
+ */
+export interface TArgumentExpressionQueries<TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> {
+    /**
+     * Returns an expression by ID from any premise, or `undefined` if not
+     * found.
+     *
+     * @param expressionId - The expression ID to look up.
+     * @returns The expression entity, or `undefined`.
+     */
+    getExpression(expressionId: string): TExpr | undefined;
+    /**
+     * Returns `true` if an expression with the given ID exists in any
+     * premise.
+     *
+     * @param expressionId - The expression ID to check.
+     * @returns Whether the expression exists.
+     */
+    hasExpression(expressionId: string): boolean;
+    /**
+     * Returns the premise ID that contains the given expression, or
+     * `undefined`.
+     *
+     * @param expressionId - The expression ID to look up.
+     * @returns The owning premise ID, or `undefined`.
+     */
+    getExpressionPremiseId(expressionId: string): string | undefined;
+    /**
+     * Returns all expressions across all premises, sorted by ID.
+     *
+     * @returns An array of expression entities.
+     */
+    getAllExpressions(): TExpr[];
+    /**
+     * Returns all expressions that reference the given variable ID, across
+     * all premises.
+     *
+     * @param variableId - The variable ID to search for.
+     * @returns An array of referencing expression entities.
+     */
+    getExpressionsByVariableId(variableId: string): TExpr[];
+    /**
+     * Returns the root expression from each premise that has one.
+     *
+     * @returns An array of root expression entities.
+     */
+    listRootExpressions(): TExpr[];
+    /**
+     * Collects all variables referenced by expressions across all premises,
+     * indexed both by variable ID and by symbol.
+     *
+     * @returns An object with `variableIds`, `byId`, and `bySymbol` indexes.
+     */
+    collectReferencedVariables(): {
+        variableIds: string[];
+        byId: Record<string, {
+            symbol: string;
+            premiseIds: string[];
+        }>;
+        bySymbol: Record<string, {
+            variableIds: string[];
+            premiseIds: string[];
+        }>;
+    };
+}
+/**
+ * Conclusion and supporting premise role management.
+ */
+export interface TArgumentRoleState<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable> {
+    /**
+     * Returns the conclusion premise, or `undefined` if none is set.
+     *
+     * @returns The conclusion PremiseEngine, or `undefined`.
+     */
+    getConclusionPremise(): PremiseEngine<TArg, TPremise, TExpr, TVar> | undefined;
+    /**
+     * Returns all supporting premises (derived: inference premises that are
+     * not the conclusion) in lexicographic ID order.
+     *
+     * @returns An array of supporting PremiseEngine instances.
+     */
+    listSupportingPremises(): PremiseEngine<TArg, TPremise, TExpr, TVar>[];
+    /**
+     * Designates a premise as the argument's conclusion.
+     *
+     * @param premiseId - The ID of the premise to designate.
+     * @returns The updated role state and changeset.
+     * @throws If the premise does not exist.
+     */
+    setConclusionPremise(premiseId: string): TCoreMutationResult<TCoreArgumentRoleState, TExpr, TVar, TPremise, TArg>;
+    /**
+     * Clears the conclusion designation.
+     *
+     * @returns The updated role state and changeset.
+     */
+    clearConclusionPremise(): TCoreMutationResult<TCoreArgumentRoleState, TExpr, TVar, TPremise, TArg>;
+    /**
+     * Returns the current role assignments (conclusion premise ID only;
+     * supporting is derived).
+     *
+     * @returns The current argument role state.
+     */
+    getRoleState(): TCoreArgumentRoleState;
+}
+/**
+ * Argument-level evaluation: single-assignment evaluation, evaluability
+ * validation, and exhaustive validity checking.
+ */
+export interface TArgumentEvaluation {
+    /**
+     * Validates that this argument is structurally ready for evaluation: a
+     * conclusion must be set, all role references must point to existing
+     * premises, variable ID/symbol mappings must be consistent, and every
+     * premise must be individually evaluable.
+     *
+     * @returns A validation result with any issues found.
+     */
+    validateEvaluability(): TCoreValidationResult;
+    /**
+     * Evaluates the argument under a three-valued expression assignment.
+     *
+     * Variables may be `true`, `false`, or `null` (unknown). All result
+     * flags (`isAdmissibleAssignment`, `isCounterexample`, etc.) are
+     * three-valued: `null` means indeterminate due to unknown variable
+     * values.
+     *
+     * @param assignment - The variable assignment and optional rejected
+     *   expression IDs.
+     * @param options - Optional evaluation options.
+     * @returns The evaluation result, or `{ ok: false }` with validation
+     *   details if the argument is not structurally evaluable.
+     */
+    evaluate(assignment: TCoreExpressionAssignment, options?: TCoreArgumentEvaluationOptions): TCoreArgumentEvaluationResult;
+    /**
+     * Enumerates all 2^n variable assignments and checks for
+     * counterexamples.
+     *
+     * A counterexample is an admissible assignment where all supporting
+     * premises are true but the conclusion is false. The argument is valid
+     * if no counterexamples exist.
+     *
+     * @param options - Optional limits on variables/assignments checked
+     *   and early termination mode.
+     * @returns The validity check result including any counterexamples.
+     */
+    checkValidity(options?: TCoreValidityCheckOptions): TCoreValidityCheckResult;
+}
+/**
+ * Snapshot, rollback, and reactive subscription lifecycle.
+ * Static factory methods (fromSnapshot, fromData) are class-level only.
+ */
+export interface TArgumentLifecycle<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable> {
+    /**
+     * Registers a listener that is called after every mutation.
+     *
+     * @param listener - The callback to invoke on mutation.
+     * @returns An unsubscribe function that removes the listener.
+     */
+    subscribe(listener: () => void): () => void;
+    /**
+     * Returns the current reactive snapshot for external store consumption.
+     *
+     * @returns The reactive snapshot.
+     */
+    getSnapshot(): TReactiveSnapshot<TArg, TPremise, TExpr, TVar>;
+    /**
+     * Returns a serializable snapshot of the full engine state.
+     *
+     * @returns The engine snapshot.
+     */
+    snapshot(): TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>;
+    /**
+     * Restores the engine to a previously captured snapshot state.
+     *
+     * @param snapshot - The snapshot to restore from.
+     */
+    rollback(snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>): void;
+}
+/**
+ * Argument entity access.
+ */
+export interface TArgumentIdentity<TArg extends TCoreArgument = TCoreArgument> {
+    /**
+     * Returns a shallow copy of the argument metadata with checksum
+     * attached.
+     *
+     * @returns The argument entity.
+     */
+    getArgument(): TArg;
+}
+//# sourceMappingURL=argument-engine.interfaces.d.ts.map

package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"argument-engine.interfaces.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/argument-engine.interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EACtB,yBAAyB,EACzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EAC3B,MAAM,2BAA2B,CAAA;AAClC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAChE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACzD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AAEpE;;GAEG;AACH,MAAM,WAAW,YAAY,CACzB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;;;OAMG;IACH,aAAa,CACT,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD;;;;;;;;OAQG;IACH,mBAAmB,CACf,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD;;;;;OAKG;IACH,aAAa,CACT,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,QAAQ,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzE;;;;;OAKG;IACH,UAAU,CACN,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS,CAAA;IACzD;;;;;OAKG;IACH,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAA;IACtC;;;;OAIG;IACH,cAAc,IAAI,MAAM,EAAE,CAAA;IAC1B;;;;OAIG;IACH,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;IAC5D;;;;;;OAMG;IACH,yBAAyB,CACrB,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS,CAAA;CAC5D;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB,CAChC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;;;;;OAQG;IACH,WAAW,CACP,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,GAClC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzD;;;;;;;;;;OAUG;IACH,cAAc,CACV,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE;QACL,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,gBAAgB,CAAC,EAAE,MAAM,CAAA;KAC5B,GACF,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACrE;;;;;;OAMG;IACH,cAAc,CACV,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IACrE;;;;;OAKG;IACH,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;IACjD;;;;;OAKG;IACH,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAA;IACxC;;;;;;OAMG;IACH,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;IACrD;;;;OAIG;IACH,YAAY,IAAI,IAAI,EAAE,CAAA;IACtB;;;;;;;OAOG;IACH,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;CAC7D;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B,CACvC,KAAK,SAAS,4BAA4B,GAAG,4BAA4B;IAEzE;;;;;;OAMG;IACH,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS,CAAA;IACtD;;;;;;OAMG;IACH,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAA;IAC5C;;;;;;OAMG;IACH,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAChE;;;;OAIG;IACH,iBAAiB,IAAI,KAAK,EAAE,CAAA;IAC5B;;;;;;OAMG;IACH,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE,CAAA;IACvD;;;;OAIG;IACH,mBAAmB,IAAI,KAAK,EAAE,CAAA;IAC9B;;;;;OAKG;IACH,0BAA0B,IAAI;QAC1B,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ,CAAA;CACJ;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;OAIG;IACH,oBAAoB,IACd,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC1C,SAAS,CAAA;IACf;;;;;OAKG;IACH,sBAAsB,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;IACtE;;;;;;OAMG;IACH,oBAAoB,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,sBAAsB,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IAC3E;;;;OAIG;IACH,sBAAsB,IAAI,mBAAmB,CACzC,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP,CAAA;IACD;;;;;OAKG;IACH,YAAY,IAAI,sBAAsB,CAAA;CACzC;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAChC;;;;;;;OAOG;IACH,oBAAoB,IAAI,qBAAqB,CAAA;IAC7C;;;;;;;;;;;;;OAaG;IACH,QAAQ,CACJ,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B,CAAA;IAChC;;;;;;;;;;;OAWG;IACH,aAAa,CAAC,OAAO,CAAC,EAAE,yBAAyB,GAAG,wBAAwB,CAAA;CAC/E;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE;;;;;OAKG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAA;IAC3C;;;;OAIG;IACH,WAAW,IAAI,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAC7D;;;;OAIG;IACH,QAAQ,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAChE;;;;OAIG;IACH,QAAQ,CACJ,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,IAAI,CAAA;CACV;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB,CAAC,IAAI,SAAS,aAAa,GAAG,aAAa;IACzE;;;;;OAKG;IACH,WAAW,IAAI,IAAI,CAAA;CACtB"}

package/dist/lib/core/interfaces/argument-engine.interfaces.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=argument-engine.interfaces.js.map

package/dist/lib/core/interfaces/argument-engine.interfaces.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"argument-engine.interfaces.js","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/argument-engine.interfaces.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,6 @@
+export type { TDisplayable, TChecksummable } from "./shared.interfaces.js";
+export type { TPremiseCrud, TVariableManagement, TArgumentExpressionQueries, TArgumentRoleState, TArgumentEvaluation, TArgumentLifecycle, TArgumentIdentity, } from "./argument-engine.interfaces.js";
+export type { TExpressionMutations, TExpressionQueries, TVariableReferences, TPremiseClassification, TPremiseEvaluation, TPremiseLifecycle, TPremiseIdentity, } from "./premise-engine.interfaces.js";
+export type { TSourceManagement } from "./source-management.interfaces.js";
+export type { TAssertionLookup, TSourceLookup, TAssertionLibrarySnapshot, TSourceLibrarySnapshot, } from "./library.interfaces.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAE1E,YAAY,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GACpB,MAAM,iCAAiC,CAAA;AAExC,YAAY,EACR,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,gCAAgC,CAAA;AAEvC,YAAY,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAA;AAE1E,YAAY,EACR,gBAAgB,EAChB,aAAa,EACb,yBAAyB,EACzB,sBAAsB,GACzB,MAAM,yBAAyB,CAAA"}

package/dist/lib/core/interfaces/index.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=index.js.map

package/dist/lib/core/interfaces/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/index.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,19 @@
+import type { TCoreAssertion } from "../../schemata/assertion.js";
+import type { TCoreSource } from "../../schemata/source.js";
+/** Narrow read-only interface for assertion lookups. Used by ArgumentEngine for validation. */
+export interface TAssertionLookup<TAssertion extends TCoreAssertion = TCoreAssertion> {
+    get(id: string, version: number): TAssertion | undefined;
+}
+/** Narrow read-only interface for source lookups. Used by ArgumentEngine for validation. */
+export interface TSourceLookup<TSource extends TCoreSource = TCoreSource> {
+    get(id: string, version: number): TSource | undefined;
+}
+/** Serializable snapshot of an AssertionLibrary. */
+export type TAssertionLibrarySnapshot<TAssertion extends TCoreAssertion = TCoreAssertion> = {
+    assertions: TAssertion[];
+};
+/** Serializable snapshot of a SourceLibrary. */
+export type TSourceLibrarySnapshot<TSource extends TCoreSource = TCoreSource> = {
+    sources: TSource[];
+};
+//# sourceMappingURL=library.interfaces.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"library.interfaces.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/library.interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAA;AACjE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAE3D,+FAA+F;AAC/F,MAAM,WAAW,gBAAgB,CAC7B,UAAU,SAAS,cAAc,GAAG,cAAc;IAElD,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAA;CAC3D;AAED,4FAA4F;AAC5F,MAAM,WAAW,aAAa,CAAC,OAAO,SAAS,WAAW,GAAG,WAAW;IACpE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAA;CACxD;AAED,oDAAoD;AACpD,MAAM,MAAM,yBAAyB,CACjC,UAAU,SAAS,cAAc,GAAG,cAAc,IAClD;IACA,UAAU,EAAE,UAAU,EAAE,CAAA;CAC3B,CAAA;AAED,gDAAgD;AAChD,MAAM,MAAM,sBAAsB,CAAC,OAAO,SAAS,WAAW,GAAG,WAAW,IACxE;IACI,OAAO,EAAE,OAAO,EAAE,CAAA;CACrB,CAAA"}

package/dist/lib/core/interfaces/library.interfaces.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=library.interfaces.js.map

package/dist/lib/core/interfaces/library.interfaces.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"library.interfaces.js","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/library.interfaces.ts"],"names":[],"mappings":""}