@proposit/proposit-core 0.8.9

package/dist/lib/core/relationships.js

@@ -0,0 +1,319 @@
+// ── Variable profiling ──────────────────────────────────────────────────
+function collectVariableAppearances(premise, expressionId, side) {
+    const appearances = [];
+    const stack = [
+        { id: expressionId, negationDepth: 0 },
+    ];
+    while (stack.length > 0) {
+        const { id, negationDepth } = stack.pop();
+        const expr = premise.getExpression(id);
+        if (!expr)
+            continue;
+        if (expr.type === "variable") {
+            appearances.push({
+                variableId: expr.variableId,
+                side,
+                polarity: negationDepth % 2 === 0 ? "positive" : "negative",
+            });
+        }
+        else {
+            const nextDepth = expr.type === "operator" && expr.operator === "not"
+                ? negationDepth + 1
+                : negationDepth;
+            for (const child of premise.getChildExpressions(id)) {
+                stack.push({ id: child.id, negationDepth: nextDepth });
+            }
+        }
+    }
+    return appearances;
+}
+/**
+ * Builds a profile of a premise's variable appearances, recording each
+ * variable's side (antecedent/consequent) and polarity (positive/negative).
+ */
+export function buildPremiseProfile(premise) {
+    const premiseId = premise.getId();
+    if (!premise.isInference()) {
+        return { premiseId, isInference: false, appearances: [] };
+    }
+    const root = premise.getRootExpression();
+    const children = premise.getChildExpressions(root.id);
+    const leftChild = children[0];
+    const rightChild = children[1];
+    const appearances = [];
+    if (leftChild) {
+        appearances.push(...collectVariableAppearances(premise, leftChild.id, "antecedent"));
+    }
+    if (rightChild) {
+        appearances.push(...collectVariableAppearances(premise, rightChild.id, "consequent"));
+    }
+    return { premiseId, isInference: true, appearances };
+}
+// ── Graph construction ──────────────────────────────────────────────────
+function buildVariableFlowGraph(profiles) {
+    const graph = new Map();
+    for (const [sourceId, sourceProfile] of profiles) {
+        if (!sourceProfile.isInference)
+            continue;
+        const edges = [];
+        const conseqVars = sourceProfile.appearances.filter((a) => a.side === "consequent");
+        for (const [targetId, targetProfile] of profiles) {
+            if (targetId === sourceId || !targetProfile.isInference)
+                continue;
+            const anteVars = targetProfile.appearances.filter((a) => a.side === "antecedent");
+            const variables = [];
+            for (const cv of conseqVars) {
+                for (const av of anteVars) {
+                    if (cv.variableId === av.variableId) {
+                        variables.push({
+                            variableId: cv.variableId,
+                            polarityMatch: cv.polarity === av.polarity,
+                        });
+                    }
+                }
+            }
+            if (variables.length > 0) {
+                edges.push({ targetPremiseId: targetId, variables });
+            }
+        }
+        graph.set(sourceId, edges);
+    }
+    return graph;
+}
+function bfsToTarget(graph, sourceId, targetId) {
+    const visited = new Set();
+    visited.add(sourceId);
+    const queue = [];
+    // Seed with direct edges from source
+    const sourceEdges = graph.get(sourceId) ?? [];
+    for (const edge of sourceEdges) {
+        const allMatch = edge.variables.every((v) => v.polarityMatch);
+        if (edge.targetPremiseId === targetId) {
+            return {
+                reachable: true,
+                polarityMatch: allMatch,
+                variableDetails: edge.variables.map((v) => ({
+                    variableId: v.variableId,
+                    relationship: v.polarityMatch
+                        ? "supporting"
+                        : "contradicting",
+                })),
+                transitive: false,
+            };
+        }
+        if (!visited.has(edge.targetPremiseId)) {
+            visited.add(edge.targetPremiseId);
+            queue.push({
+                premiseId: edge.targetPremiseId,
+                polarityMatch: allMatch,
+                entryVariables: edge.variables,
+            });
+        }
+    }
+    while (queue.length > 0) {
+        const { premiseId, polarityMatch, entryVariables } = queue.shift();
+        const edges = graph.get(premiseId) ?? [];
+        for (const edge of edges) {
+            if (edge.targetPremiseId === targetId) {
+                const stepMatch = edge.variables.every((v) => v.polarityMatch);
+                // XOR logic: both match or both mismatch = overall match
+                const finalMatch = (polarityMatch && stepMatch) ||
+                    (!polarityMatch && !stepMatch);
+                return {
+                    reachable: true,
+                    polarityMatch: finalMatch,
+                    variableDetails: entryVariables.map((v) => ({
+                        variableId: v.variableId,
+                        relationship: finalMatch
+                            ? "supporting"
+                            : "contradicting",
+                    })),
+                    transitive: true,
+                };
+            }
+            if (!visited.has(edge.targetPremiseId)) {
+                visited.add(edge.targetPremiseId);
+                const stepMatch = edge.variables.every((v) => v.polarityMatch);
+                const nextMatch = (polarityMatch && stepMatch) ||
+                    (!polarityMatch && !stepMatch);
+                queue.push({
+                    premiseId: edge.targetPremiseId,
+                    polarityMatch: nextMatch,
+                    entryVariables,
+                });
+            }
+        }
+    }
+    return {
+        reachable: false,
+        polarityMatch: true,
+        variableDetails: [],
+        transitive: false,
+    };
+}
+// ── Restricting check ───────────────────────────────────────────────────
+function hasVariableOnBothSides(profile, focusedProfile) {
+    const antecedentVarIds = new Set(profile.appearances
+        .filter((a) => a.side === "antecedent")
+        .map((a) => a.variableId));
+    const consequentVarIds = new Set(profile.appearances
+        .filter((a) => a.side === "consequent")
+        .map((a) => a.variableId));
+    const bothSideVarIds = new Set([...antecedentVarIds].filter((id) => consequentVarIds.has(id)));
+    const focusedVarIds = new Set(focusedProfile.appearances.map((a) => a.variableId));
+    const restricting = [];
+    for (const varId of bothSideVarIds) {
+        if (focusedVarIds.has(varId)) {
+            restricting.push({
+                variableId: varId,
+                relationship: "restricting",
+            });
+        }
+    }
+    return restricting;
+}
+// ── Constraint premise classification ───────────────────────────────────
+function classifyConstraintPremise(premise, focusedProfile, connectedVarIds) {
+    const premiseVarIds = premise.getReferencedVariableIds();
+    const focusedVarIds = new Set(focusedProfile.appearances.map((a) => a.variableId));
+    const directOverlap = [...premiseVarIds].some((id) => focusedVarIds.has(id));
+    const transitiveOverlap = [...premiseVarIds].some((id) => connectedVarIds.has(id));
+    if (directOverlap || transitiveOverlap) {
+        return {
+            premiseId: premise.getId(),
+            relationship: "restricting",
+            variableDetails: [],
+            transitive: !directOverlap && transitiveOverlap,
+        };
+    }
+    return {
+        premiseId: premise.getId(),
+        relationship: "unrelated",
+        variableDetails: [],
+        transitive: false,
+    };
+}
+// ── Precedence ──────────────────────────────────────────────────────────
+const PRECEDENCE = {
+    contradicting: 3,
+    restricting: 2,
+    supporting: 1,
+};
+function applyPrecedence(details) {
+    let highest = "supporting";
+    for (const d of details) {
+        if (PRECEDENCE[d.relationship] > PRECEDENCE[highest]) {
+            highest = d.relationship;
+        }
+    }
+    return highest;
+}
+// ── Main function ───────────────────────────────────────────────────────
+/**
+ * Analyzes how every other premise in the argument relates to the focused
+ * premise, classifying each as supporting, contradicting, restricting,
+ * downstream, or unrelated.
+ */
+export function analyzePremiseRelationships(engine, focusedPremiseId) {
+    const focusedPremise = engine.getPremise(focusedPremiseId);
+    if (!focusedPremise) {
+        throw new Error(`Premise "${focusedPremiseId}" does not exist in the argument.`);
+    }
+    const allPremises = engine.listPremises();
+    const otherPremises = allPremises.filter((pm) => pm.getId() !== focusedPremiseId);
+    if (otherPremises.length === 0) {
+        return { focusedPremiseId, premises: [] };
+    }
+    // Build profiles for all premises
+    const profiles = new Map();
+    for (const pm of allPremises) {
+        profiles.set(pm.getId(), buildPremiseProfile(pm));
+    }
+    const focusedProfile = profiles.get(focusedPremiseId);
+    // Build variable flow graph (inference premises only)
+    const graph = buildVariableFlowGraph(profiles);
+    // Collect all variable IDs connected to the focused premise
+    // (for constraint classification)
+    const connectedVarIds = new Set();
+    for (const pm of allPremises) {
+        const pmId = pm.getId();
+        if (pmId === focusedPremiseId)
+            continue;
+        const profile = profiles.get(pmId);
+        if (!profile.isInference)
+            continue;
+        const toFocused = bfsToTarget(graph, pmId, focusedPremiseId);
+        const fromFocused = bfsToTarget(graph, focusedPremiseId, pmId);
+        if (toFocused.reachable || fromFocused.reachable) {
+            for (const varId of pm.getReferencedVariableIds()) {
+                connectedVarIds.add(varId);
+            }
+        }
+    }
+    for (const a of focusedProfile.appearances) {
+        connectedVarIds.add(a.variableId);
+    }
+    // Classify each premise
+    const results = [];
+    for (const pm of otherPremises) {
+        const pmId = pm.getId();
+        const profile = profiles.get(pmId);
+        // Constraint premises get special handling
+        if (!profile.isInference) {
+            results.push(classifyConstraintPremise(pm, focusedProfile, connectedVarIds));
+            continue;
+        }
+        // If focused premise is a constraint, all sharing premises are
+        // restricting
+        if (!focusedProfile.isInference) {
+            const focusedVarIds = focusedPremise.getReferencedVariableIds();
+            const pmVarIds = pm.getReferencedVariableIds();
+            const shares = [...pmVarIds].some((id) => focusedVarIds.has(id));
+            results.push({
+                premiseId: pmId,
+                relationship: shares ? "restricting" : "unrelated",
+                variableDetails: [],
+                transitive: false,
+            });
+            continue;
+        }
+        // Check restricting (variable on both sides of source, appearing
+        // in focused)
+        const restrictingDetails = hasVariableOnBothSides(profile, focusedProfile);
+        // Check forward path (source → focused)
+        const toFocused = bfsToTarget(graph, pmId, focusedPremiseId);
+        // Check reverse path (focused → source) for downstream
+        const fromFocused = bfsToTarget(graph, focusedPremiseId, pmId);
+        if (restrictingDetails.length > 0 || toFocused.reachable) {
+            const allDetails = [
+                ...restrictingDetails,
+                ...toFocused.variableDetails,
+            ];
+            const relationship = applyPrecedence(allDetails);
+            results.push({
+                premiseId: pmId,
+                relationship,
+                variableDetails: allDetails,
+                transitive: toFocused.transitive,
+            });
+        }
+        else if (fromFocused.reachable) {
+            results.push({
+                premiseId: pmId,
+                relationship: "downstream",
+                variableDetails: [],
+                transitive: fromFocused.transitive,
+            });
+        }
+        else {
+            results.push({
+                premiseId: pmId,
+                relationship: "unrelated",
+                variableDetails: [],
+                transitive: false,
+            });
+        }
+    }
+    return { focusedPremiseId, premises: results };
+}
+//# sourceMappingURL=relationships.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"relationships.js","sourceRoot":"","sources":["../../../src/lib/core/relationships.ts"],"names":[],"mappings":"AAWA,2EAA2E;AAE3E,SAAS,0BAA0B,CAC/B,OAAsB,EACtB,YAAoB,EACpB,IAAsB;IAEtB,MAAM,WAAW,GAA8B,EAAE,CAAA;IACjD,MAAM,KAAK,GAA4C;QACnD,EAAE,EAAE,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC,EAAE;KACzC,CAAA;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;QAC1C,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,CAAA;QACtC,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,WAAW,CAAC,IAAI,CAAC;gBACb,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,IAAI;gBACJ,QAAQ,EAAE,aAAa,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;aAC9D,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,MAAM,SAAS,GACX,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK;gBAC/C,CAAC,CAAC,aAAa,GAAG,CAAC;gBACnB,CAAC,CAAC,aAAa,CAAA;YACvB,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,EAAE,CAAC;gBAClD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAA;YAC1D,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,WAAW,CAAA;AACtB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAC/B,OAAsB;IAEtB,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,EAAE,CAAA;IAEjC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;QACzB,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,CAAA;IAC7D,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,EAAG,CAAA;IACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACrD,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;IAC7B,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;IAE9B,MAAM,WAAW,GAA8B,EAAE,CAAA;IACjD,IAAI,SAAS,EAAE,CAAC;QACZ,WAAW,CAAC,IAAI,CACZ,GAAG,0BAA0B,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,YAAY,CAAC,CACrE,CAAA;IACL,CAAC;IACD,IAAI,UAAU,EAAE,CAAC;QACb,WAAW,CAAC,IAAI,CACZ,GAAG,0BAA0B,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,YAAY,CAAC,CACtE,CAAA;IACL,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,CAAA;AACxD,CAAC;AAcD,2EAA2E;AAE3E,SAAS,sBAAsB,CAC3B,QAA0C;IAE1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAA;IAE/C,KAAK,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC/C,IAAI,CAAC,aAAa,CAAC,WAAW;YAAE,SAAQ;QACxC,MAAM,KAAK,GAAmB,EAAE,CAAA;QAEhC,MAAM,UAAU,GAAG,aAAa,CAAC,WAAW,CAAC,MAAM,CAC/C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CACjC,CAAA;QAED,KAAK,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC/C,IAAI,QAAQ,KAAK,QAAQ,IAAI,CAAC,aAAa,CAAC,WAAW;gBAAE,SAAQ;YAEjE,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,CAAC,MAAM,CAC7C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CACjC,CAAA;YAED,MAAM,SAAS,GAAoB,EAAE,CAAA;YACrC,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;gBAC1B,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;oBACxB,IAAI,EAAE,CAAC,UAAU,KAAK,EAAE,CAAC,UAAU,EAAE,CAAC;wBAClC,SAAS,CAAC,IAAI,CAAC;4BACX,UAAU,EAAE,EAAE,CAAC,UAAU;4BACzB,aAAa,EAAE,EAAE,CAAC,QAAQ,KAAK,EAAE,CAAC,QAAQ;yBAC7C,CAAC,CAAA;oBACN,CAAC;gBACL,CAAC;YACL,CAAC;YAED,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAA;YACxD,CAAC;QACL,CAAC;QAED,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IAC9B,CAAC;IAED,OAAO,KAAK,CAAA;AAChB,CAAC;AAWD,SAAS,WAAW,CAChB,KAAkC,EAClC,QAAgB,EAChB,QAAgB;IAEhB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IAErB,MAAM,KAAK,GAIL,EAAE,CAAA;IAER,qCAAqC;IACrC,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;IAC7C,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAA;QAC7D,IAAI,IAAI,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;YACpC,OAAO;gBACH,SAAS,EAAE,IAAI;gBACf,aAAa,EAAE,QAAQ;gBACvB,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACxC,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,YAAY,EAAE,CAAC,CAAC,aAAa;wBACzB,CAAC,CAAC,YAAY;wBACd,CAAC,CAAC,eAAe;iBACxB,CAAC,CAAC;gBACH,UAAU,EAAE,KAAK;aACpB,CAAA;QACL,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YACrC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;YACjC,KAAK,CAAC,IAAI,CAAC;gBACP,SAAS,EAAE,IAAI,CAAC,eAAe;gBAC/B,aAAa,EAAE,QAAQ;gBACvB,cAAc,EAAE,IAAI,CAAC,SAAS;aACjC,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,cAAc,EAAE,GAAG,KAAK,CAAC,KAAK,EAAG,CAAA;QACnE,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAA;QAExC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;gBACpC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAA;gBAC9D,yDAAyD;gBACzD,MAAM,UAAU,GACZ,CAAC,aAAa,IAAI,SAAS,CAAC;oBAC5B,CAAC,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,CAAA;gBAClC,OAAO;oBACH,SAAS,EAAE,IAAI;oBACf,aAAa,EAAE,UAAU;oBACzB,eAAe,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACxC,UAAU,EAAE,CAAC,CAAC,UAAU;wBACxB,YAAY,EAAE,UAAU;4BACpB,CAAC,CAAC,YAAY;4BACd,CAAC,CAAC,eAAe;qBACxB,CAAC,CAAC;oBACH,UAAU,EAAE,IAAI;iBACnB,CAAA;YACL,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;gBACrC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;gBACjC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAA;gBAC9D,MAAM,SAAS,GACX,CAAC,aAAa,IAAI,SAAS,CAAC;oBAC5B,CAAC,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,CAAA;gBAClC,KAAK,CAAC,IAAI,CAAC;oBACP,SAAS,EAAE,IAAI,CAAC,eAAe;oBAC/B,aAAa,EAAE,SAAS;oBACxB,cAAc;iBACjB,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO;QACH,SAAS,EAAE,KAAK;QAChB,aAAa,EAAE,IAAI;QACnB,eAAe,EAAE,EAAE;QACnB,UAAU,EAAE,KAAK;KACpB,CAAA;AACL,CAAC;AAED,2EAA2E;AAE3E,SAAS,sBAAsB,CAC3B,OAA4B,EAC5B,cAAmC;IAEnC,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC5B,OAAO,CAAC,WAAW;SACd,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;SACtC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAChC,CAAA;IACD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC5B,OAAO,CAAC,WAAW;SACd,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;SACtC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAChC,CAAA;IAED,MAAM,cAAc,GAAG,IAAI,GAAG,CAC1B,CAAC,GAAG,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CACjE,CAAA;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CACzB,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CACtD,CAAA;IAED,MAAM,WAAW,GAAgC,EAAE,CAAA;IACnD,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;QACjC,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3B,WAAW,CAAC,IAAI,CAAC;gBACb,UAAU,EAAE,KAAK;gBACjB,YAAY,EAAE,aAAa;aAC9B,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAA;AACtB,CAAC;AAED,2EAA2E;AAE3E,SAAS,yBAAyB,CAC9B,OAAsB,EACtB,cAAmC,EACnC,eAA4B;IAE5B,MAAM,aAAa,GAAG,OAAO,CAAC,wBAAwB,EAAE,CAAA;IACxD,MAAM,aAAa,GAAG,IAAI,GAAG,CACzB,cAAc,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CACtD,CAAA;IAED,MAAM,aAAa,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAC5E,MAAM,iBAAiB,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CACrD,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAC1B,CAAA;IAED,IAAI,aAAa,IAAI,iBAAiB,EAAE,CAAC;QACrC,OAAO;YACH,SAAS,EAAE,OAAO,CAAC,KAAK,EAAE;YAC1B,YAAY,EAAE,aAAa;YAC3B,eAAe,EAAE,EAAE;YACnB,UAAU,EAAE,CAAC,aAAa,IAAI,iBAAiB;SAClD,CAAA;IACL,CAAC;IAED,OAAO;QACH,SAAS,EAAE,OAAO,CAAC,KAAK,EAAE;QAC1B,YAAY,EAAE,WAAW;QACzB,eAAe,EAAE,EAAE;QACnB,UAAU,EAAE,KAAK;KACpB,CAAA;AACL,CAAC;AAED,2EAA2E;AAE3E,MAAM,UAAU,GAA2B;IACvC,aAAa,EAAE,CAAC;IAChB,WAAW,EAAE,CAAC;IACd,UAAU,EAAE,CAAC;CAChB,CAAA;AAED,SAAS,eAAe,CACpB,OAAoC;IAEpC,IAAI,OAAO,GAAmD,YAAY,CAAA;IAC1E,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACtB,IAAI,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACnD,OAAO,GAAG,CAAC,CAAC,YAAY,CAAA;QAC5B,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAA;AAClB,CAAC;AAED,2EAA2E;AAE3E;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CACvC,MAAsB,EACtB,gBAAwB;IAExB,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAA;IAC1D,IAAI,CAAC,cAAc,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CACX,YAAY,gBAAgB,mCAAmC,CAClE,CAAA;IACL,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACzC,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CACpC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,gBAAgB,CAC1C,CAAA;IAED,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;IAC7C,CAAC;IAED,kCAAkC;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+B,CAAA;IACvD,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC3B,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,mBAAmB,CAAC,EAAE,CAAC,CAAC,CAAA;IACrD,CAAC;IAED,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAE,CAAA;IAEtD,sDAAsD;IACtD,MAAM,KAAK,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAA;IAE9C,4DAA4D;IAC5D,kCAAkC;IAClC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;IACzC,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,EAAE,CAAA;QACvB,IAAI,IAAI,KAAK,gBAAgB;YAAE,SAAQ;QACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;QACnC,IAAI,CAAC,OAAO,CAAC,WAAW;YAAE,SAAQ;QAClC,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAA;QAC5D,MAAM,WAAW,GAAG,WAAW,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAA;QAC9D,IAAI,SAAS,CAAC,SAAS,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;YAC/C,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,wBAAwB,EAAE,EAAE,CAAC;gBAChD,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YAC9B,CAAC;QACL,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,WAAW,EAAE,CAAC;QACzC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;IACrC,CAAC;IAED,wBAAwB;IACxB,MAAM,OAAO,GAAiC,EAAE,CAAA;IAEhD,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,EAAE,CAAA;QACvB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;QAEnC,2CAA2C;QAC3C,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;YACvB,OAAO,CAAC,IAAI,CACR,yBAAyB,CAAC,EAAE,EAAE,cAAc,EAAE,eAAe,CAAC,CACjE,CAAA;YACD,SAAQ;QACZ,CAAC;QAED,+DAA+D;QAC/D,cAAc;QACd,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE,CAAC;YAC9B,MAAM,aAAa,GAAG,cAAc,CAAC,wBAAwB,EAAE,CAAA;YAC/D,MAAM,QAAQ,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAA;YAC9C,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;YAChE,OAAO,CAAC,IAAI,CAAC;gBACT,SAAS,EAAE,IAAI;gBACf,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW;gBAClD,eAAe,EAAE,EAAE;gBACnB,UAAU,EAAE,KAAK;aACpB,CAAC,CAAA;YACF,SAAQ;QACZ,CAAC;QAED,iEAAiE;QACjE,cAAc;QACd,MAAM,kBAAkB,GAAG,sBAAsB,CAC7C,OAAO,EACP,cAAc,CACjB,CAAA;QAED,wCAAwC;QACxC,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAA;QAE5D,uDAAuD;QACvD,MAAM,WAAW,GAAG,WAAW,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAA;QAE9D,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;YACvD,MAAM,UAAU,GAAG;gBACf,GAAG,kBAAkB;gBACrB,GAAG,SAAS,CAAC,eAAe;aAC/B,CAAA;YACD,MAAM,YAAY,GAAG,eAAe,CAAC,UAAU,CAAC,CAAA;YAChD,OAAO,CAAC,IAAI,CAAC;gBACT,SAAS,EAAE,IAAI;gBACf,YAAY;gBACZ,eAAe,EAAE,UAAU;gBAC3B,UAAU,EAAE,SAAS,CAAC,UAAU;aACnC,CAAC,CAAA;QACN,CAAC;aAAM,IAAI,WAAW,CAAC,SAAS,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CAAC;gBACT,SAAS,EAAE,IAAI;gBACf,YAAY,EAAE,YAAY;gBAC1B,eAAe,EAAE,EAAE;gBACnB,UAAU,EAAE,WAAW,CAAC,UAAU;aACrC,CAAC,CAAA;QACN,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,IAAI,CAAC;gBACT,SAAS,EAAE,IAAI;gBACf,YAAY,EAAE,WAAW;gBACzB,eAAe,EAAE,EAAE;gBACnB,UAAU,EAAE,KAAK;aACpB,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IAED,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAA;AAClD,CAAC"}

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

@@ -0,0 +1,23 @@
+import type { TCoreSource } from "../schemata/source.js";
+import type { TCoreChecksumConfig } from "../types/checksum.js";
+import type { TSourceLibraryManagement, TSourceLibrarySnapshot } from "./interfaces/library.interfaces.js";
+import { VersionedLibrary } from "./versioned-library.js";
+export declare class SourceLibrary<TSource extends TCoreSource = TCoreSource> extends VersionedLibrary<TSource> implements TSourceLibraryManagement<TSource> {
+    protected readonly entityLabel = "Source";
+    protected readonly entityType: "source";
+    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: "sourceFields";
+    protected readonly schemaInvalidCode = "SOURCE_SCHEMA_INVALID";
+    protected readonly frozenSuccessorCode = "SOURCE_FROZEN_NO_SUCCESSOR";
+    snapshot(): TSourceLibrarySnapshot<TSource>;
+    /** Restores a source library from a previously captured snapshot. */
+    static fromSnapshot<TSource extends TCoreSource = TCoreSource>(snapshot: TSourceLibrarySnapshot<TSource>, options?: {
+        checksumConfig?: TCoreChecksumConfig;
+    }): SourceLibrary<TSource>;
+}
+//# sourceMappingURL=source-library.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"source-library.d.ts","sourceRoot":"","sources":["../../../src/lib/core/source-library.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAA;AAExD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EACR,wBAAwB,EACxB,sBAAsB,EACzB,MAAM,oCAAoC,CAAA;AAK3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAEzD,qBAAa,aAAa,CAAC,OAAO,SAAS,WAAW,GAAG,WAAW,CAChE,SAAQ,gBAAgB,CAAC,OAAO,CAChC,YAAW,wBAAwB,CAAC,OAAO,CAAC;IAE5C,SAAS,CAAC,QAAQ,CAAC,WAAW,YAAW;IACzC,SAAS,CAAC,QAAQ,CAAC,UAAU,EAAG,QAAQ,CAAS;IACjD,SAAS,CAAC,QAAQ,CAAC,MAAM;;;;;OAAmB;IAC5C,SAAS,CAAC,QAAQ,CAAC,iBAAiB,EAAG,cAAc,CAAS;IAC9D,SAAS,CAAC,QAAQ,CAAC,iBAAiB,2BAAwB;IAC5D,SAAS,CAAC,QAAQ,CAAC,mBAAmB,gCAA6B;IAE5D,QAAQ,IAAI,sBAAsB,CAAC,OAAO,CAAC;IAIlD,qEAAqE;WACvD,YAAY,CAAC,OAAO,SAAS,WAAW,GAAG,WAAW,EAChE,QAAQ,EAAE,sBAAsB,CAAC,OAAO,CAAC,EACzC,OAAO,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,mBAAmB,CAAA;KAAE,GACnD,aAAa,CAAC,OAAO,CAAC;CAK5B"}

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

@@ -0,0 +1,21 @@
+import { CoreSourceSchema } from "../schemata/source.js";
+import { SOURCE_SCHEMA_INVALID, SOURCE_FROZEN_NO_SUCCESSOR, } from "../types/validation.js";
+import { VersionedLibrary } from "./versioned-library.js";
+export class SourceLibrary extends VersionedLibrary {
+    entityLabel = "Source";
+    entityType = "source";
+    schema = CoreSourceSchema;
+    checksumFieldsKey = "sourceFields";
+    schemaInvalidCode = SOURCE_SCHEMA_INVALID;
+    frozenSuccessorCode = SOURCE_FROZEN_NO_SUCCESSOR;
+    snapshot() {
+        return { sources: this.getAll() };
+    }
+    /** Restores a source library from a previously captured snapshot. */
+    static fromSnapshot(snapshot, options) {
+        const lib = new SourceLibrary(options);
+        lib.restoreFromEntities(snapshot.sources);
+        return lib;
+    }
+}
+//# sourceMappingURL=source-library.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"source-library.js","sourceRoot":"","sources":["../../../src/lib/core/source-library.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAMxD,OAAO,EACH,qBAAqB,EACrB,0BAA0B,GAC7B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAEzD,MAAM,OAAO,aACT,SAAQ,gBAAyB;IAGd,WAAW,GAAG,QAAQ,CAAA;IACtB,UAAU,GAAG,QAAiB,CAAA;IAC9B,MAAM,GAAG,gBAAgB,CAAA;IACzB,iBAAiB,GAAG,cAAuB,CAAA;IAC3C,iBAAiB,GAAG,qBAAqB,CAAA;IACzC,mBAAmB,GAAG,0BAA0B,CAAA;IAE5D,QAAQ;QACX,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAA;IACrC,CAAC;IAED,qEAAqE;IAC9D,MAAM,CAAC,YAAY,CACtB,QAAyC,EACzC,OAAkD;QAElD,MAAM,GAAG,GAAG,IAAI,aAAa,CAAU,OAAO,CAAC,CAAA;QAC/C,GAAG,CAAC,mBAAmB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;QACzC,OAAO,GAAG,CAAA;IACd,CAAC;CACJ"}

package/dist/lib/core/variable-manager.d.ts

@@ -0,0 +1,68 @@
+import type { TCorePropositionalVariable } from "../schemata/index.js";
+import type { TLogicEngineOptions } from "./argument-engine.js";
+import type { TInvariantValidationResult } from "../types/validation.js";
+export type TVariableManagerSnapshot<TVar extends TCorePropositionalVariable = TCorePropositionalVariable> = {
+    variables: TVar[];
+    config?: TLogicEngineOptions;
+};
+/**
+ * Registry for propositional variables within an argument, shared across
+ * all premises.
+ *
+ * Enforces uniqueness of both variable IDs and symbols. This class is an
+ * internal building block owned by {@link ArgumentEngine} and passed by
+ * reference to each {@link PremiseEngine}. It is not part of the public API.
+ */
+export declare class VariableManager<TVar extends TCorePropositionalVariable = TCorePropositionalVariable> {
+    private variables;
+    private variablesBySymbol;
+    private config?;
+    constructor(config?: TLogicEngineOptions);
+    /** Returns all registered variables sorted by ID for deterministic output. */
+    toArray(): TVar[];
+    /**
+     * Registers a variable.
+     *
+     * @throws If the symbol is already in use.
+     * @throws If the ID already exists.
+     */
+    addVariable(variable: TVar): void;
+    /**
+     * Removes a variable by ID.
+     * @returns The removed variable, or `undefined` if not found.
+     */
+    removeVariable(variableId: string): TVar | undefined;
+    /** Returns `true` if a variable with the given ID is registered. */
+    hasVariable(variableId: string): boolean;
+    /** Returns the variable with the given ID, or `undefined` if not found. */
+    getVariable(variableId: string): TVar | undefined;
+    /** Returns the variable with the given symbol, or `undefined` if not found. */
+    getVariableBySymbol(symbol: string): TVar | undefined;
+    /**
+     * Changes the symbol of an existing variable.
+     *
+     * @throws If the variable does not exist.
+     * @throws If the new symbol is already in use by a different variable.
+     */
+    renameVariable(variableId: string, newSymbol: string): void;
+    /**
+     * Updates fields on an existing variable.
+     * Handles `symbol` updates via the symbol index; all other provided
+     * fields are spread onto the stored variable.
+     *
+     * @throws If the new symbol is already in use by a different variable.
+     * @returns The updated variable, or `undefined` if not found.
+     */
+    updateVariable(variableId: string, updates: Partial<TVar>): TVar | undefined;
+    /**
+     * Validates all managed variables, collecting every invariant violation.
+     * Checks: schema conformance, duplicate IDs, duplicate symbols, and
+     * checksum integrity.
+     */
+    validate(): TInvariantValidationResult;
+    /** Returns a serializable snapshot of the current state. */
+    snapshot(): TVariableManagerSnapshot<TVar>;
+    /** Creates a new VariableManager from a previously captured snapshot. */
+    static fromSnapshot<TVar extends TCorePropositionalVariable = TCorePropositionalVariable>(snapshot: TVariableManagerSnapshot<TVar>): VariableManager<TVar>;
+}
+//# sourceMappingURL=variable-manager.d.ts.map

package/dist/lib/core/variable-manager.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variable-manager.d.ts","sourceRoot":"","sources":["../../../src/lib/core/variable-manager.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAA;AAGtE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAG/D,OAAO,KAAK,EAER,0BAA0B,EAC7B,MAAM,wBAAwB,CAAA;AAQ/B,MAAM,MAAM,wBAAwB,CAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,SAAS,EAAE,IAAI,EAAE,CAAA;IACjB,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED;;;;;;;GAOG;AACH,qBAAa,eAAe,CACxB,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE,OAAO,CAAC,SAAS,CAAmB;IACpC,OAAO,CAAC,iBAAiB,CAAqB;IAC9C,OAAO,CAAC,MAAM,CAAC,CAAqB;gBAExB,MAAM,CAAC,EAAE,mBAAmB;IAMxC,8EAA8E;IACvE,OAAO,IAAI,IAAI,EAAE;IAMxB;;;;;OAKG;IACI,WAAW,CAAC,QAAQ,EAAE,IAAI;IAcjC;;;OAGG;IACI,cAAc,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAW3D,oEAAoE;IAC7D,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAI/C,2EAA2E;IACpE,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIxD,+EAA+E;IACxE,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAM5D;;;;;OAKG;IACI,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI;IAmBlE;;;;;;;OAOG;IACI,cAAc,CACjB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,GACvB,IAAI,GAAG,SAAS;IAqBnB;;;;OAIG;IACI,QAAQ,IAAI,0BAA0B;IAwE7C,4DAA4D;IACrD,QAAQ,IAAI,wBAAwB,CAAC,IAAI,CAAC;IAcjD,yEAAyE;WAC3D,YAAY,CACtB,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACtE,QAAQ,EAAE,wBAAwB,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC;CAOrE"}

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

@@ -0,0 +1,200 @@
+import { CorePropositionalVariableSchema } from "../schemata/index.js";
+import { DEFAULT_CHECKSUM_CONFIG, serializeChecksumConfig } from "../consts.js";
+import { entityChecksum } from "./checksum.js";
+import { Value } from "typebox/value";
+import { VAR_SCHEMA_INVALID, VAR_DUPLICATE_ID, VAR_DUPLICATE_SYMBOL, VAR_CHECKSUM_MISMATCH, } from "../types/validation.js";
+/**
+ * Registry for propositional variables within an argument, shared across
+ * all premises.
+ *
+ * Enforces uniqueness of both variable IDs and symbols. This class is an
+ * internal building block owned by {@link ArgumentEngine} and passed by
+ * reference to each {@link PremiseEngine}. It is not part of the public API.
+ */
+export class VariableManager {
+    variables;
+    variablesBySymbol;
+    config;
+    constructor(config) {
+        this.variables = new Map();
+        this.variablesBySymbol = new Map();
+        this.config = config;
+    }
+    /** Returns all registered variables sorted by ID for deterministic output. */
+    toArray() {
+        return Array.from(this.variables.values()).sort((a, b) => a.id.localeCompare(b.id));
+    }
+    /**
+     * Registers a variable.
+     *
+     * @throws If the symbol is already in use.
+     * @throws If the ID already exists.
+     */
+    addVariable(variable) {
+        if (this.variablesBySymbol.has(variable.symbol)) {
+            throw new Error(`Variable symbol "${variable.symbol}" already exists.`);
+        }
+        if (this.variables.has(variable.id)) {
+            throw new Error(`Variable with ID "${variable.id}" already exists.`);
+        }
+        this.variables.set(variable.id, variable);
+        this.variablesBySymbol.set(variable.symbol, variable.id);
+    }
+    /**
+     * Removes a variable by ID.
+     * @returns The removed variable, or `undefined` if not found.
+     */
+    removeVariable(variableId) {
+        const variable = this.variables.get(variableId);
+        if (!variable) {
+            return undefined;
+        }
+        this.variables.delete(variableId);
+        this.variablesBySymbol.delete(variable.symbol);
+        return variable;
+    }
+    /** Returns `true` if a variable with the given ID is registered. */
+    hasVariable(variableId) {
+        return this.variables.has(variableId);
+    }
+    /** Returns the variable with the given ID, or `undefined` if not found. */
+    getVariable(variableId) {
+        return this.variables.get(variableId);
+    }
+    /** Returns the variable with the given symbol, or `undefined` if not found. */
+    getVariableBySymbol(symbol) {
+        const id = this.variablesBySymbol.get(symbol);
+        if (id === undefined)
+            return undefined;
+        return this.variables.get(id);
+    }
+    /**
+     * Changes the symbol of an existing variable.
+     *
+     * @throws If the variable does not exist.
+     * @throws If the new symbol is already in use by a different variable.
+     */
+    renameVariable(variableId, newSymbol) {
+        const variable = this.variables.get(variableId);
+        if (!variable) {
+            throw new Error(`Variable "${variableId}" does not exist.`);
+        }
+        if (this.variablesBySymbol.has(newSymbol) &&
+            variable.symbol !== newSymbol) {
+            throw new Error(`Variable symbol "${newSymbol}" is already in use.`);
+        }
+        this.variablesBySymbol.delete(variable.symbol);
+        this.variablesBySymbol.set(newSymbol, variableId);
+        this.variables.set(variableId, {
+            ...variable,
+            symbol: newSymbol,
+        });
+    }
+    /**
+     * Updates fields on an existing variable.
+     * Handles `symbol` updates via the symbol index; all other provided
+     * fields are spread onto the stored variable.
+     *
+     * @throws If the new symbol is already in use by a different variable.
+     * @returns The updated variable, or `undefined` if not found.
+     */
+    updateVariable(variableId, updates) {
+        const variable = this.variables.get(variableId);
+        if (!variable)
+            return undefined;
+        if (updates.symbol !== undefined) {
+            this.renameVariable(variableId, updates.symbol);
+        }
+        // Apply remaining fields (symbol already handled by renameVariable)
+        const { symbol: _symbol, ...rest } = updates;
+        if (Object.keys(rest).length > 0) {
+            const current = this.variables.get(variableId);
+            this.variables.set(variableId, {
+                ...current,
+                ...rest,
+            });
+        }
+        return this.variables.get(variableId);
+    }
+    /**
+     * Validates all managed variables, collecting every invariant violation.
+     * Checks: schema conformance, duplicate IDs, duplicate symbols, and
+     * checksum integrity.
+     */
+    validate() {
+        const violations = [];
+        const seenIds = new Set();
+        const seenSymbols = new Set();
+        const fields = this.config?.checksumConfig?.variableFields ??
+            DEFAULT_CHECKSUM_CONFIG.variableFields;
+        for (const variable of this.toArray()) {
+            const id = variable.id;
+            // 1. Schema check
+            if (!Value.Check(CorePropositionalVariableSchema, variable)) {
+                violations.push({
+                    code: VAR_SCHEMA_INVALID,
+                    message: `Variable "${id}" does not conform to CorePropositionalVariableSchema.`,
+                    entityType: "variable",
+                    entityId: id,
+                });
+            }
+            // 2. Duplicate ID
+            if (seenIds.has(id)) {
+                violations.push({
+                    code: VAR_DUPLICATE_ID,
+                    message: `Duplicate variable ID "${id}".`,
+                    entityType: "variable",
+                    entityId: id,
+                });
+            }
+            seenIds.add(id);
+            // 3. Duplicate symbol
+            if (seenSymbols.has(variable.symbol)) {
+                violations.push({
+                    code: VAR_DUPLICATE_SYMBOL,
+                    message: `Duplicate variable symbol "${variable.symbol}".`,
+                    entityType: "variable",
+                    entityId: id,
+                });
+            }
+            seenSymbols.add(variable.symbol);
+            // 4. Checksum integrity (skip empty string — before first computation)
+            if (variable.checksum !== "") {
+                const computed = entityChecksum(variable, fields);
+                if (variable.checksum !== computed) {
+                    violations.push({
+                        code: VAR_CHECKSUM_MISMATCH,
+                        message: `Variable "${id}" checksum mismatch: stored="${variable.checksum}", computed="${computed}".`,
+                        entityType: "variable",
+                        entityId: id,
+                    });
+                }
+            }
+        }
+        return {
+            ok: violations.length === 0,
+            violations,
+        };
+    }
+    /** Returns a serializable snapshot of the current state. */
+    snapshot() {
+        return {
+            variables: this.toArray(),
+            config: this.config
+                ? {
+                    ...this.config,
+                    checksumConfig: serializeChecksumConfig(this.config.checksumConfig),
+                }
+                : this.config,
+        };
+    }
+    /** Creates a new VariableManager from a previously captured snapshot. */
+    static fromSnapshot(snapshot) {
+        const vm = new VariableManager(snapshot.config);
+        for (const v of snapshot.variables) {
+            vm.addVariable(v);
+        }
+        return vm;
+    }
+}
+//# sourceMappingURL=variable-manager.js.map