@proposit/proposit-core 0.8.9

package/dist/lib/core/claim-source-library.js

@@ -0,0 +1,193 @@
+import { Value } from "typebox/value";
+import { CoreClaimSourceAssociationSchema } from "../schemata/source.js";
+import { DEFAULT_CHECKSUM_CONFIG } from "../consts.js";
+import { entityChecksum } from "./checksum.js";
+import { ASSOC_SCHEMA_INVALID, ASSOC_CLAIM_REF_NOT_FOUND, ASSOC_SOURCE_REF_NOT_FOUND, } from "../types/validation.js";
+import { InvariantViolationError } from "./invariant-violation-error.js";
+export class ClaimSourceLibrary {
+    associations;
+    claimToAssociations;
+    sourceToAssociations;
+    claimLookup;
+    sourceLookup;
+    checksumConfig;
+    constructor(claimLookup, sourceLookup, options) {
+        this.associations = new Map();
+        this.claimToAssociations = new Map();
+        this.sourceToAssociations = new Map();
+        this.claimLookup = claimLookup;
+        this.sourceLookup = sourceLookup;
+        this.checksumConfig = options?.checksumConfig;
+    }
+    restoreFromSnapshot(snap) {
+        this.associations = new Map();
+        this.claimToAssociations = new Map();
+        this.sourceToAssociations = new Map();
+        for (const assoc of snap.claimSourceAssociations) {
+            this.associations.set(assoc.id, assoc);
+        }
+        for (const [id, assoc] of this.associations) {
+            const claimKey = assoc.claimId;
+            if (!this.claimToAssociations.has(claimKey)) {
+                this.claimToAssociations.set(claimKey, new Set());
+            }
+            this.claimToAssociations.get(claimKey).add(id);
+            const sourceKey = assoc.sourceId;
+            if (!this.sourceToAssociations.has(sourceKey)) {
+                this.sourceToAssociations.set(sourceKey, new Set());
+            }
+            this.sourceToAssociations.get(sourceKey).add(id);
+        }
+    }
+    withValidation(fn) {
+        const snap = this.snapshot();
+        try {
+            const result = fn();
+            const validation = this.validate();
+            if (!validation.ok) {
+                this.restoreFromSnapshot(snap);
+                throw new InvariantViolationError(validation.violations);
+            }
+            return result;
+        }
+        catch (e) {
+            if (!(e instanceof InvariantViolationError)) {
+                this.restoreFromSnapshot(snap);
+            }
+            throw e;
+        }
+    }
+    add(assoc) {
+        return this.withValidation(() => {
+            if (this.associations.has(assoc.id)) {
+                throw new Error(`ClaimSourceAssociation with ID "${assoc.id}" already exists.`);
+            }
+            const claim = this.claimLookup.get(assoc.claimId, assoc.claimVersion);
+            if (!claim) {
+                throw new Error(`Claim "${assoc.claimId}" version ${assoc.claimVersion} not found in claim lookup.`);
+            }
+            const source = this.sourceLookup.get(assoc.sourceId, assoc.sourceVersion);
+            if (!source) {
+                throw new Error(`Source "${assoc.sourceId}" version ${assoc.sourceVersion} not found in source lookup.`);
+            }
+            const full = { ...assoc, checksum: "" };
+            full.checksum = this.computeChecksum(full);
+            this.associations.set(full.id, full);
+            let claimSet = this.claimToAssociations.get(full.claimId);
+            if (!claimSet) {
+                claimSet = new Set();
+                this.claimToAssociations.set(full.claimId, claimSet);
+            }
+            claimSet.add(full.id);
+            let sourceSet = this.sourceToAssociations.get(full.sourceId);
+            if (!sourceSet) {
+                sourceSet = new Set();
+                this.sourceToAssociations.set(full.sourceId, sourceSet);
+            }
+            sourceSet.add(full.id);
+            return full;
+        });
+    }
+    remove(id) {
+        return this.withValidation(() => {
+            const assoc = this.associations.get(id);
+            if (!assoc) {
+                throw new Error(`ClaimSourceAssociation "${id}" not found.`);
+            }
+            this.associations.delete(id);
+            const claimSet = this.claimToAssociations.get(assoc.claimId);
+            if (claimSet) {
+                claimSet.delete(id);
+            }
+            const sourceSet = this.sourceToAssociations.get(assoc.sourceId);
+            if (sourceSet) {
+                sourceSet.delete(id);
+            }
+            return assoc;
+        });
+    }
+    getForClaim(claimId) {
+        const ids = this.claimToAssociations.get(claimId);
+        if (!ids)
+            return [];
+        return Array.from(ids)
+            .map((id) => this.associations.get(id))
+            .filter(Boolean);
+    }
+    getForSource(sourceId) {
+        const ids = this.sourceToAssociations.get(sourceId);
+        if (!ids)
+            return [];
+        return Array.from(ids)
+            .map((id) => this.associations.get(id))
+            .filter(Boolean);
+    }
+    get(id) {
+        return this.associations.get(id);
+    }
+    getAll() {
+        return Array.from(this.associations.values());
+    }
+    filter(predicate) {
+        return this.getAll().filter(predicate);
+    }
+    snapshot() {
+        return { claimSourceAssociations: this.getAll() };
+    }
+    /** Restores a claim-source library from a snapshot, re-indexing all associations. */
+    static fromSnapshot(snapshot, claimLookup, sourceLookup, options) {
+        const lib = new ClaimSourceLibrary(claimLookup, sourceLookup, options);
+        for (const assoc of snapshot.claimSourceAssociations) {
+            lib.associations.set(assoc.id, assoc);
+            let claimSet = lib.claimToAssociations.get(assoc.claimId);
+            if (!claimSet) {
+                claimSet = new Set();
+                lib.claimToAssociations.set(assoc.claimId, claimSet);
+            }
+            claimSet.add(assoc.id);
+            let sourceSet = lib.sourceToAssociations.get(assoc.sourceId);
+            if (!sourceSet) {
+                sourceSet = new Set();
+                lib.sourceToAssociations.set(assoc.sourceId, sourceSet);
+            }
+            sourceSet.add(assoc.id);
+        }
+        return lib;
+    }
+    validate() {
+        const violations = [];
+        for (const [id, assoc] of this.associations) {
+            if (!Value.Check(CoreClaimSourceAssociationSchema, assoc)) {
+                violations.push({
+                    code: ASSOC_SCHEMA_INVALID,
+                    message: `Association "${id}" does not conform to schema`,
+                    entityType: "association",
+                    entityId: id,
+                });
+            }
+            if (!this.claimLookup.get(assoc.claimId, assoc.claimVersion)) {
+                violations.push({
+                    code: ASSOC_CLAIM_REF_NOT_FOUND,
+                    message: `Association "${id}" references non-existent claim "${assoc.claimId}" version ${assoc.claimVersion}`,
+                    entityType: "association",
+                    entityId: id,
+                });
+            }
+            if (!this.sourceLookup.get(assoc.sourceId, assoc.sourceVersion)) {
+                violations.push({
+                    code: ASSOC_SOURCE_REF_NOT_FOUND,
+                    message: `Association "${id}" references non-existent source "${assoc.sourceId}" version ${assoc.sourceVersion}`,
+                    entityType: "association",
+                    entityId: id,
+                });
+            }
+        }
+        return { ok: violations.length === 0, violations };
+    }
+    computeChecksum(assoc) {
+        const fields = this.checksumConfig?.claimSourceAssociationFields ??
+            DEFAULT_CHECKSUM_CONFIG.claimSourceAssociationFields;
+        return entityChecksum(assoc, fields);
+    }
+}
+//# sourceMappingURL=claim-source-library.js.map

package/dist/lib/core/claim-source-library.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-source-library.js","sourceRoot":"","sources":["../../../src/lib/core/claim-source-library.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAErC,OAAO,EAAE,gCAAgC,EAAE,MAAM,uBAAuB,CAAA;AAExE,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAW9C,OAAO,EACH,oBAAoB,EACpB,yBAAyB,EACzB,0BAA0B,GAC7B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,uBAAuB,EAAE,MAAM,gCAAgC,CAAA;AAExE,MAAM,OAAO,kBAAkB;IAGnB,YAAY,CAAqB;IACjC,mBAAmB,CAA0B;IAC7C,oBAAoB,CAA0B;IAC9C,WAAW,CAAc;IACzB,YAAY,CAAe;IAC3B,cAAc,CAAsB;IAE5C,YACI,WAAyB,EACzB,YAA2B,EAC3B,OAAkD;QAElD,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAE,CAAA;QAC7B,IAAI,CAAC,mBAAmB,GAAG,IAAI,GAAG,EAAE,CAAA;QACpC,IAAI,CAAC,oBAAoB,GAAG,IAAI,GAAG,EAAE,CAAA;QACrC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAA;QAC9B,IAAI,CAAC,YAAY,GAAG,YAAY,CAAA;QAChC,IAAI,CAAC,cAAc,GAAG,OAAO,EAAE,cAAc,CAAA;IACjD,CAAC;IAEO,mBAAmB,CACvB,IAAyC;QAEzC,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAE,CAAA;QAC7B,IAAI,CAAC,mBAAmB,GAAG,IAAI,GAAG,EAAE,CAAA;QACpC,IAAI,CAAC,oBAAoB,GAAG,IAAI,GAAG,EAAE,CAAA;QACrC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,uBAAuB,EAAE,CAAC;YAC/C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;QAC1C,CAAC;QACD,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAA;YAC9B,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;YACrD,CAAC;YACD,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YAE/C,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAA;YAChC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC5C,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;YACvD,CAAC;YACD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACrD,CAAC;IACL,CAAC;IAEO,cAAc,CAAI,EAAW;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;QAC5B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,EAAE,CAAA;YACnB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;YAClC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;gBACjB,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;gBAC9B,MAAM,IAAI,uBAAuB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;YAC5D,CAAC;YACD,OAAO,MAAM,CAAA;QACjB,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,IAAI,CAAC,CAAC,CAAC,YAAY,uBAAuB,CAAC,EAAE,CAAC;gBAC1C,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAA;YAClC,CAAC;YACD,MAAM,CAAC,CAAA;QACX,CAAC;IACL,CAAC;IAEM,GAAG,CAAC,KAA+B;QACtC,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClC,MAAM,IAAI,KAAK,CACX,mCAAmC,KAAK,CAAC,EAAE,mBAAmB,CACjE,CAAA;YACL,CAAC;YAED,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAC9B,KAAK,CAAC,OAAO,EACb,KAAK,CAAC,YAAY,CACrB,CAAA;YACD,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CACX,UAAU,KAAK,CAAC,OAAO,aAAa,KAAK,CAAC,YAAY,6BAA6B,CACtF,CAAA;YACL,CAAC;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAChC,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,aAAa,CACtB,CAAA;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CACX,WAAW,KAAK,CAAC,QAAQ,aAAa,KAAK,CAAC,aAAa,8BAA8B,CAC1F,CAAA;YACL,CAAC;YAED,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAY,CAAA;YACjD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;YAE1C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;YAEpC,IAAI,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACxD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAErB,IAAI,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;gBACrB,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;YAC3D,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAEtB,OAAO,IAAI,CAAA;QACf,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,MAAM,CAAC,EAAU;QACpB,OAAO,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE;YAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACvC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACT,MAAM,IAAI,KAAK,CAAC,2BAA2B,EAAE,cAAc,CAAC,CAAA;YAChE,CAAC;YAED,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YAE5B,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YAC5D,IAAI,QAAQ,EAAE,CAAC;gBACX,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;YACvB,CAAC;YAED,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,EAAE,CAAC,CAAA;YACxB,CAAC;YAED,OAAO,KAAK,CAAA;QAChB,CAAC,CAAC,CAAA;IACN,CAAC;IAEM,WAAW,CAAC,OAAe;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACjD,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAA;QACnB,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;aACjB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;aACvC,MAAM,CAAC,OAAO,CAAC,CAAA;IACxB,CAAC;IAEM,YAAY,CAAC,QAAgB;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACnD,IAAI,CAAC,GAAG;YAAE,OAAO,EAAE,CAAA;QACnB,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;aACjB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;aACvC,MAAM,CAAC,OAAO,CAAC,CAAA;IACxB,CAAC;IAEM,GAAG,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACpC,CAAC;IAEM,MAAM;QACT,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAA;IACjD,CAAC;IAEM,MAAM,CAAC,SAAiC;QAC3C,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IAC1C,CAAC;IAEM,QAAQ;QACX,OAAO,EAAE,uBAAuB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAA;IACrD,CAAC;IAED,qFAAqF;IAC9E,MAAM,CAAC,YAAY,CAItB,QAA6C,EAC7C,WAAyB,EACzB,YAA2B,EAC3B,OAAkD;QAElD,MAAM,GAAG,GAAG,IAAI,kBAAkB,CAC9B,WAAW,EACX,YAAY,EACZ,OAAO,CACV,CAAA;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,uBAAuB,EAAE,CAAC;YACnD,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YAErC,IAAI,QAAQ,GAAG,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACzD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAA;gBACpB,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACxD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAEtB,IAAI,SAAS,GAAG,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;gBACrB,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAA;YAC3D,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC3B,CAAC;QACD,OAAO,GAAG,CAAA;IACd,CAAC;IAEM,QAAQ;QACX,MAAM,UAAU,GAA0B,EAAE,CAAA;QAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC1C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,gCAAgC,EAAE,KAAK,CAAC,EAAE,CAAC;gBACxD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,oBAAoB;oBAC1B,OAAO,EAAE,gBAAgB,EAAE,8BAA8B;oBACzD,UAAU,EAAE,aAAa;oBACzB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC3D,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,gBAAgB,EAAE,oCAAoC,KAAK,CAAC,OAAO,aAAa,KAAK,CAAC,YAAY,EAAE;oBAC7G,UAAU,EAAE,aAAa;oBACzB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC9D,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,gBAAgB,EAAE,qCAAqC,KAAK,CAAC,QAAQ,aAAa,KAAK,CAAC,aAAa,EAAE;oBAChH,UAAU,EAAE,aAAa;oBACzB,QAAQ,EAAE,EAAE;iBACf,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAA;IACtD,CAAC;IAEO,eAAe,CAAC,KAAa;QACjC,MAAM,MAAM,GACR,IAAI,CAAC,cAAc,EAAE,4BAA4B;YACjD,uBAAuB,CAAC,4BAA6B,CAAA;QACzD,OAAO,cAAc,CACjB,KAA2C,EAC3C,MAAM,CACT,CAAA;IACL,CAAC;CACJ"}

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

@@ -0,0 +1,20 @@
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
+import type { TCoreArgumentDiff, TCoreDiffOptions, TCoreFieldChange } from "../types/diff.js";
+import type { ArgumentEngine } from "./argument-engine.js";
+/** Compares two argument objects. Core argument only has identity fields (id, version), so no diffable fields. */
+export declare function defaultCompareArgument(_before: TCoreArgument, _after: TCoreArgument): TCoreFieldChange[];
+/** Compares two variables and returns field-level changes for `symbol` and binding-specific fields. */
+export declare function defaultCompareVariable<TVar extends TCorePropositionalVariable = TCorePropositionalVariable>(before: TVar, after: TVar): TCoreFieldChange[];
+/** Compares two premises and returns field-level changes. Base premise has no diffable fields beyond identity. */
+export declare function defaultComparePremise(_before: TCorePremise, _after: TCorePremise): TCoreFieldChange[];
+/** Compares two expressions and returns field-level changes for structural fields (`type`, `parentId`, `position`, `variableId`, `operator`). */
+export declare function defaultCompareExpression(before: TCorePropositionalExpression, after: TCorePropositionalExpression): TCoreFieldChange[];
+/**
+ * Computes a structural diff between two argument engines.
+ *
+ * Compares argument metadata, variables, premises (with nested expression
+ * diffs), and role assignments. Uses pluggable comparators that default to
+ * the `defaultCompare*` functions.
+ */
+export declare function diffArguments<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable>(engineA: ArgumentEngine<TArg, TPremise, TExpr, TVar>, engineB: ArgumentEngine<TArg, TPremise, TExpr, TVar>, options?: TCoreDiffOptions<TArg, TVar, TPremise, TExpr>): TCoreArgumentDiff<TArg, TVar, TPremise, TExpr>;
+//# sourceMappingURL=diff.d.ts.map

package/dist/lib/core/diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../src/lib/core/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,iBAAiB,EACjB,gBAAgB,EAGhB,gBAAgB,EAKnB,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAE1D,kHAAkH;AAClH,wBAAgB,sBAAsB,CAClC,OAAO,EAAE,aAAa,EACtB,MAAM,EAAE,aAAa,GACtB,gBAAgB,EAAE,CAEpB;AAED,uGAAuG;AACvG,wBAAgB,sBAAsB,CAClC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACtE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,gBAAgB,EAAE,CA4B/C;AAED,kHAAkH;AAClH,wBAAgB,qBAAqB,CACjC,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,YAAY,GACrB,gBAAgB,EAAE,CAEpB;AAED,iJAAiJ;AACjJ,wBAAgB,wBAAwB,CACpC,MAAM,EAAE,4BAA4B,EACpC,KAAK,EAAE,4BAA4B,GACpC,gBAAgB,EAAE,CA0CpB;AAkND;;;;;;GAMG;AACH,wBAAgB,aAAa,CACzB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACpD,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACpD,OAAO,CAAC,EAAE,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,GACxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CA0DhD"}

package/dist/lib/core/diff.js

@@ -0,0 +1,260 @@
+/** Compares two argument objects. Core argument only has identity fields (id, version), so no diffable fields. */
+export function defaultCompareArgument(_before, _after) {
+    return [];
+}
+/** Compares two variables and returns field-level changes for `symbol` and binding-specific fields. */
+export function defaultCompareVariable(before, after) {
+    const changes = [];
+    if (before.symbol !== after.symbol) {
+        changes.push({
+            field: "symbol",
+            before: before.symbol,
+            after: after.symbol,
+        });
+    }
+    const bindingFields = [
+        "claimId",
+        "claimVersion",
+        "boundPremiseId",
+        "boundArgumentId",
+        "boundArgumentVersion",
+    ];
+    for (const field of bindingFields) {
+        const bVal = before[field];
+        const aVal = after[field];
+        if (bVal !== aVal) {
+            changes.push({ field, before: bVal, after: aVal });
+        }
+    }
+    return changes;
+}
+/** Compares two premises and returns field-level changes. Base premise has no diffable fields beyond identity. */
+export function defaultComparePremise(_before, _after) {
+    return [];
+}
+/** Compares two expressions and returns field-level changes for structural fields (`type`, `parentId`, `position`, `variableId`, `operator`). */
+export function defaultCompareExpression(before, after) {
+    const changes = [];
+    if (before.type !== after.type) {
+        changes.push({
+            field: "type",
+            before: before.type,
+            after: after.type,
+        });
+    }
+    if (before.parentId !== after.parentId) {
+        changes.push({
+            field: "parentId",
+            before: before.parentId,
+            after: after.parentId,
+        });
+    }
+    if (before.position !== after.position) {
+        changes.push({
+            field: "position",
+            before: before.position,
+            after: after.position,
+        });
+    }
+    if (before.type === "variable" && after.type === "variable") {
+        if (before.variableId !== after.variableId) {
+            changes.push({
+                field: "variableId",
+                before: before.variableId,
+                after: after.variableId,
+            });
+        }
+    }
+    if (before.type === "operator" && after.type === "operator") {
+        if (before.operator !== after.operator) {
+            changes.push({
+                field: "operator",
+                before: before.operator,
+                after: after.operator,
+            });
+        }
+    }
+    return changes;
+}
+// ---------------------------------------------------------------------------
+// Entity set diffing helpers
+// ---------------------------------------------------------------------------
+function diffEntitySet(beforeItems, afterItems, compare, matcher) {
+    if (!matcher) {
+        const beforeById = new Map(beforeItems.map((item) => [item.id, item]));
+        const afterById = new Map(afterItems.map((item) => [item.id, item]));
+        const added = [];
+        const removed = [];
+        const modified = [];
+        for (const [id, beforeItem] of beforeById) {
+            const afterItem = afterById.get(id);
+            if (!afterItem) {
+                removed.push(beforeItem);
+                continue;
+            }
+            const changes = compare(beforeItem, afterItem);
+            if (changes.length > 0) {
+                modified.push({ before: beforeItem, after: afterItem, changes });
+            }
+        }
+        for (const [id, afterItem] of afterById) {
+            if (!beforeById.has(id)) {
+                added.push(afterItem);
+            }
+        }
+        return { added, removed, modified };
+    }
+    // Custom matcher-based pairing
+    const added = [];
+    const removed = [];
+    const modified = [];
+    const matchedAfterIndices = new Set();
+    for (const beforeItem of beforeItems) {
+        const afterIndex = afterItems.findIndex((afterItem, i) => !matchedAfterIndices.has(i) && matcher(beforeItem, afterItem));
+        if (afterIndex === -1) {
+            removed.push(beforeItem);
+            continue;
+        }
+        matchedAfterIndices.add(afterIndex);
+        const afterItem = afterItems[afterIndex];
+        const changes = compare(beforeItem, afterItem);
+        if (changes.length > 0) {
+            modified.push({ before: beforeItem, after: afterItem, changes });
+        }
+    }
+    for (let i = 0; i < afterItems.length; i++) {
+        if (!matchedAfterIndices.has(i)) {
+            added.push(afterItems[i]);
+        }
+    }
+    return { added, removed, modified };
+}
+function diffPremiseSet(beforePremises, afterPremises, beforeExpressions, afterExpressions, comparePremise, compareExpression, premiseMatcher, expressionMatcher) {
+    if (!premiseMatcher) {
+        const beforeById = new Map(beforePremises.map((p) => [p.id, p]));
+        const afterById = new Map(afterPremises.map((p) => [p.id, p]));
+        const added = [];
+        const removed = [];
+        const modified = [];
+        for (const [id, beforePremise] of beforeById) {
+            const afterPremise = afterById.get(id);
+            if (!afterPremise) {
+                removed.push(beforePremise);
+                continue;
+            }
+            const premiseChanges = comparePremise(beforePremise, afterPremise);
+            const expressionsDiff = diffEntitySet(beforeExpressions.get(id) ?? [], afterExpressions.get(id) ?? [], compareExpression, expressionMatcher);
+            const hasExpressionChanges = expressionsDiff.added.length > 0 ||
+                expressionsDiff.removed.length > 0 ||
+                expressionsDiff.modified.length > 0;
+            if (premiseChanges.length > 0 || hasExpressionChanges) {
+                modified.push({
+                    before: beforePremise,
+                    after: afterPremise,
+                    changes: premiseChanges,
+                    expressions: expressionsDiff,
+                });
+            }
+        }
+        for (const [id, afterPremise] of afterById) {
+            if (!beforeById.has(id)) {
+                added.push(afterPremise);
+            }
+        }
+        return { added, removed, modified };
+    }
+    // Custom matcher-based pairing for premises
+    const added = [];
+    const removed = [];
+    const modified = [];
+    const matchedAfterIndices = new Set();
+    for (const beforePremise of beforePremises) {
+        const afterIndex = afterPremises.findIndex((afterPremise, i) => !matchedAfterIndices.has(i) &&
+            premiseMatcher(beforePremise, afterPremise));
+        if (afterIndex === -1) {
+            removed.push(beforePremise);
+            continue;
+        }
+        matchedAfterIndices.add(afterIndex);
+        const afterPremise = afterPremises[afterIndex];
+        const premiseChanges = comparePremise(beforePremise, afterPremise);
+        const expressionsDiff = diffEntitySet(beforeExpressions.get(beforePremise.id) ?? [], afterExpressions.get(afterPremise.id) ?? [], compareExpression, expressionMatcher);
+        const hasExpressionChanges = expressionsDiff.added.length > 0 ||
+            expressionsDiff.removed.length > 0 ||
+            expressionsDiff.modified.length > 0;
+        if (premiseChanges.length > 0 || hasExpressionChanges) {
+            modified.push({
+                before: beforePremise,
+                after: afterPremise,
+                changes: premiseChanges,
+                expressions: expressionsDiff,
+            });
+        }
+    }
+    for (let i = 0; i < afterPremises.length; i++) {
+        if (!matchedAfterIndices.has(i)) {
+            added.push(afterPremises[i]);
+        }
+    }
+    return { added, removed, modified };
+}
+function diffRoles(beforeConclusion, afterConclusion) {
+    return {
+        conclusion: { before: beforeConclusion, after: afterConclusion },
+    };
+}
+function collectVariables(engine) {
+    const seen = new Set();
+    const vars = [];
+    for (const pm of engine.listPremises()) {
+        for (const v of pm.getVariables()) {
+            if (!seen.has(v.id)) {
+                seen.add(v.id);
+                vars.push(v);
+            }
+        }
+    }
+    return vars;
+}
+// ---------------------------------------------------------------------------
+// Main diff function
+// ---------------------------------------------------------------------------
+/**
+ * Computes a structural diff between two argument engines.
+ *
+ * Compares argument metadata, variables, premises (with nested expression
+ * diffs), and role assignments. Uses pluggable comparators that default to
+ * the `defaultCompare*` functions.
+ */
+export function diffArguments(engineA, engineB, options) {
+    const argA = engineA.getArgument();
+    const argB = engineB.getArgument();
+    const premiseEnginesA = engineA.listPremises();
+    const premiseEnginesB = engineB.listPremises();
+    const premisesA = premiseEnginesA.map((pe) => pe.toPremiseData());
+    const premisesB = premiseEnginesB.map((pe) => pe.toPremiseData());
+    const expressionsA = new Map(premiseEnginesA.map((pe) => [pe.getId(), pe.getExpressions()]));
+    const expressionsB = new Map(premiseEnginesB.map((pe) => [pe.getId(), pe.getExpressions()]));
+    const rolesA = engineA.getRoleState();
+    const rolesB = engineB.getRoleState();
+    const compareArg = options?.compareArgument ??
+        defaultCompareArgument;
+    const compareVar = options?.compareVariable ??
+        defaultCompareVariable;
+    const comparePrem = options?.comparePremise ??
+        defaultComparePremise;
+    const compareExpr = options?.compareExpression ??
+        defaultCompareExpression;
+    const argumentChanges = compareArg(argA, argB);
+    return {
+        argument: {
+            before: argA,
+            after: argB,
+            changes: argumentChanges,
+        },
+        variables: diffEntitySet(collectVariables(engineA), collectVariables(engineB), compareVar, options?.variableMatcher),
+        premises: diffPremiseSet(premisesA, premisesB, expressionsA, expressionsB, comparePrem, compareExpr, options?.premiseMatcher, options?.expressionMatcher),
+        roles: diffRoles(rolesA.conclusionPremiseId, rolesB.conclusionPremiseId),
+    };
+}
+//# sourceMappingURL=diff.js.map

package/dist/lib/core/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../src/lib/core/diff.ts"],"names":[],"mappings":"AAmBA,kHAAkH;AAClH,MAAM,UAAU,sBAAsB,CAClC,OAAsB,EACtB,MAAqB;IAErB,OAAO,EAAE,CAAA;AACb,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,sBAAsB,CAEpC,MAAY,EAAE,KAAW;IACvB,MAAM,OAAO,GAAuB,EAAE,CAAA;IAEtC,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,QAAQ;YACf,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,KAAK,EAAE,KAAK,CAAC,MAAM;SACtB,CAAC,CAAA;IACN,CAAC;IAED,MAAM,aAAa,GAAG;QAClB,SAAS;QACT,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,sBAAsB;KAChB,CAAA;IAEV,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QAChC,MAAM,IAAI,GAAI,MAAkC,CAAC,KAAK,CAAC,CAAA;QACvD,MAAM,IAAI,GAAI,KAAiC,CAAC,KAAK,CAAC,CAAA;QACtD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QACtD,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,qBAAqB,CACjC,OAAqB,EACrB,MAAoB;IAEpB,OAAO,EAAE,CAAA;AACb,CAAC;AAED,iJAAiJ;AACjJ,MAAM,UAAU,wBAAwB,CACpC,MAAoC,EACpC,KAAmC;IAEnC,MAAM,OAAO,GAAuB,EAAE,CAAA;IACtC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,MAAM;YACb,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,KAAK,EAAE,KAAK,CAAC,IAAI;SACpB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,UAAU;YACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;YACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;SACxB,CAAC,CAAA;IACN,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,MAAM,CAAC,UAAU;gBACzB,KAAK,EAAE,KAAK,CAAC,UAAU;aAC1B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,MAAM,CAAC,QAAQ;gBACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;aACxB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E,SAAS,aAAa,CAClB,WAAgB,EAChB,UAAe,EACf,OAAgC,EAChC,OAAiC;IAEjC,IAAI,CAAC,OAAO,EAAE,CAAC;QACX,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QACtE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;QAEpE,MAAM,KAAK,GAAQ,EAAE,CAAA;QACrB,MAAM,OAAO,GAAQ,EAAE,CAAA;QACvB,MAAM,QAAQ,GAA8B,EAAE,CAAA;QAE9C,KAAK,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,IAAI,UAAU,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACnC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;gBACxB,SAAQ;YACZ,CAAC;YACD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;YAC9C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;YACpE,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,SAAS,EAAE,CAAC;YACtC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YACzB,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;IACvC,CAAC;IAED,+BAA+B;IAC/B,MAAM,KAAK,GAAQ,EAAE,CAAA;IACrB,MAAM,OAAO,GAAQ,EAAE,CAAA;IACvB,MAAM,QAAQ,GAA8B,EAAE,CAAA;IAC9C,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE7C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,UAAU,CAAC,SAAS,CACnC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CACb,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CACpE,CAAA;QACD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACxB,SAAQ;QACZ,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;QACxC,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAA;QAC9C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;QACpE,CAAC;IACL,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;QAC7B,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,cAAc,CAInB,cAA0B,EAC1B,aAAyB,EACzB,iBAAuC,EACvC,gBAAsC,EACtC,cAA8C,EAC9C,iBAA8C,EAC9C,cAAsD,EACtD,iBAAmD;IAEnD,IAAI,CAAC,cAAc,EAAE,CAAC;QAClB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAChE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAE9D,MAAM,KAAK,GAAe,EAAE,CAAA;QAC5B,MAAM,OAAO,GAAe,EAAE,CAAA;QAC9B,MAAM,QAAQ,GAAwC,EAAE,CAAA;QAExD,KAAK,MAAM,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;YACtC,IAAI,CAAC,YAAY,EAAE,CAAC;gBAChB,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBAC3B,SAAQ;YACZ,CAAC;YACD,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAA;YAClE,MAAM,eAAe,GAAG,aAAa,CACjC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAC/B,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAC9B,iBAAiB,EACjB,iBAAiB,CACpB,CAAA;YACD,MAAM,oBAAoB,GACtB,eAAe,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAChC,eAAe,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAClC,eAAe,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;YACvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;gBACpD,QAAQ,CAAC,IAAI,CAAC;oBACV,MAAM,EAAE,aAAa;oBACrB,KAAK,EAAE,YAAY;oBACnB,OAAO,EAAE,cAAc;oBACvB,WAAW,EAAE,eAAe;iBAC/B,CAAC,CAAA;YACN,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,EAAE,YAAY,CAAC,IAAI,SAAS,EAAE,CAAC;YACzC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;YAC5B,CAAC;QACL,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;IACvC,CAAC;IAED,4CAA4C;IAC5C,MAAM,KAAK,GAAe,EAAE,CAAA;IAC5B,MAAM,OAAO,GAAe,EAAE,CAAA;IAC9B,MAAM,QAAQ,GAAwC,EAAE,CAAA;IACxD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE7C,KAAK,MAAM,aAAa,IAAI,cAAc,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,aAAa,CAAC,SAAS,CACtC,CAAC,YAAY,EAAE,CAAC,EAAE,EAAE,CAChB,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3B,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAClD,CAAA;QACD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;YAC3B,SAAQ;QACZ,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACnC,MAAM,YAAY,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;QAC9C,MAAM,cAAc,GAAG,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAA;QAClE,MAAM,eAAe,GAAG,aAAa,CACjC,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAC7C,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,EAC3C,iBAAiB,EACjB,iBAAiB,CACpB,CAAA;QACD,MAAM,oBAAoB,GACtB,eAAe,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAChC,eAAe,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAClC,eAAe,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;QACvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC;gBACV,MAAM,EAAE,aAAa;gBACrB,KAAK,EAAE,YAAY;gBACnB,OAAO,EAAE,cAAc;gBACvB,WAAW,EAAE,eAAe;aAC/B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;QAChC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,SAAS,CACd,gBAAoC,EACpC,eAAmC;IAEnC,OAAO;QACH,UAAU,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,eAAe,EAAE;KACnE,CAAA;AACL,CAAC;AAED,SAAS,gBAAgB,CAKvB,MAAmD;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,IAAI,GAAW,EAAE,CAAA;IACvB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;gBACd,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YAChB,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAA;AACf,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAMzB,OAAoD,EACpD,OAAoD,EACpD,OAAuD;IAEvD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;IAClC,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;IAClC,MAAM,eAAe,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAC9C,MAAM,eAAe,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAC9C,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,CAAA;IACjE,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,CAAA;IACjE,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CACjE,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CACxB,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC,CACjE,CAAA;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IACrC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;IAErC,MAAM,UAAU,GACZ,OAAO,EAAE,eAAe;QACvB,sBAAqD,CAAA;IAC1D,MAAM,UAAU,GACZ,OAAO,EAAE,eAAe;QACvB,sBAAqD,CAAA;IAC1D,MAAM,WAAW,GACb,OAAO,EAAE,cAAc;QACtB,qBAAwD,CAAA;IAC7D,MAAM,WAAW,GACb,OAAO,EAAE,iBAAiB;QACzB,wBAAwD,CAAA;IAE7D,MAAM,eAAe,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAE9C,OAAO;QACH,QAAQ,EAAE;YACN,MAAM,EAAE,IAAI;YACZ,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,eAAe;SAC3B;QACD,SAAS,EAAE,aAAa,CACpB,gBAAgB,CAAC,OAAO,CAAC,EACzB,gBAAgB,CAAC,OAAO,CAAC,EACzB,UAAU,EACV,OAAO,EAAE,eAAe,CAC3B;QACD,QAAQ,EAAE,cAAc,CACpB,SAAS,EACT,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,WAAW,EACX,OAAO,EAAE,cAAc,EACvB,OAAO,EAAE,iBAAiB,CAC7B;QACD,KAAK,EAAE,SAAS,CACZ,MAAM,CAAC,mBAAmB,EAC1B,MAAM,CAAC,mBAAmB,CAC7B;KACJ,CAAA;AACL,CAAC"}

package/dist/lib/core/evaluation/argument-evaluation.d.ts

@@ -0,0 +1,53 @@
+import { type TCorePropositionalExpression, type TCorePropositionalVariable } from "../../schemata/index.js";
+import type { TCoreArgumentEvaluationOptions, TCoreArgumentEvaluationResult, TCoreExpressionAssignment, TCoreValidityCheckOptions, TCoreValidityCheckResult, TCoreVariableAssignment, TCorePremiseEvaluationResult, TCoreValidationResult } from "../../types/evaluation.js";
+/**
+ * Read-only interface providing the data an evaluation needs from an
+ * argument engine. This is intentionally narrow — evaluation should
+ * not mutate anything.
+ */
+export interface TArgumentEvaluationContext {
+    /** The argument's own ID. */
+    argumentId: string;
+    /** Returns the conclusion PremiseEngine, or undefined. */
+    getConclusionPremise(): TEvaluablePremise | undefined;
+    /** Returns supporting premises (inference premises minus conclusion). */
+    listSupportingPremises(): TEvaluablePremise[];
+    /** Returns all premises. */
+    listPremises(): TEvaluablePremise[];
+    /** The conclusion premise ID, if set. */
+    conclusionPremiseId: string | undefined;
+    /** Look up a variable by ID. */
+    getVariable(variableId: string): TCorePropositionalVariable | undefined;
+    /** Look up a premise by ID. */
+    getPremise(premiseId: string): TEvaluablePremise | undefined;
+    /** Pre-evaluation structural validation. */
+    validateEvaluability(): TCoreValidationResult;
+}
+/**
+ * Narrow view of a PremiseEngine needed for evaluation.
+ */
+export interface TEvaluablePremise {
+    getId(): string;
+    getExpressions(): TCorePropositionalExpression[];
+    getChildExpressions(parentId: string): TCorePropositionalExpression[];
+    getVariables(): TCorePropositionalVariable[];
+    evaluate(assignment: TCoreExpressionAssignment, options?: {
+        strictUnknownKeys?: boolean;
+        resolver?: (variableId: string) => boolean | null;
+    }): TCorePremiseEvaluationResult;
+}
+/**
+ * Run fixed-point constraint propagation over accepted/rejected operators.
+ * Fills unknown (null) variable values based on operator semantics.
+ * Never overwrites user-assigned values (true/false).
+ */
+export declare function propagateOperatorConstraints(ctx: TArgumentEvaluationContext, assignment: TCoreExpressionAssignment): TCoreVariableAssignment;
+/**
+ * Evaluates an argument under a three-valued expression assignment.
+ */
+export declare function evaluateArgument(ctx: TArgumentEvaluationContext, assignment: TCoreExpressionAssignment, options?: TCoreArgumentEvaluationOptions): TCoreArgumentEvaluationResult;
+/**
+ * Enumerates all 2^n variable assignments and checks for counterexamples.
+ */
+export declare function checkArgumentValidity(ctx: TArgumentEvaluationContext, options?: TCoreValidityCheckOptions): TCoreValidityCheckResult;
+//# sourceMappingURL=argument-evaluation.d.ts.map

package/dist/lib/core/evaluation/argument-evaluation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"argument-evaluation.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/argument-evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAClC,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAE7B,yBAAyB,EAEzB,yBAAyB,EACzB,wBAAwB,EACxB,uBAAuB,EACvB,4BAA4B,EAC5B,qBAAqB,EACxB,MAAM,2BAA2B,CAAA;AAUlC;;;;GAIG;AACH,MAAM,WAAW,0BAA0B;IACvC,6BAA6B;IAC7B,UAAU,EAAE,MAAM,CAAA;IAClB,0DAA0D;IAC1D,oBAAoB,IAAI,iBAAiB,GAAG,SAAS,CAAA;IACrD,yEAAyE;IACzE,sBAAsB,IAAI,iBAAiB,EAAE,CAAA;IAC7C,4BAA4B;IAC5B,YAAY,IAAI,iBAAiB,EAAE,CAAA;IACnC,yCAAyC;IACzC,mBAAmB,EAAE,MAAM,GAAG,SAAS,CAAA;IACvC,gCAAgC;IAChC,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,0BAA0B,GAAG,SAAS,CAAA;IACvE,+BAA+B;IAC/B,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAA;IAC5D,4CAA4C;IAC5C,oBAAoB,IAAI,qBAAqB,CAAA;CAChD;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAC9B,KAAK,IAAI,MAAM,CAAA;IACf,cAAc,IAAI,4BAA4B,EAAE,CAAA;IAChD,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,4BAA4B,EAAE,CAAA;IACrE,YAAY,IAAI,0BAA0B,EAAE,CAAA;IAC5C,QAAQ,CACJ,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE;QACN,iBAAiB,CAAC,EAAE,OAAO,CAAA;QAC3B,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,GAAG,IAAI,CAAA;KACpD,GACF,4BAA4B,CAAA;CAClC;AAED;;;;GAIG;AACH,wBAAgB,4BAA4B,CACxC,GAAG,EAAE,0BAA0B,EAC/B,UAAU,EAAE,yBAAyB,GACtC,uBAAuB,CAwSzB;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC5B,GAAG,EAAE,0BAA0B,EAC/B,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B,CAoL/B;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACjC,GAAG,EAAE,0BAA0B,EAC/B,OAAO,CAAC,EAAE,yBAAyB,GACpC,wBAAwB,CAmJ1B"}