# Glossary

| Term | Meaning in this project |
| --- | --- |
| ABI | The callable surface exposed by the WASM build: exported C symbols + wrapper conventions. |
| `dist/<ver>` | Build outputs for one MuJoCo version/ref. |
| `exports.lst` | The explicit export list consumed by Emscripten (`-sEXPORTED_FUNCTIONS=@...`). |
| wrapper | Generated `mjwf_*` functions that form a stable, reviewable surface. |
| introspection | Automated extraction from `mujoco.h` into JSON (functions/structs/enums + AST). |
| gate | A check that detects export/ABI drift or quality regressions (size/init time). |
| smoke test | A minimal runtime test that compiles and steps a tiny model to catch major regressions. |