@polintpro/proposit-core 0.3.0 → 0.4.0

package/dist/lib/core/source-manager.js

@@ -0,0 +1,420 @@
+/**
+ * Registry for sources and their associations to variables and expressions
+ * within an argument. Shared across all premises.
+ *
+ * Enforces uniqueness of source and association IDs. Automatically removes
+ * orphaned sources (sources with zero remaining associations) when
+ * associations are deleted.
+ */
+export class SourceManager {
+    sources;
+    variableAssociations;
+    expressionAssociations;
+    sourceToAssociations;
+    variableToAssociations;
+    expressionToAssociations;
+    constructor() {
+        this.sources = new Map();
+        this.variableAssociations = new Map();
+        this.expressionAssociations = new Map();
+        this.sourceToAssociations = new Map();
+        this.variableToAssociations = new Map();
+        this.expressionToAssociations = new Map();
+    }
+    // -----------------------------------------------------------------------
+    // Source mutations
+    // -----------------------------------------------------------------------
+    /**
+     * Registers a source.
+     *
+     * @throws If a source with the same ID already exists.
+     */
+    addSource(source) {
+        if (this.sources.has(source.id)) {
+            throw new Error(`Source with ID "${source.id}" already exists.`);
+        }
+        this.sources.set(source.id, source);
+        this.sourceToAssociations.set(source.id, new Set());
+    }
+    /**
+     * Removes a source and cascades deletion to all its associations.
+     *
+     * @throws If the source does not exist.
+     */
+    removeSource(sourceId) {
+        const source = this.sources.get(sourceId);
+        if (!source) {
+            throw new Error(`Source "${sourceId}" does not exist.`);
+        }
+        const associationIds = this.sourceToAssociations.get(sourceId);
+        const removedVariableAssociations = [];
+        const removedExpressionAssociations = [];
+        if (associationIds) {
+            for (const assocId of associationIds) {
+                const varAssoc = this.variableAssociations.get(assocId);
+                if (varAssoc) {
+                    this.variableAssociations.delete(assocId);
+                    const varSet = this.variableToAssociations.get(varAssoc.variableId);
+                    if (varSet) {
+                        varSet.delete(assocId);
+                        if (varSet.size === 0) {
+                            this.variableToAssociations.delete(varAssoc.variableId);
+                        }
+                    }
+                    removedVariableAssociations.push(varAssoc);
+                    continue;
+                }
+                const exprAssoc = this.expressionAssociations.get(assocId);
+                if (exprAssoc) {
+                    this.expressionAssociations.delete(assocId);
+                    const exprSet = this.expressionToAssociations.get(exprAssoc.expressionId);
+                    if (exprSet) {
+                        exprSet.delete(assocId);
+                        if (exprSet.size === 0) {
+                            this.expressionToAssociations.delete(exprAssoc.expressionId);
+                        }
+                    }
+                    removedExpressionAssociations.push(exprAssoc);
+                }
+            }
+        }
+        this.sources.delete(sourceId);
+        this.sourceToAssociations.delete(sourceId);
+        return {
+            removedVariableAssociations,
+            removedExpressionAssociations,
+            removedOrphanSources: [],
+        };
+    }
+    // -----------------------------------------------------------------------
+    // Variable association mutations
+    // -----------------------------------------------------------------------
+    /**
+     * Registers a variable-source association.
+     *
+     * @throws If an association with the same ID already exists.
+     * @throws If the referenced source does not exist.
+     */
+    addVariableSourceAssociation(assoc) {
+        if (this.variableAssociations.has(assoc.id)) {
+            throw new Error(`Variable-source association with ID "${assoc.id}" already exists.`);
+        }
+        if (!this.sources.has(assoc.sourceId)) {
+            throw new Error(`Source "${assoc.sourceId}" does not exist.`);
+        }
+        this.variableAssociations.set(assoc.id, assoc);
+        const sourceSet = this.sourceToAssociations.get(assoc.sourceId);
+        sourceSet.add(assoc.id);
+        let varSet = this.variableToAssociations.get(assoc.variableId);
+        if (!varSet) {
+            varSet = new Set();
+            this.variableToAssociations.set(assoc.variableId, varSet);
+        }
+        varSet.add(assoc.id);
+    }
+    /**
+     * Removes a variable-source association by ID.
+     *
+     * @returns The removed association and any orphaned sources.
+     * @throws If the association does not exist.
+     */
+    removeVariableSourceAssociation(id) {
+        const assoc = this.variableAssociations.get(id);
+        if (!assoc) {
+            throw new Error(`Variable-source association "${id}" does not exist.`);
+        }
+        this.variableAssociations.delete(id);
+        const sourceSet = this.sourceToAssociations.get(assoc.sourceId);
+        if (sourceSet) {
+            sourceSet.delete(id);
+        }
+        const varSet = this.variableToAssociations.get(assoc.variableId);
+        if (varSet) {
+            varSet.delete(id);
+            if (varSet.size === 0) {
+                this.variableToAssociations.delete(assoc.variableId);
+            }
+        }
+        const removedOrphanSources = this.cleanupOrphanedSource(assoc.sourceId);
+        return {
+            removedVariableAssociations: [assoc],
+            removedExpressionAssociations: [],
+            removedOrphanSources,
+        };
+    }
+    // -----------------------------------------------------------------------
+    // Expression association mutations
+    // -----------------------------------------------------------------------
+    /**
+     * Registers an expression-source association.
+     *
+     * @throws If an association with the same ID already exists.
+     * @throws If the referenced source does not exist.
+     */
+    addExpressionSourceAssociation(assoc) {
+        if (this.expressionAssociations.has(assoc.id)) {
+            throw new Error(`Expression-source association with ID "${assoc.id}" already exists.`);
+        }
+        if (!this.sources.has(assoc.sourceId)) {
+            throw new Error(`Source "${assoc.sourceId}" does not exist.`);
+        }
+        this.expressionAssociations.set(assoc.id, assoc);
+        const sourceSet = this.sourceToAssociations.get(assoc.sourceId);
+        sourceSet.add(assoc.id);
+        let exprSet = this.expressionToAssociations.get(assoc.expressionId);
+        if (!exprSet) {
+            exprSet = new Set();
+            this.expressionToAssociations.set(assoc.expressionId, exprSet);
+        }
+        exprSet.add(assoc.id);
+    }
+    /**
+     * Removes an expression-source association by ID.
+     *
+     * @returns The removed association and any orphaned sources.
+     * @throws If the association does not exist.
+     */
+    removeExpressionSourceAssociation(id) {
+        const assoc = this.expressionAssociations.get(id);
+        if (!assoc) {
+            throw new Error(`Expression-source association "${id}" does not exist.`);
+        }
+        this.expressionAssociations.delete(id);
+        const sourceSet = this.sourceToAssociations.get(assoc.sourceId);
+        if (sourceSet) {
+            sourceSet.delete(id);
+        }
+        const exprSet = this.expressionToAssociations.get(assoc.expressionId);
+        if (exprSet) {
+            exprSet.delete(id);
+            if (exprSet.size === 0) {
+                this.expressionToAssociations.delete(assoc.expressionId);
+            }
+        }
+        const removedOrphanSources = this.cleanupOrphanedSource(assoc.sourceId);
+        return {
+            removedVariableAssociations: [],
+            removedExpressionAssociations: [assoc],
+            removedOrphanSources,
+        };
+    }
+    // -----------------------------------------------------------------------
+    // Bulk association removal (for cascade from variable/expression deletion)
+    // -----------------------------------------------------------------------
+    /**
+     * Removes all variable-source associations for a given variable.
+     * Orphaned sources are automatically cleaned up.
+     */
+    removeAssociationsForVariable(variableId) {
+        const assocIds = this.variableToAssociations.get(variableId);
+        if (!assocIds || assocIds.size === 0) {
+            return {
+                removedVariableAssociations: [],
+                removedExpressionAssociations: [],
+                removedOrphanSources: [],
+            };
+        }
+        const removedVariableAssociations = [];
+        const sourceIdsToCheck = new Set();
+        for (const assocId of assocIds) {
+            const assoc = this.variableAssociations.get(assocId);
+            if (!assoc)
+                continue;
+            this.variableAssociations.delete(assocId);
+            sourceIdsToCheck.add(assoc.sourceId);
+            const sourceSet = this.sourceToAssociations.get(assoc.sourceId);
+            if (sourceSet) {
+                sourceSet.delete(assocId);
+            }
+            removedVariableAssociations.push(assoc);
+        }
+        this.variableToAssociations.delete(variableId);
+        const removedOrphanSources = [];
+        for (const sourceId of sourceIdsToCheck) {
+            removedOrphanSources.push(...this.cleanupOrphanedSource(sourceId));
+        }
+        return {
+            removedVariableAssociations,
+            removedExpressionAssociations: [],
+            removedOrphanSources,
+        };
+    }
+    /**
+     * Removes all expression-source associations for a given expression.
+     * Orphaned sources are automatically cleaned up.
+     */
+    removeAssociationsForExpression(expressionId) {
+        const assocIds = this.expressionToAssociations.get(expressionId);
+        if (!assocIds || assocIds.size === 0) {
+            return {
+                removedVariableAssociations: [],
+                removedExpressionAssociations: [],
+                removedOrphanSources: [],
+            };
+        }
+        const removedExpressionAssociations = [];
+        const sourceIdsToCheck = new Set();
+        for (const assocId of assocIds) {
+            const assoc = this.expressionAssociations.get(assocId);
+            if (!assoc)
+                continue;
+            this.expressionAssociations.delete(assocId);
+            sourceIdsToCheck.add(assoc.sourceId);
+            const sourceSet = this.sourceToAssociations.get(assoc.sourceId);
+            if (sourceSet) {
+                sourceSet.delete(assocId);
+            }
+            removedExpressionAssociations.push(assoc);
+        }
+        this.expressionToAssociations.delete(expressionId);
+        const removedOrphanSources = [];
+        for (const sourceId of sourceIdsToCheck) {
+            removedOrphanSources.push(...this.cleanupOrphanedSource(sourceId));
+        }
+        return {
+            removedVariableAssociations: [],
+            removedExpressionAssociations,
+            removedOrphanSources,
+        };
+    }
+    // -----------------------------------------------------------------------
+    // Queries
+    // -----------------------------------------------------------------------
+    /** Returns the source with the given ID, or `undefined` if not found. */
+    getSource(id) {
+        return this.sources.get(id);
+    }
+    /** Returns all registered sources sorted by ID for deterministic output. */
+    getSources() {
+        return Array.from(this.sources.values()).sort((a, b) => a.id.localeCompare(b.id));
+    }
+    /** Returns all associations (variable and expression) for a given source. */
+    getAssociationsForSource(sourceId) {
+        const assocIds = this.sourceToAssociations.get(sourceId);
+        if (!assocIds) {
+            return { variable: [], expression: [] };
+        }
+        const variable = [];
+        const expression = [];
+        for (const assocId of assocIds) {
+            const varAssoc = this.variableAssociations.get(assocId);
+            if (varAssoc) {
+                variable.push(varAssoc);
+                continue;
+            }
+            const exprAssoc = this.expressionAssociations.get(assocId);
+            if (exprAssoc) {
+                expression.push(exprAssoc);
+            }
+        }
+        return { variable, expression };
+    }
+    /** Returns all variable-source associations for a given variable. */
+    getAssociationsForVariable(variableId) {
+        const assocIds = this.variableToAssociations.get(variableId);
+        if (!assocIds)
+            return [];
+        const result = [];
+        for (const assocId of assocIds) {
+            const assoc = this.variableAssociations.get(assocId);
+            if (assoc)
+                result.push(assoc);
+        }
+        return result;
+    }
+    /** Returns all expression-source associations for a given expression. */
+    getAssociationsForExpression(expressionId) {
+        const assocIds = this.expressionToAssociations.get(expressionId);
+        if (!assocIds)
+            return [];
+        const result = [];
+        for (const assocId of assocIds) {
+            const assoc = this.expressionAssociations.get(assocId);
+            if (assoc)
+                result.push(assoc);
+        }
+        return result;
+    }
+    /** Returns all variable-source associations. */
+    getAllVariableSourceAssociations() {
+        return Array.from(this.variableAssociations.values());
+    }
+    /** Returns all expression-source associations. */
+    getAllExpressionSourceAssociations() {
+        return Array.from(this.expressionAssociations.values());
+    }
+    // -----------------------------------------------------------------------
+    // Snapshot & restoration
+    // -----------------------------------------------------------------------
+    /** Returns a serializable snapshot of the current state. */
+    snapshot() {
+        return {
+            sources: this.getSources(),
+            variableSourceAssociations: Array.from(this.variableAssociations.values()).sort((a, b) => a.id.localeCompare(b.id)),
+            expressionSourceAssociations: Array.from(this.expressionAssociations.values()).sort((a, b) => a.id.localeCompare(b.id)),
+        };
+    }
+    /**
+     * Creates a new SourceManager from a previously captured snapshot.
+     * Rebuilds all internal maps and indices. No validation or orphan
+     * cleanup is performed — the snapshot is restored verbatim.
+     */
+    static fromSnapshot(data) {
+        const sm = new SourceManager();
+        // Restore sources (without creating empty sourceToAssociations entries
+        // here — we build those from the associations below)
+        for (const source of data.sources) {
+            sm.sources.set(source.id, source);
+            sm.sourceToAssociations.set(source.id, new Set());
+        }
+        // Restore variable associations and rebuild indices
+        for (const assoc of data.variableSourceAssociations) {
+            sm.variableAssociations.set(assoc.id, assoc);
+            const sourceSet = sm.sourceToAssociations.get(assoc.sourceId);
+            if (sourceSet) {
+                sourceSet.add(assoc.id);
+            }
+            let varSet = sm.variableToAssociations.get(assoc.variableId);
+            if (!varSet) {
+                varSet = new Set();
+                sm.variableToAssociations.set(assoc.variableId, varSet);
+            }
+            varSet.add(assoc.id);
+        }
+        // Restore expression associations and rebuild indices
+        for (const assoc of data.expressionSourceAssociations) {
+            sm.expressionAssociations.set(assoc.id, assoc);
+            const sourceSet = sm.sourceToAssociations.get(assoc.sourceId);
+            if (sourceSet) {
+                sourceSet.add(assoc.id);
+            }
+            let exprSet = sm.expressionToAssociations.get(assoc.expressionId);
+            if (!exprSet) {
+                exprSet = new Set();
+                sm.expressionToAssociations.set(assoc.expressionId, exprSet);
+            }
+            exprSet.add(assoc.id);
+        }
+        return sm;
+    }
+    // -----------------------------------------------------------------------
+    // Internal helpers
+    // -----------------------------------------------------------------------
+    /**
+     * Checks if the given source has zero remaining associations and, if so,
+     * removes it and returns it in an array. Returns an empty array otherwise.
+     */
+    cleanupOrphanedSource(sourceId) {
+        const sourceSet = this.sourceToAssociations.get(sourceId);
+        if (sourceSet?.size === 0) {
+            const source = this.sources.get(sourceId);
+            if (source) {
+                this.sources.delete(sourceId);
+                this.sourceToAssociations.delete(sourceId);
+                return [source];
+            }
+        }
+        return [];
+    }
+}
+//# sourceMappingURL=source-manager.js.map

package/dist/lib/core/source-manager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-manager.js","sourceRoot":"","sources":["../../../src/lib/core/source-manager.ts"],"names":[],"mappings":"AAsBA;;;;;;;GAOG;AACH,MAAM,OAAO,aAAa;IACd,OAAO,CAAsB;IAC7B,oBAAoB,CAA6C;IACjE,sBAAsB,CAG7B;IACO,oBAAoB,CAA0B;IAC9C,sBAAsB,CAA0B;IAChD,wBAAwB,CAA0B;IAE1D;QACI,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,EAAE,CAAA;QACxB,IAAI,CAAC,oBAAoB,GAAG,IAAI,GAAG,EAAE,CAAA;QACrC,IAAI,CAAC,sBAAsB,GAAG,IAAI,GAAG,EAAE,CAAA;QACvC,IAAI,CAAC,oBAAoB,GAAG,IAAI,GAAG,EAAE,CAAA;QACrC,IAAI,CAAC,sBAAsB,GAAG,IAAI,GAAG,EAAE,CAAA;QACvC,IAAI,CAAC,wBAAwB,GAAG,IAAI,GAAG,EAAE,CAAA;IAC7C,CAAC;IAED,0EAA0E;IAC1E,mBAAmB;IACnB,0EAA0E;IAE1E;;;;OAIG;IACI,SAAS,CAAC,MAAe;QAC5B,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,mBAAmB,MAAM,CAAC,EAAE,mBAAmB,CAAC,CAAA;QACpE,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;QACnC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;IACvD,CAAC;IAED;;;;OAIG;IACI,YAAY,CAAC,QAAgB;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACzC,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CAAC,WAAW,QAAQ,mBAAmB,CAAC,CAAA;QAC3D,CAAC;QAED,MAAM,cAAc,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QAC9D,MAAM,2BAA2B,GAAqC,EAAE,CAAA;QACxE,MAAM,6BAA6B,GAC/B,EAAE,CAAA;QAEN,IAAI,cAAc,EAAE,CAAC;YACjB,KAAK,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;gBACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;gBACvD,IAAI,QAAQ,EAAE,CAAC;oBACX,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;oBACzC,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAC1C,QAAQ,CAAC,UAAU,CACtB,CAAA;oBACD,IAAI,MAAM,EAAE,CAAC;wBACT,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;wBACtB,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;4BACpB,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAC9B,QAAQ,CAAC,UAAU,CACtB,CAAA;wBACL,CAAC;oBACL,CAAC;oBACD,2BAA2B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;oBAC1C,SAAQ;gBACZ,CAAC;gBAED,MAAM,SAAS,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;gBAC1D,IAAI,SAAS,EAAE,CAAC;oBACZ,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;oBAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAC7C,SAAS,CAAC,YAAY,CACzB,CAAA;oBACD,IAAI,OAAO,EAAE,CAAC;wBACV,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;wBACvB,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;4BACrB,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAChC,SAAS,CAAC,YAAY,CACzB,CAAA;wBACL,CAAC;oBACL,CAAC;oBACD,6BAA6B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;gBACjD,CAAC;YACL,CAAC;QACL,CAAC;QAED,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;QAC7B,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;QAE1C,OAAO;YACH,2BAA2B;YAC3B,6BAA6B;YAC7B,oBAAoB,EAAE,EAAE;SAC3B,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,iCAAiC;IACjC,0EAA0E;IAE1E;;;;;OAKG;IACI,4BAA4B,CAC/B,KAAqC;QAErC,IAAI,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CACX,wCAAwC,KAAK,CAAC,EAAE,mBAAmB,CACtE,CAAA;QACL,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,CAAC,QAAQ,mBAAmB,CAAC,CAAA;QACjE,CAAC;QAED,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QAE9C,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAE,CAAA;QAChE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAEvB,IAAI,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;QAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;YACV,MAAM,GAAG,IAAI,GAAG,EAAE,CAAA;YAClB,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;QAC7D,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACxB,CAAC;IAED;;;;;OAKG;IACI,+BAA+B,CAClC,EAAU;QAEV,MAAM,KAAK,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CACX,gCAAgC,EAAE,mBAAmB,CACxD,CAAA;QACL,CAAC;QAED,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAEpC,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC/D,IAAI,SAAS,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QACxB,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;QAChE,IAAI,MAAM,EAAE,CAAC;YACT,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACjB,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACpB,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YACxD,CAAC;QACL,CAAC;QAED,MAAM,oBAAoB,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAEvE,OAAO;YACH,2BAA2B,EAAE,CAAC,KAAK,CAAC;YACpC,6BAA6B,EAAE,EAAE;YACjC,oBAAoB;SACvB,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,mCAAmC;IACnC,0EAA0E;IAE1E;;;;;OAKG;IACI,8BAA8B,CACjC,KAAuC;QAEvC,IAAI,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACX,0CAA0C,KAAK,CAAC,EAAE,mBAAmB,CACxE,CAAA;QACL,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpC,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,CAAC,QAAQ,mBAAmB,CAAC,CAAA;QACjE,CAAC;QAED,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QAEhD,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAE,CAAA;QAChE,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAEvB,IAAI,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;QACnE,IAAI,CAAC,OAAO,EAAE,CAAC;YACX,OAAO,GAAG,IAAI,GAAG,EAAE,CAAA;YACnB,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;QAClE,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACzB,CAAC;IAED;;;;;OAKG;IACI,iCAAiC,CACpC,EAAU;QAEV,MAAM,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACjD,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CACX,kCAAkC,EAAE,mBAAmB,CAC1D,CAAA;QACL,CAAC;QAED,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAEtC,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC/D,IAAI,SAAS,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QACxB,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;QACrE,IAAI,OAAO,EAAE,CAAC;YACV,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAClB,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;YAC5D,CAAC;QACL,CAAC;QAED,MAAM,oBAAoB,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAEvE,OAAO;YACH,2BAA2B,EAAE,EAAE;YAC/B,6BAA6B,EAAE,CAAC,KAAK,CAAC;YACtC,oBAAoB;SACvB,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,0EAA0E;IAE1E;;;OAGG;IACI,6BAA6B,CAChC,UAAkB;QAElB,MAAM,QAAQ,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC5D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO;gBACH,2BAA2B,EAAE,EAAE;gBAC/B,6BAA6B,EAAE,EAAE;gBACjC,oBAAoB,EAAE,EAAE;aAC3B,CAAA;QACL,CAAC;QAED,MAAM,2BAA2B,GAAqC,EAAE,CAAA;QACxE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;QAE1C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACpD,IAAI,CAAC,KAAK;gBAAE,SAAQ;YAEpB,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YACzC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAEpC,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC/D,IAAI,SAAS,EAAE,CAAC;gBACZ,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YAC7B,CAAC;YAED,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC3C,CAAC;QAED,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QAE9C,MAAM,oBAAoB,GAAc,EAAE,CAAA;QAC1C,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;YACtC,oBAAoB,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAA;QACtE,CAAC;QAED,OAAO;YACH,2BAA2B;YAC3B,6BAA6B,EAAE,EAAE;YACjC,oBAAoB;SACvB,CAAA;IACL,CAAC;IAED;;;OAGG;IACI,+BAA+B,CAClC,YAAoB;QAEpB,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QAChE,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO;gBACH,2BAA2B,EAAE,EAAE;gBAC/B,6BAA6B,EAAE,EAAE;gBACjC,oBAAoB,EAAE,EAAE;aAC3B,CAAA;QACL,CAAC;QAED,MAAM,6BAA6B,GAC/B,EAAE,CAAA;QACN,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;QAE1C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACtD,IAAI,CAAC,KAAK;gBAAE,SAAQ;YAEpB,IAAI,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YAC3C,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAEpC,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC/D,IAAI,SAAS,EAAE,CAAC;gBACZ,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YAC7B,CAAC;YAED,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC7C,CAAC;QAED,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;QAElD,MAAM,oBAAoB,GAAc,EAAE,CAAA;QAC1C,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;YACtC,oBAAoB,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAA;QACtE,CAAC;QAED,OAAO;YACH,2BAA2B,EAAE,EAAE;YAC/B,6BAA6B;YAC7B,oBAAoB;SACvB,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,UAAU;IACV,0EAA0E;IAE1E,yEAAyE;IAClE,SAAS,CAAC,EAAU;QACvB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAC/B,CAAC;IAED,4EAA4E;IACrE,UAAU;QACb,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACnD,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAC3B,CAAA;IACL,CAAC;IAED,6EAA6E;IACtE,wBAAwB,CAAC,QAAgB;QAI5C,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACxD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAA;QAC3C,CAAC;QAED,MAAM,QAAQ,GAAqC,EAAE,CAAA;QACrD,MAAM,UAAU,GAAuC,EAAE,CAAA;QAEzD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACvD,IAAI,QAAQ,EAAE,CAAC;gBACX,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBACvB,SAAQ;YACZ,CAAC;YACD,MAAM,SAAS,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YAC1D,IAAI,SAAS,EAAE,CAAC;gBACZ,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YAC9B,CAAC;QACL,CAAC;QAED,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAA;IACnC,CAAC;IAED,qEAAqE;IAC9D,0BAA0B,CAC7B,UAAkB;QAElB,MAAM,QAAQ,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC5D,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAA;QAExB,MAAM,MAAM,GAAqC,EAAE,CAAA;QACnD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACpD,IAAI,KAAK;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjC,CAAC;QACD,OAAO,MAAM,CAAA;IACjB,CAAC;IAED,yEAAyE;IAClE,4BAA4B,CAC/B,YAAoB;QAEpB,MAAM,QAAQ,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QAChE,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,CAAA;QAExB,MAAM,MAAM,GAAuC,EAAE,CAAA;QACrD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACtD,IAAI,KAAK;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjC,CAAC;QACD,OAAO,MAAM,CAAA;IACjB,CAAC;IAED,gDAAgD;IACzC,gCAAgC;QACnC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,CAAC,CAAA;IACzD,CAAC;IAED,kDAAkD;IAC3C,kCAAkC;QACrC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,CAAC,CAAA;IAC3D,CAAC;IAED,0EAA0E;IAC1E,yBAAyB;IACzB,0EAA0E;IAE1E,4DAA4D;IACrD,QAAQ;QACX,OAAO;YACH,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE;YAC1B,0BAA0B,EAAE,KAAK,CAAC,IAAI,CAClC,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,CACrC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1C,4BAA4B,EAAE,KAAK,CAAC,IAAI,CACpC,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,CACvC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC7C,CAAA;IACL,CAAC;IAED;;;;OAIG;IACI,MAAM,CAAC,YAAY,CACtB,IAAqC;QAErC,MAAM,EAAE,GAAG,IAAI,aAAa,EAAW,CAAA;QAEvC,uEAAuE;QACvE,qDAAqD;QACrD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAChC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;YACjC,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;QACrD,CAAC;QAED,oDAAoD;QACpD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,0BAA0B,EAAE,CAAC;YAClD,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YAE5C,MAAM,SAAS,GAAG,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC7D,IAAI,SAAS,EAAE,CAAC;gBACZ,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAC3B,CAAC;YAED,IAAI,MAAM,GAAG,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC5D,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,GAAG,IAAI,GAAG,EAAE,CAAA;gBAClB,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YAC3D,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACxB,CAAC;QAED,sDAAsD;QACtD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,4BAA4B,EAAE,CAAC;YACpD,EAAE,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YAE9C,MAAM,SAAS,GAAG,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC7D,IAAI,SAAS,EAAE,CAAC;gBACZ,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAC3B,CAAC;YAED,IAAI,OAAO,GAAG,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;YACjE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACX,OAAO,GAAG,IAAI,GAAG,EAAE,CAAA;gBACnB,EAAE,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,OAAO,CAAC,CAAA;YAChE,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACzB,CAAC;QAED,OAAO,EAAE,CAAA;IACb,CAAC;IAED,0EAA0E;IAC1E,mBAAmB;IACnB,0EAA0E;IAE1E;;;OAGG;IACK,qBAAqB,CAAC,QAAgB;QAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACzD,IAAI,SAAS,EAAE,IAAI,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YACzC,IAAI,MAAM,EAAE,CAAC;gBACT,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBAC7B,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBAC1C,OAAO,CAAC,MAAM,CAAC,CAAA;YACnB,CAAC;QACL,CAAC;QACD,OAAO,EAAE,CAAA;IACb,CAAC;CACJ"}

package/dist/lib/index.d.ts

@@ -7,14 +7,17 @@ export { ArgumentEngine } from "./core/argument-engine.js";
 export type { TLogicEngineOptions, TArgumentEngineSnapshot, } from "./core/argument-engine.js";
 export { PremiseEngine } from "./core/premise-engine.js";
 export type { TPremiseEngineSnapshot } from "./core/premise-engine.js";
+export type * from "./core/interfaces/index.js";
 export type { TExpressionManagerSnapshot } from "./core/expression-manager.js";
 export type { TVariableManagerSnapshot } from "./core/variable-manager.js";
+export { SourceManager } from "./core/source-manager.js";
+export type { TSourceManagerSnapshot, TSourceRemovalResult, } from "./core/source-manager.js";
 export * from "./types/evaluation.js";
 export * from "./types/diff.js";
 export * from "./types/mutation.js";
 export * from "./types/checksum.js";
 export { computeHash, canonicalSerialize, entityChecksum, } from "./core/checksum.js";
-export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./core/diff.js";
+export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, defaultCompareSource, defaultCompareVariableSourceAssociation, defaultCompareExpressionSourceAssociation, } from "./core/diff.js";
 export * from "./types/relationships.js";
 export { analyzePremiseRelationships, buildPremiseProfile, } from "./core/relationships.js";
 export { DEFAULT_CHECKSUM_CONFIG, createChecksumConfig } from "./consts.js";

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAC1D,YAAY,EACR,mBAAmB,EACnB,uBAAuB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACtE,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAA;AAC9E,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAC1E,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAC3D,YAAY,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,cAAc,qBAAqB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAC1D,YAAY,EACR,mBAAmB,EACnB,uBAAuB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,YAAY,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AACtE,mBAAmB,4BAA4B,CAAA;AAC/C,YAAY,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAA;AAC9E,YAAY,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAA;AAC1E,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,YAAY,EACR,sBAAsB,EACtB,oBAAoB,GACvB,MAAM,0BAA0B,CAAA;AACjC,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,EACpB,uCAAuC,EACvC,yCAAyC,GAC5C,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAC3D,YAAY,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,8BAA8B,CAAA;AACrC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAC5B,YAAY,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AAC9D,cAAc,qBAAqB,CAAA"}

package/dist/lib/index.js

@@ -5,12 +5,13 @@
 export * from "./schemata/index.js";
 export { ArgumentEngine } from "./core/argument-engine.js";
 export { PremiseEngine } from "./core/premise-engine.js";
+export { SourceManager } from "./core/source-manager.js";
 export * from "./types/evaluation.js";
 export * from "./types/diff.js";
 export * from "./types/mutation.js";
 export * from "./types/checksum.js";
 export { computeHash, canonicalSerialize, entityChecksum, } from "./core/checksum.js";
-export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./core/diff.js";
+export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, defaultCompareSource, defaultCompareVariableSourceAssociation, defaultCompareExpressionSourceAssociation, } from "./core/diff.js";
 export * from "./types/relationships.js";
 export { analyzePremiseRelationships, buildPremiseProfile, } from "./core/relationships.js";
 export { DEFAULT_CHECKSUM_CONFIG, createChecksumConfig } from "./consts.js";

package/dist/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAK1D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAIxD,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAOvD,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAE5B,cAAc,qBAAqB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,cAAc,qBAAqB,CAAA;AACnC,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAA;AAK1D,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAKxD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAKxD,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,EACxB,oBAAoB,EACpB,uCAAuC,EACvC,yCAAyC,GAC5C,MAAM,gBAAgB,CAAA;AACvB,cAAc,0BAA0B,CAAA;AACxC,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAOvD,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,qBAAqB,CAAA;AAE5B,cAAc,qBAAqB,CAAA"}

package/dist/lib/schemata/index.d.ts

@@ -2,4 +2,5 @@ export * from "./analysis.js";
 export * from "./argument.js";
 export * from "./propositional.js";
 export * from "./shared.js";
+export * from "./source.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/lib/schemata/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}

package/dist/lib/schemata/index.js

@@ -2,4 +2,5 @@ export * from "./analysis.js";
 export * from "./argument.js";
 export * from "./propositional.js";
 export * from "./shared.js";
+export * from "./source.js";
 //# sourceMappingURL=index.js.map

package/dist/lib/schemata/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA"}

package/dist/lib/schemata/source.d.ts

@@ -0,0 +1,28 @@
+import Type, { type Static } from "typebox";
+export declare const CoreSourceSchema: Type.TObject<{
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    checksum: Type.TString;
+}>;
+export type TCoreSource = Static<typeof CoreSourceSchema>;
+export declare const CoreVariableSourceAssociationSchema: Type.TObject<{
+    id: Type.TString;
+    sourceId: Type.TString;
+    variableId: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    checksum: Type.TString;
+}>;
+export type TCoreVariableSourceAssociation = Static<typeof CoreVariableSourceAssociationSchema>;
+export declare const CoreExpressionSourceAssociationSchema: Type.TObject<{
+    id: Type.TString;
+    sourceId: Type.TString;
+    expressionId: Type.TString;
+    premiseId: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    checksum: Type.TString;
+}>;
+export type TCoreExpressionSourceAssociation = Static<typeof CoreExpressionSourceAssociationSchema>;
+//# sourceMappingURL=source.d.ts.map

package/dist/lib/schemata/source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,gBAAgB;;;;;EAc5B,CAAA;AACD,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAEzD,eAAO,MAAM,mCAAmC;;;;;;;EAS9C,CAAA;AACF,MAAM,MAAM,8BAA8B,GAAG,MAAM,CAC/C,OAAO,mCAAmC,CAC7C,CAAA;AAED,eAAO,MAAM,qCAAqC;;;;;;;;EAUhD,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,qCAAqC,CAC/C,CAAA"}

package/dist/lib/schemata/source.js

@@ -0,0 +1,35 @@
+import Type, {} from "typebox";
+import { UUID } from "./shared.js";
+export const CoreSourceSchema = Type.Object({
+    id: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    checksum: Type.String({
+        description: "Source-level checksum for sync detection.",
+    }),
+}, {
+    additionalProperties: true,
+    description: "A source entity providing evidentiary support for variables or expressions.",
+});
+export const CoreVariableSourceAssociationSchema = Type.Object({
+    id: UUID,
+    sourceId: UUID,
+    variableId: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    checksum: Type.String({
+        description: "Association checksum for sync detection.",
+    }),
+});
+export const CoreExpressionSourceAssociationSchema = Type.Object({
+    id: UUID,
+    sourceId: UUID,
+    expressionId: UUID,
+    premiseId: UUID,
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    checksum: Type.String({
+        description: "Association checksum for sync detection.",
+    }),
+});
+//# sourceMappingURL=source.js.map

package/dist/lib/schemata/source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source.js","sourceRoot":"","sources":["../../../src/lib/schemata/source.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CACvC;IACI,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;CACL,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,6EAA6E;CACpF,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,EAAE,EAAE,IAAI;IACR,QAAQ,EAAE,IAAI;IACd,UAAU,EAAE,IAAI;IAChB,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,0CAA0C;KAC1D,CAAC;CACL,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7D,EAAE,EAAE,IAAI;IACR,QAAQ,EAAE,IAAI;IACd,YAAY,EAAE,IAAI;IAClB,SAAS,EAAE,IAAI;IACf,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,0CAA0C;KAC1D,CAAC;CACL,CAAC,CAAA"}

package/dist/lib/types/checksum.d.ts

@@ -10,5 +10,11 @@ export interface TCoreChecksumConfig {
     argumentFields?: Set<string>;
     /** Fields to hash for role state. Defaults to ["conclusionPremiseId"]. */
     roleFields?: Set<string>;
+    /** Fields to hash for source entities. Defaults to ["id", "argumentId", "argumentVersion"]. */
+    sourceFields?: Set<string>;
+    /** Fields to hash for variable-source associations. */
+    variableSourceAssociationFields?: Set<string>;
+    /** Fields to hash for expression-source associations. */
+    expressionSourceAssociationFields?: Set<string>;
 }
 //# sourceMappingURL=checksum.d.ts.map

package/dist/lib/types/checksum.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checksum.d.ts","sourceRoot":"","sources":["../../../src/lib/types/checksum.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,MAAM,WAAW,mBAAmB;IAChC,sFAAsF;IACtF,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,6EAA6E;IAC7E,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,gGAAgG;IAChG,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC3B,2EAA2E;IAC3E,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,0EAA0E;IAC1E,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAC3B"}
+{"version":3,"file":"checksum.d.ts","sourceRoot":"","sources":["../../../src/lib/types/checksum.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,MAAM,WAAW,mBAAmB;IAChC,sFAAsF;IACtF,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,6EAA6E;IAC7E,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,gGAAgG;IAChG,aAAa,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC3B,2EAA2E;IAC3E,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5B,0EAA0E;IAC1E,UAAU,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACxB,+FAA+F;IAC/F,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1B,uDAAuD;IACvD,+BAA+B,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC7C,yDAAyD;IACzD,iCAAiC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CAClD"}

package/dist/lib/types/diff.d.ts

@@ -1,4 +1,4 @@
-import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreSource, TCoreVariableSourceAssociation, TCoreExpressionSourceAssociation } from "../schemata/index.js";
 /** A single field-level change on an entity. */
 export interface TCoreFieldChange {
     field: string;
@@ -36,19 +36,25 @@ export interface TCoreRoleDiff {
     };
 }
 /** Top-level diff result from `diffArguments`. */
-export interface TCoreArgumentDiff<TArg extends TCoreArgument = TCoreArgument, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> {
+export interface TCoreArgumentDiff<TArg extends TCoreArgument = TCoreArgument, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TSource extends TCoreSource = TCoreSource> {
     argument: TCoreEntityFieldDiff<TArg>;
     variables: TCoreEntitySetDiff<TVar>;
     premises: TCorePremiseSetDiff<TPremise, TExpr>;
     roles: TCoreRoleDiff;
+    sources: TCoreEntitySetDiff<TSource>;
+    variableSourceAssociations: TCoreEntitySetDiff<TCoreVariableSourceAssociation>;
+    expressionSourceAssociations: TCoreEntitySetDiff<TCoreExpressionSourceAssociation>;
 }
 /** A comparator receives two matched objects and returns field-level changes. */
 export type TCoreFieldComparator<T> = (before: T, after: T) => TCoreFieldChange[];
 /** Per-entity comparator overrides for `diffArguments`. */
-export interface TCoreDiffOptions<TArg extends TCoreArgument = TCoreArgument, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression> {
+export interface TCoreDiffOptions<TArg extends TCoreArgument = TCoreArgument, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TSource extends TCoreSource = TCoreSource> {
     compareArgument?: TCoreFieldComparator<TArg>;
     compareVariable?: TCoreFieldComparator<TVar>;
     comparePremise?: TCoreFieldComparator<TPremise>;
     compareExpression?: TCoreFieldComparator<TExpr>;
+    compareSource?: TCoreFieldComparator<TSource>;
+    compareVariableSourceAssociation?: TCoreFieldComparator<TCoreVariableSourceAssociation>;
+    compareExpressionSourceAssociation?: TCoreFieldComparator<TCoreExpressionSourceAssociation>;
 }
 //# sourceMappingURL=diff.d.ts.map