# Reproduction

Prerequisites are PowerShell, Python 3, and the MoonBit toolchain used by the
project. 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, runs check and
test for `wasm-gc`, `js`, and `native`, performs CLI smoke tests, runs all four
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`.