Lelantos SDK

Appearance

@lelantos-org/sdk / prover / WorkerSetup

Interface: WorkerSetup ​

Defined in: @lelantos-org/sdk/dist/prover/worker-protocol.d.ts:10

Settings that must reach the worker's own module realm.

The worker never sees the caller's module-level configuration, so anything serializable that a caller can set on the main thread has to travel here too. Both are honoured only on the FIRST request — the thread pool and the prover session are built once and reused.

Extended by ​

Properties ​

cacheArtifacts? ​

ts
optional cacheArtifacts?: boolean;

Defined in: @lelantos-org/sdk/dist/prover/worker-protocol.d.ts:18

Set false to skip persisting downloaded artifacts in the worker. A custom ArtifactCache cannot cross postMessage; install that with configureArtifactCache inside the worker instead.

threads? ​

ts
optional threads?: number;

Defined in: @lelantos-org/sdk/dist/prover/worker-protocol.d.ts:12

Pin rayon thread count.