Follow the compiler's own tracks.

01 / Real Stage-0 pipeline

Compiler/core.cpp, type_checker.cpp, modules.cpp, nir.cpp, optimizer.cpp and bootstrap parser/host files implement the C++17 frontend. The pipeline is source -> lexer/parser/AST -> type checker -> typed NIR -> optimizer -> reference interpreter or selected backend.

noqeri lex examples/hello.noqeri
noqeri check examples/hello.noqeri
noqeri nir examples/hello.noqeri
noqeri run examples/hello.noqeri

02 / Stage-1 through Stage-3 NQRI

Compiler/selfhost/*.noqeri owns lexer/parser, semantic analysis, NIR, optimization, targets, object format policies and backend contracts. The current acceptance proof loads a SHA-pinned Stage-1 NQRI seed in the C++ noqeri-nqri VM, recompiles Stage-2 and Stage-3 NQRI, and checks byte equality.

03 / What the proof does not show

The NQRI VM is still C++ code. A Noqeri-written compiler has not yet independently emitted and executed all native Stage-2/Stage-3 compiler binaries without that VM. Reproducible seed hashes do not independently attest seed trust.

04 / Object formats and target policies

elf_writer.noqeri, coff_writer.noqeri and macho_writer.noqeri describe target/object-format groundwork, with separate x86-64 and ARM64 policies. These are not blanket proof of complete Windows/Linux/macOS machine-code generators, valid linkers and executable distributions.

05 / Safety and optimizer evidence

Compiler/lifetime.cpp, safety.cpp, register_alloc.cpp and optimizer.cpp back specific checks and transformations. Some scalar list ownership, pointer coalescing and error-propagation features have representative Stage-0/Stage-2/native tests; general correctness, fuzzing, sanitizers and ABI conformance remain ongoing.