Module IDL (ModIDL) — A concise behavioural contract for JavaScript modules (Draft 0.1, 28 Jun 2025 — feedback welcome)
Module IDL captures both public surface (types, events, async flows) and observable behaviour (state, ordering, invariants) of a single JS/Wasm module, in a form parseable by humans, code generators, automated tests, and AI agents. It is a minimal subset of the WHATWG Web IDL ecosystem—roughly 30 % of the full grammar—plus a disciplined prose template for algorithms.