Reference: diagnostic ID policy

Principles

Append-only codes — Once published in a stable release, a diagnostic code string is not repurposed; deprecate via alias messages instead.
Namespaced owners
- vox-compiler — E#### style, lint.*, typecheck.*, vox/<category>/<slug> for newer namespaces (mesh language spine plan).
- vox-code-audit — hierarchical rule IDs such as skeleton/untested-pub-api, stub/todo, security/hardcoded-secret/*, ai-laziness/*.
Disjoint prefixes — Audit rule IDs must not exactly equal any compiler code listed in vox_compiler::typeck::diagnostics::codes::ALL_COMPILER_DIAGNOSTIC_CODES (enforced by crates/vox-compiler/tests/audit_rule_collision.rs). The YAML registry summarizes reserved prefixes for humans.

CLI JSON diagnostics (VoxCompilerDiagnosticPayload) — crates/vox-compiler/src/typeck/diagnostics.rs.
vox check --for-llm envelope — crates/vox-cli/src/pipeline.rs.
LSP Diagnostic.code — crates/vox-lsp/src/lib.rs.