"Tutorial: first .vox app (checkpoints)"

First `.vox` app — checkpoints

Use this alongside First full-stack app and golden examples.

Checkpoint A — parse

Create app.vox with a top-level fn or use examples/golden/hello.vox.
vox check app.vox exits 0 (or fix parse diagnostics).

Checkpoint B — typecheck + HIR

vox check app.vox shows no type errors.
Optional JSON: vox check app.vox --json and confirm diagnostics carry category when emitted from the shared pipeline.

Checkpoint C — build / run (when applicable)

vox build app.vox or your project’s documented build entry.
vox run … for script mode only when built with script-execution (see CLI reference).

Checkpoint D — mens (optional)

With populi feature: vox populi serve local smoke; see Populi SSOT.

When stuck, capture full diagnostic output and cross-check parser inventory and the CLI reference.