TOOLING · VERIFIED INTEGRATION
CLI
The CLI integrates compiler stages and developer tooling. The current audit verifies integration with lexer, parser, semantic analysis, MIR, code generation, diagnostics, formatter, async components, and simulator-related components.
The audit does not establish every command-line option as a stable public interface.
TRACEABILITY
Related Evidence
Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.