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

package/dist/utilities.d.ts

@@ -0,0 +1,113 @@
+/**
+ * Fast, non-cryptographic string hashing utilities.
+ *
+ * djb2 is chosen for its speed, simplicity, and excellent distribution
+ * for short strings (typical line lengths in markdown documents).
+ * It produces a 32-bit unsigned integer hash.
+ */
+/**
+ * djb2 string hash, fast, simple, good distribution.
+ * Used for O(1) line text change detection in DocumentModel.
+ */
+declare function djb2Hash(str: string): number;
+
+/**
+ * Format `number` for display, branching on whether it's a whole number:
+ * integers are always rendered with zero decimal places (never padded to
+ * `decimalPlaces`), while non-integers are rendered with up to
+ * `decimalPlaces` fractional digits. `includeThousandSeparators` controls
+ * whether groups are separated (e.g. `"1,234"`) per `numberLocale`.
+ *
+ * @param number - The value to format.
+ * @param decimalPlaces - Max fractional digits for non-integer values (default 2).
+ * @param includeThousandSeparators - Whether to group digits (default false).
+ * @param numberLocale - `Intl`/`toLocaleString` locale to format with (default "en-US").
+ */
+declare function autoFormatIntegerOrFloat(number: number, decimalPlaces?: number, includeThousandSeparators?: boolean, numberLocale?: string): string;
+
+/**
+ * Strips a single layer of matching double quotes from a string, if present.
+ * Returns the input unchanged if it isn't fully wrapped in quotes.
+ *
+ * Used for STRING token values, which the lexer emits with their surrounding
+ * `"..."` quotes still attached.
+ */
+declare function stripQuotes(value: string): string;
+
+/**
+ * Multiplex an optional caller AbortSignal with a hard timeout into a single
+ * AbortSignal suitable for fetch().
+ *
+ * Implemented manually rather than with AbortSignal.any()/AbortSignal.timeout()
+ * (Chrome 116+) to stay compatible with the TypeScript lib targets used by
+ * this project.
+ *
+ * Handles the already-aborted caller: addEventListener("abort", …) on a signal
+ * that has already fired never invokes the listener, so without the upfront
+ * `aborted` check the fetch would proceed even though the caller cancelled.
+ */
+declare function createTimeoutSignal(callerSignal: AbortSignal | undefined, timeoutMs: number, label: string): {
+    signal: AbortSignal;
+    cleanup: () => void;
+};
+
+/**
+ * Records abort-signal lifecycle for debugging cancellation.
+ *
+ * Keystroke cancellation is hard to reason about after the fact, because the
+ * evidence is gone by the time anything looks wrong. This keeps it.
+ */
+declare const abortLogger: {
+    /** Whether debug logging is currently active. */
+    readonly enabled: boolean;
+    /**
+     * Log creation of the keystroke-level AbortController.
+     * Called in the plugin constructor and on each new keystroke.
+     */
+    keystrokeCreated(): void;
+    /**
+     * Log abortion of the keystroke-level AbortController.
+     * @param reason Why the keystroke was aborted (e.g. "New keystroke",
+     *   "Document switch", "Plugin destroyed").
+     */
+    keystrokeAborted(reason: string): void;
+    /**
+     * Log creation of a local AbortController that is linked to the
+     * keystroke signal.
+     * @param source Which code path created the controller
+     *   (e.g. "executeAndStore", "executeRaw", "preflight", "vm").
+     */
+    localControllerCreated(source: string): void;
+    /**
+     * Log that a local AbortController was linked to the keystroke signal.
+     * When the keystroke signal is aborted, this local controller will
+     * be aborted automatically.
+     * @param source The code path that created the controller.
+     */
+    signalLinked(source: string): void;
+    /**
+     * Log that a local AbortController's listener was removed from the
+     * keystroke signal (cleanup).
+     * @param source The code path.
+     */
+    signalUnlinked(source: string): void;
+    /**
+     * Log that the keystroke signal was propagated INTO the engine.
+     * @param isAborted Whether the signal was already aborted when set.
+     */
+    keystrokeSignalSet(isAborted: boolean): void;
+    /**
+     * Log that the keystroke signal was CLEARED from the engine
+     * (typically in the evaluator's finally block).
+     */
+    keystrokeSignalCleared(): void;
+    /**
+     * Log that a stale async result was discarded because its signal
+     * was aborted.
+     * @param queryKey The cache key for the discarded result.
+     * @param context Additional context (e.g. "after await", "after error").
+     */
+    staleDataDiscarded(queryKey: string, context: string): void;
+};
+
+export { abortLogger, autoFormatIntegerOrFloat, createTimeoutSignal, djb2Hash, stripQuotes };

package/dist/utilities.js

@@ -0,0 +1,7 @@
+export { abortLogger, djb2Hash } from './chunk-IF532O7C.js';
+export { autoFormatIntegerOrFloat } from './chunk-DUEZFTK2.js';
+export { stripQuotes } from './chunk-PFSDGGYL.js';
+export { createTimeoutSignal } from './chunk-Z4X2RWOF.js';
+import './chunk-YLJ4XMA6.js';
+//# sourceMappingURL=utilities.js.map
+//# sourceMappingURL=utilities.js.map

package/dist/utilities.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"names":[],"mappings":"","file":"utilities.js"}

package/dist/variables.cjs

@@ -0,0 +1,17 @@
+'use strict';
+
+var chunkFEAIOR7N_cjs = require('./chunk-FEAIOR7N.cjs');
+require('./chunk-B7LXJ6LC.cjs');
+
+
+
+Object.defineProperty(exports, "VariableResolver", {
+  enumerable: true,
+  get: function () { return chunkFEAIOR7N_cjs.VariableResolver; }
+});
+Object.defineProperty(exports, "sharedVariableResolver", {
+  enumerable: true,
+  get: function () { return chunkFEAIOR7N_cjs.sharedVariableResolver; }
+});
+//# sourceMappingURL=variables.cjs.map
+//# sourceMappingURL=variables.cjs.map

package/dist/variables.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"names":[],"mappings":"","file":"variables.cjs"}

package/dist/variables.d.cts

@@ -0,0 +1,87 @@
+/**
+ * Interface for variable value providers.
+ *
+ * Implementations provide named variables to the {@link VariableResolver}.
+ * Each source has a priority, lower numbers are queried first.
+ *
+ * Sources can be backed by document variables, Obsidian frontmatter,
+ * plugin data, or any external data store.
+ */
+interface IVariableSource {
+    /** Human-readable name for this source (e.g., "Document Variables", "Frontmatter"). */
+    name: string;
+    /**
+     * Priority for resolution order. Lower numbers = higher priority.
+     * Sources with the same priority are queried in registration order.
+     */
+    priority: number;
+    /**
+     * Get a variable's value.
+     * @param name - The variable name to look up
+     * @returns The value, or undefined if not found in this source
+     */
+    get(name: string): Promise<number | string | undefined>;
+    /**
+     * Set a variable's value in this source.
+     * @param name - The variable name
+     * @param value - The value to set
+     */
+    set(name: string, value: number | string): Promise<void>;
+}
+
+/**
+ * Resolves variable names by querying registered {@link IVariableSource} instances
+ * in priority order. Supports caching for repeated lookups.
+ *
+ * Sources are sorted by priority (lowest first) on registration. When resolving
+ * a variable, sources are queried in order and the first non-undefined result wins.
+ */
+declare class VariableResolver {
+    private sources;
+    private cache;
+    private cacheEnabled;
+    /**
+     * Register a variable source with a given priority.
+     * Sources are sorted so lower-priority-number sources are queried first.
+     *
+     * @param source - The variable source to register
+     */
+    registerSource(source: IVariableSource): void;
+    /**
+     * Remove a previously registered variable source (identity match).
+     * The lookup cache is cleared because resolution results may change
+     * once the source no longer participates.
+     *
+     * @param source - The exact source instance passed to registerSource.
+     */
+    unregisterSource(source: IVariableSource): void;
+    /**
+     * Resolve a variable name to its value.
+     *
+     * Checks the cache first (if enabled), then queries registered sources
+     * in priority order. The first source returning a non-undefined value wins.
+     * Cached results are stored and returned on subsequent calls until invalidated.
+     *
+     * @param name - The variable name to resolve
+     * @returns The resolved value, or undefined if not found in any source
+     */
+    resolve(name: string): Promise<number | string | undefined>;
+    /**
+     * Set a variable value across all registered sources.
+     * Also updates the local cache so subsequent reads return the new value.
+     *
+     * @param name - The variable name
+     * @param value - The value to set
+     */
+    set(name: string, value: number | string): Promise<void>;
+    /** Invalidate a single variable in the cache, forcing re-resolution on next read. */
+    invalidate(name: string): void;
+    /** Invalidate all cached variable lookups. */
+    invalidateAll(): void;
+    /** Enable or disable the lookup cache. When disabled, every read queries sources directly. */
+    setCacheEnabled(enabled: boolean): void;
+}
+/** Shared singleton VariableResolver instance. */
+declare const sharedVariableResolver: VariableResolver;
+
+export { type IVariableSource, VariableResolver, sharedVariableResolver };

package/dist/variables.d.ts

@@ -0,0 +1,87 @@
+/**
+ * Interface for variable value providers.
+ *
+ * Implementations provide named variables to the {@link VariableResolver}.
+ * Each source has a priority, lower numbers are queried first.
+ *
+ * Sources can be backed by document variables, Obsidian frontmatter,
+ * plugin data, or any external data store.
+ */
+interface IVariableSource {
+    /** Human-readable name for this source (e.g., "Document Variables", "Frontmatter"). */
+    name: string;
+    /**
+     * Priority for resolution order. Lower numbers = higher priority.
+     * Sources with the same priority are queried in registration order.
+     */
+    priority: number;
+    /**
+     * Get a variable's value.
+     * @param name - The variable name to look up
+     * @returns The value, or undefined if not found in this source
+     */
+    get(name: string): Promise<number | string | undefined>;
+    /**
+     * Set a variable's value in this source.
+     * @param name - The variable name
+     * @param value - The value to set
+     */
+    set(name: string, value: number | string): Promise<void>;
+}
+
+/**
+ * Resolves variable names by querying registered {@link IVariableSource} instances
+ * in priority order. Supports caching for repeated lookups.
+ *
+ * Sources are sorted by priority (lowest first) on registration. When resolving
+ * a variable, sources are queried in order and the first non-undefined result wins.
+ */
+declare class VariableResolver {
+    private sources;
+    private cache;
+    private cacheEnabled;
+    /**
+     * Register a variable source with a given priority.
+     * Sources are sorted so lower-priority-number sources are queried first.
+     *
+     * @param source - The variable source to register
+     */
+    registerSource(source: IVariableSource): void;
+    /**
+     * Remove a previously registered variable source (identity match).
+     * The lookup cache is cleared because resolution results may change
+     * once the source no longer participates.
+     *
+     * @param source - The exact source instance passed to registerSource.
+     */
+    unregisterSource(source: IVariableSource): void;
+    /**
+     * Resolve a variable name to its value.
+     *
+     * Checks the cache first (if enabled), then queries registered sources
+     * in priority order. The first source returning a non-undefined value wins.
+     * Cached results are stored and returned on subsequent calls until invalidated.
+     *
+     * @param name - The variable name to resolve
+     * @returns The resolved value, or undefined if not found in any source
+     */
+    resolve(name: string): Promise<number | string | undefined>;
+    /**
+     * Set a variable value across all registered sources.
+     * Also updates the local cache so subsequent reads return the new value.
+     *
+     * @param name - The variable name
+     * @param value - The value to set
+     */
+    set(name: string, value: number | string): Promise<void>;
+    /** Invalidate a single variable in the cache, forcing re-resolution on next read. */
+    invalidate(name: string): void;
+    /** Invalidate all cached variable lookups. */
+    invalidateAll(): void;
+    /** Enable or disable the lookup cache. When disabled, every read queries sources directly. */
+    setCacheEnabled(enabled: boolean): void;
+}
+/** Shared singleton VariableResolver instance. */
+declare const sharedVariableResolver: VariableResolver;
+
+export { type IVariableSource, VariableResolver, sharedVariableResolver };

package/dist/variables.js

@@ -0,0 +1,4 @@
+export { VariableResolver, sharedVariableResolver } from './chunk-GCM5JHMX.js';
+import './chunk-YLJ4XMA6.js';
+//# sourceMappingURL=variables.js.map
+//# sourceMappingURL=variables.js.map

package/dist/variables.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"names":[],"mappings":"","file":"variables.js"}

package/dist/vm.cjs

@@ -0,0 +1,284 @@
+'use strict';
+
+var chunk6NTVRDQV_cjs = require('./chunk-6NTVRDQV.cjs');
+require('./chunk-47LRVGOT.cjs');
+var chunkJ73SJHR3_cjs = require('./chunk-J73SJHR3.cjs');
+require('./chunk-FEAIOR7N.cjs');
+require('./chunk-XJCMXB2E.cjs');
+require('./chunk-MZOVP3WI.cjs');
+require('./chunk-VEKIWQ3F.cjs');
+require('./chunk-HTXVVJRA.cjs');
+var chunkOC6LTXYS_cjs = require('./chunk-OC6LTXYS.cjs');
+require('./chunk-QNJ4ACRT.cjs');
+require('./chunk-53B6KDDJ.cjs');
+require('./chunk-M4N5GA5Z.cjs');
+require('./chunk-B7LXJ6LC.cjs');
+
+// 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;
+  }
+};
+
+Object.defineProperty(exports, "DependencyGraph", {
+  enumerable: true,
+  get: function () { return chunk6NTVRDQV_cjs.DependencyGraph; }
+});
+Object.defineProperty(exports, "ScopeManager", {
+  enumerable: true,
+  get: function () { return chunk6NTVRDQV_cjs.ScopeManager; }
+});
+Object.defineProperty(exports, "createVM", {
+  enumerable: true,
+  get: function () { return chunk6NTVRDQV_cjs.createVM; }
+});
+Object.defineProperty(exports, "executeBytecode", {
+  enumerable: true,
+  get: function () { return chunk6NTVRDQV_cjs.executeBytecode; }
+});
+Object.defineProperty(exports, "OpRegistry", {
+  enumerable: true,
+  get: function () { return chunkJ73SJHR3_cjs.OpRegistry; }
+});
+Object.defineProperty(exports, "allocatePluginFunctionIndex", {
+  enumerable: true,
+  get: function () { return chunkJ73SJHR3_cjs.allocatePluginFunctionIndex; }
+});
+Object.defineProperty(exports, "binaryOp", {
+  enumerable: true,
+  get: function () { return chunkJ73SJHR3_cjs.binaryOp; }
+});
+Object.defineProperty(exports, "builtinFunctions", {
+  enumerable: true,
+  get: function () { return chunkJ73SJHR3_cjs.builtinFunctions; }
+});
+Object.defineProperty(exports, "pluginFunctionRegistry", {
+  enumerable: true,
+  get: function () { return chunkJ73SJHR3_cjs.pluginFunctionRegistry; }
+});
+Object.defineProperty(exports, "sharedOpRegistry", {
+  enumerable: true,
+  get: function () { return chunkJ73SJHR3_cjs.sharedOpRegistry; }
+});
+Object.defineProperty(exports, "unifyUom", {
+  enumerable: true,
+  get: function () { return chunkJ73SJHR3_cjs.unifyUom; }
+});
+Object.defineProperty(exports, "Value", {
+  enumerable: true,
+  get: function () { return chunkOC6LTXYS_cjs.Value; }
+});
+Object.defineProperty(exports, "ValueType", {
+  enumerable: true,
+  get: function () { return chunkOC6LTXYS_cjs.ValueType; }
+});
+Object.defineProperty(exports, "bigIntValue", {
+  enumerable: true,
+  get: function () { return chunkOC6LTXYS_cjs.bigIntValue; }
+});
+Object.defineProperty(exports, "colVectorValue", {
+  enumerable: true,
+  get: function () { return chunkOC6LTXYS_cjs.colVectorValue; }
+});
+Object.defineProperty(exports, "hexValue", {
+  enumerable: true,
+  get: function () { return chunkOC6LTXYS_cjs.hexValue; }
+});
+Object.defineProperty(exports, "matrixValue", {
+  enumerable: true,
+  get: function () { return chunkOC6LTXYS_cjs.matrixValue; }
+});
+Object.defineProperty(exports, "numberValue", {
+  enumerable: true,
+  get: function () { return chunkOC6LTXYS_cjs.numberValue; }
+});
+Object.defineProperty(exports, "rangeValue", {
+  enumerable: true,
+  get: function () { return chunkOC6LTXYS_cjs.rangeValue; }
+});
+Object.defineProperty(exports, "rowVectorValue", {
+  enumerable: true,
+  get: function () { return chunkOC6LTXYS_cjs.rowVectorValue; }
+});
+Object.defineProperty(exports, "stringValue", {
+  enumerable: true,
+  get: function () { return chunkOC6LTXYS_cjs.stringValue; }
+});
+Object.defineProperty(exports, "uomValue", {
+  enumerable: true,
+  get: function () { return chunkOC6LTXYS_cjs.uomValue; }
+});
+exports.VMCheckpointer = VMCheckpointer;
+//# sourceMappingURL=vm.cjs.map
+//# sourceMappingURL=vm.cjs.map

package/dist/vm.cjs.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.cjs","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"]}