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

Audit evidence

These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.

tests/integration/E101_type_mismatch.avs
tests/integration/E120_test_if_as_statement.avs
tests/integration/E222_mmio_read.avs
tests/backend_async/async_simple.avs
tests/Robotic/simple_robot.avs