@genroc/eval-node 0.0.0-edge.00ee483

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -0,0 +1,337 @@
+# @genroc/eval-node
+
+Script tasks for Node. Two halves with different jobs:
+
+* **the bundler** (`genroc-import`) — an author-time resolver genctl runs on every apply and
+  every edit, turning `$import: ./x.ts` into a bundled, typechecked string
+* **the worker** (`genroc-eval-node`) — claims parked `external` script tasks off genroc's queue
+  and evaluates each in its own realm
+
+## Setting up a project
+
+    npm i -D @genroc/eval-node
+
+Then register the resolver in a `.genroc` beside your definitions — a dotfile, so it does not
+read as another process definition. Discovery walks up from the source file, so nothing depends
+on the cwd:
+
+    resolvers:
+      import:
+        phase: code
+        ext: .ts
+        command: [npx, genroc-import]
+
+`genctl apply` and `genctl types` now resolve `$import` directives. Typechecking is the
+resolver's exit code, so a stored definition cannot hold code that failed to typecheck.
+
+## Building
+
+    pnpm run build      # tsc -p tsconfig.build.json -> dist/
+
+The published package is JavaScript, not TypeScript. **Node refuses to strip types for files
+under `node_modules`**, so shipping `.ts` works from a checkout and fails for every consumer —
+which is why `prepublishOnly` builds and CI installs the packed tarball rather than only running
+from source. The source keeps its `.ts` import extensions; `rewriteRelativeImportExtensions`
+turns them into `.js` on the way out.
+
+## Running the worker
+
+    docker run -e GENROC_SERVER=http://host:8448 ghcr.io/genroc/eval-node:preview
+
+or locally, if you already have Node:
+
+    GENROC_SERVER=http://localhost:8448 npx genroc-eval-node
+
+Add `GENROC_TOKEN` once the server has auth on; `worker` is the only permission it needs.
+
+**The bundler cannot be the image.** It runs per edit and must resolve your project's own
+`node_modules`, so a container start per invocation would break the editor loop.
+
+Design record: [specs/external-task-queue.md](../specs/external-task-queue.md) for the queue,
+[specs/script-tasks.md](../specs/script-tasks.md) for the runtime.
+
+    GENROC_SERVER=http://localhost:8448 node eval-node/worker.ts
+
+Against a server started with `--auth token`, mint a scoped credential first:
+
+    TOKEN=$(genctl token create --perms worker --label evaluator -q)
+    GENROC_SERVER=http://localhost:8448 GENROC_TOKEN=$TOKEN node eval-node/worker.ts
+
+`worker` reaches the four queue verbs and `GET /api/objects/{ref}` — enough to claim, fetch an
+externalized input and answer, and nothing else. This is the credential most likely to end up on
+a machine you trust least, so it is worth scoping rather than reusing an admin token: a leaked
+one cannot read a definition, list an instance, or mint another token.
+
+A credential problem **exits the worker** rather than being retried. Polling through a 401 looks
+like a healthy worker that never picks anything up, which is the worst shape to debug.
+
+It needs **Node 24 or newer**: the sources are TypeScript and are run as-is, by Node's own
+type stripping.
+
+| env | default | |
+|---|---|---|
+| `GENROC_SERVER` | `http://localhost:8448` | where to claim from |
+| `GENROC_TOKEN` | *(none)* | credential, when the server runs with `--auth token`. Needs the **`worker`** permission and nothing more |
+| `WORKER_ID` | `evaluator-<pid>` | the claim holder; renewals are scoped to it |
+| `CONCURRENCY` | `4` | how many scripts run at once — **this worker's** decision |
+| `LEASE_MS` | `30000` | visibility timeout; renewed at a third of it while working |
+| `POLL_MS` | `250` | idle poll interval; a non-empty claim polls again immediately |
+| `PROCESS` / `TASK` | unset | claim only this process / task id |
+
+**The worker calls genroc, not the other way round.** That is the whole reason this is a
+queue worker rather than the HTTP sidecar it used to be:
+
+- **Concurrency is the worker's to set.** Under the old `fetch` shape genroc decided how many
+  scripts ran at once (`--max-concurrent`, default 200) and the evaluator accepted every one.
+  A backlog is now a queue, not 200 threads fighting over a core.
+- **No engine worker is held.** A `fetch` occupies one of genroc's advance slots for its whole
+  duration, so a slow evaluator starved unrelated tasks. An `external` task parks.
+- **The connection direction inverts.** `/eval` was unauthenticated arbitrary code execution
+  that genroc had to be able to reach. A worker only needs outbound access, so it can live
+  anywhere — behind NAT, in another trust zone.
+
+The cost of that inversion is that genroc cannot reach a running worker, so anything it needs
+to say has to ride the renewal the worker already makes. **Renewing is therefore mandatory,
+not an optimisation** — a worker that stops renewing is indistinguishable from one that died.
+The response answers per token:
+
+| list | what it means | what this worker does |
+|---|---|---|
+| `renewed` | still yours | carry on |
+| `lost` | already someone else's | stop; do **not** release — that would bump the new holder's claim |
+| `cancelled` | still yours, nobody wants it | abort the script and release the claim |
+
+`cancelled` is how an operator's `genctl cancel` reaches work already running: the evaluation
+is aborted through an `AbortSignal`, its realm is terminated, and no outcome is submitted —
+the process is stopping, so there is nothing left to answer. `renew_before_ms` on the claim
+says how long the worker may wait before renewing again, so the interval is a value it reads
+rather than one it guesses.
+
+## The task input
+
+The `input` of the external task IS the evaluation request:
+
+```jsonc
+{
+  "code": "export default (input) => ({ fee: input.amount * 0.1 });",  // required — a module
+  "input": { "amount": 250 },                                         // optional — its argument
+  "timeout_ms": 5000                                                  // optional — default 5000
+}
+```
+
+`code` is an **ES module**, and the evaluator imports it and calls its **default export** with
+`input`. The value it returns reaches genroc; the function may be async, and so may the module's
+top level. A module exporting anything else — or nothing — is a `compile_error`: there is
+nothing to call, and so is one that will not parse; a throw from its top level is a `threw`
+like any other. `import` of a node builtin resolves as it does anywhere else, and that is what
+a bundled builtin lands on.
+
+## The answer — the failure kind IS the error code
+
+genroc's `on_error` matches error codes, and an external task's `raises` declares the closed
+set a worker may send. So the classification lives in the **code**, where a rule can match it,
+rather than in a body a `switch` has to read.
+
+| outcome | the worker submits | |
+|---|---|---|
+| the script returned | `result: <the return value>` | `return;` sends nothing, which genroc reads as `null` |
+| the script faulted | `error: {code, message, data}` | `code` is the kind, below |
+| the **evaluator** faulted | *nothing* — it releases the claim | the task returns to the queue for another worker |
+
+The five kinds, every one of them **permanent** — a retry re-runs the same code on the same
+input and fails identically:
+
+`compile_error` · `threw` · `timeout` · `nonserializable` · `exited`
+
+`data` carries `{name, stack?}`: `name` is what a script sets to tell one refusal from another
+(`e.name = 'LimitExceeded'`), and `stack` is renumbered to the lines the author wrote and
+trimmed to 2 KiB.
+
+**The retryable class has no code on purpose.** A runner that faults releases its claim, which
+is how a queue spells "try this somewhere else" — it puts the task in front of a different
+worker instead of spending the definition's `on_error` budget on this one's bad day. There is
+no retry policy to write.
+
+## The genroc side
+
+```yaml
+- id: price
+  action:
+    type: external
+    input:
+      code: |
+        export default function (input) {
+          if (input.amount > 100) {
+            const e = new Error('amount over the limit');
+            e.name = 'LimitExceeded';
+            throw e;
+          }
+          return { fee: input.amount * 0.1 };
+        }
+      input: "$: input"
+    result_schema: { type: object, properties: { fee: { type: number } }, required: [fee] }
+    raises:
+      threw:           { $ref: "#/$defs/script_error" }
+      timeout:         { $ref: "#/$defs/script_error" }
+      compile_error:   { $ref: "#/$defs/script_error" }
+      nonserializable: { $ref: "#/$defs/script_error" }
+      exited:          { $ref: "#/$defs/script_error" }
+  timeout: 30s
+  on_error:
+    - code: [threw]
+      goto: $script_failed
+    - code: [compile_error, nonserializable, exited]
+      panic: { code: script_broken, message: "the script did not run: ${error.code}" }
+  switch: [{ goto: end }]
+
+- id: script_failed
+  switch:
+    - case: 'last_error.data.name == "LimitExceeded"'
+      raise: { code: limit_exceeded, message: "the script rejected the amount" }
+    - raise: { code: script_failed, message: "the script failed" }
+```
+
+**A script cannot name a genroc error code.** `raise`/`panic` codes are literals, never
+expressions, so the mapping from a thrown error to an authored code is this `switch` — one
+task the definition owns, reading `error.data`. That is the whole error protocol: the worker
+classifies into a code, the definition names the outcome.
+
+Set the task `timeout` **above** `timeout_ms`. If the task's deadline fires first the code is
+`external.timeout`, which is in `errcode.Unknowable()` — permanently unretryable on an
+`only_once` task, and indistinguishable from no evaluator running at all.
+
+`only_once` is worth considering if your scripts have side effects: without it a worker that
+dies mid-script has its task re-claimed and the script runs again. With it the task is never
+handed out twice, and the instance gets a catchable `external.lost` instead.
+
+## `${` must be escaped as `$${` — when the code is inline
+
+An external task's `input` is a Shape, so `${…}` is genroc's interpolation marker and a JS
+template literal inside `code` is read by genroc rather than passed through. Write `` `<$${x}>` ``.
+A leading `$:` on the code string needs `$$:` for the same reason. See
+[specs/typed-values.md](../specs/typed-values.md). Moving the code into a `.ts` file
+removes this entirely — see the next section.
+
+## `import.ts` — the author-time half
+
+`import.ts` is the **code-phase resolver** genctl runs before a definition is applied. It
+never touches the queue and the worker never runs it; the two halves share this package only
+because they share a calling convention, which is exactly the coupling that breaks silently
+if they version apart.
+
+Register it in the project's `.genroc`:
+
+```yaml
+resolvers:
+  import: { phase: code, ext: .ts, command: [node, ../eval-node/import.ts] }
+```
+
+then write the script as a module and name it from the definition:
+
+```yaml
+body:
+  code: "$import: ./fee.ts"
+  input: "$: input"
+```
+
+```ts
+import type { Input, Output } from "./fee.genroc";
+
+export default async function (input: Input): Promise<Output> {
+  return { fee: input.amount * 0.1 };
+}
+```
+
+`genctl types -f process.yaml` writes `fee.genroc.d.ts` beside the script — named for the
+**script's path**, not the task, so renaming a task cannot break the import line. `Input` is
+the inferred type of what the definition passes; `Output` is what it declares
+(`responses.200`, or `result_schema` on a child). `genctl apply` regenerates them, runs
+`tsc --noEmit`, and bundles — so **a type error is a failed apply**, and a stored definition
+cannot hold code that failed to typecheck.
+
+The bundle is one self-contained ES module whose default export is the author's own — nothing
+wraps or rewrites it, so what the editor checks and what the realm runs are the same module, and
+**a missing default export is a failed apply** rather than a fault at run time. Imports resolve
+through TypeScript under the same config the check ran with, so a `paths` alias that typechecks
+also bundles. They are inlined at build time, so the string a definition version stores is
+self-contained forever — with one exception: **node builtins stay as imports**, which the realm
+resolves. A package is frozen into the definition; `node:fs` is resolved by whatever runner
+executes it.
+
+### Your tsconfig, your types
+
+The generated project config `extends` **the nearest `tsconfig.json` above the script** —
+the one your editor already reads, so the two cannot disagree. Two scripts under two
+different configs are two `tsc` runs.
+
+Of that config, three keys are the toolchain's and the rest are yours:
+
+| key | owner | why |
+|---|---|---|
+| `lib` | the toolchain | Describes the realm. A worker thread has no `document`, whatever a config claims. |
+| `include` | the toolchain | Forced to `[]`. A base `include` survives beside our `files` and would drag your whole tree in to be checked as scripts. |
+| `types` | **you** | How a script opts into the node globals. The realm has them, so refusing the declarations would only lie. With no tsconfig at all the default is `[]`. |
+
+```jsonc
+// tsconfig.json beside your scripts
+{ "compilerOptions": { "types": ["node"] } }  // now `import { appendFile } from "node:fs/promises"` typechecks
+```
+
+**This is what removes the `$${` escaping above** — a template literal in a `.ts` file is
+never read by genroc, because genctl doubles every `$` on splice.
+
+## The realm — one Worker per execution
+
+`evaluate()` starts a Worker (`realm.ts`), posts the code into it — where a module loader hook
+serves it to `import()`, so the engine numbers the script's frames from the author's own source —
+and races the reply against the budget; `terminate()` runs on every path. That thread is what the contract rests on, and it buys
+exactly three things the previous in-process evaluator could not:
+
+- **The budget is enforced, not merely reported.** A synchronous `while(true){}` never
+  yields, so no in-process timer can interrupt it — the old evaluator hung forever on that
+  input, and said so in this file. Killing the thread is the only bound. Measured on Node
+  24: `terminate()` stops a spinning worker, and the CPU it was burning goes with it.
+- **A fresh global object per execution.** One script cannot configure the next. It is also
+  why there is no compile cache any more: a cache inside a discarded realm can never be hit.
+- **The script's mistakes stay the script's.** An uncaught throw, and `process.exit()`, end
+  the realm and come back as a `422` — neither reaches the runner.
+
+It costs about **27ms per execution** end to end for a trivial script (Node 24, M-series
+laptop), a 200 KiB body about 30ms. Roughly 11ms of that is Node re-stripping `realm.ts`'s
+types on every realm — precompiling it to JavaScript measures 17ms and would buy that back, and
+is deliberately not done: a build artefact that goes stale against its source fails silently,
+and this file is the one where a wrong line number is invisible.
+
+A subprocess per execution measures ~55ms here, twice the thread rather than the ten times it
+cost on the previous runtime. It contains the two things a thread cannot (below), so the upgrade
+path is a live one at a price worth naming rather than a theoretical one.
+
+## What this is not
+
+- **Not deterministic.** A script reads the real clock and the real RNG, and a retry
+  re-executes — so attempt two can differ from attempt one. An earlier version injected a
+  pinned `Date` and a seeded `Math`; nothing could supply a stable `now` (the expression
+  environment has no clock), so the pin was the wall clock under another name, and the `ctx`
+  it needed was surface with nothing behind it. A value that must survive a retry belongs in
+  the definition, passed through `input`.
+- **Not a sandbox.** The realm isolates *execution*, not *authority*: a script gets the
+  worker's filesystem, network and environment, and any node builtin it imports. That is
+  deliberate — a script task is meant to do real work — but the trust boundary stays the
+  same-trust-domain one (your genroc, your worker host). It is not the multi-tenant story, and
+  nothing here should be mistaken for one. Pulling does move the boundary in one useful way:
+  the worker needs no inbound reachability, so nothing but the worker can ask it to run code.
+- **A thread does not contain memory or a native crash.** A worker shares the process
+  address space, so a script that exhausts memory takes the runner with it — and so does a
+  fault in the runtime itself, which is not hypothetical: the previous one segfaulted on
+  resume from laptop sleep, taking the in-flight evaluation with it. Containing that is what
+  the subprocess strategy is for — `eval.ts` keeps HTTP out precisely so it can be swapped
+  underneath.
+- **Concurrency is capped by this worker, not by genroc.** Each evaluation is a thread, and
+  `CONCURRENCY` is how many it will claim at once. Raising it past what the host can run turns
+  a queue back into threads fighting over a core.
+- **Not where imports and type checking happen.** The evaluator takes one self-contained
+  module and knows nothing about TypeScript; `import.ts` is what bundles an author's script and
+  its dependencies into that module, at author time. See above.
+- **`eval.ts` and `realm.ts` know nothing about genroc.** `worker.ts` is the entire
+  queue-facing half, which is what keeps the containment strategy swappable — and what lets
+  the realm's own properties be tested by calling `evaluate()` directly.

package/dist/eval.js

@@ -0,0 +1,85 @@
+// Evaluation core: import a script module in its OWN realm, call its default export, and
+// classify every outcome into one of the failure kinds in README.md. Nothing here knows about
+// genroc — worker.ts is the only thing that talks to the queue — so this stays testable and
+// the containment stays swappable.
+//
+// The containment is a Worker per execution (realm.ts). It is what makes the budget real:
+// a synchronous busy loop never yields, so no in-process timer can interrupt it, and only a
+// thread the host can kill bounds it.
+import { Worker } from "node:worker_threads";
+const DEFAULT_TIMEOUT_MS = 5_000;
+// Resolved from THIS file's own extension: run from a checkout it is `.ts`, and from the
+// published package `.js`, because Node will not strip types under node_modules.
+const REALM_URL = new URL(import.meta.url.endsWith(".ts") ? "./realm.ts" : "./realm.js", import.meta.url);
+/** Thrown, not returned: a realm that fails to start is the RUNNER faulting, which worker.ts
+ *  answers by releasing the claim rather than by reporting an outcome. A script fault is a
+ *  return value. */
+class RealmFault extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "RealmFault";
+    }
+}
+/** Thrown when `signal` aborts: the work was cancelled server-side, so there is no outcome to
+ *  report and worker.ts must release rather than answer. Distinct from RealmFault because the
+ *  runner did not fault -- nothing is wrong, the answer is simply no longer wanted. */
+export class Cancelled extends Error {
+    constructor() {
+        super("cancelled");
+        this.name = "Cancelled";
+    }
+}
+export async function evaluate(req, signal) {
+    const budget = typeof req.timeout_ms === "number" ? req.timeout_ms : DEFAULT_TIMEOUT_MS;
+    const worker = new Worker(REALM_URL);
+    let timer;
+    let onAbort;
+    try {
+        return await new Promise((resolve, reject) => {
+            timer = setTimeout(() => resolve(timedOut(budget)), budget);
+            // The abort is wired to the same promise as the budget, so both settle through the one
+            // finally below -- which is what guarantees the thread is gone before either returns.
+            if (signal) {
+                if (signal.aborted)
+                    reject(new Cancelled());
+                onAbort = () => reject(new Cancelled());
+                signal.addEventListener("abort", onAbort, { once: true });
+            }
+            worker.once("message", (reply) => resolve(reply));
+            // A script may end its own realm (`process.exit()`), which is not a throw and would
+            // otherwise present as a hang until the budget expired. Our own terminate() raises
+            // this too, by which time the promise has settled and the first result stands.
+            worker.once("exit", (code) => resolve(exited(code)));
+            worker.once("error", (err) => reject(new RealmFault(errorText(err))));
+            worker.postMessage({ code: req.code, input: req.input });
+        });
+    }
+    finally {
+        clearTimeout(timer);
+        if (signal && onAbort)
+            signal.removeEventListener("abort", onAbort);
+        // Awaited, and the whole point: on the timeout path a thread is still burning a core, and
+        // resolving before it is gone would report an evaluation the machine is still running.
+        await worker.terminate();
+    }
+}
+function timedOut(ms) {
+    return {
+        ok: false,
+        failure: { kind: "timeout", name: "TimeoutError", message: `script exceeded its ${ms}ms budget` },
+    };
+}
+function exited(code) {
+    return {
+        ok: false,
+        failure: {
+            kind: "exited",
+            name: "RealmExited",
+            message: `the script ended its own realm with code ${code} instead of returning`,
+        },
+    };
+}
+function errorText(e) {
+    const message = e?.message;
+    return typeof message === "string" && message !== "" ? message : "the evaluation realm failed to start";
+}