@pydantic/monty 0.0.7 → 0.0.8

package/README.md

@@ -30,7 +30,7 @@ const result = m.run({ inputs: { x: 10, y: 20 } }) // returns 30
 For synchronous external functions, pass them directly to `run()`:
 
 ```ts
-const m = new Monty('add(2, 3)', { externalFunctions: ['add'] })
+const m = new Monty('add(2, 3)')
 
 const result = m.run({
   externalFunctions: {
@@ -46,7 +46,6 @@ import { Monty, runMontyAsync } from '@pydantic/monty'
 
 const m = new Monty('fetch_data(url)', {
   inputs: ['url'],
-  externalFunctions: ['fetch_data'],
 })
 
 const result = await runMontyAsync(m, {
@@ -65,7 +64,7 @@ const result = await runMontyAsync(m, {
 For fine-grained control over external function calls, use `start()` and `resume()`:
 
 ```ts
-const m = new Monty('a() + b()', { externalFunctions: ['a', 'b'] })
+const m = new Monty('a() + b()')
 
 let progress = m.start()
 while (progress instanceof MontySnapshot) {
@@ -161,13 +160,11 @@ if (snapshot instanceof MontySnapshot) {
 - `Monty.load(data)` - Deserialize from binary format
 - `scriptName` - The script name (default: `'main.py'`)
 - `inputs` - Declared input variable names
-- `externalFunctions` - Declared external function names
 
 ### `MontyOptions`
 
 - `scriptName?: string` - Name used in tracebacks (default: `'main.py'`)
 - `inputs?: string[]` - Input variable names
-- `externalFunctions?: string[]` - External function names
 - `typeCheck?: boolean` - Enable type checking on construction
 - `typeCheckPrefixCode?: string` - Code to prepend for type checking
 

package/index.d.ts

@@ -32,20 +32,26 @@ export declare class Monty {
   /**
    * Executes the code and returns the result, or an exception object if execution fails.
    *
+   * If runtime `externalFunctions` are provided, the start/resume loop is used
+   * to dispatch external function calls and name lookups. Otherwise, code is
+   * executed directly.
+   *
    * @param options - Execution options (inputs, limits, externalFunctions)
    * @returns The result of the last expression, or a MontyException if execution fails
    */
   run(options?: RunOptions | undefined | null): JsMontyObject | MontyException
   /**
-   * Starts execution and returns either a snapshot (paused at external call), completion, or error.
+   * Starts execution and returns a snapshot (paused at external call or name lookup),
+   * completion, or error.
    *
    * This method enables iterative execution where code pauses at external function
-   * calls, allowing the host to provide return values or exceptions before resuming.
+   * calls or name lookups, allowing the host to provide return values before resuming.
    *
    * @param options - Execution options (inputs, limits)
-   * @returns MontySnapshot if paused, MontyComplete if done, or MontyException if failed
+   * @returns MontySnapshot if paused at function call, MontyNameLookup if paused at
+   *   name lookup, MontyComplete if done, or MontyException if failed
    */
-  start(options?: StartOptions | undefined | null): MontySnapshot | MontyComplete | MontyException
+  start(options?: StartOptions | undefined | null): MontySnapshot | MontyNameLookup | MontyComplete | MontyException
   /**
    * Serializes the Monty instance to a binary format.
    *
@@ -66,8 +72,6 @@ export declare class Monty {
   get scriptName(): string
   /** Returns the input variable names. */
   get inputs(): Array<string>
-  /** Returns the external function names. */
-  get externalFunctions(): Array<string>
   /** Returns a string representation of the Monty instance. */
   repr(): string
 }
@@ -122,25 +126,65 @@ export declare class MontyException {
 }
 export type JsMontyException = MontyException
 
+/**
+ * Represents paused execution waiting for a name to be resolved.
+ *
+ * The host should check if the variable name corresponds to a known value
+ * (e.g., an external function). Call `resume()` with the value to continue
+ * execution, or call `resume()` with no value to raise `NameError`.
+ */
+export declare class MontyNameLookup {
+  /** Returns the name of the script being executed. */
+  get scriptName(): string
+  /** Returns the name of the variable being looked up. */
+  get variableName(): string
+  /**
+   * Resumes execution after resolving the name lookup.
+   *
+   * If `value` is provided, the name resolves to that value and execution continues.
+   * If `value` is omitted or undefined, the VM raises a `NameError`.
+   *
+   * @param options - Optional object with `value` to resolve the name to
+   * @returns MontySnapshot if paused at function call, MontyNameLookup if paused at
+   *   another name lookup, MontyComplete if done, or MontyException if failed
+   */
+  resume(options?: NameLookupResumeOptions | undefined | null): MontySnapshot | Self | MontyComplete | MontyException
+  /**
+   * Serializes the MontyNameLookup to a binary format.
+   *
+   * The serialized data can be stored and later restored with `MontyNameLookup.load()`.
+   *
+   * @returns Buffer containing the serialized name lookup snapshot
+   */
+  dump(): Buffer
+  /**
+   * Deserializes a MontyNameLookup from binary format.
+   *
+   * @param data - The serialized data from `dump()`
+   * @param options - Optional load options
+   * @returns A new MontyNameLookup instance
+   */
+  static load(data: Buffer, options?: NameLookupLoadOptions | undefined | null): MontyNameLookup
+  /** Returns a string representation of the MontyNameLookup. */
+  repr(): string
+}
+
 /**
  * Stateful no-replay REPL session.
  *
- * Each call to `feed()` compiles and executes only the provided snippet against
- * existing session state.
+ * Create with `new MontyRepl()` then call `feed()` to execute snippets
+ * incrementally against persistent heap and namespace state.
  */
 export declare class MontyRepl {
   /**
-   * Creates a REPL session directly from source code.
+   * Creates an empty REPL session ready to receive snippets via `feed()`.
    *
-   * This mirrors `Monty.create(...)` for parsing/type-checking options, then
-   * initializes a stateful REPL that executes the initial module once.
+   * No code is parsed or executed at construction time — all execution
+   * is driven through `feed()`.
    *
-   * @param code - Python code to execute for REPL initialization
-   * @param options - Parser/type-checking configuration
-   * @param startOptions - Initial inputs and optional resource limits
-   * @returns MontyRepl on success, or error object on failure
+   * @param options - Optional configuration (scriptName, limits)
    */
-  static create(code: string, options?: MontyOptions | undefined | null, startOptions?: StartOptions | undefined | null): Self | MontyException | MontyTypingError
+  constructor(options?: MontyReplOptions | undefined | null)
   /** Returns the script name for this REPL session. */
   get scriptName(): string
   /** Executes one incremental snippet against persistent REPL state. */
@@ -174,9 +218,10 @@ export declare class MontySnapshot {
    * Exactly one of `returnValue` or `exception` must be provided.
    *
    * @param options - Object with either `returnValue` or `exception`
-   * @returns MontySnapshot if paused, MontyComplete if done, or MontyException if failed
+   * @returns MontySnapshot if paused at function call, MontyNameLookup if paused at
+   *   name lookup, MontyComplete if done, or MontyException if failed
    */
-  resume(options: ResumeOptions): Self | MontyComplete | MontyException
+  resume(options: ResumeOptions): Self | MontyNameLookup | MontyComplete | MontyException
   /**
    * Serializes the MontySnapshot to a binary format.
    *
@@ -279,14 +324,42 @@ export interface MontyOptions {
   scriptName?: string
   /** List of input variable names available in the code. */
   inputs?: Array<string>
-  /** List of external function names the code can call. */
-  externalFunctions?: Array<string>
   /** Whether to perform type checking on the code. Default: false */
   typeCheck?: boolean
   /** Optional code to prepend before type checking. */
   typeCheckPrefixCode?: string
 }
 
+/**
+ * Options for creating a new `MontyRepl` instance.
+ *
+ * Controls the script name shown in tracebacks and optional resource limits
+ * that apply to all subsequent `feed()` calls.
+ */
+export interface MontyReplOptions {
+  /** Name used in tracebacks and error messages. Default: 'main.py' */
+  scriptName?: string
+  /** Resource limits configuration applied to all snippet executions. */
+  limits?: ResourceLimits
+}
+
+/** Options for loading a serialized name lookup snapshot. */
+export interface NameLookupLoadOptions {
+  /** Optional print callback function. */
+  printCallback?: JsPrintCallback
+}
+
+/**
+ * Options for resuming execution from a name lookup.
+ *
+ * If `value` is provided, the name resolves to that value and execution continues.
+ * If `value` is omitted or undefined, the VM raises a `NameError`.
+ */
+export interface NameLookupResumeOptions {
+  /** The value to provide for the name. */
+  value?: unknown
+}
+
 /**
  * Resource limits configuration from JavaScript.
  *

package/index.js

@@ -81,8 +81,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-android-arm64')
         const bindingPackageVersion = require('@pydantic/monty-android-arm64/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -97,8 +97,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-android-arm-eabi')
         const bindingPackageVersion = require('@pydantic/monty-android-arm-eabi/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -118,8 +118,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-win32-x64-gnu')
         const bindingPackageVersion = require('@pydantic/monty-win32-x64-gnu/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -134,8 +134,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-win32-x64-msvc')
         const bindingPackageVersion = require('@pydantic/monty-win32-x64-msvc/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -151,8 +151,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-win32-ia32-msvc')
         const bindingPackageVersion = require('@pydantic/monty-win32-ia32-msvc/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -167,8 +167,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-win32-arm64-msvc')
         const bindingPackageVersion = require('@pydantic/monty-win32-arm64-msvc/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -186,8 +186,8 @@ function requireNative() {
     try {
       const binding = require('@pydantic/monty-darwin-universal')
       const bindingPackageVersion = require('@pydantic/monty-darwin-universal/package.json').version
-      if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-        throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+      if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+        throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
       }
       return binding
     } catch (e) {
@@ -202,8 +202,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-darwin-x64')
         const bindingPackageVersion = require('@pydantic/monty-darwin-x64/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -218,8 +218,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-darwin-arm64')
         const bindingPackageVersion = require('@pydantic/monty-darwin-arm64/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -238,8 +238,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-freebsd-x64')
         const bindingPackageVersion = require('@pydantic/monty-freebsd-x64/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -254,8 +254,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-freebsd-arm64')
         const bindingPackageVersion = require('@pydantic/monty-freebsd-arm64/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -275,8 +275,8 @@ function requireNative() {
         try {
           const binding = require('@pydantic/monty-linux-x64-musl')
           const bindingPackageVersion = require('@pydantic/monty-linux-x64-musl/package.json').version
-          if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-            throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+          if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+            throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
           }
           return binding
         } catch (e) {
@@ -291,8 +291,8 @@ function requireNative() {
         try {
           const binding = require('@pydantic/monty-linux-x64-gnu')
           const bindingPackageVersion = require('@pydantic/monty-linux-x64-gnu/package.json').version
-          if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-            throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+          if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+            throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
           }
           return binding
         } catch (e) {
@@ -309,8 +309,8 @@ function requireNative() {
         try {
           const binding = require('@pydantic/monty-linux-arm64-musl')
           const bindingPackageVersion = require('@pydantic/monty-linux-arm64-musl/package.json').version
-          if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-            throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+          if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+            throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
           }
           return binding
         } catch (e) {
@@ -325,8 +325,8 @@ function requireNative() {
         try {
           const binding = require('@pydantic/monty-linux-arm64-gnu')
           const bindingPackageVersion = require('@pydantic/monty-linux-arm64-gnu/package.json').version
-          if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-            throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+          if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+            throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
           }
           return binding
         } catch (e) {
@@ -343,8 +343,8 @@ function requireNative() {
         try {
           const binding = require('@pydantic/monty-linux-arm-musleabihf')
           const bindingPackageVersion = require('@pydantic/monty-linux-arm-musleabihf/package.json').version
-          if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-            throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+          if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+            throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
           }
           return binding
         } catch (e) {
@@ -359,8 +359,8 @@ function requireNative() {
         try {
           const binding = require('@pydantic/monty-linux-arm-gnueabihf')
           const bindingPackageVersion = require('@pydantic/monty-linux-arm-gnueabihf/package.json').version
-          if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-            throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+          if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+            throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
           }
           return binding
         } catch (e) {
@@ -377,8 +377,8 @@ function requireNative() {
         try {
           const binding = require('@pydantic/monty-linux-loong64-musl')
           const bindingPackageVersion = require('@pydantic/monty-linux-loong64-musl/package.json').version
-          if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-            throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+          if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+            throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
           }
           return binding
         } catch (e) {
@@ -393,8 +393,8 @@ function requireNative() {
         try {
           const binding = require('@pydantic/monty-linux-loong64-gnu')
           const bindingPackageVersion = require('@pydantic/monty-linux-loong64-gnu/package.json').version
-          if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-            throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+          if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+            throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
           }
           return binding
         } catch (e) {
@@ -411,8 +411,8 @@ function requireNative() {
         try {
           const binding = require('@pydantic/monty-linux-riscv64-musl')
           const bindingPackageVersion = require('@pydantic/monty-linux-riscv64-musl/package.json').version
-          if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-            throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+          if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+            throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
           }
           return binding
         } catch (e) {
@@ -427,8 +427,8 @@ function requireNative() {
         try {
           const binding = require('@pydantic/monty-linux-riscv64-gnu')
           const bindingPackageVersion = require('@pydantic/monty-linux-riscv64-gnu/package.json').version
-          if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-            throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+          if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+            throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
           }
           return binding
         } catch (e) {
@@ -444,8 +444,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-linux-ppc64-gnu')
         const bindingPackageVersion = require('@pydantic/monty-linux-ppc64-gnu/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -460,8 +460,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-linux-s390x-gnu')
         const bindingPackageVersion = require('@pydantic/monty-linux-s390x-gnu/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -480,8 +480,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-openharmony-arm64')
         const bindingPackageVersion = require('@pydantic/monty-openharmony-arm64/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -496,8 +496,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-openharmony-x64')
         const bindingPackageVersion = require('@pydantic/monty-openharmony-x64/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -512,8 +512,8 @@ function requireNative() {
       try {
         const binding = require('@pydantic/monty-openharmony-arm')
         const bindingPackageVersion = require('@pydantic/monty-openharmony-arm/package.json').version
-        if (bindingPackageVersion !== '0.0.7' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
-          throw new Error(`Native binding package version mismatch, expected 0.0.7 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
+        if (bindingPackageVersion !== '0.0.8' && process.env.NAPI_RS_ENFORCE_VERSION_CHECK && process.env.NAPI_RS_ENFORCE_VERSION_CHECK !== '0') {
+          throw new Error(`Native binding package version mismatch, expected 0.0.8 but got ${bindingPackageVersion}. You can reinstall dependencies to fix this issue.`)
         }
         return binding
       } catch (e) {
@@ -579,11 +579,12 @@ if (!nativeBinding) {
   throw new Error(`Failed to load native binding`)
 }
 
-const { Monty, MontyComplete, MontyException, JsMontyException, MontyRepl, MontySnapshot, MontyTypingError } = nativeBinding
+const { Monty, MontyComplete, MontyException, JsMontyException, MontyNameLookup, MontyRepl, MontySnapshot, MontyTypingError } = nativeBinding
 export { Monty }
 export { MontyComplete }
 export { MontyException }
 export { JsMontyException }
+export { MontyNameLookup }
 export { MontyRepl }
 export { MontySnapshot }
 export { MontyTypingError }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pydantic/monty",
-  "version": "0.0.7",
+  "version": "0.0.8",
   "type": "module",
   "description": "Sandboxed Python interpreter for JavaScript/TypeScript",
   "main": "wrapper.js",
@@ -98,11 +98,11 @@
     "arrowParens": "always"
   },
   "optionalDependencies": {
-    "@pydantic/monty-win32-x64-msvc": "0.0.7",
-    "@pydantic/monty-darwin-x64": "0.0.7",
-    "@pydantic/monty-linux-x64-gnu": "0.0.7",
-    "@pydantic/monty-darwin-arm64": "0.0.7",
-    "@pydantic/monty-linux-arm64-gnu": "0.0.7",
-    "@pydantic/monty-wasm32-wasi": "0.0.7"
+    "@pydantic/monty-win32-x64-msvc": "0.0.8",
+    "@pydantic/monty-darwin-x64": "0.0.8",
+    "@pydantic/monty-linux-x64-gnu": "0.0.8",
+    "@pydantic/monty-darwin-arm64": "0.0.8",
+    "@pydantic/monty-linux-arm64-gnu": "0.0.8",
+    "@pydantic/monty-wasm32-wasi": "0.0.8"
   }
 }

package/wrapper.d.ts

@@ -1,6 +1,6 @@
-import type { ExceptionInfo, ExceptionInput, Frame, JsMontyObject, MontyOptions, ResourceLimits, ResumeOptions, RunOptions, SnapshotLoadOptions, StartOptions } from './index.js';
-import { MontyRepl as NativeMontyRepl, MontySnapshot as NativeMontySnapshot, MontyComplete as NativeMontyComplete, MontyException as NativeMontyException, MontyTypingError as NativeMontyTypingError } from './index.js';
-export type { MontyOptions, RunOptions, ResourceLimits, Frame, ExceptionInfo, StartOptions, ResumeOptions, ExceptionInput, SnapshotLoadOptions, JsMontyObject, };
+import type { ExceptionInfo, ExceptionInput, Frame, JsMontyObject, MontyOptions, NameLookupLoadOptions, NameLookupResumeOptions, ResourceLimits, ResumeOptions, RunOptions, SnapshotLoadOptions, StartOptions } from './index.js';
+import { MontySnapshot as NativeMontySnapshot, MontyNameLookup as NativeMontyNameLookup, MontyComplete as NativeMontyComplete, MontyException as NativeMontyException, MontyTypingError as NativeMontyTypingError } from './index.js';
+export type { MontyOptions, RunOptions, ResourceLimits, Frame, ExceptionInfo, StartOptions, ResumeOptions, ExceptionInput, SnapshotLoadOptions, NameLookupResumeOptions, NameLookupLoadOptions, JsMontyObject, };
 /**
  * Alias for ResourceLimits (deprecated name).
  */
@@ -110,13 +110,14 @@ export declare class Monty {
      */
     run(options?: RunOptions): JsMontyObject;
     /**
-     * Starts execution and returns either a snapshot (paused at external call) or completion.
+     * Starts execution and returns a snapshot (paused at external call or name lookup) or completion.
      *
      * @param options - Execution options (inputs, limits)
-     * @returns MontySnapshot if an external function call is pending, MontyComplete if done
+     * @returns MontySnapshot if paused at function call, MontyNameLookup if paused at
+     *   name lookup, MontyComplete if done
      * @throws {MontyRuntimeError} If the code raises an exception
      */
-    start(options?: StartOptions): MontySnapshot | MontyComplete;
+    start(options?: StartOptions): MontySnapshot | MontyNameLookup | MontyComplete;
     /**
      * Serializes the Monty instance to a binary format.
      */
@@ -129,21 +130,30 @@ export declare class Monty {
     get scriptName(): string;
     /** Returns the input variable names. */
     get inputs(): string[];
-    /** Returns the external function names. */
-    get externalFunctions(): string[];
     /** Returns a string representation of the Monty instance. */
     repr(): string;
 }
+/** Options for creating a new MontyRepl instance. */
+export interface MontyReplOptions {
+    /** Name used in tracebacks and error messages. Default: 'main.py' */
+    scriptName?: string;
+    /** Resource limits applied to all snippet executions. */
+    limits?: ResourceLimits;
+}
 /**
  * Incremental no-replay REPL session.
+ *
+ * Create with `new MontyRepl()` then call `feed()` to execute snippets
+ * incrementally against persistent state.
  */
 export declare class MontyRepl {
     private _native;
     /**
-     * Creates a REPL session directly from source code.
+     * Creates an empty REPL session ready to receive snippets via `feed()`.
+     *
+     * @param options - Optional configuration (scriptName, limits)
      */
-    static create(code: string, options?: MontyOptions, startOptions?: StartOptions): MontyRepl;
-    constructor(nativeRepl: NativeMontyRepl);
+    constructor(options?: MontyReplOptions);
     /** Returns the script name for this REPL session. */
     get scriptName(): string;
     /**
@@ -182,10 +192,11 @@ export declare class MontySnapshot {
      * Resumes execution with either a return value or an exception.
      *
      * @param options - Object with either `returnValue` or `exception`
-     * @returns MontySnapshot if another external call is pending, MontyComplete if done
+     * @returns MontySnapshot if paused at function call, MontyNameLookup if paused at
+     *   name lookup, MontyComplete if done
      * @throws {MontyRuntimeError} If the code raises an exception
      */
-    resume(options: ResumeOptions): MontySnapshot | MontyComplete;
+    resume(options: ResumeOptions): MontySnapshot | MontyNameLookup | MontyComplete;
     /**
      * Serializes the MontySnapshot to a binary format.
      */
@@ -197,6 +208,43 @@ export declare class MontySnapshot {
     /** Returns a string representation of the MontySnapshot. */
     repr(): string;
 }
+/**
+ * Represents paused execution waiting for a name to be resolved.
+ *
+ * The host should check if the variable name corresponds to a known value
+ * (e.g., an external function). Call `resume()` with the value to continue
+ * execution, or call `resume()` with no value to raise `NameError`.
+ */
+export declare class MontyNameLookup {
+    private _native;
+    constructor(nativeNameLookup: NativeMontyNameLookup);
+    /** Returns the name of the script being executed. */
+    get scriptName(): string;
+    /** Returns the name of the variable being looked up. */
+    get variableName(): string;
+    /**
+     * Resumes execution after resolving the name lookup.
+     *
+     * If `value` is provided, the name resolves to that value and execution continues.
+     * If `value` is omitted/undefined, the VM raises a `NameError`.
+     *
+     * @param options - Optional object with `value` to resolve the name to
+     * @returns MontySnapshot if paused at function call, MontyNameLookup if paused at
+     *   another name lookup, MontyComplete if done
+     * @throws {MontyRuntimeError} If the code raises an exception
+     */
+    resume(options?: NameLookupResumeOptions): MontySnapshot | MontyNameLookup | MontyComplete;
+    /**
+     * Serializes the MontyNameLookup to a binary format.
+     */
+    dump(): Buffer;
+    /**
+     * Deserializes a MontyNameLookup from binary format.
+     */
+    static load(data: Buffer, options?: NameLookupLoadOptions): MontyNameLookup;
+    /** Returns a string representation of the MontyNameLookup. */
+    repr(): string;
+}
 /**
  * Represents completed execution with a final output value.
  */
@@ -218,6 +266,8 @@ export interface RunMontyAsyncOptions {
     externalFunctions?: Record<string, (...args: unknown[]) => unknown>;
     /** Resource limits. */
     limits?: ResourceLimits;
+    /** Callback invoked on each print() call. The first argument is the stream name (always "stdout"), the second is the printed text. */
+    printCallback?: (stream: string, text: string) => void;
 }
 /**
  * Runs a Monty script with async external function support.
@@ -235,7 +285,6 @@ export interface RunMontyAsyncOptions {
  * @example
  * const m = new Monty('result = await fetch_data(url)', {
  *   inputs: ['url'],
- *   externalFunctions: ['fetch_data']
  * });
  *
  * const result = await runMontyAsync(m, {

package/wrapper.js

@@ -1,6 +1,6 @@
 // Custom error classes that extend Error for proper JavaScript error handling.
 // These wrap the native Rust classes to provide instanceof support.
-import { Monty as NativeMonty, MontyRepl as NativeMontyRepl, MontySnapshot as NativeMontySnapshot, MontyComplete as NativeMontyComplete, MontyException as NativeMontyException, MontyTypingError as NativeMontyTypingError, } from './index.js';
+import { Monty as NativeMonty, MontyRepl as NativeMontyRepl, MontySnapshot as NativeMontySnapshot, MontyNameLookup as NativeMontyNameLookup, MontyComplete as NativeMontyComplete, MontyException as NativeMontyException, MontyTypingError as NativeMontyTypingError, } from './index.js';
 /**
  * Base class for all Monty interpreter errors.
  *
@@ -222,10 +222,11 @@ export class Monty {
         return result;
     }
     /**
-     * Starts execution and returns either a snapshot (paused at external call) or completion.
+     * Starts execution and returns a snapshot (paused at external call or name lookup) or completion.
      *
      * @param options - Execution options (inputs, limits)
-     * @returns MontySnapshot if an external function call is pending, MontyComplete if done
+     * @returns MontySnapshot if paused at function call, MontyNameLookup if paused at
+     *   name lookup, MontyComplete if done
      * @throws {MontyRuntimeError} If the code raises an exception
      */
     start(options) {
@@ -254,10 +255,6 @@ export class Monty {
     get inputs() {
         return this._native.inputs;
     }
-    /** Returns the external function names. */
-    get externalFunctions() {
-        return this._native.externalFunctions;
-    }
     /** Returns a string representation of the Monty instance. */
     repr() {
         return this._native.repr();
@@ -265,26 +262,18 @@ export class Monty {
 }
 /**
  * Incremental no-replay REPL session.
+ *
+ * Create with `new MontyRepl()` then call `feed()` to execute snippets
+ * incrementally against persistent state.
  */
 export class MontyRepl {
     /**
-     * Creates a REPL session directly from source code.
+     * Creates an empty REPL session ready to receive snippets via `feed()`.
+     *
+     * @param options - Optional configuration (scriptName, limits)
      */
-    static create(code, options, startOptions) {
-        const result = NativeMontyRepl.create(code, options, startOptions);
-        if (result instanceof NativeMontyException) {
-            if (result.exception.typeName === 'SyntaxError') {
-                throw new MontySyntaxError(result);
-            }
-            throw new MontyRuntimeError(result);
-        }
-        if (result instanceof NativeMontyTypingError) {
-            throw new MontyTypingError(result);
-        }
-        return new MontyRepl(result);
-    }
-    constructor(nativeRepl) {
-        this._native = nativeRepl;
+    constructor(options) {
+        this._native = new NativeMontyRepl(options);
     }
     /** Returns the script name for this REPL session. */
     get scriptName() {
@@ -310,7 +299,10 @@ export class MontyRepl {
     }
     /** Restores a REPL session from bytes. */
     static load(data) {
-        return new MontyRepl(NativeMontyRepl.load(data));
+        const native = NativeMontyRepl.load(data);
+        const repl = Object.create(MontyRepl.prototype);
+        repl._native = native;
+        return repl;
     }
     /** Returns a string representation of the REPL session. */
     repr() {
@@ -324,6 +316,11 @@ function wrapStartResult(result) {
     if (result instanceof NativeMontyException) {
         throw new MontyRuntimeError(result);
     }
+    // Check MontyNameLookup before MontySnapshot — napi `Either4` may cause
+    // false positives with `instanceof` if checked in the wrong order.
+    if (result instanceof NativeMontyNameLookup) {
+        return new MontyNameLookup(result);
+    }
     if (result instanceof NativeMontySnapshot) {
         return new MontySnapshot(result);
     }
@@ -362,7 +359,8 @@ export class MontySnapshot {
      * Resumes execution with either a return value or an exception.
      *
      * @param options - Object with either `returnValue` or `exception`
-     * @returns MontySnapshot if another external call is pending, MontyComplete if done
+     * @returns MontySnapshot if paused at function call, MontyNameLookup if paused at
+     *   name lookup, MontyComplete if done
      * @throws {MontyRuntimeError} If the code raises an exception
      */
     resume(options) {
@@ -387,6 +385,58 @@ export class MontySnapshot {
         return this._native.repr();
     }
 }
+/**
+ * Represents paused execution waiting for a name to be resolved.
+ *
+ * The host should check if the variable name corresponds to a known value
+ * (e.g., an external function). Call `resume()` with the value to continue
+ * execution, or call `resume()` with no value to raise `NameError`.
+ */
+export class MontyNameLookup {
+    constructor(nativeNameLookup) {
+        this._native = nativeNameLookup;
+    }
+    /** Returns the name of the script being executed. */
+    get scriptName() {
+        return this._native.scriptName;
+    }
+    /** Returns the name of the variable being looked up. */
+    get variableName() {
+        return this._native.variableName;
+    }
+    /**
+     * Resumes execution after resolving the name lookup.
+     *
+     * If `value` is provided, the name resolves to that value and execution continues.
+     * If `value` is omitted/undefined, the VM raises a `NameError`.
+     *
+     * @param options - Optional object with `value` to resolve the name to
+     * @returns MontySnapshot if paused at function call, MontyNameLookup if paused at
+     *   another name lookup, MontyComplete if done
+     * @throws {MontyRuntimeError} If the code raises an exception
+     */
+    resume(options) {
+        const result = this._native.resume(options);
+        return wrapStartResult(result);
+    }
+    /**
+     * Serializes the MontyNameLookup to a binary format.
+     */
+    dump() {
+        return this._native.dump();
+    }
+    /**
+     * Deserializes a MontyNameLookup from binary format.
+     */
+    static load(data, options) {
+        const nativeLookup = NativeMontyNameLookup.load(data, options);
+        return new MontyNameLookup(nativeLookup);
+    }
+    /** Returns a string representation of the MontyNameLookup. */
+    repr() {
+        return this._native.repr();
+    }
+}
 /**
  * Represents completed execution with a final output value.
  */
@@ -419,7 +469,6 @@ export class MontyComplete {
  * @example
  * const m = new Monty('result = await fetch_data(url)', {
  *   inputs: ['url'],
- *   externalFunctions: ['fetch_data']
  * });
  *
  * const result = await runMontyAsync(m, {
@@ -433,21 +482,38 @@ export class MontyComplete {
  * });
  */
 export async function runMontyAsync(montyRunner, options = {}) {
-    const { inputs, externalFunctions = {}, limits } = options;
+    const { inputs, externalFunctions = {}, limits, printCallback } = options;
     let progress = montyRunner.start({
         inputs,
         limits,
+        printCallback,
     });
-    while (progress instanceof MontySnapshot) {
+    while (!(progress instanceof MontyComplete)) {
+        if (progress instanceof MontyNameLookup) {
+            // Name lookup — check if the name is a known external function
+            const name = progress.variableName;
+            const extFunction = externalFunctions[name];
+            if (extFunction) {
+                // Resolve the name as a function value
+                progress = progress.resume({ value: extFunction });
+            }
+            else {
+                // Unknown name — resume with no value to raise NameError
+                progress = progress.resume();
+            }
+            continue;
+        }
+        // MontySnapshot — external function call
         const snapshot = progress;
         const funcName = snapshot.functionName;
         const extFunction = externalFunctions[funcName];
         if (!extFunction) {
-            // Function not found - resume with a KeyError exception
+            // Function not found — this shouldn't normally happen since NameLookup
+            // would have raised NameError, but handle it defensively
             progress = snapshot.resume({
                 exception: {
-                    type: 'KeyError',
-                    message: `"External function '${funcName}' not found"`,
+                    type: 'NameError',
+                    message: `name '${funcName}' is not defined`,
                 },
             });
             continue;