@proposit/proposit-core 0.8.9

package/dist/lib/core/argument-validation.js

@@ -0,0 +1,315 @@
+import { Value } from "typebox/value";
+import { CoreArgumentSchema, isClaimBound, isPremiseBound, } from "../schemata/index.js";
+import { ARG_SCHEMA_INVALID, ARG_OWNERSHIP_MISMATCH, ARG_CLAIM_REF_NOT_FOUND, ARG_PREMISE_REF_NOT_FOUND, ARG_CIRCULARITY_DETECTED, ARG_CONCLUSION_NOT_FOUND, ARG_CHECKSUM_MISMATCH, } from "../types/validation.js";
+import { getOrCreate, sortedUnique } from "../utils/collections.js";
+import { makeErrorIssue, makeValidationResult, } from "./evaluation/validation.js";
+/**
+ * Indexes variables referenced across all premises by ID and by symbol.
+ */
+export function collectArgumentReferencedVariables(ctx) {
+    const byIdTmp = new Map();
+    const bySymbolTmp = new Map();
+    for (const premise of ctx.listPremises()) {
+        const premiseId = premise.getId();
+        const varsById = new Map(premise.getVariables().map((v) => [v.id, v]));
+        for (const expr of premise.getExpressions()) {
+            if (expr.type !== "variable")
+                continue;
+            const variable = varsById.get(expr.variableId);
+            if (!variable)
+                continue;
+            const byIdEntry = getOrCreate(byIdTmp, variable.id, () => ({
+                symbols: new Set(),
+                premiseIds: new Set(),
+            }));
+            byIdEntry.symbols.add(variable.symbol);
+            byIdEntry.premiseIds.add(premiseId);
+            const bySymbolEntry = getOrCreate(bySymbolTmp, variable.symbol, () => ({
+                variableIds: new Set(),
+                premiseIds: new Set(),
+            }));
+            bySymbolEntry.variableIds.add(variable.id);
+            bySymbolEntry.premiseIds.add(premiseId);
+        }
+    }
+    const byId = {};
+    for (const [variableId, entry] of Array.from(byIdTmp.entries()).sort((a, b) => a[0].localeCompare(b[0]))) {
+        byId[variableId] = {
+            symbol: sortedUnique(entry.symbols)[0] ?? "",
+            premiseIds: sortedUnique(entry.premiseIds),
+        };
+    }
+    const bySymbol = {};
+    for (const [symbol, entry] of Array.from(bySymbolTmp.entries()).sort((a, b) => a[0].localeCompare(b[0]))) {
+        bySymbol[symbol] = {
+            variableIds: sortedUnique(entry.variableIds),
+            premiseIds: sortedUnique(entry.premiseIds),
+        };
+    }
+    return {
+        variableIds: sortedUnique(byIdTmp.keys()),
+        byId,
+        bySymbol,
+    };
+}
+/**
+ * Lightweight validation triggered after a PremiseEngine mutation.
+ * Skips per-premise deep validation (which is O(n) over all premises)
+ * and argument-level checksum stability checks (checksums are known to
+ * be dirty). Only checks argument-level cross-references that a
+ * PremiseEngine mutation could affect.
+ */
+export function validateArgumentAfterPremiseMutation(ctx) {
+    const violations = [];
+    // Variable references: ensure all variable expressions in the
+    // mutated premise still reference known variables (this is the main
+    // cross-cutting invariant a premise mutation can break).
+    for (const v of ctx.getVariables()) {
+        const base = v;
+        if (isPremiseBound(base)) {
+            const pb = base;
+            if (pb.boundArgumentId === ctx.argumentId) {
+                if (!ctx.hasPremise(pb.boundPremiseId)) {
+                    violations.push({
+                        code: ARG_PREMISE_REF_NOT_FOUND,
+                        message: `Premise-bound variable "${pb.id}" references non-existent premise "${pb.boundPremiseId}".`,
+                        entityType: "variable",
+                        entityId: pb.id,
+                    });
+                }
+            }
+        }
+    }
+    // Conclusion premise reference
+    if (ctx.conclusionPremiseId !== undefined &&
+        !ctx.hasPremise(ctx.conclusionPremiseId)) {
+        violations.push({
+            code: ARG_CONCLUSION_NOT_FOUND,
+            message: `Conclusion premise "${ctx.conclusionPremiseId}" does not exist in this argument.`,
+            entityType: "argument",
+            entityId: ctx.argumentId,
+        });
+    }
+    return {
+        ok: violations.length === 0,
+        violations,
+    };
+}
+/**
+ * Comprehensive invariant validation for an argument. Performs 9 checks:
+ * schema conformance, variable manager validation, per-premise validation,
+ * variable ownership, claim-bound references, premise-bound references,
+ * circularity detection, conclusion reference, and checksum stability.
+ */
+export function validateArgument(ctx) {
+    const violations = [];
+    // 1. Schema check — flush checksums first so fields are populated
+    const deltas = ctx.flushAndGetChecksumDeltas();
+    const arg = ctx.getArgument();
+    if (!Value.Check(CoreArgumentSchema, arg)) {
+        violations.push({
+            code: ARG_SCHEMA_INVALID,
+            message: `Argument "${arg.id}" does not conform to CoreArgumentSchema.`,
+            entityType: "argument",
+            entityId: arg.id,
+        });
+    }
+    // 2. Delegate to VariableManager.validate()
+    const varResult = ctx.validateVariables();
+    violations.push(...varResult.violations);
+    // 3. Delegate to each PremiseEngine.validate()
+    for (const pe of ctx.listPremises()) {
+        const premiseResult = pe.validate();
+        violations.push(...premiseResult.violations);
+    }
+    // 4. Variable ownership: all variables must belong to this argument
+    for (const v of ctx.getVariables()) {
+        const base = v;
+        if (base.argumentId !== ctx.argumentId ||
+            base.argumentVersion !== ctx.argumentVersion) {
+            violations.push({
+                code: ARG_OWNERSHIP_MISMATCH,
+                message: `Variable "${base.id}" has argumentId/version "${base.argumentId}/${base.argumentVersion}" but engine is "${ctx.argumentId}/${ctx.argumentVersion}".`,
+                entityType: "variable",
+                entityId: base.id,
+            });
+        }
+    }
+    // 5. Claim-bound variable references
+    for (const v of ctx.getVariables()) {
+        const base = v;
+        if (isClaimBound(base)) {
+            const cb = base;
+            if (!ctx.lookupClaim(cb.claimId, cb.claimVersion)) {
+                violations.push({
+                    code: ARG_CLAIM_REF_NOT_FOUND,
+                    message: `Variable "${cb.id}" references claim "${cb.claimId}" version ${cb.claimVersion} which does not exist in the claim library.`,
+                    entityType: "variable",
+                    entityId: cb.id,
+                });
+            }
+        }
+    }
+    // 6. Premise-bound internal variable references
+    for (const v of ctx.getVariables()) {
+        const base = v;
+        if (isPremiseBound(base)) {
+            const pb = base;
+            if (pb.boundArgumentId === ctx.argumentId) {
+                if (!ctx.hasPremise(pb.boundPremiseId)) {
+                    violations.push({
+                        code: ARG_PREMISE_REF_NOT_FOUND,
+                        message: `Premise-bound variable "${pb.id}" references non-existent premise "${pb.boundPremiseId}".`,
+                        entityType: "variable",
+                        entityId: pb.id,
+                    });
+                }
+            }
+        }
+    }
+    // 7. Circularity detection for internal premise-bound variables.
+    //    A cycle exists when a premise-bound variable's bound premise
+    //    transitively references back to itself through other
+    //    premise-bound variables.
+    for (const v of ctx.getVariables()) {
+        const base = v;
+        if (isPremiseBound(base)) {
+            const pb = base;
+            if (pb.boundArgumentId === ctx.argumentId) {
+                // Trace from the bound premise through expressions'
+                // variable references to see if we reach back to the
+                // same premise.
+                if (ctx.hasPremise(pb.boundPremiseId)) {
+                    const boundPremise = ctx
+                        .listPremises()
+                        .find((p) => p.getId() === pb.boundPremiseId);
+                    if (boundPremise) {
+                        let hasCycle = false;
+                        for (const expr of boundPremise.getExpressions()) {
+                            if (expr.type === "variable") {
+                                try {
+                                    if (ctx.wouldCreateCycle(expr.variableId, pb.boundPremiseId, new Set())) {
+                                        hasCycle = true;
+                                        break;
+                                    }
+                                }
+                                catch {
+                                    hasCycle = true;
+                                    break;
+                                }
+                            }
+                        }
+                        if (hasCycle) {
+                            violations.push({
+                                code: ARG_CIRCULARITY_DETECTED,
+                                message: `Premise-bound variable "${pb.id}" creates a circular dependency through premise "${pb.boundPremiseId}".`,
+                                entityType: "variable",
+                                entityId: pb.id,
+                            });
+                        }
+                    }
+                }
+            }
+        }
+    }
+    // 8. Conclusion premise reference
+    if (ctx.conclusionPremiseId !== undefined &&
+        !ctx.hasPremise(ctx.conclusionPremiseId)) {
+        violations.push({
+            code: ARG_CONCLUSION_NOT_FOUND,
+            message: `Conclusion premise "${ctx.conclusionPremiseId}" does not exist in this argument.`,
+            entityType: "argument",
+            entityId: ctx.argumentId,
+        });
+    }
+    // 9. Argument-level checksum verification
+    if (deltas.savedMeta !== undefined &&
+        deltas.savedMeta !== deltas.currentMeta) {
+        violations.push({
+            code: ARG_CHECKSUM_MISMATCH,
+            message: `Argument "${ctx.argumentId}" meta checksum changed after flush: "${deltas.savedMeta}" → "${deltas.currentMeta}".`,
+            entityType: "argument",
+            entityId: ctx.argumentId,
+        });
+    }
+    if (deltas.savedDescendant !== undefined &&
+        deltas.savedDescendant !== deltas.currentDescendant) {
+        violations.push({
+            code: ARG_CHECKSUM_MISMATCH,
+            message: `Argument "${ctx.argumentId}" descendant checksum changed after flush: "${String(deltas.savedDescendant)}" → "${String(deltas.currentDescendant)}".`,
+            entityType: "argument",
+            entityId: ctx.argumentId,
+        });
+    }
+    if (deltas.savedCombined !== undefined &&
+        deltas.savedCombined !== deltas.currentCombined) {
+        violations.push({
+            code: ARG_CHECKSUM_MISMATCH,
+            message: `Argument "${ctx.argumentId}" combined checksum changed after flush: "${deltas.savedCombined}" → "${deltas.currentCombined}".`,
+            entityType: "argument",
+            entityId: ctx.argumentId,
+        });
+    }
+    return {
+        ok: violations.length === 0,
+        violations,
+    };
+}
+/**
+ * Pre-evaluation structural validation. Checks conclusion presence,
+ * variable-to-symbol consistency, symbol-to-variable uniqueness,
+ * and delegates to per-premise evaluability checks.
+ */
+export function validateArgumentEvaluability(ctx) {
+    const issues = [];
+    if (ctx.conclusionPremiseId === undefined) {
+        issues.push(makeErrorIssue({
+            code: "ARGUMENT_NO_CONCLUSION",
+            message: "Argument has no designated conclusion premise.",
+        }));
+    }
+    else if (!ctx.hasPremise(ctx.conclusionPremiseId)) {
+        issues.push(makeErrorIssue({
+            code: "ARGUMENT_CONCLUSION_NOT_FOUND",
+            message: `Conclusion premise "${ctx.conclusionPremiseId}" does not exist.`,
+            premiseId: ctx.conclusionPremiseId,
+        }));
+    }
+    const idToSymbols = new Map();
+    const symbolToIds = new Map();
+    for (const premise of ctx.listPremises()) {
+        const varById = new Map(premise.getVariables().map((v) => [v.id, v]));
+        for (const expr of premise.getExpressions()) {
+            if (expr.type !== "variable")
+                continue;
+            const variable = varById.get(expr.variableId);
+            if (!variable)
+                continue;
+            getOrCreate(idToSymbols, variable.id, () => new Set()).add(variable.symbol);
+            getOrCreate(symbolToIds, variable.symbol, () => new Set()).add(variable.id);
+        }
+    }
+    for (const [variableId, symbols] of idToSymbols) {
+        if (symbols.size > 1) {
+            issues.push(makeErrorIssue({
+                code: "ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH",
+                message: `Variable ID "${variableId}" is used with multiple symbols: ${sortedUnique(symbols).join(", ")}.`,
+                variableId,
+            }));
+        }
+    }
+    for (const [symbol, ids] of symbolToIds) {
+        if (ids.size > 1) {
+            issues.push(makeErrorIssue({
+                code: "ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS",
+                message: `Variable symbol "${symbol}" is used with multiple IDs: ${sortedUnique(ids).join(", ")}.`,
+            }));
+        }
+    }
+    for (const premise of ctx.listPremises()) {
+        const premiseValidation = premise.validateEvaluability();
+        issues.push(...premiseValidation.issues);
+    }
+    return makeValidationResult(issues);
+}
+//# sourceMappingURL=argument-validation.js.map

package/dist/lib/core/argument-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"argument-validation.js","sourceRoot":"","sources":["../../../src/lib/core/argument-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AACrC,OAAO,EACH,kBAAkB,EAClB,YAAY,EACZ,cAAc,GAMjB,MAAM,sBAAsB,CAAA;AAS7B,OAAO,EACH,kBAAkB,EAClB,sBAAsB,EACtB,uBAAuB,EACvB,yBAAyB,EACzB,wBAAwB,EACxB,wBAAwB,EACxB,qBAAqB,GACxB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AACnE,OAAO,EACH,cAAc,EACd,oBAAoB,GACvB,MAAM,4BAA4B,CAAA;AA2CnC;;GAEG;AACH,MAAM,UAAU,kCAAkC,CAC9C,GAA+B;IAM/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAGpB,CAAA;IACH,MAAM,WAAW,GAAG,IAAI,GAAG,EAGxB,CAAA;IAEH,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,EAAE,CAAA;QACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACtE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;YAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAQ;YACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC9C,IAAI,CAAC,QAAQ;gBAAE,SAAQ;YAEvB,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;gBACvD,OAAO,EAAE,IAAI,GAAG,EAAU;gBAC1B,UAAU,EAAE,IAAI,GAAG,EAAU;aAChC,CAAC,CAAC,CAAA;YACH,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;YACtC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YAEnC,MAAM,aAAa,GAAG,WAAW,CAC7B,WAAW,EACX,QAAQ,CAAC,MAAM,EACf,GAAG,EAAE,CAAC,CAAC;gBACH,WAAW,EAAE,IAAI,GAAG,EAAU;gBAC9B,UAAU,EAAE,IAAI,GAAG,EAAU;aAChC,CAAC,CACL,CAAA;YACD,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;YAC1C,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAC3C,CAAC;IACL,CAAC;IAED,MAAM,IAAI,GAA6D,EAAE,CAAA;IACzE,KAAK,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAChE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACrC,EAAE,CAAC;QACA,IAAI,CAAC,UAAU,CAAC,GAAG;YACf,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YAC5C,UAAU,EAAE,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC;SAC7C,CAAA;IACL,CAAC;IAED,MAAM,QAAQ,GAGV,EAAE,CAAA;IACN,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAChE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACrC,EAAE,CAAC;QACA,QAAQ,CAAC,MAAM,CAAC,GAAG;YACf,WAAW,EAAE,YAAY,CAAC,KAAK,CAAC,WAAW,CAAC;YAC5C,UAAU,EAAE,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC;SAC7C,CAAA;IACL,CAAC;IAED,OAAO;QACH,WAAW,EAAE,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACzC,IAAI;QACJ,QAAQ;KACX,CAAA;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oCAAoC,CAChD,GAA+B;IAE/B,MAAM,UAAU,GAA0B,EAAE,CAAA;IAE5C,8DAA8D;IAC9D,oEAAoE;IACpE,yDAAyD;IACzD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,CAA0C,CAAA;QACvD,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,EAAE,GAAG,IAAwC,CAAA;YACnD,IAAI,EAAE,CAAC,eAAe,KAAK,GAAG,CAAC,UAAU,EAAE,CAAC;gBACxC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC;oBACrC,UAAU,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,yBAAyB;wBAC/B,OAAO,EAAE,2BAA2B,EAAE,CAAC,EAAE,sCAAsC,EAAE,CAAC,cAAc,IAAI;wBACpG,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,EAAE,CAAC,EAAE;qBAClB,CAAC,CAAA;gBACN,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,+BAA+B;IAC/B,IACI,GAAG,CAAC,mBAAmB,KAAK,SAAS;QACrC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAC1C,CAAC;QACC,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,uBAAuB,GAAG,CAAC,mBAAmB,oCAAoC;YAC3F,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,GAAG,CAAC,UAAU;SAC3B,CAAC,CAAA;IACN,CAAC;IAED,OAAO;QACH,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;QAC3B,UAAU;KACb,CAAA;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC5B,GAA+B;IAE/B,MAAM,UAAU,GAA0B,EAAE,CAAA;IAE5C,kEAAkE;IAClE,MAAM,MAAM,GAAG,GAAG,CAAC,yBAAyB,EAAE,CAAA;IAC9C,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,EAAE,CAAA;IAC7B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,kBAAkB,EAAE,GAA+B,CAAC,EAAE,CAAC;QACpE,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,aAAa,GAAG,CAAC,EAAE,2CAA2C;YACvE,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,GAAG,CAAC,EAAE;SACnB,CAAC,CAAA;IACN,CAAC;IAED,4CAA4C;IAC5C,MAAM,SAAS,GAAG,GAAG,CAAC,iBAAiB,EAAE,CAAA;IACzC,UAAU,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;IAExC,+CAA+C;IAC/C,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAA;QACnC,UAAU,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;IAChD,CAAC;IAED,oEAAoE;IACpE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,CAA0C,CAAA;QACvD,IACI,IAAI,CAAC,UAAU,KAAK,GAAG,CAAC,UAAU;YAClC,IAAI,CAAC,eAAe,KAAK,GAAG,CAAC,eAAe,EAC9C,CAAC;YACC,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,6BAA6B,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,eAAe,oBAAoB,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,eAAe,IAAI;gBAC9J,UAAU,EAAE,UAAU;gBACtB,QAAQ,EAAE,IAAI,CAAC,EAAE;aACpB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,qCAAqC;IACrC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,CAA0C,CAAA;QACvD,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,IAAsC,CAAA;YACjD,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;gBAChD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,uBAAuB;oBAC7B,OAAO,EAAE,aAAa,EAAE,CAAC,EAAE,uBAAuB,EAAE,CAAC,OAAO,aAAa,EAAE,CAAC,YAAY,6CAA6C;oBACrI,UAAU,EAAE,UAAU;oBACtB,QAAQ,EAAE,EAAE,CAAC,EAAE;iBAClB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED,gDAAgD;IAChD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,CAA0C,CAAA;QACvD,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,EAAE,GAAG,IAAwC,CAAA;YACnD,IAAI,EAAE,CAAC,eAAe,KAAK,GAAG,CAAC,UAAU,EAAE,CAAC;gBACxC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC;oBACrC,UAAU,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,yBAAyB;wBAC/B,OAAO,EAAE,2BAA2B,EAAE,CAAC,EAAE,sCAAsC,EAAE,CAAC,cAAc,IAAI;wBACpG,UAAU,EAAE,UAAU;wBACtB,QAAQ,EAAE,EAAE,CAAC,EAAE;qBAClB,CAAC,CAAA;gBACN,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,iEAAiE;IACjE,kEAAkE;IAClE,0DAA0D;IAC1D,8BAA8B;IAC9B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,CAA0C,CAAA;QACvD,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,EAAE,GAAG,IAAwC,CAAA;YACnD,IAAI,EAAE,CAAC,eAAe,KAAK,GAAG,CAAC,UAAU,EAAE,CAAC;gBACxC,oDAAoD;gBACpD,qDAAqD;gBACrD,gBAAgB;gBAChB,IAAI,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC;oBACpC,MAAM,YAAY,GAAG,GAAG;yBACnB,YAAY,EAAE;yBACd,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,CAAA;oBACjD,IAAI,YAAY,EAAE,CAAC;wBACf,IAAI,QAAQ,GAAG,KAAK,CAAA;wBACpB,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,cAAc,EAAE,EAAE,CAAC;4BAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gCAC3B,IAAI,CAAC;oCACD,IACI,GAAG,CAAC,gBAAgB,CAChB,IAAI,CAAC,UAAU,EACf,EAAE,CAAC,cAAc,EACjB,IAAI,GAAG,EAAE,CACZ,EACH,CAAC;wCACC,QAAQ,GAAG,IAAI,CAAA;wCACf,MAAK;oCACT,CAAC;gCACL,CAAC;gCAAC,MAAM,CAAC;oCACL,QAAQ,GAAG,IAAI,CAAA;oCACf,MAAK;gCACT,CAAC;4BACL,CAAC;wBACL,CAAC;wBACD,IAAI,QAAQ,EAAE,CAAC;4BACX,UAAU,CAAC,IAAI,CAAC;gCACZ,IAAI,EAAE,wBAAwB;gCAC9B,OAAO,EAAE,2BAA2B,EAAE,CAAC,EAAE,oDAAoD,EAAE,CAAC,cAAc,IAAI;gCAClH,UAAU,EAAE,UAAU;gCACtB,QAAQ,EAAE,EAAE,CAAC,EAAE;6BAClB,CAAC,CAAA;wBACN,CAAC;oBACL,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,kCAAkC;IAClC,IACI,GAAG,CAAC,mBAAmB,KAAK,SAAS;QACrC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAC1C,CAAC;QACC,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,uBAAuB,GAAG,CAAC,mBAAmB,oCAAoC;YAC3F,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,GAAG,CAAC,UAAU;SAC3B,CAAC,CAAA;IACN,CAAC;IAED,0CAA0C;IAC1C,IACI,MAAM,CAAC,SAAS,KAAK,SAAS;QAC9B,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,WAAW,EACzC,CAAC;QACC,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,aAAa,GAAG,CAAC,UAAU,yCAAyC,MAAM,CAAC,SAAS,QAAQ,MAAM,CAAC,WAAW,IAAI;YAC3H,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,GAAG,CAAC,UAAU;SAC3B,CAAC,CAAA;IACN,CAAC;IACD,IACI,MAAM,CAAC,eAAe,KAAK,SAAS;QACpC,MAAM,CAAC,eAAe,KAAK,MAAM,CAAC,iBAAiB,EACrD,CAAC;QACC,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,aAAa,GAAG,CAAC,UAAU,+CAA+C,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,QAAQ,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI;YAC7J,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,GAAG,CAAC,UAAU;SAC3B,CAAC,CAAA;IACN,CAAC;IACD,IACI,MAAM,CAAC,aAAa,KAAK,SAAS;QAClC,MAAM,CAAC,aAAa,KAAK,MAAM,CAAC,eAAe,EACjD,CAAC;QACC,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,aAAa,GAAG,CAAC,UAAU,6CAA6C,MAAM,CAAC,aAAa,QAAQ,MAAM,CAAC,eAAe,IAAI;YACvI,UAAU,EAAE,UAAU;YACtB,QAAQ,EAAE,GAAG,CAAC,UAAU;SAC3B,CAAC,CAAA;IACN,CAAC;IAED,OAAO;QACH,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;QAC3B,UAAU;KACb,CAAA;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CACxC,GAA+B;IAE/B,MAAM,MAAM,GAA2B,EAAE,CAAA;IAEzC,IAAI,GAAG,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;YACX,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,gDAAgD;SAC5D,CAAC,CACL,CAAA;IACL,CAAC;SAAM,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAClD,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;YACX,IAAI,EAAE,+BAA+B;YACrC,OAAO,EAAE,uBAAuB,GAAG,CAAC,mBAAmB,mBAAmB;YAC1E,SAAS,EAAE,GAAG,CAAC,mBAAmB;SACrC,CAAC,CACL,CAAA;IACL,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAA;IAClD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAA;IAClD,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACrE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;YAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAQ;YACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC7C,IAAI,CAAC,QAAQ;gBAAE,SAAQ;YACvB,WAAW,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CACtD,QAAQ,CAAC,MAAM,CAClB,CAAA;YACD,WAAW,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CAC1D,QAAQ,CAAC,EAAE,CACd,CAAA;QACL,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,WAAW,EAAE,CAAC;QAC9C,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,sCAAsC;gBAC5C,OAAO,EAAE,gBAAgB,UAAU,oCAAoC,YAAY,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBAC1G,UAAU;aACb,CAAC,CACL,CAAA;QACL,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,WAAW,EAAE,CAAC;QACtC,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CACP,cAAc,CAAC;gBACX,IAAI,EAAE,oCAAoC;gBAC1C,OAAO,EAAE,oBAAoB,MAAM,gCAAgC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aACrG,CAAC,CACL,CAAA;QACL,CAAC;IACL,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC;QACvC,MAAM,iBAAiB,GAAG,OAAO,CAAC,oBAAoB,EAAE,CAAA;QACxD,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAA;IAC5C,CAAC;IAED,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAA;AACvC,CAAC"}

package/dist/lib/core/change-collector.d.ts

@@ -0,0 +1,24 @@
+import type { TCorePremise } from "../schemata/index.js";
+import type { TCoreArgument, TCoreArgumentRoleState } from "../schemata/argument.js";
+import type { TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/propositional.js";
+import type { TCoreChangeset } from "../types/mutation.js";
+export declare class ChangeCollector<TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TPremise extends TCorePremise = TCorePremise, TArg extends TCoreArgument = TCoreArgument> {
+    private expressions;
+    private variables;
+    private premises;
+    private roles;
+    private argument;
+    addedExpression(expr: TExpr): void;
+    modifiedExpression(expr: TExpr): void;
+    removedExpression(expr: TExpr): void;
+    isExpressionAdded(id: string): boolean;
+    addedVariable(variable: TVar): void;
+    modifiedVariable(variable: TVar): void;
+    removedVariable(variable: TVar): void;
+    addedPremise(premise: TPremise): void;
+    removedPremise(premise: TPremise): void;
+    setRoles(roles: TCoreArgumentRoleState): void;
+    setArgument(argument: TArg): void;
+    toChangeset(): TCoreChangeset<TExpr, TVar, TPremise, TArg>;
+}
+//# sourceMappingURL=change-collector.d.ts.map

package/dist/lib/core/change-collector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-collector.d.ts","sourceRoot":"","sources":["../../../src/lib/core/change-collector.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AACxD,OAAO,KAAK,EACR,aAAa,EACb,sBAAsB,EACzB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EACR,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,8BAA8B,CAAA;AACrC,OAAO,KAAK,EAAsB,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAc9E,qBAAa,eAAe,CACxB,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,IAAI,SAAS,aAAa,GAAG,aAAa;IAE1C,OAAO,CAAC,WAAW,CAAkD;IACrE,OAAO,CAAC,SAAS,CAAiD;IAClE,OAAO,CAAC,QAAQ,CAAqD;IACrE,OAAO,CAAC,KAAK,CAAgD;IAC7D,OAAO,CAAC,QAAQ,CAA8B;IAE9C,eAAe,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI;IAGlC,kBAAkB,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI;IAGrC,iBAAiB,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI;IAIpC,iBAAiB,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAItC,aAAa,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI;IAGnC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI;IAGtC,eAAe,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI;IAIrC,YAAY,CAAC,OAAO,EAAE,QAAQ,GAAG,IAAI;IAGrC,cAAc,CAAC,OAAO,EAAE,QAAQ,GAAG,IAAI;IAIvC,QAAQ,CAAC,KAAK,EAAE,sBAAsB,GAAG,IAAI;IAI7C,WAAW,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI;IAIjC,WAAW,IAAI,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;CAU7D"}

package/dist/lib/core/change-collector.js

@@ -0,0 +1,63 @@
+function emptyEntityChanges() {
+    return { added: [], modified: [], removed: [] };
+}
+function isEntityChangesEmpty(ec) {
+    return (ec.added.length === 0 &&
+        ec.modified.length === 0 &&
+        ec.removed.length === 0);
+}
+export class ChangeCollector {
+    expressions = emptyEntityChanges();
+    variables = emptyEntityChanges();
+    premises = emptyEntityChanges();
+    roles = undefined;
+    argument = undefined;
+    addedExpression(expr) {
+        this.expressions.added.push(expr);
+    }
+    modifiedExpression(expr) {
+        this.expressions.modified.push(expr);
+    }
+    removedExpression(expr) {
+        this.expressions.removed.push(expr);
+    }
+    isExpressionAdded(id) {
+        return this.expressions.added.some((e) => e.id === id);
+    }
+    addedVariable(variable) {
+        this.variables.added.push(variable);
+    }
+    modifiedVariable(variable) {
+        this.variables.modified.push(variable);
+    }
+    removedVariable(variable) {
+        this.variables.removed.push(variable);
+    }
+    addedPremise(premise) {
+        this.premises.added.push(premise);
+    }
+    removedPremise(premise) {
+        this.premises.removed.push(premise);
+    }
+    setRoles(roles) {
+        this.roles = roles;
+    }
+    setArgument(argument) {
+        this.argument = argument;
+    }
+    toChangeset() {
+        const cs = {};
+        if (!isEntityChangesEmpty(this.expressions))
+            cs.expressions = this.expressions;
+        if (!isEntityChangesEmpty(this.variables))
+            cs.variables = this.variables;
+        if (!isEntityChangesEmpty(this.premises))
+            cs.premises = this.premises;
+        if (this.roles !== undefined)
+            cs.roles = this.roles;
+        if (this.argument !== undefined)
+            cs.argument = this.argument;
+        return cs;
+    }
+}
+//# sourceMappingURL=change-collector.js.map

package/dist/lib/core/change-collector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-collector.js","sourceRoot":"","sources":["../../../src/lib/core/change-collector.ts"],"names":[],"mappings":"AAWA,SAAS,kBAAkB;IACvB,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;AACnD,CAAC;AAED,SAAS,oBAAoB,CAAI,EAAyB;IACtD,OAAO,CACH,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACrB,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QACxB,EAAE,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAC1B,CAAA;AACL,CAAC;AAED,MAAM,OAAO,eAAe;IAMhB,WAAW,GAA8B,kBAAkB,EAAE,CAAA;IAC7D,SAAS,GAA6B,kBAAkB,EAAE,CAAA;IAC1D,QAAQ,GAAiC,kBAAkB,EAAE,CAAA;IAC7D,KAAK,GAAuC,SAAS,CAAA;IACrD,QAAQ,GAAqB,SAAS,CAAA;IAE9C,eAAe,CAAC,IAAW;QACvB,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACrC,CAAC;IACD,kBAAkB,CAAC,IAAW;QAC1B,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACxC,CAAC;IACD,iBAAiB,CAAC,IAAW;QACzB,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACvC,CAAC;IAED,iBAAiB,CAAC,EAAU;QACxB,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;IAC1D,CAAC;IAED,aAAa,CAAC,QAAc;QACxB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACvC,CAAC;IACD,gBAAgB,CAAC,QAAc;QAC3B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC1C,CAAC;IACD,eAAe,CAAC,QAAc;QAC1B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACzC,CAAC;IAED,YAAY,CAAC,OAAiB;QAC1B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACrC,CAAC;IACD,cAAc,CAAC,OAAiB;QAC5B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACvC,CAAC;IAED,QAAQ,CAAC,KAA6B;QAClC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;IACtB,CAAC;IAED,WAAW,CAAC,QAAc;QACtB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;IAC5B,CAAC;IAED,WAAW;QACP,MAAM,EAAE,GAAgD,EAAE,CAAA;QAC1D,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC;YACvC,EAAE,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAA;QACrC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC;YAAE,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAA;QACxE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,EAAE,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;QACrE,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QACnD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,EAAE,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;QAC5D,OAAO,EAAE,CAAA;IACb,CAAC;CACJ"}

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

@@ -0,0 +1,15 @@
+/**
+ * FNV-1a 32-bit hash. Fast, non-cryptographic, browser-compatible.
+ */
+export declare function computeHash(input: string): string;
+/**
+ * Deterministic JSON serialization with sorted keys at all levels.
+ */
+export declare function canonicalSerialize(value: unknown): string;
+/**
+ * Compute checksum for an entity using only the specified fields.
+ * Fields are sorted before hashing to ensure determinism regardless
+ * of the order they are passed.
+ */
+export declare function entityChecksum(entity: Record<string, unknown>, fields: Iterable<string>): string;
+//# sourceMappingURL=checksum.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checksum.d.ts","sourceRoot":"","sources":["../../../src/lib/core/checksum.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAOjD;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAazD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAC1B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GACzB,MAAM,CAQR"}

package/dist/lib/core/checksum.js

@@ -0,0 +1,43 @@
+/**
+ * FNV-1a 32-bit hash. Fast, non-cryptographic, browser-compatible.
+ */
+export function computeHash(input) {
+    let hash = 0x811c9dc5;
+    for (let i = 0; i < input.length; i++) {
+        hash ^= input.charCodeAt(i);
+        hash = Math.imul(hash, 0x01000193);
+    }
+    return (hash >>> 0).toString(16).padStart(8, "0");
+}
+/**
+ * Deterministic JSON serialization with sorted keys at all levels.
+ */
+export function canonicalSerialize(value) {
+    return JSON.stringify(value, (_, v) => {
+        if (v && typeof v === "object" && !Array.isArray(v)) {
+            const obj = v;
+            return Object.keys(obj)
+                .sort()
+                .reduce((sorted, key) => {
+                sorted[key] = obj[key];
+                return sorted;
+            }, {});
+        }
+        return v;
+    });
+}
+/**
+ * Compute checksum for an entity using only the specified fields.
+ * Fields are sorted before hashing to ensure determinism regardless
+ * of the order they are passed.
+ */
+export function entityChecksum(entity, fields) {
+    const picked = {};
+    for (const field of [...fields].sort()) {
+        if (field in entity) {
+            picked[field] = entity[field];
+        }
+    }
+    return computeHash(canonicalSerialize(picked));
+}
+//# sourceMappingURL=checksum.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checksum.js","sourceRoot":"","sources":["../../../src/lib/core/checksum.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,UAAU,WAAW,CAAC,KAAa;IACrC,IAAI,IAAI,GAAG,UAAU,CAAA;IACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;QAC3B,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IACtC,CAAC;IACD,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;AACrD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC7C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAU,EAAE,EAAE;QAC3C,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,GAAG,GAAG,CAA4B,CAAA;YACxC,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;iBAClB,IAAI,EAAE;iBACN,MAAM,CAA0B,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;gBAC7C,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;gBACtB,OAAO,MAAM,CAAA;YACjB,CAAC,EAAE,EAAE,CAAC,CAAA;QACd,CAAC;QACD,OAAO,CAAC,CAAA;IACZ,CAAC,CAAC,CAAA;AACN,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC1B,MAA+B,EAC/B,MAAwB;IAExB,MAAM,MAAM,GAA4B,EAAE,CAAA;IAC1C,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACrC,IAAI,KAAK,IAAI,MAAM,EAAE,CAAC;YAClB,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;QACjC,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAA;AAClD,CAAC"}

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

@@ -0,0 +1,23 @@
+import type { TCoreClaim } from "../schemata/claim.js";
+import type { TCoreChecksumConfig } from "../types/checksum.js";
+import type { TClaimLibraryManagement, TClaimLibrarySnapshot } from "./interfaces/library.interfaces.js";
+import { VersionedLibrary } from "./versioned-library.js";
+export declare class ClaimLibrary<TClaim extends TCoreClaim = TCoreClaim> extends VersionedLibrary<TClaim> implements TClaimLibraryManagement<TClaim> {
+    protected readonly entityLabel = "Claim";
+    protected readonly entityType: "claim";
+    protected readonly schema: import("typebox").TObject<{
+        id: import("typebox").TString;
+        version: import("typebox").TNumber;
+        frozen: import("typebox").TBoolean;
+        checksum: import("typebox").TString;
+    }>;
+    protected readonly checksumFieldsKey: "claimFields";
+    protected readonly schemaInvalidCode = "CLAIM_SCHEMA_INVALID";
+    protected readonly frozenSuccessorCode = "CLAIM_FROZEN_NO_SUCCESSOR";
+    snapshot(): TClaimLibrarySnapshot<TClaim>;
+    /** Restores a claim library from a previously captured snapshot. */
+    static fromSnapshot<TClaim extends TCoreClaim = TCoreClaim>(snapshot: TClaimLibrarySnapshot<TClaim>, options?: {
+        checksumConfig?: TCoreChecksumConfig;
+    }): ClaimLibrary<TClaim>;
+}
+//# sourceMappingURL=claim-library.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claim-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-library.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAEtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EACR,uBAAuB,EACvB,qBAAqB,EACxB,MAAM,oCAAoC,CAAA;AAK3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAEzD,qBAAa,YAAY,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,CAC5D,SAAQ,gBAAgB,CAAC,MAAM,CAC/B,YAAW,uBAAuB,CAAC,MAAM,CAAC;IAE1C,SAAS,CAAC,QAAQ,CAAC,WAAW,WAAU;IACxC,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAG,OAAO,CAAS;IAChD,SAAS,CAAC,QAAQ,CAAC,MAAM;;;;;OAAkB;IAC3C,SAAS,CAAC,QAAQ,CAAC,iBAAiB,EAAG,aAAa,CAAS;IAC7D,SAAS,CAAC,QAAQ,CAAC,iBAAiB,0BAAuB;IAC3D,SAAS,CAAC,QAAQ,CAAC,mBAAmB,+BAA4B;IAE3D,QAAQ,IAAI,qBAAqB,CAAC,MAAM,CAAC;IAIhD,oEAAoE;WACtD,YAAY,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,EAC7D,QAAQ,EAAE,qBAAqB,CAAC,MAAM,CAAC,EACvC,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,YAAY,CAAC,MAAM,CAAC;CAK1B"}

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

@@ -0,0 +1,21 @@
+import { CoreClaimSchema } from "../schemata/claim.js";
+import { CLAIM_SCHEMA_INVALID, CLAIM_FROZEN_NO_SUCCESSOR, } from "../types/validation.js";
+import { VersionedLibrary } from "./versioned-library.js";
+export class ClaimLibrary extends VersionedLibrary {
+    entityLabel = "Claim";
+    entityType = "claim";
+    schema = CoreClaimSchema;
+    checksumFieldsKey = "claimFields";
+    schemaInvalidCode = CLAIM_SCHEMA_INVALID;
+    frozenSuccessorCode = CLAIM_FROZEN_NO_SUCCESSOR;
+    snapshot() {
+        return { claims: this.getAll() };
+    }
+    /** Restores a claim library from a previously captured snapshot. */
+    static fromSnapshot(snapshot, options) {
+        const lib = new ClaimLibrary(options);
+        lib.restoreFromEntities(snapshot.claims);
+        return lib;
+    }
+}
+//# sourceMappingURL=claim-library.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claim-library.js","sourceRoot":"","sources":["../../../src/lib/core/claim-library.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAA;AAMtD,OAAO,EACH,oBAAoB,EACpB,yBAAyB,GAC5B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAEzD,MAAM,OAAO,YACT,SAAQ,gBAAwB;IAGb,WAAW,GAAG,OAAO,CAAA;IACrB,UAAU,GAAG,OAAgB,CAAA;IAC7B,MAAM,GAAG,eAAe,CAAA;IACxB,iBAAiB,GAAG,aAAsB,CAAA;IAC1C,iBAAiB,GAAG,oBAAoB,CAAA;IACxC,mBAAmB,GAAG,yBAAyB,CAAA;IAE3D,QAAQ;QACX,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAA;IACpC,CAAC;IAED,oEAAoE;IAC7D,MAAM,CAAC,YAAY,CACtB,QAAuC,EACvC,OAAkD;QAElD,MAAM,GAAG,GAAG,IAAI,YAAY,CAAS,OAAO,CAAC,CAAA;QAC7C,GAAG,CAAC,mBAAmB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QACxC,OAAO,GAAG,CAAA;IACd,CAAC;CACJ"}

package/dist/lib/core/claim-source-library.d.ts

@@ -0,0 +1,32 @@
+import type { TCoreClaimSourceAssociation } from "../schemata/source.js";
+import type { TCoreChecksumConfig } from "../types/checksum.js";
+import type { TClaimLookup, TSourceLookup, TClaimSourceLibraryManagement, TClaimSourceLibrarySnapshot } from "./interfaces/library.interfaces.js";
+import type { TInvariantValidationResult } from "../types/validation.js";
+export declare class ClaimSourceLibrary<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation> implements TClaimSourceLibraryManagement<TAssoc> {
+    private associations;
+    private claimToAssociations;
+    private sourceToAssociations;
+    private claimLookup;
+    private sourceLookup;
+    private checksumConfig?;
+    constructor(claimLookup: TClaimLookup, sourceLookup: TSourceLookup, options?: {
+        checksumConfig?: TCoreChecksumConfig;
+    });
+    private restoreFromSnapshot;
+    private withValidation;
+    add(assoc: Omit<TAssoc, "checksum">): TAssoc;
+    remove(id: string): TAssoc;
+    getForClaim(claimId: string): TAssoc[];
+    getForSource(sourceId: string): TAssoc[];
+    get(id: string): TAssoc | undefined;
+    getAll(): TAssoc[];
+    filter(predicate: (a: TAssoc) => boolean): TAssoc[];
+    snapshot(): TClaimSourceLibrarySnapshot<TAssoc>;
+    /** Restores a claim-source library from a snapshot, re-indexing all associations. */
+    static fromSnapshot<TAssoc extends TCoreClaimSourceAssociation = TCoreClaimSourceAssociation>(snapshot: TClaimSourceLibrarySnapshot<TAssoc>, claimLookup: TClaimLookup, sourceLookup: TSourceLookup, options?: {
+        checksumConfig?: TCoreChecksumConfig;
+    }): ClaimSourceLibrary<TAssoc>;
+    validate(): TInvariantValidationResult;
+    private computeChecksum;
+}
+//# sourceMappingURL=claim-source-library.d.ts.map

package/dist/lib/core/claim-source-library.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-source-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/claim-source-library.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAA;AAExE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EACb,6BAA6B,EAC7B,2BAA2B,EAC9B,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAQ/B,qBAAa,kBAAkB,CAC3B,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,CAC1E,YAAW,6BAA6B,CAAC,MAAM,CAAC;IAC9C,OAAO,CAAC,YAAY,CAAqB;IACzC,OAAO,CAAC,mBAAmB,CAA0B;IACrD,OAAO,CAAC,oBAAoB,CAA0B;IACtD,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,YAAY,CAAe;IACnC,OAAO,CAAC,cAAc,CAAC,CAAqB;gBAGxC,WAAW,EAAE,YAAY,EACzB,YAAY,EAAE,aAAa,EAC3B,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE;IAUtD,OAAO,CAAC,mBAAmB;IAwB3B,OAAO,CAAC,cAAc;IAkBf,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,MAAM;IAmD5C,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM;IAuB1B,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE;IAQtC,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE;IAQxC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAInC,MAAM,IAAI,MAAM,EAAE;IAIlB,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,GAAG,MAAM,EAAE;IAInD,QAAQ,IAAI,2BAA2B,CAAC,MAAM,CAAC;IAItD,qFAAqF;WACvE,YAAY,CACtB,MAAM,SAAS,2BAA2B,GACtC,2BAA2B,EAE/B,QAAQ,EAAE,2BAA2B,CAAC,MAAM,CAAC,EAC7C,WAAW,EAAE,YAAY,EACzB,YAAY,EAAE,aAAa,EAC3B,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,kBAAkB,CAAC,MAAM,CAAC;IA0BtB,QAAQ,IAAI,0BAA0B;IA+B7C,OAAO,CAAC,eAAe;CAS1B"}