@genroc/eval-node 0.0.0-edge.51cbf37 → 0.0.0-edge.51f2744b

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/LICENSE ADDED
@@ -0,0 +1,202 @@
1
+
2
+ Apache License
3
+ Version 2.0, January 2004
4
+ http://www.apache.org/licenses/
5
+
6
+ TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
7
+
8
+ 1. Definitions.
9
+
10
+ "License" shall mean the terms and conditions for use, reproduction,
11
+ and distribution as defined by Sections 1 through 9 of this document.
12
+
13
+ "Licensor" shall mean the copyright owner or entity authorized by
14
+ the copyright owner that is granting the License.
15
+
16
+ "Legal Entity" shall mean the union of the acting entity and all
17
+ other entities that control, are controlled by, or are under common
18
+ control with that entity. For the purposes of this definition,
19
+ "control" means (i) the power, direct or indirect, to cause the
20
+ direction or management of such entity, whether by contract or
21
+ otherwise, or (ii) ownership of fifty percent (50%) or more of the
22
+ outstanding shares, or (iii) beneficial ownership of such entity.
23
+
24
+ "You" (or "Your") shall mean an individual or Legal Entity
25
+ exercising permissions granted by this License.
26
+
27
+ "Source" form shall mean the preferred form for making modifications,
28
+ including but not limited to software source code, documentation
29
+ source, and configuration files.
30
+
31
+ "Object" form shall mean any form resulting from mechanical
32
+ transformation or translation of a Source form, including but
33
+ not limited to compiled object code, generated documentation,
34
+ and conversions to other media types.
35
+
36
+ "Work" shall mean the work of authorship, whether in Source or
37
+ Object form, made available under the License, as indicated by a
38
+ copyright notice that is included in or attached to the work
39
+ (an example is provided in the Appendix below).
40
+
41
+ "Derivative Works" shall mean any work, whether in Source or Object
42
+ form, that is based on (or derived from) the Work and for which the
43
+ editorial revisions, annotations, elaborations, or other modifications
44
+ represent, as a whole, an original work of authorship. For the purposes
45
+ of this License, Derivative Works shall not include works that remain
46
+ separable from, or merely link (or bind by name) to the interfaces of,
47
+ the Work and Derivative Works thereof.
48
+
49
+ "Contribution" shall mean any work of authorship, including
50
+ the original version of the Work and any modifications or additions
51
+ to that Work or Derivative Works thereof, that is intentionally
52
+ submitted to Licensor for inclusion in the Work by the copyright owner
53
+ or by an individual or Legal Entity authorized to submit on behalf of
54
+ the copyright owner. For the purposes of this definition, "submitted"
55
+ means any form of electronic, verbal, or written communication sent
56
+ to the Licensor or its representatives, including but not limited to
57
+ communication on electronic mailing lists, source code control systems,
58
+ and issue tracking systems that are managed by, or on behalf of, the
59
+ Licensor for the purpose of discussing and improving the Work, but
60
+ excluding communication that is conspicuously marked or otherwise
61
+ designated in writing by the copyright owner as "Not a Contribution."
62
+
63
+ "Contributor" shall mean Licensor and any individual or Legal Entity
64
+ on behalf of whom a Contribution has been received by Licensor and
65
+ subsequently incorporated within the Work.
66
+
67
+ 2. Grant of Copyright License. Subject to the terms and conditions of
68
+ this License, each Contributor hereby grants to You a perpetual,
69
+ worldwide, non-exclusive, no-charge, royalty-free, irrevocable
70
+ copyright license to reproduce, prepare Derivative Works of,
71
+ publicly display, publicly perform, sublicense, and distribute the
72
+ Work and such Derivative Works in Source or Object form.
73
+
74
+ 3. Grant of Patent License. Subject to the terms and conditions of
75
+ this License, each Contributor hereby grants to You a perpetual,
76
+ worldwide, non-exclusive, no-charge, royalty-free, irrevocable
77
+ (except as stated in this section) patent license to make, have made,
78
+ use, offer to sell, sell, import, and otherwise transfer the Work,
79
+ where such license applies only to those patent claims licensable
80
+ by such Contributor that are necessarily infringed by their
81
+ Contribution(s) alone or by combination of their Contribution(s)
82
+ with the Work to which such Contribution(s) was submitted. If You
83
+ institute patent litigation against any entity (including a
84
+ cross-claim or counterclaim in a lawsuit) alleging that the Work
85
+ or a Contribution incorporated within the Work constitutes direct
86
+ or contributory patent infringement, then any patent licenses
87
+ granted to You under this License for that Work shall terminate
88
+ as of the date such litigation is filed.
89
+
90
+ 4. Redistribution. You may reproduce and distribute copies of the
91
+ Work or Derivative Works thereof in any medium, with or without
92
+ modifications, and in Source or Object form, provided that You
93
+ meet the following conditions:
94
+
95
+ (a) You must give any other recipients of the Work or
96
+ Derivative Works a copy of this License; and
97
+
98
+ (b) You must cause any modified files to carry prominent notices
99
+ stating that You changed the files; and
100
+
101
+ (c) You must retain, in the Source form of any Derivative Works
102
+ that You distribute, all copyright, patent, trademark, and
103
+ attribution notices from the Source form of the Work,
104
+ excluding those notices that do not pertain to any part of
105
+ the Derivative Works; and
106
+
107
+ (d) If the Work includes a "NOTICE" text file as part of its
108
+ distribution, then any Derivative Works that You distribute must
109
+ include a readable copy of the attribution notices contained
110
+ within such NOTICE file, excluding those notices that do not
111
+ pertain to any part of the Derivative Works, in at least one
112
+ of the following places: within a NOTICE text file distributed
113
+ as part of the Derivative Works; within the Source form or
114
+ documentation, if provided along with the Derivative Works; or,
115
+ within a display generated by the Derivative Works, if and
116
+ wherever such third-party notices normally appear. The contents
117
+ of the NOTICE file are for informational purposes only and
118
+ do not modify the License. You may add Your own attribution
119
+ notices within Derivative Works that You distribute, alongside
120
+ or as an addendum to the NOTICE text from the Work, provided
121
+ that such additional attribution notices cannot be construed
122
+ as modifying the License.
123
+
124
+ You may add Your own copyright statement to Your modifications and
125
+ may provide additional or different license terms and conditions
126
+ for use, reproduction, or distribution of Your modifications, or
127
+ for any such Derivative Works as a whole, provided Your use,
128
+ reproduction, and distribution of the Work otherwise complies with
129
+ the conditions stated in this License.
130
+
131
+ 5. Submission of Contributions. Unless You explicitly state otherwise,
132
+ any Contribution intentionally submitted for inclusion in the Work
133
+ by You to the Licensor shall be under the terms and conditions of
134
+ this License, without any additional terms or conditions.
135
+ Notwithstanding the above, nothing herein shall supersede or modify
136
+ the terms of any separate license agreement you may have executed
137
+ with Licensor regarding such Contributions.
138
+
139
+ 6. Trademarks. This License does not grant permission to use the trade
140
+ names, trademarks, service marks, or product names of the Licensor,
141
+ except as required for reasonable and customary use in describing the
142
+ origin of the Work and reproducing the content of the NOTICE file.
143
+
144
+ 7. Disclaimer of Warranty. Unless required by applicable law or
145
+ agreed to in writing, Licensor provides the Work (and each
146
+ Contributor provides its Contributions) on an "AS IS" BASIS,
147
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
148
+ implied, including, without limitation, any warranties or conditions
149
+ of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
150
+ PARTICULAR PURPOSE. You are solely responsible for determining the
151
+ appropriateness of using or redistributing the Work and assume any
152
+ risks associated with Your exercise of permissions under this License.
153
+
154
+ 8. Limitation of Liability. In no event and under no legal theory,
155
+ whether in tort (including negligence), contract, or otherwise,
156
+ unless required by applicable law (such as deliberate and grossly
157
+ negligent acts) or agreed to in writing, shall any Contributor be
158
+ liable to You for damages, including any direct, indirect, special,
159
+ incidental, or consequential damages of any character arising as a
160
+ result of this License or out of the use or inability to use the
161
+ Work (including but not limited to damages for loss of goodwill,
162
+ work stoppage, computer failure or malfunction, or any and all
163
+ other commercial damages or losses), even if such Contributor
164
+ has been advised of the possibility of such damages.
165
+
166
+ 9. Accepting Warranty or Additional Liability. While redistributing
167
+ the Work or Derivative Works thereof, You may choose to offer,
168
+ and charge a fee for, acceptance of support, warranty, indemnity,
169
+ or other liability obligations and/or rights consistent with this
170
+ License. However, in accepting such obligations, You may act only
171
+ on Your own behalf and on Your sole responsibility, not on behalf
172
+ of any other Contributor, and only if You agree to indemnify,
173
+ defend, and hold each Contributor harmless for any liability
174
+ incurred by, or claims asserted against, such Contributor by reason
175
+ of your accepting any such warranty or additional liability.
176
+
177
+ END OF TERMS AND CONDITIONS
178
+
179
+ APPENDIX: How to apply the Apache License to your work.
180
+
181
+ To apply the Apache License to your work, attach the following
182
+ boilerplate notice, with the fields enclosed by brackets "[]"
183
+ replaced with your own identifying information. (Don't include
184
+ the brackets!) The text should be enclosed in the appropriate
185
+ comment syntax for the file format. We also recommend that a
186
+ file or class name and description of purpose be included on the
187
+ same "printed page" as the copyright notice for easier
188
+ identification within third-party archives.
189
+
190
+ Copyright [yyyy] [name of copyright owner]
191
+
192
+ Licensed under the Apache License, Version 2.0 (the "License");
193
+ you may not use this file except in compliance with the License.
194
+ You may obtain a copy of the License at
195
+
196
+ http://www.apache.org/licenses/LICENSE-2.0
197
+
198
+ Unless required by applicable law or agreed to in writing, software
199
+ distributed under the License is distributed on an "AS IS" BASIS,
200
+ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
201
+ See the License for the specific language governing permissions and
202
+ limitations under the License.
package/README.md CHANGED
@@ -1,313 +1,145 @@
1
1
  # @genroc/eval-node
2
2
 
3
- Script tasks for Node. Two halves with different jobs:
3
+ TypeScript script tasks for [genroc](https://genroc.org). The package provides two binaries:
4
4
 
5
- * **the bundler** (`genroc-import`) — an author-time resolver genctl runs on every apply and
6
- every edit, turning `$import: ./x.ts` into a bundled, typechecked string
7
- * **the worker** (`genroc-eval-node`) — claims parked `external` script tasks off genroc's queue
8
- and evaluates each in its own realm
5
+ * **`genroc-import`**: the bundler. `genctl` runs it on every `apply` and `generate` to turn
6
+ `$import: ./script.ts` into one typechecked, self-contained module string.
7
+ * **`genroc-eval-node`**: the worker. It claims script tasks from genroc's queue and runs each
8
+ one in a fresh worker thread.
9
9
 
10
- ## Setting up a project
10
+ Requires **Node 24+**. Full guide:
11
+ [TypeScript evaluation](https://genroc.org/guides/process-definition/typescript-evaluation/).
11
12
 
12
- npm i -D @genroc/eval-node
13
-
14
- Then register the resolver in a `.genroc` beside your definitions — a dotfile, so it does not
15
- read as another process definition. Discovery walks up from the source file, so nothing depends
16
- on the cwd:
17
-
18
- resolvers:
19
- import:
20
- phase: code
21
- ext: .ts
22
- command: [npx, genroc-import]
23
-
24
- `genctl apply` and `genctl types` now resolve `$import` directives. Typechecking is the
25
- resolver's exit code, so a stored definition cannot hold code that failed to typecheck.
26
-
27
- ## Building
28
-
29
- npm run build # tsc -p tsconfig.build.json -> dist/
30
-
31
- The published package is JavaScript, not TypeScript. **Node refuses to strip types for files
32
- under `node_modules`**, so shipping `.ts` works from a checkout and fails for every consumer —
33
- which is why `prepublishOnly` builds and CI installs the packed tarball rather than only running
34
- from source. The source keeps its `.ts` import extensions; `rewriteRelativeImportExtensions`
35
- turns them into `.js` on the way out.
36
-
37
- ## Running the worker
38
-
39
- docker run -e GENROC_SERVER=http://host:8448 ghcr.io/genroc/eval-node:preview
40
-
41
- or locally, if you already have Node:
42
-
43
- GENROC_SERVER=http://localhost:8448 npx genroc-eval-node
44
-
45
- Add `GENROC_TOKEN` once the server has auth on; `worker` is the only permission it needs.
13
+ ## Quick start
46
14
 
47
- **The bundler cannot be the image.** It runs per edit and must resolve your project's own
48
- `node_modules`, so a container start per invocation would break the editor loop.
15
+ genctl init --eval-node
49
16
 
50
- Design record: [specs/external-task-queue.md](../specs/external-task-queue.md) for the queue,
51
- [specs/script-tasks.md](../specs/script-tasks.md) for the runtime.
17
+ This scaffolds a project with everything set up: the package, a `.genroc` that registers the
18
+ resolver, a `tsconfig.json`, a reusable `script-node` child process, and a `compose.yaml` that
19
+ runs the worker.
52
20
 
53
- GENROC_SERVER=http://localhost:8448 node eval-node/worker.ts
21
+ ## Adding it to an existing project
54
22
 
55
- Against a server started with `--auth token`, mint a scoped credential first:
56
-
57
- TOKEN=$(genctl token create --perms worker --label evaluator -q)
58
- GENROC_SERVER=http://localhost:8448 GENROC_TOKEN=$TOKEN node eval-node/worker.ts
59
-
60
- `worker` reaches the four queue verbs and `GET /api/objects/{ref}` — enough to claim, fetch an
61
- externalized input and answer, and nothing else. This is the credential most likely to end up on
62
- a machine you trust least, so it is worth scoping rather than reusing an admin token: a leaked
63
- one cannot read a definition, list an instance, or mint another token.
64
-
65
- A credential problem **exits the worker** rather than being retried. Polling through a 401 looks
66
- like a healthy worker that never picks anything up, which is the worst shape to debug.
23
+ npm i -D @genroc/eval-node
67
24
 
68
- It needs **Node 24 or newer**: the sources are TypeScript and are run as-is, by Node's own
69
- type stripping.
25
+ Register the resolver in the `.genroc` beside your definitions:
70
26
 
71
- | env | default | |
72
- |---|---|---|
73
- | `GENROC_SERVER` | `http://localhost:8448` | where to claim from |
74
- | `GENROC_TOKEN` | *(none)* | credential, when the server runs with `--auth token`. Needs the **`worker`** permission and nothing more |
75
- | `WORKER_ID` | `evaluator-<pid>` | the claim holder; renewals are scoped to it |
76
- | `CONCURRENCY` | `4` | how many scripts run at once — **this worker's** decision |
77
- | `LEASE_MS` | `30000` | visibility timeout; renewed at a third of it while working |
78
- | `POLL_MS` | `250` | idle poll interval; a non-empty claim polls again immediately |
79
- | `PROCESS` / `TASK` | unset | claim only this process / task id |
80
-
81
- **The worker calls genroc, not the other way round.** That is the whole reason this is a
82
- queue worker rather than the HTTP sidecar it used to be:
83
-
84
- - **Concurrency is the worker's to set.** Under the old `fetch` shape genroc decided how many
85
- scripts ran at once (`--max-concurrent`, default 200) and the evaluator accepted every one.
86
- A backlog is now a queue, not 200 threads fighting over a core.
87
- - **No engine worker is held.** A `fetch` occupies one of genroc's advance slots for its whole
88
- duration, so a slow evaluator starved unrelated tasks. An `external` task parks.
89
- - **The connection direction inverts.** `/eval` was unauthenticated arbitrary code execution
90
- that genroc had to be able to reach. A worker only needs outbound access, so it can live
91
- anywhere — behind NAT, in another trust zone.
92
-
93
- ## The task input
94
-
95
- The `input` of the external task IS the evaluation request:
96
-
97
- ```jsonc
98
- {
99
- "code": "return { fee: input.amount * 0.1 };", // required — an async function body
100
- "input": { "amount": 250 }, // optional — bound as `input`
101
- "timeout_ms": 5000 // optional — default 5000
102
- }
27
+ ```yaml
28
+ resolvers:
29
+ - name: import
30
+ phase: typed
31
+ ext: [.ts]
32
+ command: [npx, genroc-import]
33
+ types:
34
+ Input: task.action.input.input
35
+ Output: task.action.result
103
36
  ```
104
37
 
105
- `code` is the **body of an async function**, so `await` works and the value reaches genroc
106
- through `return`. It is compiled with `input` and `require` as parameters, under
107
- `"use strict"` — `require` is what a bundled `import` of a node builtin lands on.
108
-
109
- ## The answer — the failure kind IS the error code
110
-
111
- genroc's `on_error` matches error codes, and an external task's `raises` declares the closed
112
- set a worker may send. So the classification lives in the **code**, where a rule can match it,
113
- rather than in a body a `switch` has to read.
114
-
115
- | outcome | the worker submits | |
116
- |---|---|---|
117
- | the script returned | `result: <the return value>` | `return;` sends nothing, which genroc reads as `null` |
118
- | the script faulted | `error: {code, message, data}` | `code` is the kind, below |
119
- | the **evaluator** faulted | *nothing* — it releases the claim | the task returns to the queue for another worker |
120
-
121
- The five kinds, every one of them **permanent** — a retry re-runs the same code on the same
122
- input and fails identically:
123
-
124
- `compile_error` · `threw` · `timeout` · `nonserializable` · `exited`
125
-
126
- `data` carries `{name, stack?}`: `name` is what a script sets to tell one refusal from another
127
- (`e.name = 'LimitExceeded'`), and `stack` is renumbered to the lines the author wrote and
128
- trimmed to 2 KiB.
129
-
130
- **The retryable class has no code on purpose.** A runner that faults releases its claim, which
131
- is how a queue spells "try this somewhere else" — it puts the task in front of a different
132
- worker instead of spending the definition's `on_error` budget on this one's bad day. There is
133
- no retry policy to write.
134
-
135
- ## The genroc side
38
+ Then reference a script from a task. The simplest way is to spread the `script-node` child that
39
+ `genctl init --eval-node` generates:
136
40
 
137
41
  ```yaml
138
- - id: price
42
+ - id: greet
139
43
  action:
140
- type: external
44
+ type: child
45
+ <<: "$process: ./script-node.genroc.yaml"
141
46
  input:
142
- code: |
143
- if (input.amount > 100) {
144
- const e = new Error('amount over the limit');
145
- e.name = 'LimitExceeded';
146
- throw e;
147
- }
148
- return { fee: input.amount * 0.1 };
149
- input: "$: input"
150
- result_schema: { type: object, properties: { fee: { type: number } }, required: [fee] }
151
- raises:
152
- threw: { $ref: "#/$defs/script_error" }
153
- timeout: { $ref: "#/$defs/script_error" }
154
- compile_error: { $ref: "#/$defs/script_error" }
155
- nonserializable: { $ref: "#/$defs/script_error" }
156
- exited: { $ref: "#/$defs/script_error" }
157
- timeout: 30s
158
- on_error:
159
- - code: [threw]
160
- goto: $script_failed
161
- - code: [compile_error, nonserializable, exited]
162
- panic: { code: script_broken, message: "the script did not run: ${error.code}" }
163
- switch: [{ goto: end }]
164
-
165
- - id: script_failed
166
- switch:
167
- - case: 'error.data.name == "LimitExceeded"'
168
- raise: { code: limit_exceeded, message: "the script rejected the amount" }
169
- - raise: { code: script_failed, message: "the script failed" }
170
- ```
171
-
172
- **A script cannot name a genroc error code.** `raise`/`panic` codes are literals, never
173
- expressions, so the mapping from a thrown error to an authored code is this `switch` — one
174
- task the definition owns, reading `error.data`. That is the whole error protocol: the worker
175
- classifies into a code, the definition names the outcome.
176
-
177
- Set the task `timeout` **above** `timeout_ms`. If the task's deadline fires first the code is
178
- `external.timeout`, which is in `errcode.Unknowable()` — permanently unretryable on an
179
- `only_once` task, and indistinguishable from no evaluator running at all.
180
-
181
- `only_once` is worth considering if your scripts have side effects: without it a worker that
182
- dies mid-script has its task re-claimed and the script runs again. With it the task is never
183
- handed out twice, and the instance gets a catchable `external.lost` instead.
184
-
185
- ## `${` must be escaped as `$${` — when the code is inline
186
-
187
- An external task's `input` is a Shape, so `${…}` is genroc's interpolation marker and a JS
188
- template literal inside `code` is read by genroc rather than passed through. Write `` `<$${x}>` ``.
189
- A leading `$:` on the code string needs `$$:` for the same reason. See
190
- [specs/typed-values.md](../specs/typed-values.md). Moving the code into a `.ts` file
191
- removes this entirely — see the next section.
192
-
193
- ## `import.ts` — the author-time half
194
-
195
- `import.ts` is the **code-phase resolver** genctl runs before a definition is applied. It
196
- never touches the queue and the worker never runs it; the two halves share this package only
197
- because they share a calling convention, which is exactly the coupling that breaks silently
198
- if they version apart.
199
-
200
- Register it in the project's `.genroc`:
201
-
202
- ```yaml
203
- resolvers:
204
- import: { phase: code, ext: .ts, command: [node, ../eval-node/import.ts] }
47
+ code: "$import: ./greet.ts"
48
+ input: { who: "$: input.who" }
49
+ result_schema:
50
+ type: object
51
+ properties: { greeting: { type: string } }
52
+ required: [greeting]
205
53
  ```
206
54
 
207
- then write the script as a module and name it from the definition:
55
+ ## Writing a script
208
56
 
209
- ```yaml
210
- body:
211
- code: "$import: ./fee.ts"
212
- input: "$: input"
213
- ```
57
+ A script is an ES module. Its default export receives `input`, and its return value becomes the
58
+ task result. The function may be async.
214
59
 
215
60
  ```ts
216
- import type { Input, Output } from "./fee.genroc";
61
+ import type { Input, Output } from "./greet.genroc";
217
62
 
218
- export default async function (input: Input): Promise<Output> {
219
- return { fee: input.amount * 0.1 };
63
+ export default function (input: Input): Output {
64
+ return { greeting: `hello, ${input.who}` };
220
65
  }
221
66
  ```
222
67
 
223
- `genctl types -f process.yaml` writes `fee.genroc.d.ts` beside the script — named for the
224
- **script's path**, not the task, so renaming a task cannot break the import line. `Input` is
225
- the inferred type of what the definition passes; `Output` is what it declares
226
- (`responses.200`, or `result_schema` on a child). `genctl apply` regenerates them, runs
227
- `tsc --noEmit`, and bundles — so **a type error is a failed apply**, and a stored definition
228
- cannot hold code that failed to typecheck.
229
-
230
- The bundle is emitted as CJS and wrapped as a function body, so the evaluator needs to know
231
- nothing about modules. Imports resolve through TypeScript under the same config the check
232
- ran with, so a `paths` alias that typechecks also bundles. They are inlined at build time, so the string a
233
- definition version stores is self-contained forever — with one exception: **node builtins
234
- stay as `require` calls**, which the realm satisfies. A package is frozen into the
235
- definition; `node:fs` is resolved by whatever runner executes it.
68
+ * `genctl generate` writes `greet.genroc.d.ts` beside the script. `Input` and `Output` come from
69
+ the definition, so a mismatch fails the typecheck.
70
+ * `genctl apply` typechecks and bundles. **A type error or a missing default export fails the
71
+ apply.**
72
+ * Imported files and npm packages are inlined into the bundle, so a stored definition never
73
+ depends on what is installed later. Node builtins (`node:fs`, …) stay as imports and resolve
74
+ on the worker.
75
+ * The generated config extends your nearest `tsconfig.json`. To use Node globals and
76
+ builtins, add `"types": ["node"]` to it.
236
77
 
237
- ### Your tsconfig, your types
78
+ ## Running the worker
238
79
 
239
- The generated project config `extends` **the nearest `tsconfig.json` above the script** —
240
- the one your editor already reads, so the two cannot disagree. Two scripts under two
241
- different configs are two `tsc` runs.
80
+ ```sh
81
+ docker run -e GENROC_SERVER=http://host:8448 ghcr.io/genroc/eval-node:latest
82
+ # or
83
+ GENROC_SERVER=http://localhost:8448 npx genroc-eval-node
84
+ ```
242
85
 
243
- Of that config, three keys are the toolchain's and the rest are yours:
86
+ The worker connects to genroc, not the other way round, so it only needs outbound access.
244
87
 
245
- | key | owner | why |
88
+ | env | default | |
246
89
  |---|---|---|
247
- | `lib` | the toolchain | Describes the realm. A worker thread has no `document`, whatever a config claims. |
248
- | `include` | the toolchain | Forced to `[]`. A base `include` survives beside our `files` and would drag your whole tree in to be checked as scripts. |
249
- | `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 `[]`. |
250
-
251
- ```jsonc
252
- // tsconfig.json beside your scripts
253
- { "compilerOptions": { "types": ["node"] } } // now `import { appendFile } from "node:fs/promises"` typechecks
254
- ```
255
-
256
- **This is what removes the `$${` escaping above** — a template literal in a `.ts` file is
257
- never read by genroc, because genctl doubles every `$` on splice.
258
-
259
- ## The realm — one Worker per execution
260
-
261
- `evaluate()` starts a Worker (`realm.ts`), posts the code into it, and races the reply against the budget;
262
- `terminate()` runs on every path. That thread is what the contract rests on, and it buys
263
- exactly three things the previous in-process evaluator could not:
264
-
265
- - **The budget is enforced, not merely reported.** A synchronous `while(true){}` never
266
- yields, so no in-process timer can interrupt it — the old evaluator hung forever on that
267
- input, and said so in this file. Killing the thread is the only bound. Measured on Node
268
- 24: `terminate()` stops a spinning worker, and the CPU it was burning goes with it.
269
- - **A fresh global object per execution.** One script cannot configure the next. It is also
270
- why there is no compile cache any more: a cache inside a discarded realm can never be hit.
271
- - **The script's mistakes stay the script's.** An uncaught throw, and `process.exit()`, end
272
- the realm and come back as a `422` — neither reaches the runner.
273
-
274
- It costs about **50ms per execution** end to end for a trivial script (Node 24, M-series
275
- laptop), a 200 KiB body about 63ms. Roughly 19ms of that is Node re-stripping `worker.ts`'s
276
- types on every realm — precompiling it to JavaScript would buy that back, and is deliberately
277
- not done: a build artefact that goes stale against its source fails silently, and this file
278
- is the one where a wrong line number is invisible.
279
-
280
- That also changes an old trade-off. A subprocess per execution measures ~48ms here — within
281
- noise of the thread — where on the previous runtime it was ten times the thread's cost. The
282
- thread no longer wins on price, and a subprocess contains the two things a thread cannot
283
- (below), so it is the live upgrade path rather than a theoretical one.
284
-
285
- ## What this is not
286
-
287
- - **Not deterministic.** A script reads the real clock and the real RNG, and a retry
288
- re-executes — so attempt two can differ from attempt one. An earlier version injected a
289
- pinned `Date` and a seeded `Math`; nothing could supply a stable `now` (the expression
290
- environment has no clock), so the pin was the wall clock under another name, and the `ctx`
291
- it needed was surface with nothing behind it. A value that must survive a retry belongs in
292
- the definition, passed through `input`.
293
- - **Not a sandbox.** The realm isolates *execution*, not *authority*: a script gets the
294
- worker's filesystem, network and environment, and `require` of any node builtin. That is
295
- deliberate — a script task is meant to do real work — but the trust boundary stays the
296
- same-trust-domain one (your genroc, your worker host). It is not the multi-tenant story, and
297
- nothing here should be mistaken for one. Pulling does move the boundary in one useful way:
298
- the worker needs no inbound reachability, so nothing but the worker can ask it to run code.
299
- - **A thread does not contain memory or a native crash.** A worker shares the process
300
- address space, so a script that exhausts memory takes the runner with it — and so does a
301
- fault in the runtime itself, which is not hypothetical: the previous one segfaulted on
302
- resume from laptop sleep, taking the in-flight evaluation with it. Containing that is what
303
- the subprocess strategy is for — `eval.ts` keeps HTTP out precisely so it can be swapped
304
- underneath.
305
- - **Concurrency is capped by this worker, not by genroc.** Each evaluation is a thread, and
306
- `CONCURRENCY` is how many it will claim at once. Raising it past what the host can run turns
307
- a queue back into threads fighting over a core.
308
- - **Not where imports and type checking happen.** The evaluator still takes one
309
- self-contained function body and knows nothing about TypeScript; `import.ts` is what turns
310
- a module into that body, at author time. See above.
311
- - **`eval.ts` and `realm.ts` know nothing about genroc.** `worker.ts` is the entire
312
- queue-facing half, which is what keeps the containment strategy swappable — and what lets
313
- the realm's own properties be tested by calling `evaluate()` directly.
90
+ | `GENROC_SERVER` | `http://localhost:8448` | the genroc server |
91
+ | `GENROC_TOKEN` / `GENROC_TOKEN_FILE` | *(none)* | token, or a file holding it, when the server uses `--auth` |
92
+ | `PROCESS` / `TASK` | `script-node` / `eval_node` | the process and task id this worker claims; the defaults are script-node's. Set `PROCESS` for a renamed copy. Neither may be empty. |
93
+ | `CONCURRENCY` | `4` | scripts run at once |
94
+ | `LEASE_MS` | `30000` | claim lease, renewed every third of it |
95
+ | `POLL_MS` | `250` | idle poll interval |
96
+ | `WORKER_ID` | `evaluator-<pid>` | the claim holder's name |
97
+
98
+ With auth enabled, create a token that has only the `worker` permission:
99
+
100
+ genctl token create --perms worker --label evaluator -q
101
+
102
+ If the token is rejected, the worker exits instead of retrying.
103
+
104
+ ## Errors
105
+
106
+ When a script fails, the worker reports one of five error codes for your `on_error` rules to
107
+ match. Retrying does not help with any of them, because the same code fails the same way:
108
+
109
+ | code | when |
110
+ |---|---|
111
+ | `threw` | the script threw or rejected |
112
+ | `timeout` | it ran past the task's `timeout` (5000 ms when the task has none) |
113
+ | `compile_error` | the module does not parse, or has no default-export function |
114
+ | `nonserializable` | the return value cannot be serialized to JSON (a cycle, a `BigInt`) |
115
+ | `exited` | the script called `process.exit()` |
116
+
117
+ `error.data` is `{name, stack?}`. `name` is the error's class name, so throwing your own
118
+ `class LimitExceeded extends Error {}` tells your failures apart; setting `e.name` overrides it,
119
+ and a thrown non-`Error` is `Thrown`. The stack is mapped back to your source lines.
120
+
121
+ If the worker itself faults, it releases the task for another worker and reports no error.
122
+
123
+ The task's `timeout` is the script's budget, waiting in the queue included. The worker stops
124
+ the script just before it and answers `timeout`, so `external.timeout` means no worker answered
125
+ at all. With `script-node`, set it through the `timeout_ms` input.
126
+
127
+ ## Limits
128
+
129
+ * **Not a sandbox.** Scripts have the worker host's filesystem, network and environment.
130
+ Run only code you trust.
131
+ * **Not deterministic.** On a retry the script runs again with the real clock and random
132
+ numbers. Pass any value that must stay stable through `input`.
133
+ * **Memory is not isolated.** A script that runs out of memory takes down the whole worker.
134
+ * **Run-once is opt-in.** If a worker dies mid-script, the task is claimed again and the script
135
+ runs again. Mark the task `only_once` if your script has side effects.
136
+ * **Inline code needs escaping.** When you write `code` directly in YAML rather than
137
+ `$import`, write `${` as `$${`, because genroc reads `${` as interpolation. Scripts in `.ts`
138
+ files need no escaping.
139
+
140
+ ## Links
141
+
142
+ * [TypeScript evaluation guide](https://genroc.org/guides/process-definition/typescript-evaluation/)
143
+ * [External tasks and the queue](https://genroc.org/guides/process-definition/external-tasks/)
144
+ * [Error handling](https://genroc.org/guides/process-definition/error-handling/)
145
+ * [Source on GitHub](https://github.com/genroc/genroc/tree/main/eval-node)