COMPILER · VERIFIED

Compiler Pipeline

Source
  ↓
Lexer
  ↓
Parser / AST
  ↓
Semantic Analysis
  ↓
MIR
  ↓
Code Generation
  ↓
LLVM IR
  ↓
Native Executable

The current audit verifies the presence and integration of these stages. It does not imply that every language feature is implemented through every stage.

OUTPUT

LLVM

See the native code-generation evidence and the boundary between compiler output and runtime support.

VERIFIED

ABI

Native ABI

Inspect the established native Point ABI and its tested runtime round-trip.

VERIFIED

DEBUGGING

Debugging

Review the current debug metadata and source-breakpoint evidence without overstating debugger coverage.

DEMONSTRATED

EXECUTION

Execution

Understand the documented native build and execution boundary.

VERIFIED

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/backend/match_trace_integer_debug.avs
tests/backend/point_native.avs
tests/backend/vector_native.avs
tests/backend_async/channel_llvm.avs
tests/backend_async/delay_llvm.avs