NAUX Technical Reference

This library exposes the technical contracts that describe the current NAUX language and research compiler. It is documentation, not a production-readiness claim. Start with the learner surface if you want to write a program; start with the architecture documents if you want to evaluate the compiler design.

Language and learning profile

• Language specification
• NAUX Learn quick reference
• Deterministic input and output
• Source-positioned diagnostics
• Execution envelope
• Standard algorithm library

Architecture authority

• Architecture Charter
• North Star
• Memory model
• Performance and claim contract
• Compiler pipeline

Typed semantics and specialization

• Typed Core v0.1
• P1 lighthouse contract
• Binding-time analysis contract
• Residualization contract
• CoreVM0 nucleus
• Canonical x86-64 target plan

Decision record

The Architecture Decision Record index preserves the accepted and proposed boundaries behind the implementation. Individual ADRs are grouped separately in the navigation so they do not bury learner-facing documentation.

Publication boundary

The website intentionally excludes private execution plans, historical roadmaps, local evidence payloads, generated benchmark artifacts, and maintainer-only notes. Published technical contracts may describe future directions, but only explicitly accepted and reproduced evidence grants a current implementation claim.