Parent: #502 Builds on: #1027, #1028, #1032, #1033, #1034, #1035, #1036
Verified coverage gap
The complete 2,580-test plan passes on main at 1424aa2a29953a5f68fce2b64af1c6f475b2477f, and production-path tests now cover GC markers, native/Wasm compilation, Workers, shared-realm Threads, Atomics waits, module Workers, watchdog termination, test262 agents, OOM, and teardown individually.
The coordinator test inventory has no one deterministic state that overlaps all six typed resource classes with both internal-work classes and all three scratch domains. That leaves cross-domain queue priority, typed-slot/nested-work reuse, scratch denial, cancellation, blocking handoff, and final reconciliation dependent on separate tests rather than one fail-closed pressure witness.
Scope
- Add one bounded deterministic coordinator-level pressure test covering all six typed thread kinds.
- Overlap native and Wasm internal work from typed and untyped host threads.
- Hold admitted bytes in all three scratch domains, force an exact total-budget denial, then prove released capacity is immediately reusable.
- Exercise safety/foreground/background queues, pre-entry cancellation, a blocked-slot handoff, and ordinary completion in one run.
- Assert every current live/runnable/blocked/waiter/internal-work/scratch counter returns exactly to its baseline at teardown; monotonic event counters must advance by the expected amounts.
- Keep the test independent of wall-clock performance and real corpus availability; production-path semantic tests remain the subsystem oracles.
Definition of done
- The mixed test reaches a snapshot with all scheduler priorities represented, both internal-work classes active or queued, and every scratch domain live.
- Policy denial and later readmission preserve exact scratch ownership and rollback accounting.
- Cancellation and blocked-slot handoff preserve weighted priority/FIFO decisions without running canceled bodies.
- Final teardown reconciles all current counters exactly to baseline with no live thread, queue, work, or scratch ownership.
- Normal and unsuppressed TSan focused tests plus the full unit gate pass.
- #502 is updated with the landed commit and evidence.
Guardrails
No sleeps as synchronization, relaxed accounting assertions, synthetic bypass of the public coordinator APIs, unbounded wait, or benchmark timing claim.