solve-engine 1.0.0-beta.0 → 1.0.0-beta.2

package/dist/vm.d.cts

@@ -0,0 +1,68 @@
+import { P as PluginFunctionHandler } from './ScopeManager-CKfQtl7l.cjs';
+export { B as Bytecode, D as DependencyGraph, E as ExpressionRecord, O as OpRegistry, S as ScopeManager, V as VM, c as createVM, e as executeBytecode, s as sharedOpRegistry } from './ScopeManager-CKfQtl7l.cjs';
+import { V as Value } from './Value-KtAQNHur.cjs';
+export { M as MatrixData, a as MatrixEntry, R as RangeData, b as ValueType, c as bigIntValue, d as colVectorValue, h as hexValue, m as matrixValue, n as numberValue, r as rangeValue, e as rowVectorValue, s as stringValue, u as uomValue } from './Value-KtAQNHur.cjs';
+export { V as VMCheckpoint, a as VMCheckpointer } from './VMCheckpoints-CqFuLwrT.cjs';
+import './BytecodeBuilder-3egMyuDi.cjs';
+import './EngineError-DvPSnhZi.cjs';
+import './pipeline-DPUQt7yL.cjs';
+import './variables.cjs';
+
+/**
+ * Registry of built-in mathematical functions.
+ * Indexed by the number pushed as an operand of OpCode.CALL_BUILTIN.
+ */
+declare const builtinFunctions: Record<number, (args: Value[]) => Value>;
+/**
+ * Registry of package-registered functions, indexed by the number pushed as an
+ * operand of `OpCode.CALL_PLUGIN`.
+ *
+ * Functions may return a promise. The orchestrator resolves it and re-executes
+ * rather than blocking the VM.
+ *
+ * Populated declaratively via {@link IEnginePackage.pluginFunctions} at
+ * package-registration time. Entries are cleared on unregister.
+ *
+ * @deprecated This is the {@link defaultEngineContext}'s map, kept as a
+ * module-level alias so existing callers keep working during the context
+ * migration. An engine registers into its own context, so writing here affects
+ * only code that has not been migrated. Take an {@link EngineContext} instead.
+ */
+declare const pluginFunctionRegistry: Record<number, PluginFunctionHandler>;
+/**
+ * Allocate a unique index into {@link pluginFunctionRegistry} for a package's
+ * plugin function.
+ *
+ * Call once per function, typically at module scope, right where the
+ * function is defined, and store the result in a constant. Don't hardcode
+ * an index: two packages independently picking the same arbitrary number
+ * would silently overwrite each other's handler in the shared registry.
+ *
+ * @throws If the index pool (0-255, a single opcode-stream byte) is exhausted.
+ */
+declare function allocatePluginFunctionIndex(): number;
+
+/**
+ * Unify two Value operands that may carry units of measurement.
+ * Returns numeric values in a common unit (or undefined unit if incompatible).
+ */
+declare function unifyUom(l: Value, r: Value): {
+    lv: number;
+    rv: number;
+    unit: string | undefined;
+    sameMeasure: boolean;
+};
+/**
+ * Apply a numeric binary operation with type-aware dispatch.
+ * Handles BigInt, UoM, Vector, Symbolic, and plain Number operands.
+ *
+ * @param symbolicOp - which SymbolicNode kind to build when either operand
+ *   is Symbolic (`symbolic/SymbolicNode.ts`). Only ADD/SUB/MUL/DIV pass this (the
+ *   "four arithmetic opcodes" the symbolic-algebra phase scopes itself
+ *   to), MOD's own call site passes nothing, so a Symbolic operand there
+ *   falls through to the ordinary numeric path (`toNumber()` -> 0), an
+ *   explicit, disclosed scope boundary rather than an oversight.
+ */
+declare function binaryOp(l: Value, r: Value, op: (a: number, b: number) => number, bigOp?: (a: bigint, b: bigint) => bigint, symbolicOp?: "add" | "sub" | "mul" | "div"): Value;
+
+export { Value, allocatePluginFunctionIndex, binaryOp, builtinFunctions, pluginFunctionRegistry, unifyUom };

package/dist/vm.d.ts

@@ -0,0 +1,68 @@
+import { P as PluginFunctionHandler } from './ScopeManager-B5k0nk05.js';
+export { B as Bytecode, D as DependencyGraph, E as ExpressionRecord, O as OpRegistry, S as ScopeManager, V as VM, c as createVM, e as executeBytecode, s as sharedOpRegistry } from './ScopeManager-B5k0nk05.js';
+import { V as Value } from './Value-KtAQNHur.js';
+export { M as MatrixData, a as MatrixEntry, R as RangeData, b as ValueType, c as bigIntValue, d as colVectorValue, h as hexValue, m as matrixValue, n as numberValue, r as rangeValue, e as rowVectorValue, s as stringValue, u as uomValue } from './Value-KtAQNHur.js';
+export { V as VMCheckpoint, a as VMCheckpointer } from './VMCheckpoints-BmDwIXgK.js';
+import './BytecodeBuilder-3egMyuDi.js';
+import './EngineError-DvPSnhZi.js';
+import './pipeline-CrsRPmsv.js';
+import './variables.js';
+
+/**
+ * Registry of built-in mathematical functions.
+ * Indexed by the number pushed as an operand of OpCode.CALL_BUILTIN.
+ */
+declare const builtinFunctions: Record<number, (args: Value[]) => Value>;
+/**
+ * Registry of package-registered functions, indexed by the number pushed as an
+ * operand of `OpCode.CALL_PLUGIN`.
+ *
+ * Functions may return a promise. The orchestrator resolves it and re-executes
+ * rather than blocking the VM.
+ *
+ * Populated declaratively via {@link IEnginePackage.pluginFunctions} at
+ * package-registration time. Entries are cleared on unregister.
+ *
+ * @deprecated This is the {@link defaultEngineContext}'s map, kept as a
+ * module-level alias so existing callers keep working during the context
+ * migration. An engine registers into its own context, so writing here affects
+ * only code that has not been migrated. Take an {@link EngineContext} instead.
+ */
+declare const pluginFunctionRegistry: Record<number, PluginFunctionHandler>;
+/**
+ * Allocate a unique index into {@link pluginFunctionRegistry} for a package's
+ * plugin function.
+ *
+ * Call once per function, typically at module scope, right where the
+ * function is defined, and store the result in a constant. Don't hardcode
+ * an index: two packages independently picking the same arbitrary number
+ * would silently overwrite each other's handler in the shared registry.
+ *
+ * @throws If the index pool (0-255, a single opcode-stream byte) is exhausted.
+ */
+declare function allocatePluginFunctionIndex(): number;
+
+/**
+ * Unify two Value operands that may carry units of measurement.
+ * Returns numeric values in a common unit (or undefined unit if incompatible).
+ */
+declare function unifyUom(l: Value, r: Value): {
+    lv: number;
+    rv: number;
+    unit: string | undefined;
+    sameMeasure: boolean;
+};
+/**
+ * Apply a numeric binary operation with type-aware dispatch.
+ * Handles BigInt, UoM, Vector, Symbolic, and plain Number operands.
+ *
+ * @param symbolicOp - which SymbolicNode kind to build when either operand
+ *   is Symbolic (`symbolic/SymbolicNode.ts`). Only ADD/SUB/MUL/DIV pass this (the
+ *   "four arithmetic opcodes" the symbolic-algebra phase scopes itself
+ *   to), MOD's own call site passes nothing, so a Symbolic operand there
+ *   falls through to the ordinary numeric path (`toNumber()` -> 0), an
+ *   explicit, disclosed scope boundary rather than an oversight.
+ */
+declare function binaryOp(l: Value, r: Value, op: (a: number, b: number) => number, bigOp?: (a: bigint, b: bigint) => bigint, symbolicOp?: "add" | "sub" | "mul" | "div"): Value;
+
+export { Value, allocatePluginFunctionIndex, binaryOp, builtinFunctions, pluginFunctionRegistry, unifyUom };

package/dist/vm.js

@@ -0,0 +1,194 @@
+export { DependencyGraph, ScopeManager, createVM, executeBytecode } from './chunk-QWY3VEZN.js';
+import './chunk-G535KJEG.js';
+export { OpRegistry, allocatePluginFunctionIndex, binaryOp, builtinFunctions, pluginFunctionRegistry, sharedOpRegistry, unifyUom } from './chunk-4QADQTWS.js';
+import './chunk-GCM5JHMX.js';
+import './chunk-DM3LMRBC.js';
+import './chunk-75JP4BZX.js';
+import './chunk-Z4X2RWOF.js';
+import './chunk-34RRD7PC.js';
+export { Value, ValueType, bigIntValue, colVectorValue, hexValue, matrixValue, numberValue, rangeValue, rowVectorValue, stringValue, uomValue } from './chunk-BVAR5J2F.js';
+import './chunk-NH2O2AUR.js';
+import './chunk-4MG4XKO2.js';
+import './chunk-6RDSQURE.js';
+import './chunk-YLJ4XMA6.js';
+
+// src/vm/VMCheckpoints.ts
+var VMCheckpointer = class {
+  constructor(vm) {
+    /** Ordered array of checkpoints (ascending lineNumber). */
+    this.checkpoints = [];
+    this.vm = vm;
+  }
+  // ── Snapshot ─────────────────────────────────────────────────────
+  /**
+   * Create a checkpoint at the current line, recording the VM values of
+   * the specified variables.
+   *
+   * Uses prototypal inheritance: `Object.create(parent.variables)` so
+   * that inherited variable lookups fall through to previous checkpoints
+   * without copying all variables into each checkpoint.
+   *
+   * @param lineNumber 1-based line position.
+   * @param lineId Persistent line ID from DocumentModel.
+   * @param variableNames Names of variables that were written at this line.
+   * @returns The new checkpoint, or null if no variable names provided.
+   */
+  snapshot(lineNumber, lineId, variableNames) {
+    if (variableNames.length === 0) return null;
+    const parent = this.checkpoints.length > 0 ? this.checkpoints[this.checkpoints.length - 1] : null;
+    const variables = Object.create(
+      parent?.variables ?? null
+    );
+    const functions = Object.create(
+      parent?.functions ?? null
+    );
+    for (const name of variableNames) {
+      if (this.vm.hasUserFunction(name)) {
+        const fn = this.vm.getUserFunction(name);
+        if (fn) functions[name] = fn;
+        continue;
+      }
+      const val = this.vm.getVar(name);
+      if (val !== void 0) {
+        variables[name] = val;
+      }
+    }
+    const checkpoint = {
+      lineNumber,
+      lineId,
+      variables,
+      functions,
+      parent
+    };
+    this.checkpoints.push(checkpoint);
+    return checkpoint;
+  }
+  // ── Restore ──────────────────────────────────────────────────────
+  /**
+   * Restore the VM to the state at or just after the given line number.
+   *
+   * Finds the nearest checkpoint whose `lineNumber <= targetLineNumber`,
+   * then replays all variable definitions from root → that checkpoint
+   * into the VM via `setVar()`. The VM's stack is also reset.
+   *
+   * If no checkpoint exists at or before the target line, the VM is
+   * fully reset (empty scope, empty stack).
+   *
+   * **Performance:** O(number of checkpoints × variables per checkpoint).
+   * With prototypal inheritance, `Object.keys()` on each checkpoint
+   * returns only the variables that were set at that checkpoint (not
+   * inherited ones), so the total work is O(total variable definitions
+   * in the document), which is < 100 for typical Obsidian documents.
+   *
+   * @param lineNumber Target 1-based line number. The VM will have the
+   * state that existed AFTER evaluating lines up to `lineNumber`.
+   */
+  restoreTo(lineNumber) {
+    const target = this.getNearestCheckpoint(lineNumber);
+    if (!target) {
+      this.vm.reset();
+      return;
+    }
+    const chain = [];
+    let current = target;
+    while (current) {
+      chain.unshift(current);
+      current = current.parent;
+    }
+    this.vm.reset();
+    for (const cp of chain) {
+      for (const key of Object.keys(cp.variables)) {
+        this.vm.setVar(key, cp.variables[key]);
+      }
+      for (const key of Object.keys(cp.functions)) {
+        const fn = cp.functions[key];
+        this.vm.defineUserFunction(fn.name, fn.params, fn.program);
+      }
+    }
+  }
+  // ── Queries ──────────────────────────────────────────────────────
+  /**
+   * Find the nearest checkpoint at or before the given line number.
+   *
+   * Uses linear scan (checkpoints are sorted by lineNumber and the list
+   * is short, typically < 20 for Obsidian documents). Can be upgraded
+   * to binary search if needed for documents with 1000+ variable defs.
+   *
+   * @returns The nearest checkpoint, or null if none exists before the line.
+   */
+  getNearestCheckpoint(lineNumber) {
+    let result = null;
+    for (const cp of this.checkpoints) {
+      if (cp.lineNumber <= lineNumber) {
+        result = cp;
+      } else {
+        break;
+      }
+    }
+    return result;
+  }
+  /**
+   * Get a specific checkpoint by its line number.
+   * @returns The checkpoint, or undefined if not found.
+   */
+  getCheckpointAt(lineNumber) {
+    return this.checkpoints.find((cp) => cp.lineNumber === lineNumber);
+  }
+  /**
+   * Get the entire checkpoint chain from root to the last checkpoint.
+   * Useful for debugging and serialization.
+   */
+  getAllCheckpoints() {
+    return this.checkpoints;
+  }
+  /**
+   * Look up a variable's value through the checkpoint chain.
+   *
+   * Walks the prototype chain starting from the most recent checkpoint,
+   * looking for the variable name as an own property. This is O(depth)
+   * where depth is the number of checkpoints since the variable was
+   * last set.
+   *
+   * **Note:** This queries the checkpointer's snapshot, not the VM.
+   * The VM may have been modified since the last snapshot (e.g., by
+   * Tier 2 execution of non-variable-def lines that don't create checkpoints).
+   *
+   * @returns The Value, or undefined if the variable was never set.
+   */
+  lookupVariable(name) {
+    if (this.checkpoints.length === 0) return void 0;
+    const latest = this.checkpoints[this.checkpoints.length - 1];
+    let scope = latest.variables;
+    while (scope) {
+      if (Object.prototype.hasOwnProperty.call(scope, name)) {
+        return scope[name];
+      }
+      scope = Object.getPrototypeOf(scope);
+    }
+    return void 0;
+  }
+  // ── Lifecycle ────────────────────────────────────────────────────
+  /**
+   * Clear all checkpoints. The underlying VM is NOT reset, call
+   * `vm.reset()` separately if needed.
+   */
+  clear() {
+    this.checkpoints = [];
+  }
+  /** Number of checkpoints stored. */
+  get count() {
+    return this.checkpoints.length;
+  }
+  /** Returns true if no checkpoints have been created. */
+  get isEmpty() {
+    return this.checkpoints.length === 0;
+  }
+  /** The associated VM instance. */
+  get vmInstance() {
+    return this.vm;
+  }
+};
+
+export { VMCheckpointer };
+//# sourceMappingURL=vm.js.map
+//# sourceMappingURL=vm.js.map

package/dist/vm.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/vm/VMCheckpoints.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;AAuFO,IAAM,iBAAN,MAAqB;AAAA,EAM3B,YAAY,EAAA,EAAQ;AAJpB;AAAA,IAAA,IAAA,CAAQ,cAA8B,EAAC;AAKtC,IAAA,IAAA,CAAK,EAAA,GAAK,EAAA;AAAA,EACX;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAiBA,QAAA,CACC,UAAA,EACA,MAAA,EACA,aAAA,EACsB;AACtB,IAAA,IAAI,aAAA,CAAc,MAAA,KAAW,CAAA,EAAG,OAAO,IAAA;AAEvC,IAAA,MAAM,MAAA,GACL,IAAA,CAAK,WAAA,CAAY,MAAA,GAAS,CAAA,GACvB,IAAA,CAAK,WAAA,CAAY,IAAA,CAAK,WAAA,CAAY,MAAA,GAAS,CAAC,CAAA,GAC5C,IAAA;AAGJ,IAAA,MAAM,YAAmC,MAAA,CAAO,MAAA;AAAA,MAC/C,QAAQ,SAAA,IAAa;AAAA,KACtB;AACA,IAAA,MAAM,YAA6C,MAAA,CAAO,MAAA;AAAA,MACzD,QAAQ,SAAA,IAAa;AAAA,KACtB;AAMA,IAAA,KAAA,MAAW,QAAQ,aAAA,EAAe;AACjC,MAAA,IAAI,IAAA,CAAK,EAAA,CAAG,eAAA,CAAgB,IAAI,CAAA,EAAG;AAClC,QAAA,MAAM,EAAA,GAAK,IAAA,CAAK,EAAA,CAAG,eAAA,CAAgB,IAAI,CAAA;AACvC,QAAA,IAAI,EAAA,EAAI,SAAA,CAAU,IAAI,CAAA,GAAI,EAAA;AAC1B,QAAA;AAAA,MACD;AACA,MAAA,MAAM,GAAA,GAAM,IAAA,CAAK,EAAA,CAAG,MAAA,CAAO,IAAI,CAAA;AAC/B,MAAA,IAAI,QAAQ,MAAA,EAAW;AACtB,QAAA,SAAA,CAAU,IAAI,CAAA,GAAI,GAAA;AAAA,MACnB;AAAA,IACD;AAEA,IAAA,MAAM,UAAA,GAA2B;AAAA,MAChC,UAAA;AAAA,MACA,MAAA;AAAA,MACA,SAAA;AAAA,MACA,SAAA;AAAA,MACA;AAAA,KACD;AACA,IAAA,IAAA,CAAK,WAAA,CAAY,KAAK,UAAU,CAAA;AAChC,IAAA,OAAO,UAAA;AAAA,EACR;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAuBA,UAAU,UAAA,EAA0B;AACnC,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,oBAAA,CAAqB,UAAU,CAAA;AACnD,IAAA,IAAI,CAAC,MAAA,EAAQ;AACZ,MAAA,IAAA,CAAK,GAAG,KAAA,EAAM;AACd,MAAA;AAAA,IACD;AAIA,IAAA,MAAM,QAAwB,EAAC;AAC/B,IAAA,IAAI,OAAA,GAA+B,MAAA;AACnC,IAAA,OAAO,OAAA,EAAS;AACf,MAAA,KAAA,CAAM,QAAQ,OAAO,CAAA;AACrB,MAAA,OAAA,GAAU,OAAA,CAAQ,MAAA;AAAA,IACnB;AAEA,IAAA,IAAA,CAAK,GAAG,KAAA,EAAM;AACd,IAAA,KAAA,MAAW,MAAM,KAAA,EAAO;AAKvB,MAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,EAAA,CAAG,SAAS,CAAA,EAAG;AAC5C,QAAA,IAAA,CAAK,GAAG,MAAA,CAAO,GAAA,EAAK,EAAA,CAAG,SAAA,CAAU,GAAG,CAAC,CAAA;AAAA,MACtC;AAIA,MAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,EAAA,CAAG,SAAS,CAAA,EAAG;AAC5C,QAAA,MAAM,EAAA,GAAK,EAAA,CAAG,SAAA,CAAU,GAAG,CAAA;AAC3B,QAAA,IAAA,CAAK,GAAG,kBAAA,CAAmB,EAAA,CAAG,MAAM,EAAA,CAAG,MAAA,EAAQ,GAAG,OAAO,CAAA;AAAA,MAC1D;AAAA,IACD;AAAA,EACD;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAaA,qBAAqB,UAAA,EAAyC;AAC7D,IAAA,IAAI,MAAA,GAA8B,IAAA;AAClC,IAAA,KAAA,MAAW,EAAA,IAAM,KAAK,WAAA,EAAa;AAClC,MAAA,IAAI,EAAA,CAAG,cAAc,UAAA,EAAY;AAChC,QAAA,MAAA,GAAS,EAAA;AAAA,MACV,CAAA,MAAO;AACN,QAAA;AAAA,MACD;AAAA,IACD;AACA,IAAA,OAAO,MAAA;AAAA,EACR;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,gBAAgB,UAAA,EAA8C;AAC7D,IAAA,OAAO,KAAK,WAAA,CAAY,IAAA,CAAK,CAAC,EAAA,KAAO,EAAA,CAAG,eAAe,UAAU,CAAA;AAAA,EAClE;AAAA;AAAA;AAAA;AAAA;AAAA,EAMA,iBAAA,GAA6C;AAC5C,IAAA,OAAO,IAAA,CAAK,WAAA;AAAA,EACb;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAgBA,eAAe,IAAA,EAAiC;AAC/C,IAAA,IAAI,IAAA,CAAK,WAAA,CAAY,MAAA,KAAW,CAAA,EAAG,OAAO,MAAA;AAE1C,IAAA,MAAM,SAAS,IAAA,CAAK,WAAA,CAAY,IAAA,CAAK,WAAA,CAAY,SAAS,CAAC,CAAA;AAC3D,IAAA,IAAI,QAAsC,MAAA,CAAO,SAAA;AACjD,IAAA,OAAO,KAAA,EAAO;AACb,MAAA,IAAI,OAAO,SAAA,CAAU,cAAA,CAAe,IAAA,CAAK,KAAA,EAAO,IAAI,CAAA,EAAG;AACtD,QAAA,OAAO,MAAM,IAAI,CAAA;AAAA,MAClB;AACA,MAAA,KAAA,GAAQ,MAAA,CAAO,eAAe,KAAK,CAAA;AAAA,IACpC;AACA,IAAA,OAAO,MAAA;AAAA,EACR;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,KAAA,GAAc;AACb,IAAA,IAAA,CAAK,cAAc,EAAC;AAAA,EACrB;AAAA;AAAA,EAGA,IAAI,KAAA,GAAgB;AACnB,IAAA,OAAO,KAAK,WAAA,CAAY,MAAA;AAAA,EACzB;AAAA;AAAA,EAGA,IAAI,OAAA,GAAmB;AACtB,IAAA,OAAO,IAAA,CAAK,YAAY,MAAA,KAAW,CAAA;AAAA,EACpC;AAAA;AAAA,EAGA,IAAI,UAAA,GAAiB;AACpB,IAAA,OAAO,IAAA,CAAK,EAAA;AAAA,EACb;AACD","file":"vm.js","sourcesContent":["import { Value } from \"@solve-js/vm/Value\";\nimport type { VM } from \"@solve-js/vm/OpRegistry\";\nimport type { UserFunctionDef } from \"@solve-js/parser/BytecodeBuilder\";\n\n// ── VMCheckpoint ────────────────────────────────────────────────────────\n\n/**\n * A point-in-time snapshot of VM variable state.\n *\n * Uses **prototypal inheritance** for memory efficiency: each checkpoint's\n * `variables` object has its parent checkpoint's `variables` as its\n * `__proto__`. This means a `getVar(\"x\")` lookup walks the prototype chain\n * until it finds `x`, and only variables that CHANGED at this checkpoint\n * consume heap space. Unchanged variables are inherited from the parent.\n *\n * ```text\n * Checkpoint 0 (root):  {}                        // empty scope\n * Checkpoint 1 (:x=5):  { x: 5 }    __proto__ → 0\n * Checkpoint 2 (:y=8):  { y: 8 }    __proto__ → 1\n * Checkpoint 3 (:x=3):  { x: 3 }    __proto__ → 2   // shadows x=5\n * ```\n *\n * To look up `x` at checkpoint 3: find own `x=3` → done.\n * To look up `y` at checkpoint 3: not own → walk proto to checkpoint 2 → `y=8`.\n * To look up `z` at checkpoint 3: not found anywhere → undefined.\n *\n * **Memory:** O(number of variable definitions) heap, independent of\n * document length. Typical Obsidian documents have < 100 variable defs,\n * so total checkpoint heap is < 10 KB.\n */\nexport interface VMCheckpoint {\n\t/** 1-based line number where this checkpoint was created. */\n\tlineNumber: number;\n\t/** Persistent line ID from DocumentModel. */\n\tlineId: number;\n\t/**\n\t * Variable name → Value at this checkpoint.\n\t * Own properties are variables set/updated at this line.\n\t * The prototype chain provides inherited variables from parent checkpoints.\n\t */\n\tvariables: Record<string, Value>;\n\t/**\n\t * User-defined-function name → definition at this checkpoint. SEPARATE\n\t * from `variables` above (not prototypally chained the same way\n\t * `restoreTo()` replays every checkpoint in the chain in order, so a\n\t * later redefinition of the same function name naturally overwrites an\n\t * earlier one during replay, without needing its own prototype walk).\n\t *\n\t * Without this field, a function definition's checkpoint entry would be\n\t * SILENTLY LOST: `snapshot()` used to call `vm.getVar(name)` for every\n\t * written name, which returns `undefined` for a function name (function\n\t * defs live in `vm.userFunctions`, not the flat variable store), and a\n\t * `val !== undefined` guard silently skipped it. A scroll-triggered\n\t * `restoreTo()` would then reset the VM and replay only `variables`,\n\t * making a function defined above the new viewport vanish (calling it\n\t * would throw `UNDEFINED_FUNCTION`) even though the document still\n\t * shows its definition line as clean/cached.\n\t */\n\tfunctions: Record<string, UserFunctionDef>;\n\t/** Parent checkpoint (closer to document start), or null for root. */\n\tparent: VMCheckpoint | null;\n}\n\n// ── VMCheckpointer ──────────────────────────────────────────────────────\n\n/**\n * Manages VM state checkpoints for the three-tier evaluation strategy.\n *\n * **Checkpoint creation:** After a variable-definition line executes\n * (Tier 1 or Tier 3), `snapshot()` records the current values of the\n * written variables. The checkpoint is linked via prototypal inheritance\n * to the previous checkpoint, so only changed variables consume memory.\n *\n * **Checkpoint restoration:** Before evaluating a viewport whose start line\n * is not line 1, `restoreTo(lineNumber)` resets the VM and replays all\n * variable definitions up to and including that line. This avoids\n * re-evaluating the entire document from line 1 on every scroll.\n *\n * **Thread safety:** Checkpoints are created synchronously on the main\n * thread during evaluation. They are immutable after creation (Value is\n * an immutable type), so no synchronization is needed.\n *\n * **Integration with Phase 5.2e:** `setViewport()` will use `getNearestCheckpoint()`\n * to find the checkpoint just before the new viewport start, then call\n * `restoreTo()` to set up the VM before evaluating only the visible lines.\n * This is the key to O(visible lines) scrolling instead of O(document).\n */\nexport class VMCheckpointer {\n\t/** Ordered array of checkpoints (ascending lineNumber). */\n\tprivate checkpoints: VMCheckpoint[] = [];\n\t/** The VM instance whose variables are snapshotted/restored. */\n\tprivate vm: VM;\n\n\tconstructor(vm: VM) {\n\t\tthis.vm = vm;\n\t}\n\n\t// ── Snapshot ─────────────────────────────────────────────────────\n\n\t/**\n\t * Create a checkpoint at the current line, recording the VM values of\n\t * the specified variables.\n\t *\n\t * Uses prototypal inheritance: `Object.create(parent.variables)` so\n\t * that inherited variable lookups fall through to previous checkpoints\n\t * without copying all variables into each checkpoint.\n\t *\n\t * @param lineNumber 1-based line position.\n\t * @param lineId Persistent line ID from DocumentModel.\n\t * @param variableNames Names of variables that were written at this line.\n\t * @returns The new checkpoint, or null if no variable names provided.\n\t */\n\tsnapshot(\n\t\tlineNumber: number,\n\t\tlineId: number,\n\t\tvariableNames: string[]\n\t): VMCheckpoint | null {\n\t\tif (variableNames.length === 0) return null;\n\n\t\tconst parent =\n\t\t\tthis.checkpoints.length > 0\n\t\t\t\t? this.checkpoints[this.checkpoints.length - 1]\n\t\t\t\t: null;\n\n\t\t// Create prototypal chain: new checkpoint inherits from parent\n\t\tconst variables: Record<string, Value> = Object.create(\n\t\t\tparent?.variables ?? null\n\t\t) as Record<string, Value>;\n\t\tconst functions: Record<string, UserFunctionDef> = Object.create(\n\t\t\tparent?.functions ?? null\n\t\t) as Record<string, UserFunctionDef>;\n\n\t\t// Record current VM values for the written names, routing each into\n\t\t// the right bag (a name is either a variable or a user-defined\n\t\t// function, never both; see VMCheckpoint.functions's doc comment for\n\t\t// why this dispatch is required, not optional).\n\t\tfor (const name of variableNames) {\n\t\t\tif (this.vm.hasUserFunction(name)) {\n\t\t\t\tconst fn = this.vm.getUserFunction(name);\n\t\t\t\tif (fn) functions[name] = fn;\n\t\t\t\tcontinue;\n\t\t\t}\n\t\t\tconst val = this.vm.getVar(name);\n\t\t\tif (val !== undefined) {\n\t\t\t\tvariables[name] = val;\n\t\t\t}\n\t\t}\n\n\t\tconst checkpoint: VMCheckpoint = {\n\t\t\tlineNumber,\n\t\t\tlineId,\n\t\t\tvariables,\n\t\t\tfunctions,\n\t\t\tparent,\n\t\t};\n\t\tthis.checkpoints.push(checkpoint);\n\t\treturn checkpoint;\n\t}\n\n\t// ── Restore ──────────────────────────────────────────────────────\n\n\t/**\n\t * Restore the VM to the state at or just after the given line number.\n\t *\n\t * Finds the nearest checkpoint whose `lineNumber <= targetLineNumber`,\n\t * then replays all variable definitions from root → that checkpoint\n\t * into the VM via `setVar()`. The VM's stack is also reset.\n\t *\n\t * If no checkpoint exists at or before the target line, the VM is\n\t * fully reset (empty scope, empty stack).\n\t *\n\t * **Performance:** O(number of checkpoints × variables per checkpoint).\n\t * With prototypal inheritance, `Object.keys()` on each checkpoint\n\t * returns only the variables that were set at that checkpoint (not\n\t * inherited ones), so the total work is O(total variable definitions\n\t * in the document), which is < 100 for typical Obsidian documents.\n\t *\n\t * @param lineNumber Target 1-based line number. The VM will have the\n\t * state that existed AFTER evaluating lines up to `lineNumber`.\n\t */\n\trestoreTo(lineNumber: number): void {\n\t\tconst target = this.getNearestCheckpoint(lineNumber);\n\t\tif (!target) {\n\t\t\tthis.vm.reset();\n\t\t\treturn;\n\t\t}\n\n\t\t// Collect the checkpoint chain from root to target.\n\t\t// Walk parent links and reverse so root is first.\n\t\tconst chain: VMCheckpoint[] = [];\n\t\tlet current: VMCheckpoint | null = target;\n\t\twhile (current) {\n\t\t\tchain.unshift(current);\n\t\t\tcurrent = current.parent;\n\t\t}\n\n\t\tthis.vm.reset();\n\t\tfor (const cp of chain) {\n\t\t\t// Object.keys() returns only OWN enumerable properties\n\t\t\t// it does NOT include inherited properties from the prototype chain.\n\t\t\t// This means we only set variables that were defined/updated at this\n\t\t\t// specific checkpoint, not all variables from parent checkpoints.\n\t\t\tfor (const key of Object.keys(cp.variables)) {\n\t\t\t\tthis.vm.setVar(key, cp.variables[key]);\n\t\t\t}\n\t\t\t// Replay function definitions the same way, a later checkpoint's\n\t\t\t// redefinition of the same name naturally overwrites an earlier\n\t\t\t// one since the chain replays in root-to-target order.\n\t\t\tfor (const key of Object.keys(cp.functions)) {\n\t\t\t\tconst fn = cp.functions[key];\n\t\t\t\tthis.vm.defineUserFunction(fn.name, fn.params, fn.program);\n\t\t\t}\n\t\t}\n\t}\n\n\t// ── Queries ──────────────────────────────────────────────────────\n\n\t/**\n\t * Find the nearest checkpoint at or before the given line number.\n\t *\n\t * Uses linear scan (checkpoints are sorted by lineNumber and the list\n\t * is short, typically < 20 for Obsidian documents). Can be upgraded\n\t * to binary search if needed for documents with 1000+ variable defs.\n\t *\n\t * @returns The nearest checkpoint, or null if none exists before the line.\n\t */\n\tgetNearestCheckpoint(lineNumber: number): VMCheckpoint | null {\n\t\tlet result: VMCheckpoint | null = null;\n\t\tfor (const cp of this.checkpoints) {\n\t\t\tif (cp.lineNumber <= lineNumber) {\n\t\t\t\tresult = cp;\n\t\t\t} else {\n\t\t\t\tbreak; // checkpoints are sorted ascending\n\t\t\t}\n\t\t}\n\t\treturn result;\n\t}\n\n\t/**\n\t * Get a specific checkpoint by its line number.\n\t * @returns The checkpoint, or undefined if not found.\n\t */\n\tgetCheckpointAt(lineNumber: number): VMCheckpoint | undefined {\n\t\treturn this.checkpoints.find((cp) => cp.lineNumber === lineNumber);\n\t}\n\n\t/**\n\t * Get the entire checkpoint chain from root to the last checkpoint.\n\t * Useful for debugging and serialization.\n\t */\n\tgetAllCheckpoints(): readonly VMCheckpoint[] {\n\t\treturn this.checkpoints;\n\t}\n\n\t/**\n\t * Look up a variable's value through the checkpoint chain.\n\t *\n\t * Walks the prototype chain starting from the most recent checkpoint,\n\t * looking for the variable name as an own property. This is O(depth)\n\t * where depth is the number of checkpoints since the variable was\n\t * last set.\n\t *\n\t * **Note:** This queries the checkpointer's snapshot, not the VM.\n\t * The VM may have been modified since the last snapshot (e.g., by\n\t * Tier 2 execution of non-variable-def lines that don't create checkpoints).\n\t *\n\t * @returns The Value, or undefined if the variable was never set.\n\t */\n\tlookupVariable(name: string): Value | undefined {\n\t\tif (this.checkpoints.length === 0) return undefined;\n\n\t\tconst latest = this.checkpoints[this.checkpoints.length - 1];\n\t\tlet scope: Record<string, Value> | null = latest.variables;\n\t\twhile (scope) {\n\t\t\tif (Object.prototype.hasOwnProperty.call(scope, name)) {\n\t\t\t\treturn scope[name];\n\t\t\t}\n\t\t\tscope = Object.getPrototypeOf(scope) as Record<string, Value> | null;\n\t\t}\n\t\treturn undefined;\n\t}\n\n\t// ── Lifecycle ────────────────────────────────────────────────────\n\n\t/**\n\t * Clear all checkpoints. The underlying VM is NOT reset, call\n\t * `vm.reset()` separately if needed.\n\t */\n\tclear(): void {\n\t\tthis.checkpoints = [];\n\t}\n\n\t/** Number of checkpoints stored. */\n\tget count(): number {\n\t\treturn this.checkpoints.length;\n\t}\n\n\t/** Returns true if no checkpoints have been created. */\n\tget isEmpty(): boolean {\n\t\treturn this.checkpoints.length === 0;\n\t}\n\n\t/** The associated VM instance. */\n\tget vmInstance(): VM {\n\t\treturn this.vm;\n\t}\n}\n"]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "solve-engine",
-  "version": "1.0.0-beta.0",
+  "version": "1.0.0-beta.2",
   "description": "The expression evaluation engine behind Solve — lexer, parser, bytecode VM, and an extensible package system.",
   "keywords": [
     "expression-evaluator",
@@ -201,15 +201,14 @@
   },
   "scripts": {
     "build": "tsup",
+    "prepublishOnly": "npm run build && node ../../scripts/assert-publishable.mjs .",
     "dev": "tsup --watch",
     "test": "jest --config jest.config.cjs --no-coverage",
     "typecheck": "tsgo --noEmit --skipLibCheck",
     "typecheck:tsc": "tsc --noEmit --skipLibCheck"
   },
   "dependencies": {
-    "@tanstack/query-core": "^5.100.10",
-    "semver": "^7.6.0",
-    "tslib": "^2.6.1"
+    "@tanstack/query-core": "^5.100.10"
   },
   "devDependencies": {
     "@jest/globals": "^30.4.1",
@@ -217,6 +216,7 @@
     "@types/semver": "^7.5.0",
     "convert": "^7.0.0",
     "jest": "^30.4.2",
+    "semver": "^7.6.0",
     "ts-jest": "^29.4.12",
     "tsup": "8.5.1",
     "typescript": "5.9.3"