Developer experience

The first-user workflow is now gated.

Milestone 4 checks diagnostics, formatting, linting, examples, editor snippets, LSP source health, run, and native build behavior.

Gate

Windows

powershell -ExecutionPolicy Bypass -File .\tests\conformance\run-dx.ps1

Linux / WSL

bash tests/conformance/run-dx.sh ./TezzNative-language/bin/tezzc-linux-x64

Expected

DX_SUMMARY passed=19 failed=0

Area	Contract
Diagnostics	Unknown-name and wrong-arity errors include file/line/column, snippet, caret, expected/actual detail where available, and a short help line.
Formatter	`tezzc fmt` normalizes control flow and stays idempotent on the checked fixture.
Lint	`tezzc lint` emits rule IDs for unused and shadowed variables, and the clean suppress fixture stays quiet.
Examples	`examples/dx` covers hello, CLI-style flags, file IO, HTTP parsing, route matching, C extern calls, native builds, and TezzDB beta starter code.
Run and build	`hello.tn` runs through `tezzc run`; `native_build.tn` builds with `buildexe --verify` and executes.
Editor surface	The TezzNative LSP source type-checks and VS Code snippets stay inside supported syntax and public examples.

examples/dx/hello.tn runs through the bytecode path.
examples/dx/native_build.tn builds and executes as a native binary.
examples/dx/file_read_write.tn, http_request_parse.tn, and http_server_route_once.tn show stable-candidate stdlib flows.
examples/dx/c_extern_call.tn and tezzdb_small.tn show beta interop/database starter shapes.