numbl 0.4.14 → 0.4.15

package/dist-browser/browser/protocol.d.ts

@@ -16,6 +16,13 @@ export interface BootMessage {
     optimization: "0" | "1";
     maxIterations: number;
     displayResults: boolean;
+    /**
+     * Shared cancellation flag (Int32[0] != 0 ⇒ cancel the running code). The
+     * worker keeps this reference and passes it to every executeCode call, so
+     * the host can interrupt a runaway run cooperatively. Only present when the
+     * page is cross-origin isolated (SharedArrayBuffer available).
+     */
+    cancelSAB?: SharedArrayBuffer;
 }
 export type ToWorker = BootMessage | {
     type: "writeFile";
@@ -51,6 +58,12 @@ export interface ExecuteResult {
     plotInstructions: PlotInstruction[];
     /** Formatted error message when `ok` is false. */
     error?: string;
+    /**
+     * True when the run ended because it was interrupted via
+     * `NumblSession.interrupt()` (rather than finishing or erroring). The
+     * workspace is left at its pre-run state, so variables survive the abort.
+     */
+    aborted?: boolean;
 }
 export type FromWorker = {
     type: "progress";

package/dist-browser/browser/session.d.ts

@@ -57,6 +57,20 @@ export interface NumblSession {
      * the callback returns; rejects if it errors (the session stays usable).
      */
     dispatchHtmlEvent(compId: string, name: string, data: unknown): Promise<void>;
+    /**
+     * Cooperatively interrupt the currently running `execute` (or boot script):
+     * sets a shared cancel flag the worker polls at loop iterations and function
+     * calls, so it throws and the pending `execute` resolves with
+     * `aborted: true`. The worker and the persistent workspace survive — only
+     * the running command is abandoned. No-op when `canInterrupt` is false.
+     */
+    interrupt(): void;
+    /**
+     * Whether `interrupt()` can actually stop a run. True only when the page is
+     * cross-origin isolated (SharedArrayBuffer available). When false, a runaway
+     * run can only be stopped by disposing the session.
+     */
+    readonly canInterrupt: boolean;
     /** Terminate the worker. The session is unusable afterwards. */
     dispose(): void;
 }