@lelantos-org/sdk / prover / configureArtifactCache

Function: configureArtifactCache()

function configureArtifactCache(cache): void;

Defined in: @lelantos-org/sdk/dist/prover/artifact-bytes.d.ts:16

Install (or disable) persistence for downloaded artifacts.

Defaults to the Cache API wherever it exists, which is what makes a reload — and the prover worker, which has its own JS realm and its own copy of the in-memory map below — skip the download. Pass false to opt out, or an ArtifactCache to store the bytes somewhere else.

State is module-local, and a Web Worker is a separate module realm. An ArtifactCache is a live object, so it cannot cross a postMessage boundary; call this inside the worker to override it there. The plain opt-out does cross — pass cacheArtifacts: false to WorkerProver, which forwards it the way it forwards threads.

Parameters

Parameter	Type
cache	false | ArtifactCache

Returns

void