# Reproduction

Prerequisites are PowerShell, Python 3, and MoonBit `0.1.20260819` or a
compatible newer toolchain. The verification script resolves MoonBit in this order: its `-MoonBin`
argument, `MOON_BIN`, `PATH`, then `D:\Moonbit\bin\moon.exe`.

From the project root:

```powershell
powershell -ExecutionPolicy Bypass -File scripts/verify_all.ps1
```

The script cleans an external target directory, checks formatting and generated
interfaces, then runs strict check, build, and test commands for `wasm`,
`wasm-gc`, `js`, and `native`. It performs CLI smoke tests across the four
backends, runs all six examples, reports measured code statistics, and lists
package contents. It exits immediately with code 1 when any command fails and
prints `ALL CHECKS PASSED` only after the complete sequence succeeds.

The external target directory avoids placing generated artifacts in the source
tree and can be overridden with `-TargetDir`.