@polintpro/proposit-core 0.2.7 → 0.2.9

package/README.md

@@ -224,6 +224,79 @@ if (validity.ok) {
 }
 ```
 
+### Using with React
+
+`ArgumentEngine` implements the `useSyncExternalStore` contract, so it works as a React external store with no additional dependencies:
+
+```tsx
+import { useSyncExternalStore } from "react"
+import { ArgumentEngine } from "@polintpro/proposit-core"
+
+// Create the engine outside of React (or in a ref/context)
+const engine = new ArgumentEngine({ id: "arg-1", version: 1 })
+
+function ArgumentView() {
+    // Subscribe to the full snapshot
+    const snapshot = useSyncExternalStore(engine.subscribe, engine.getSnapshot)
+
+    return (
+        <div>
+            <h2>Variables</h2>
+            <ul>
+                {Object.values(snapshot.variables).map((v) => (
+                    <li key={v.id}>{v.symbol}</li>
+                ))}
+            </ul>
+            <h2>Premises</h2>
+            {Object.entries(snapshot.premises).map(([id, p]) => (
+                <div key={id}>
+                    Premise {id} — {Object.keys(p.expressions).length} expressions
+                </div>
+            ))}
+        </div>
+    )
+}
+```
+
+For fine-grained reactivity, select a specific slice — React skips re-rendering if the reference is unchanged thanks to structural sharing:
+
+```tsx
+function ExpressionView({ premiseId, expressionId }: {
+    premiseId: string
+    expressionId: string
+}) {
+    // Only re-renders when THIS expression changes
+    const expression = useSyncExternalStore(
+        engine.subscribe,
+        () => engine.getSnapshot().premises[premiseId]?.expressions[expressionId]
+    )
+
+    if (!expression) return null
+    return <span>{expression.type === "variable" ? expression.variableId : expression.operator}</span>
+}
+```
+
+Mutations go through the engine as usual — subscribers are notified automatically:
+
+```tsx
+function AddVariableButton() {
+    return (
+        <button onClick={() => {
+            engine.addVariable({
+                id: crypto.randomUUID(),
+                argumentId: "arg-1",
+                argumentVersion: 1,
+                symbol: "R",
+            })
+        }}>
+            Add variable R
+        </button>
+    )
+}
+```
+
+---
+
 ### Inserting an expression into the tree
 
 `insertExpression` splices a new node between existing nodes. The new expression inherits the **anchor** node's current slot in the tree (`leftNodeId ?? rightNodeId`).
@@ -489,6 +562,18 @@ Options:
 
 ---
 
+#### `subscribe(listener)` → `() => void`
+
+Registers a listener that is called synchronously after every mutation (including mutations through child `PremiseEngine` instances). Returns an unsubscribe function. Compatible with React's `useSyncExternalStore`.
+
+---
+
+#### `getSnapshot()` → `TReactiveSnapshot`
+
+Returns a `TReactiveSnapshot` with structurally-shared sub-objects. Unchanged slices keep the same object reference between calls, enabling fine-grained React selectors via `useSyncExternalStore`. The snapshot is lazily rebuilt only when dirty regions exist.
+
+---
+
 #### `snapshot()` → `TArgumentEngineSnapshot`
 
 Returns a serialisable snapshot of the full engine state (`{ argument, variables, premises, conclusionPremiseId, config }`). Each premise snapshot includes its metadata and expression snapshot. Can be used to reconstruct the engine via `ArgumentEngine.fromSnapshot()` or to restore state in place via `rollback()`.
@@ -786,6 +871,10 @@ Hierarchical snapshot types for capturing and restoring engine state:
 | `TVariableManagerSnapshot`   | `variables`, `config`                                                                   |
 | `TPremiseEngineSnapshot`     | `premise` metadata, `rootExpressionId`, `expressions` snapshot, `config`                |
 | `TArgumentEngineSnapshot`    | `argument`, `variables` snapshot, `premises` snapshots, `conclusionPremiseId`, `config` |
+| `TReactiveSnapshot`          | `argument`, `variables` (Record by ID), `premises` (Record by ID with expressions), `roles` |
+| `TReactivePremiseSnapshot`   | `premise`, `expressions` (Record by ID), `rootExpressionId` |
+
+`TReactiveSnapshot` is the type returned by `getSnapshot()` — optimized for React with Record-based lookups and structural sharing. The other snapshot types are for serialization and restoration.
 
 Each snapshot captures only what the class **owns**. Dependencies (e.g., variables for a premise) are excluded and must be passed separately during restoration via `fromSnapshot()`.
 

package/dist/cli/commands/premises.js

@@ -1,7 +1,7 @@
 import { randomUUID } from "node:crypto";
 import { Command } from "commander";
-import { PremiseEngine } from "../../lib/core/PremiseEngine.js";
-import { VariableManager } from "../../lib/core/VariableManager.js";
+import { PremiseEngine } from "../../lib/core/premiseEngine.js";
+import { VariableManager } from "../../lib/core/variableManager.js";
 import { errorExit, printJson, printLine, requireConfirmation, } from "../output.js";
 import { readArgumentMeta, readVersionMeta } from "../storage/arguments.js";
 import { deletePremiseDir, listPremiseIds, premiseExists, readPremiseData, readPremiseMeta, writePremiseData, writePremiseMeta, } from "../storage/premises.js";

package/dist/cli/engine.d.ts

@@ -1,4 +1,4 @@
-import { ArgumentEngine } from "../lib/core/ArgumentEngine.js";
+import { ArgumentEngine } from "../lib/core/argumentEngine.js";
 /**
  * Builds a fully-hydrated ArgumentEngine from the on-disk state for the
  * given argument ID and version number.

package/dist/cli/engine.js

@@ -1,5 +1,5 @@
 import fs from "node:fs/promises";
-import { ArgumentEngine } from "../lib/core/ArgumentEngine.js";
+import { ArgumentEngine } from "../lib/core/argumentEngine.js";
 import { getPremisesDir } from "./config.js";
 import { readArgumentMeta, readVersionMeta, writeArgumentMeta, writeVersionMeta, } from "./storage/arguments.js";
 import { listPremiseIds, readPremiseData, readPremiseMeta, writePremiseData, writePremiseMeta, } from "./storage/premises.js";

package/dist/cli/import.d.ts

@@ -1,4 +1,4 @@
-import { ArgumentEngine } from "../lib/core/ArgumentEngine.js";
+import { ArgumentEngine } from "../lib/core/argumentEngine.js";
 /**
  * Parses a YAML string representing a logical argument and returns a
  * fully hydrated ArgumentEngine.

package/dist/cli/import.js

@@ -3,7 +3,7 @@ import yaml from "js-yaml";
 import { Value } from "typebox/value";
 import { CoreYamlArgumentSchema } from "../lib/schemata/import.js";
 import { parseFormula } from "../lib/core/parser/formula.js";
-import { ArgumentEngine } from "../lib/core/ArgumentEngine.js";
+import { ArgumentEngine } from "../lib/core/argumentEngine.js";
 import { POSITION_INITIAL } from "../lib/utils/position.js";
 /**
  * Validates that `implies` and `iff` nodes appear only at the AST root.

package/dist/index.d.ts

@@ -6,20 +6,5 @@
  * the primary API, along with all type schemata and the {@link diffArguments}
  * utility.
  */
-export { ArgumentEngine, PremiseEngine } from "./lib/index.js";
-export type { TLogicEngineOptions, TArgumentEngineSnapshot, TPremiseEngineSnapshot, TExpressionManagerSnapshot, TVariableManagerSnapshot, } from "./lib/index.js";
-export * from "./lib/schemata/index.js";
-export * from "./lib/types/diff.js";
-export * from "./lib/types/mutation.js";
-export * from "./lib/types/checksum.js";
-export { computeHash, canonicalSerialize, entityChecksum, } from "./lib/core/checksum.js";
-export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./lib/core/diff.js";
-export * from "./lib/types/relationships.js";
-export { analyzePremiseRelationships, buildPremiseProfile, } from "./lib/core/relationships.js";
-export { DEFAULT_CHECKSUM_CONFIG, createChecksumConfig } from "./lib/consts.js";
-export { parseFormula } from "./lib/core/parser/formula.js";
-export type { FormulaAST } from "./lib/core/parser/formula.js";
-export type { TExpressionInput, TExpressionWithoutPosition, TExpressionUpdate, } from "./lib/core/ExpressionManager.js";
-export { POSITION_MIN, POSITION_MAX, POSITION_INITIAL, DEFAULT_POSITION_CONFIG, midpoint, } from "./lib/utils/position.js";
-export type { TCorePositionConfig } from "./lib/utils/position.js";
+export * from "./lib/index.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAC9D,YAAY,EACR,mBAAmB,EACnB,uBAAuB,EACvB,sBAAsB,EACtB,0BAA0B,EAC1B,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,cAAc,yBAAyB,CAAA;AACvC,cAAc,qBAAqB,CAAA;AACnC,cAAc,yBAAyB,CAAA;AACvC,cAAc,yBAAyB,CAAA;AACvC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,oBAAoB,CAAA;AAC3B,cAAc,8BAA8B,CAAA;AAC5C,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,YAAY,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAC9D,YAAY,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,GACpB,MAAM,iCAAiC,CAAA;AACxC,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,yBAAyB,CAAA;AAChC,YAAY,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,cAAc,gBAAgB,CAAA"}

package/dist/index.js

@@ -6,16 +6,5 @@
  * the primary API, along with all type schemata and the {@link diffArguments}
  * utility.
  */
-export { ArgumentEngine, PremiseEngine } from "./lib/index.js";
-export * from "./lib/schemata/index.js";
-export * from "./lib/types/diff.js";
-export * from "./lib/types/mutation.js";
-export * from "./lib/types/checksum.js";
-export { computeHash, canonicalSerialize, entityChecksum, } from "./lib/core/checksum.js";
-export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./lib/core/diff.js";
-export * from "./lib/types/relationships.js";
-export { analyzePremiseRelationships, buildPremiseProfile, } from "./lib/core/relationships.js";
-export { DEFAULT_CHECKSUM_CONFIG, createChecksumConfig } from "./lib/consts.js";
-export { parseFormula } from "./lib/core/parser/formula.js";
-export { POSITION_MIN, POSITION_MAX, POSITION_INITIAL, DEFAULT_POSITION_CONFIG, midpoint, } from "./lib/utils/position.js";
+export * from "./lib/index.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAQ9D,cAAc,yBAAyB,CAAA;AACvC,cAAc,qBAAqB,CAAA;AACnC,cAAc,yBAAyB,CAAA;AACvC,cAAc,yBAAyB,CAAA;AACvC,OAAO,EACH,WAAW,EACX,kBAAkB,EAClB,cAAc,GACjB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,oBAAoB,CAAA;AAC3B,cAAc,8BAA8B,CAAA;AAC5C,OAAO,EACH,2BAA2B,EAC3B,mBAAmB,GACtB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAO3D,OAAO,EACH,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,uBAAuB,EACvB,QAAQ,GACX,MAAM,yBAAyB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,cAAc,gBAAgB,CAAA"}

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

@@ -3,10 +3,11 @@ import type { TCoreArgumentEvaluationOptions, TCoreArgumentEvaluationResult, TCo
 import type { TCoreChecksumConfig } from "../types/checksum.js";
 import type { TCorePositionConfig } from "../utils/position.js";
 import type { TCoreMutationResult } from "../types/mutation.js";
-import type { TExpressionInput } from "./ExpressionManager.js";
-import { PremiseEngine } from "./PremiseEngine.js";
-import type { TPremiseEngineSnapshot } from "./PremiseEngine.js";
-import type { TVariableManagerSnapshot } from "./VariableManager.js";
+import type { TReactiveSnapshot } from "../types/reactive.js";
+import type { TExpressionInput } from "./expressionManager.js";
+import { PremiseEngine } from "./premiseEngine.js";
+import type { TPremiseEngineSnapshot } from "./premiseEngine.js";
+import type { TVariableManagerSnapshot } from "./variableManager.js";
 export type TLogicEngineOptions = {
     checksumConfig?: TCoreChecksumConfig;
     positionConfig?: TCorePositionConfig;
@@ -35,7 +36,21 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
     private checksumDirty;
     private cachedChecksum;
     private expressionIndex;
+    private listeners;
+    private reactiveDirty;
+    private cachedReactiveSnapshot;
     constructor(argument: TOptionalChecksum<TArg>, options?: TLogicEngineOptions);
+    /**
+     * Registers a listener that is called after every mutation.
+     * Returns an unsubscribe function.
+     */
+    subscribe: (listener: () => void) => (() => void);
+    private notifySubscribers;
+    getSnapshot: () => TReactiveSnapshot<TArg, TPremise, TExpr, TVar>;
+    private buildVariablesRecord;
+    private buildAllPremisesRecord;
+    private buildPremiseRecord;
+    private markReactiveDirty;
     /** Returns a shallow copy of the argument metadata with checksum attached. */
     getArgument(): TArg;
     /** Renders the argument as a multi-line string with role labels for each premise. */
@@ -207,4 +222,4 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
      */
     checkValidity(options?: TCoreValidityCheckOptions): TCoreValidityCheckResult;
 }
-//# sourceMappingURL=ArgumentEngine.d.ts.map
+//# sourceMappingURL=argumentEngine.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"ArgumentEngine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/ArgumentEngine.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EAEtB,yBAAyB,EAIzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EAC3B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAE/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAU/D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAEhE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAA;AAEpE,MAAM,MAAM,mBAAmB,GAAG;IAC9B,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,cAAc,CAAC,EAAE,mBAAmB,CAAA;CACvC,CAAA;AAED,MAAM,MAAM,uBAAuB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACjC,SAAS,EAAE,wBAAwB,CAAC,IAAI,CAAC,CAAA;IACzC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;IACnD,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED;;;;;;GAMG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,QAAQ,CAAyD;IACzE,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,aAAa,CAAO;IAC5B,OAAO,CAAC,cAAc,CAAoB;IAC1C,OAAO,CAAC,eAAe,CAAqB;gBAGxC,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,OAAO,CAAC,EAAE,mBAAmB;IAcjC,8EAA8E;IACvE,WAAW,IAAI,IAAI;IAI1B,qFAAqF;IAC9E,eAAe,IAAI,MAAM;IA0BhC;;;OAGG;IACI,aAAa,CAChB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAID;;;;;OAKG;IACI,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAsCD;;;OAGG;IACI,aAAa,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,QAAQ,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAsBzE,0EAA0E;IACnE,UAAU,CACb,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAIzD,4DAA4D;IACrD,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAI7C,sDAAsD;IAC/C,cAAc,IAAI,MAAM,EAAE;IAMjC,sDAAsD;IAC/C,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE;IASnE;;;;;;OAMG;IACI,WAAW,CACd,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,GAClC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAuBzD;;;;;OAKG;IACI,cAAc,CACjB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAC7B,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAuBrE;;;OAGG;IACI,cAAc,CACjB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA4BrE,qDAAqD;IAC9C,YAAY,IAAI,IAAI,EAAE;IAI7B,2EAA2E;IACpE,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIxD,6DAA6D;IACtD,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAI/C,+EAA+E;IACxE,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAI5D;;;;OAIG;IACI,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAQjE,iFAAiF;IAC1E,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAM7D,+EAA+E;IACxE,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAInD,iFAAiF;IAC1E,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIvE,iFAAiF;IAC1E,yBAAyB,CAC5B,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAMzD,iEAAiE;IAC1D,iBAAiB,IAAI,KAAK,EAAE;IAQnC;;;OAGG;IACI,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE;IAiB9D,kEAAkE;IAC3D,mBAAmB,IAAI,KAAK,EAAE;IASrC,gGAAgG;IACzF,YAAY,IAAI,sBAAsB;IAQ7C;;;;OAIG;IACI,oBAAoB,CACvB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAgBD,yCAAyC;IAClC,sBAAsB,IAAI,mBAAmB,CAChD,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAYD,qEAAqE;IAC9D,oBAAoB,IACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC1C,SAAS;IAOf;;;OAGG;IACI,sBAAsB,IAAI,aAAa,CAC1C,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP,EAAE;IAMH,gEAAgE;IACzD,QAAQ,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAevE,wEAAwE;WAC1D,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAwB9C;;;;;OAKG;WACW,QAAQ,CAClB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EACpC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EACvC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EACtC,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,mBAAmB,GAC7B,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IA4E9C,mEAAmE;IAC5D,QAAQ,CACX,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,IAAI;IAoBP;;;;OAIG;IACI,QAAQ,IAAI,MAAM;IAQzB,OAAO,CAAC,eAAe;IA6BvB,OAAO,CAAC,SAAS;IAIjB,sEAAsE;IACtE,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAa9B;;;OAGG;IACI,0BAA0B,IAAI;QACjC,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ;IAuED;;;;;OAKG;IACI,oBAAoB,IAAI,qBAAqB;IAsEpD;;;;;;;;;;;;OAYG;IACI,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B;IA2IhC;;;;;;;;;OASG;IACI,aAAa,CAChB,OAAO,CAAC,EAAE,yBAAyB,GACpC,wBAAwB;CAsJ9B"}
+{"version":3,"file":"argumentEngine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argumentEngine.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EAEtB,yBAAyB,EAIzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EAC3B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAE/D,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,sBAAsB,CAAA;AAC/E,OAAO,KAAK,EAAE,iBAAiB,EAA4B,MAAM,sBAAsB,CAAA;AASvF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAA;AAEhE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAA;AAEpE,MAAM,MAAM,mBAAmB,GAAG;IAC9B,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,cAAc,CAAC,EAAE,mBAAmB,CAAA;CACvC,CAAA;AAED,MAAM,MAAM,uBAAuB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACjC,SAAS,EAAE,wBAAwB,CAAC,IAAI,CAAC,CAAA;IACzC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;IACnD,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED;;;;;;GAMG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B;IAEpE,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,QAAQ,CAAyD;IACzE,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,aAAa,CAAO;IAC5B,OAAO,CAAC,cAAc,CAAoB;IAC1C,OAAO,CAAC,eAAe,CAAqB;IAC5C,OAAO,CAAC,SAAS,CAA6B;IAC9C,OAAO,CAAC,aAAa,CAMpB;IACD,OAAO,CAAC,sBAAsB,CAA4D;gBAGtF,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,OAAO,CAAC,EAAE,mBAAmB;IAcjC;;;OAGG;IACI,SAAS,GAAI,UAAU,MAAM,IAAI,KAAG,CAAC,MAAM,IAAI,CAAC,CAGtD;IAED,OAAO,CAAC,iBAAiB;IAMlB,WAAW,QAAO,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAiEtE;IAED,OAAO,CAAC,oBAAoB;IAQ5B,OAAO,CAAC,sBAAsB;IAQ9B,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,iBAAiB;IA2BzB,8EAA8E;IACvE,WAAW,IAAI,IAAI;IAI1B,qFAAqF;IAC9E,eAAe,IAAI,MAAM;IA0BhC;;;OAGG;IACI,aAAa,CAChB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAID;;;;;OAKG;IACI,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IA6CD;;;OAGG;IACI,aAAa,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,QAAQ,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAyBzE,0EAA0E;IACnE,UAAU,CACb,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAIzD,4DAA4D;IACrD,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAI7C,sDAAsD;IAC/C,cAAc,IAAI,MAAM,EAAE;IAMjC,sDAAsD;IAC/C,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE;IASnE;;;;;;OAMG;IACI,WAAW,CACd,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,GAClC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA0BzD;;;;;OAKG;IACI,cAAc,CACjB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAC7B,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA0BrE;;;OAGG;IACI,cAAc,CACjB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA+BrE,qDAAqD;IAC9C,YAAY,IAAI,IAAI,EAAE;IAI7B,2EAA2E;IACpE,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIxD,6DAA6D;IACtD,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAI/C,+EAA+E;IACxE,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAI5D;;;;OAIG;IACI,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAQjE,iFAAiF;IAC1E,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAM7D,+EAA+E;IACxE,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAInD,iFAAiF;IAC1E,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIvE,iFAAiF;IAC1E,yBAAyB,CAC5B,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAMzD,iEAAiE;IAC1D,iBAAiB,IAAI,KAAK,EAAE;IAQnC;;;OAGG;IACI,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE;IAiB9D,kEAAkE;IAC3D,mBAAmB,IAAI,KAAK,EAAE;IASrC,gGAAgG;IACzF,YAAY,IAAI,sBAAsB;IAQ7C;;;;OAIG;IACI,oBAAoB,CACvB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAmBD,yCAAyC;IAClC,sBAAsB,IAAI,mBAAmB,CAChD,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAeD,qEAAqE;IAC9D,oBAAoB,IACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC1C,SAAS;IAOf;;;OAGG;IACI,sBAAsB,IAAI,aAAa,CAC1C,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP,EAAE;IAMH,gEAAgE;IACzD,QAAQ,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAevE,wEAAwE;WAC1D,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IA6B9C;;;;;OAKG;WACW,QAAQ,CAClB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EACpC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EACvC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EACtC,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,mBAAmB,GAC7B,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IA4E9C,mEAAmE;IAC5D,QAAQ,CACX,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,IAAI;IAmCP;;;;OAIG;IACI,QAAQ,IAAI,MAAM;IAQzB,OAAO,CAAC,eAAe;IA6BvB,OAAO,CAAC,SAAS;IAIjB,sEAAsE;IACtE,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAa9B;;;OAGG;IACI,0BAA0B,IAAI;QACjC,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ;IAuED;;;;;OAKG;IACI,oBAAoB,IAAI,qBAAqB;IAsEpD;;;;;;;;;;;;OAYG;IACI,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B;IA2IhC;;;;;;;;;OASG;IACI,aAAa,CAChB,OAAO,CAAC,EAAE,yBAAyB,GACpC,wBAAwB;CAsJ9B"}

package/dist/lib/core/ArgumentEngine.js

@@ -1,11 +1,12 @@
 import { randomUUID } from "node:crypto";
 import { DEFAULT_CHECKSUM_CONFIG } from "../consts.js";
 import { getOrCreate, sortedUnique } from "../utils/collections.js";
-import { ChangeCollector } from "./ChangeCollector.js";
+import { ChangeCollector } from "./changeCollector.js";
 import { canonicalSerialize, computeHash, entityChecksum } from "./checksum.js";
-import { kleeneAnd, kleeneNot, makeErrorIssue, makeValidationResult, } from "./evaluation/shared.js";
-import { PremiseEngine } from "./PremiseEngine.js";
-import { VariableManager } from "./VariableManager.js";
+import { kleeneAnd, kleeneNot } from "./evaluation/kleene.js";
+import { makeErrorIssue, makeValidationResult, } from "./evaluation/validation.js";
+import { PremiseEngine } from "./premiseEngine.js";
+import { VariableManager } from "./variableManager.js";
 /**
  * Manages a propositional logic argument composed of premises, variable
  * assignments, and logical roles (supporting premises and a conclusion).
@@ -23,6 +24,15 @@ export class ArgumentEngine {
     checksumDirty = true;
     cachedChecksum;
     expressionIndex;
+    listeners = new Set();
+    reactiveDirty = {
+        argument: true,
+        variables: true,
+        roles: true,
+        premiseIds: new Set(),
+        allPremises: true,
+    };
+    cachedReactiveSnapshot;
     constructor(argument, options) {
         this.argument = { ...argument };
         this.premises = new Map();
@@ -35,6 +45,130 @@ export class ArgumentEngine {
         this.checksumConfig = options?.checksumConfig;
         this.positionConfig = options?.positionConfig;
     }
+    /**
+     * Registers a listener that is called after every mutation.
+     * Returns an unsubscribe function.
+     */
+    subscribe = (listener) => {
+        this.listeners.add(listener);
+        return () => { this.listeners.delete(listener); };
+    };
+    notifySubscribers() {
+        for (const listener of this.listeners) {
+            listener();
+        }
+    }
+    getSnapshot = () => {
+        const dirty = this.reactiveDirty;
+        const prev = this.cachedReactiveSnapshot;
+        if (prev && !dirty.argument && !dirty.variables && !dirty.roles && dirty.premiseIds.size === 0 && !dirty.allPremises) {
+            return prev;
+        }
+        const argument = dirty.argument || !prev
+            ? this.getArgument()
+            : prev.argument;
+        const variables = dirty.variables || !prev
+            ? this.buildVariablesRecord()
+            : prev.variables;
+        const roles = dirty.roles || !prev
+            ? { ...this.getRoleState() }
+            : prev.roles;
+        let premises;
+        if (dirty.allPremises || !prev) {
+            premises = this.buildAllPremisesRecord();
+        }
+        else {
+            premises = { ...prev.premises };
+            // Remove premises that no longer exist
+            for (const id of Object.keys(premises)) {
+                if (!this.premises.has(id)) {
+                    delete premises[id];
+                }
+            }
+            // Rebuild dirty premises
+            for (const id of dirty.premiseIds) {
+                const pm = this.premises.get(id);
+                if (pm) {
+                    premises[id] = this.buildPremiseRecord(pm);
+                }
+                else {
+                    delete premises[id];
+                }
+            }
+            // Add any new premises not yet in snapshot
+            for (const [id, pm] of this.premises) {
+                if (!(id in premises)) {
+                    premises[id] = this.buildPremiseRecord(pm);
+                }
+            }
+        }
+        const snapshot = {
+            argument,
+            variables,
+            premises,
+            roles,
+        };
+        this.cachedReactiveSnapshot = snapshot;
+        this.reactiveDirty = {
+            argument: false,
+            variables: false,
+            roles: false,
+            premiseIds: new Set(),
+            allPremises: false,
+        };
+        return snapshot;
+    };
+    buildVariablesRecord() {
+        const result = {};
+        for (const v of this.variables.toArray()) {
+            result[v.id] = v;
+        }
+        return result;
+    }
+    buildAllPremisesRecord() {
+        const result = {};
+        for (const [id, pm] of this.premises) {
+            result[id] = this.buildPremiseRecord(pm);
+        }
+        return result;
+    }
+    buildPremiseRecord(pm) {
+        const expressions = {};
+        for (const expr of pm.getExpressions()) {
+            expressions[expr.id] = expr;
+        }
+        return {
+            premise: pm.toPremiseData(),
+            expressions,
+            rootExpressionId: pm.getRootExpressionId(),
+        };
+    }
+    markReactiveDirty(changes) {
+        if (changes.argument) {
+            this.reactiveDirty.argument = true;
+        }
+        if (changes.variables) {
+            this.reactiveDirty.variables = true;
+        }
+        if (changes.roles) {
+            this.reactiveDirty.roles = true;
+        }
+        if (changes.expressions) {
+            const allExprs = [
+                ...changes.expressions.added,
+                ...changes.expressions.modified,
+                ...changes.expressions.removed,
+            ];
+            for (const expr of allExprs) {
+                this.reactiveDirty.premiseIds.add(expr.premiseId);
+            }
+        }
+        if (changes.premises) {
+            for (const p of [...changes.premises.added, ...changes.premises.modified, ...changes.premises.removed]) {
+                this.reactiveDirty.premiseIds.add(p.id);
+            }
+        }
+    }
     /** Returns a shallow copy of the argument metadata with checksum attached. */
     getArgument() {
         return { ...this.argument, checksum: this.checksum() };
@@ -94,6 +228,10 @@ export class ArgumentEngine {
             positionConfig: this.positionConfig,
         });
         this.premises.set(id, pm);
+        pm.setOnMutate(() => {
+            this.reactiveDirty.premiseIds.add(id);
+            this.notifySubscribers();
+        });
         const collector = new ChangeCollector();
         collector.addedPremise(pm.toPremiseData());
         this.markDirty();
@@ -101,9 +239,12 @@ export class ArgumentEngine {
             this.conclusionPremiseId = id;
             collector.setRoles(this.getRoleState());
         }
+        const changes = collector.toChangeset();
+        this.markReactiveDirty(changes);
+        this.notifySubscribers();
         return {
             result: pm,
-            changes: collector.toChangeset(),
+            changes,
         };
     }
     /**
@@ -127,9 +268,12 @@ export class ArgumentEngine {
             collector.setRoles(this.getRoleState());
         }
         this.markDirty();
+        const changes = collector.toChangeset();
+        this.markReactiveDirty(changes);
+        this.notifySubscribers();
         return {
             result: data,
-            changes: collector.toChangeset(),
+            changes,
         };
     }
     /** Returns the premise with the given ID, or `undefined` if not found. */
@@ -170,9 +314,12 @@ export class ArgumentEngine {
         collector.addedVariable(withChecksum);
         this.markDirty();
         this.markAllPremisesDirty();
+        const changes = collector.toChangeset();
+        this.markReactiveDirty(changes);
+        this.notifySubscribers();
         return {
             result: withChecksum,
-            changes: collector.toChangeset(),
+            changes,
         };
     }
     /**
@@ -193,9 +340,12 @@ export class ArgumentEngine {
             collector.modifiedVariable(withChecksum);
             this.markDirty();
             this.markAllPremisesDirty();
+            const changes = collector.toChangeset();
+            this.markReactiveDirty(changes);
+            this.notifySubscribers();
             return {
                 result: withChecksum,
-                changes: collector.toChangeset(),
+                changes,
             };
         }
         return {
@@ -226,9 +376,12 @@ export class ArgumentEngine {
         collector.removedVariable(variable);
         this.markDirty();
         this.markAllPremisesDirty();
+        const changes = collector.toChangeset();
+        this.markReactiveDirty(changes);
+        this.notifySubscribers();
         return {
             result: variable,
-            changes: collector.toChangeset(),
+            changes,
         };
     }
     /** Returns all registered variables sorted by ID. */
@@ -341,9 +494,12 @@ export class ArgumentEngine {
         const collector = new ChangeCollector();
         collector.setRoles(roles);
         this.markDirty();
+        const changes = collector.toChangeset();
+        this.markReactiveDirty(changes);
+        this.notifySubscribers();
         return {
             result: roles,
-            changes: collector.toChangeset(),
+            changes,
         };
     }
     /** Clears the conclusion designation. */
@@ -353,9 +509,12 @@ export class ArgumentEngine {
         const collector = new ChangeCollector();
         collector.setRoles(roles);
         this.markDirty();
+        const changes = collector.toChangeset();
+        this.markReactiveDirty(changes);
+        this.notifySubscribers();
         return {
             result: roles,
-            changes: collector.toChangeset(),
+            changes,
         };
     }
     /** Returns the conclusion premise, or `undefined` if none is set. */
@@ -398,6 +557,11 @@ export class ArgumentEngine {
         for (const premiseSnap of snapshot.premises) {
             const pe = PremiseEngine.fromSnapshot(premiseSnap, snapshot.argument, engine.variables, engine.expressionIndex);
             engine.premises.set(pe.getId(), pe);
+            const premiseId = pe.getId();
+            pe.setOnMutate(() => {
+                engine.reactiveDirty.premiseIds.add(premiseId);
+                engine.notifySubscribers();
+            });
         }
         // Restore conclusion role (don't use setConclusionPremise to avoid auto-assign logic)
         engine.conclusionPremiseId = snapshot.conclusionPremiseId;
@@ -471,7 +635,22 @@ export class ArgumentEngine {
             this.premises.set(pe.getId(), pe);
         }
         this.conclusionPremiseId = snapshot.conclusionPremiseId;
+        for (const pe of this.premises.values()) {
+            const premiseId = pe.getId();
+            pe.setOnMutate(() => {
+                this.reactiveDirty.premiseIds.add(premiseId);
+                this.notifySubscribers();
+            });
+        }
         this.markDirty();
+        this.reactiveDirty = {
+            argument: true,
+            variables: true,
+            roles: true,
+            premiseIds: new Set(),
+            allPremises: true,
+        };
+        this.notifySubscribers();
     }
     /**
      * Returns an argument-level checksum combining argument metadata, role
@@ -856,4 +1035,4 @@ export class ArgumentEngine {
         };
     }
 }
-//# sourceMappingURL=ArgumentEngine.js.map
+//# sourceMappingURL=argumentEngine.js.map