Module capabilities 

WASM Thread Capabilities Detection (Advanced Testing Concepts) WASM Thread Capabilities Detection (PROBAR-SPEC-010)

Verify SharedArrayBuffer/COOP-COEP headers and threading availability.

Toyota Way Application:

• Genchi Genbutsu: Direct observation of actual browser capabilities
• Poka-Yoke: Type-safe capability assertions prevent runtime surprises
• Andon: Clear error messages with fix hints

References:

• [7] Herlihy & Shavit (2012) SharedArrayBuffer testing
• [8] Lamport (1978) Worker message ordering

Structs

RequiredHeaders

Required HTTP headers for SharedArrayBuffer support

WasmThreadCapabilities

WASM threading capabilities detected from browser context

WorkerEmulator

Web Worker emulator for testing message passing and state transitions

WorkerMessage

Worker message for injection/interception

Enums

CapabilityError

Error type for capability checks

CapabilityStatus

Capability check result

WorkerState

Worker state for state machine testing