Tutorial: first .vox app (checkpoints)

Use this checklist beside Building a Collaborative Task List 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 error_code and severity 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 (see CLI reference).

Checkpoint D — mens (optional)

• With populi feature: vox populi serve local smoke (requires vox-ml-cli installed with the populi feature; see Beyond the CLI and Populi SSOT).

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