Skip to content

deltic worker: freshCases run-message knob - #80

Merged
lann merged 1 commit into
mainfrom
worker-fresh-cases
Aug 10, 2026
Merged

deltic worker: freshCases run-message knob#80
lann merged 1 commit into
mainfrom
worker-fresh-cases

Conversation

@lann

@lann lann commented Aug 10, 2026

Copy link
Copy Markdown
Collaborator

freshCases: false in the run message reuses the census instance for a whole shard — the documented trade for corpora whose per-case fresh instances outrun the renderer's wasm-memory reservations (found on polymorph-webcrypto's 19,090-case Wycheproof corpus: fresh-per-case OOMs Chromium's wasm allocation at any pool width; a trapped case then poisons the rest of the shard, loudly). Default unchanged (fresh per case).

Gates: verify-deltic, verify-viewer (real Chromium).

freshCases: false reuses the census instance for a whole shard - the
documented trade for corpora whose per-case fresh instances outrun the
renderer's wasm-memory reservations (19k-case vector suites; a trapped
case then poisons the rest of the shard, loudly). Default unchanged.

Gates: verify-deltic, verify-viewer.
@lann
lann enabled auto-merge August 10, 2026 18:38
@lann
lann merged commit 4ce2a7a into main Aug 10, 2026
3 checks passed
@lann
lann deleted the worker-fresh-cases branch August 10, 2026 18:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant