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

Evidence references

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.

Browse the public evidence index →