Documentation Index

Browse the available NXD reference documentation by section and sub-section. The index below covers the current documentation set under the docs tree.

Coverage: 98 documents indexed across the available documentation sections.

Sections below include compiler notes, backend mappings, runtime semantics, security specifications, language guidance, ecosystem guidance, and appendix examples.

Version 1

CONTRIBUTING

Contribution workflow, governance, and development guidance.
ERROR HANDLING

Error handling and failure-mode documentation.
LEXICAL SPECS

Lexical grammar and tokenization rules.
LICENSE

Project licensing and distribution terms.
MEMORY MANAGEMENT

Technical reference material for the surrounding subsystem.
VISION

High-level language vision, project goals, and platform direction.

Appendix

Reference appendices, cookbooks, and examples.

COOKBOOK APNDX

Cookbook-style reference material and practical examples.

Golden Examples

Reference Architecture

REF ARCH 001

Reference architecture snapshot used for design comparison.
REF ARCH 002

Reference architecture snapshot used for design comparison.
REF ARCH 003

Reference architecture snapshot used for design comparison.
REF ARCH 004

Reference architecture snapshot used for design comparison.
REF ARCH 005

Reference architecture snapshot used for design comparison.
REF ARCH 006

Reference architecture snapshot used for design comparison.
REF ARCH 007

Reference architecture snapshot used for design comparison.
REF ARCH 008

Reference architecture snapshot used for design comparison.
REF ARCH 009

Reference architecture snapshot used for design comparison.
REF ARCH 010

Reference architecture snapshot used for design comparison.
REF ARCH 011

Reference architecture snapshot used for design comparison.
REF ARCH 012

Reference architecture snapshot used for design comparison.
REF ARCH 013

Reference architecture snapshot used for design comparison.
REF ARCH 014

Reference architecture snapshot used for design comparison.
REF ARCH 015

Reference architecture snapshot used for design comparison.
REF ARCH 016

Reference architecture snapshot used for design comparison.
REF ARCH 017

Reference architecture snapshot used for design comparison.
REF ARCH 018

Reference architecture snapshot used for design comparison.
REF ARCH 019

Reference architecture snapshot used for design comparison.
REF ARCH 020

Reference architecture snapshot used for design comparison.
REF ARCH 021

Reference architecture snapshot used for design comparison.

Backend

Backend mapping and target-specific code generation notes.

MAP PHILOSOPHY

Mapping philosophy and target-specific rationale.
NXD D MAPPING

Target backend mapping and implementation notes.
NXD ELIXER MAPPING

Target backend mapping and implementation notes.
NXD NIM MAPPING

Target backend mapping and implementation notes.

Compiler

Compiler frontend, IR, lowering, and architecture guidance.

ARCHITECHTURE

Technical reference material for the surrounding subsystem.
IR LOWERING

Intermediate representation and lowering rules.
NODE LIST IR SPEC

Intermediate representation and lowering rules.

Ecosystem

Package management, standard library, and build system notes.

BUILD SYSTEM SPECS

Build system requirements and packaging guidance.
MOD PKG SYS SPECS

Technical reference material for the surrounding subsystem.
STANDARD LIBRARY

Standard library and language runtime support details.

Language Guide

Language syntax, typing, grammar, and semantics.

EQUALITY MUTATION

Equality and mutation semantics.
GENERIC CONSTRAINTS

Generic constraints and instantiation rules.
GRAMMER STRUCTURE

Technical reference material for the surrounding subsystem.
TYPE CONVERSION CASTING

Typing, casting, and type-system rules.
TYPE SYSTEM SPECS

Typing, casting, and type-system rules.

Runtime

Runtime semantics, execution flow, and concurrency model.

CHANNEL SEMANTICS

Channel semantics and communication behavior.
CONCURRENCY MODEL

Concurrency and scheduling semantics.
EXECUTION MODEL

Runtime execution flow and semantics.
OPERATE SEMANTICS

Technical reference material for the surrounding subsystem.
RUNTIME ARCHITECHTURE

Runtime architecture and execution model details.

Security

Security invariants, propagation, and safety claims.

AGENT MOD SFTY CLAIM

Technical reference material for the surrounding subsystem.
CHNNL SFTY CLAIM

Technical reference material for the surrounding subsystem.
CONCURNC SFTY CLAIM

Technical reference material for the surrounding subsystem.
ERROR HNDL CLAIM

Error handling and failure-mode documentation.
ERROR INVARIANTS

Safety invariant descriptions and validation notes.
INVARIANT MODEL

Safety invariant descriptions and validation notes.
MOD ISOLTN CLAIM

Technical reference material for the surrounding subsystem.
PROPOGATION REVOCATION

Technical reference material for the surrounding subsystem.
SECURITY SPEC

Security invariants and safety guarantees.
TYPE SFTY CLAIM

Typing, casting, and type-system rules.

Version 1

CONTRIBUTING

ERROR HANDLING

LEXICAL SPECS

LICENSE

MEMORY MANAGEMENT

VISION

Appendix

COOKBOOK APNDX

Golden Examples

Reference Architecture

REF ARCH 001

REF ARCH 002

REF ARCH 003

REF ARCH 004

REF ARCH 005

REF ARCH 006

REF ARCH 007

REF ARCH 008

REF ARCH 009

REF ARCH 010

REF ARCH 011

REF ARCH 012

REF ARCH 013

REF ARCH 014

REF ARCH 015

REF ARCH 016

REF ARCH 017

REF ARCH 018

REF ARCH 019

REF ARCH 020

REF ARCH 021

Backend

MAP PHILOSOPHY

NXD D MAPPING

NXD ELIXER MAPPING

NXD NIM MAPPING

Compiler

ARCHITECHTURE

IR LOWERING

NODE LIST IR SPEC

Ecosystem

BUILD SYSTEM SPECS

MOD PKG SYS SPECS

STANDARD LIBRARY

Language Guide

EQUALITY MUTATION

GENERIC CONSTRAINTS

GRAMMER STRUCTURE

TYPE CONVERSION CASTING

TYPE SYSTEM SPECS

Runtime

CHANNEL SEMANTICS

CONCURRENCY MODEL

EXECUTION MODEL

OPERATE SEMANTICS

RUNTIME ARCHITECHTURE

Security

AGENT MOD SFTY CLAIM

CHNNL SFTY CLAIM

CONCURNC SFTY CLAIM

ERROR HNDL CLAIM

ERROR INVARIANTS

INVARIANT MODEL

MOD ISOLTN CLAIM

PROPOGATION REVOCATION

SECURITY SPEC

TYPE SFTY CLAIM