https://nauxlang.org/ https://nauxlang.org/architecture https://nauxlang.org/benchmarks https://nauxlang.org/docs https://nauxlang.org/docs/adr https://nauxlang.org/docs/getting-started/first-program https://nauxlang.org/docs/getting-started/install-linux https://nauxlang.org/docs/getting-started/install-windows https://nauxlang.org/docs/getting-started/quickstart https://nauxlang.org/docs/learn/algorithms https://nauxlang.org/docs/reference https://nauxlang.org/docs/reference/adr-0001-canonical-typed-core https://nauxlang.org/docs/reference/adr-0002-binding-time-judgment https://nauxlang.org/docs/reference/adr-0003-allocation-identity-observability https://nauxlang.org/docs/reference/adr-0004-region-evidence-vs-placement https://nauxlang.org/docs/reference/adr-0005-p1-lighthouse-scope https://nauxlang.org/docs/reference/adr-0006-numeric-semantics https://nauxlang.org/docs/reference/adr-0007-ffi-trust-boundary https://nauxlang.org/docs/reference/adr-0008-production-sovereignty https://nauxlang.org/docs/reference/adr-0009-rc-fallback-cycle-policy https://nauxlang.org/docs/reference/adr-0010-nauxogenesis https://nauxlang.org/docs/reference/adr-0011-surface-core-t2-boundary https://nauxlang.org/docs/reference/adr-0012-surface-direct-functions-t2b https://nauxlang.org/docs/reference/adr-0013-bounded-logical-store-p1v1 https://nauxlang.org/docs/reference/adr-0014-bounded-existential-closures-p1v2 https://nauxlang.org/docs/reference/adr-0015-linear-lexical-handlers-p1v3 https://nauxlang.org/docs/reference/adr-0016-bounded-affine-unique-p1v4 https://nauxlang.org/docs/reference/adr-0017-bounded-ownership-return-p1v5 https://nauxlang.org/docs/reference/adr-0018-core-semantics-identity-stage1-freeze https://nauxlang.org/docs/reference/adr-0019-b0-request-trust-boundary https://nauxlang.org/docs/reference/adr-0020-b0-structural-node-identity https://nauxlang.org/docs/reference/adr-0021-b0-deterministic-call-fixed-point https://nauxlang.org/docs/reference/adr-0022-b0-sealed-evidence-independent-replay https://nauxlang.org/docs/reference/adr-0023-r0-specialization-value-request-boundary https://nauxlang.org/docs/reference/adr-0024-r0b-evidence-gated-static-evaluation https://nauxlang.org/docs/reference/adr-0025-r0b2-continuation-machine https://nauxlang.org/docs/reference/adr-0026-r0c1-scalar-residual-core https://nauxlang.org/docs/reference/adr-0027-r0c2-folding-and-opaque-evaluation-record https://nauxlang.org/docs/reference/adr-0028-r0d-sealed-residual-evidence https://nauxlang.org/docs/reference/adr-0029-corevm0-bounded-program-representation https://nauxlang.org/docs/reference/adr-0030-corevm0-full-image-and-definitional-boundary https://nauxlang.org/docs/reference/adr-0031-evidence-gated-polyvariant-r1-boundary https://nauxlang.org/docs/reference/adr-0032-structural-partial-values-and-bounded-helper-unfolding https://nauxlang.org/docs/reference/adr-0033-bounds-preserving-arrays-and-corevm0-admission https://nauxlang.org/docs/reference/adr-0034-canonical-summaries-and-corevm0-structural-erasure https://nauxlang.org/docs/reference/adr-0035-gate-a-translation-validation-and-canonical-residual-ssa https://nauxlang.org/docs/reference/adr-0036-canonical-machine-ir-trust-boundary https://nauxlang.org/docs/reference/adr-0037-canonical-x86-64-target-plan-and-checked-encoding https://nauxlang.org/docs/reference/adr-0038-verifier-gated-wx-native-runner https://nauxlang.org/docs/reference/adr-0039-direct-elf64-standalone-image-and-libc-free-startup https://nauxlang.org/docs/reference/adr-0040-sealed-predecessor-translation-correspondence-roots https://nauxlang.org/docs/reference/adr-0041-gate-b-end-to-end-standalone-measurement https://nauxlang.org/docs/reference/adr-0042-fail-closed-tail-control-flow-encoding-policy https://nauxlang.org/docs/reference/adr-0043-reject-greedy-tail-home-offset-swaps https://nauxlang.org/docs/reference/adr-0044-reachable-unique-predecessor-one-op-superblocks https://nauxlang.org/docs/reference/adr-0045-sealed-weighted-target-profile-and-shared-join-selection https://nauxlang.org/docs/reference/adr-0046-bounded-transitive-shared-join-composition https://nauxlang.org/docs/reference/adr-0047-bounded-per-ingress-fused-compare-branch-arm-cross-tabs https://nauxlang.org/docs/reference/adr-0048-exact-per-ingress-ordered-shared-join-lineage https://nauxlang.org/docs/reference/adr-0049-proof-only-shadow-prospective-shared-join-realization https://nauxlang.org/docs/reference/adr-0050-bounded-independent-shadow-machine-semantic-decoder https://nauxlang.org/docs/reference/adr-0051-sealed-non-executable-policy-15-candidate-capsule https://nauxlang.org/docs/reference/adr-0052-finite-policy-15-candidate-native-correctness-admission https://nauxlang.org/docs/reference/adr-0053-process-isolated-policy-15-candidate-correspondence https://nauxlang.org/docs/reference/adr-0054-candidate-specific-standalone-elf-correspondence https://nauxlang.org/docs/reference/adr-0055-candidate-matched-gate-b-measurement-and-claim https://nauxlang.org/docs/reference/adr-0056-sovereign-candidate-cost-attribution https://nauxlang.org/docs/reference/adr-0057-bounded-persistent-typed-tail-state-plan https://nauxlang.org/docs/reference/adr-0058-bounded-sovereign-physical-tail-bank-allocation https://nauxlang.org/docs/reference/adr-0059-bounded-physical-template-preservation-realization https://nauxlang.org/docs/reference/adr-0060-owned-tail-template-byte-capsule-and-independent-decoder https://nauxlang.org/docs/reference/adr-0061-bounded-persistent-site-binding-and-frontier-state-proof https://nauxlang.org/docs/reference/adr-0062-bounded-symbolic-body-frontier-realization https://nauxlang.org/docs/reference/adr-0063-frontier-live-set-narrowing https://nauxlang.org/docs/reference/adr-0064-owned-body-frontier-byte-capsule https://nauxlang.org/docs/reference/adr-0065-closed-semantic-image-composition https://nauxlang.org/docs/reference/adr-0066-sovereign-abi-envelope-byte-capsule https://nauxlang.org/docs/reference/adr-0067-fully-enveloped-semantic-image-composition https://nauxlang.org/docs/reference/adr-0068-sovereign-enveloped-image-native-correctness https://nauxlang.org/docs/reference/adr-0069-sovereign-enveloped-process-containment https://nauxlang.org/docs/reference/adr-0070-sealed-worker-artifact-launch-attestation https://nauxlang.org/docs/reference/adr-0071-independent-worker-elf-dependency-inventory https://nauxlang.org/docs/reference/adr-0072-reviewed-worker-dependency-declaration-admission https://nauxlang.org/docs/reference/adr-0073-exact-worker-dependency-object-byte-admission https://nauxlang.org/docs/reference/adr-0074-sealed-object-dynamic-identity-inventory https://nauxlang.org/docs/reference/adr-0075-reviewed-transitive-declaration-closure-admission https://nauxlang.org/docs/reference/adr-0076-sealed-object-gnu-version-requirement-inventory https://nauxlang.org/docs/reference/adr-0077-sealed-object-gnu-version-definition-inventory https://nauxlang.org/docs/reference/adr-0078-exact-gnu-version-compatibility-admission https://nauxlang.org/docs/reference/adr-0079-independent-dynamic-symbol-version-index-inventory https://nauxlang.org/docs/reference/adr-0080-sealed-root-worker-gnu-version-requirement-inventory https://nauxlang.org/docs/reference/adr-0081-exact-root-gnu-version-compatibility-admission https://nauxlang.org/docs/reference/adr-0082-sealed-root-dynamic-symbol-version-inventory https://nauxlang.org/docs/reference/adr-0083-reviewed-root-dynamic-symbol-lookup-scope-admission https://nauxlang.org/docs/reference/adr-0084-exact-strong-versioned-root-symbol-candidate-selection https://nauxlang.org/docs/reference/adr-0085-sealed-root-dynamic-relocation-inventory-and-selection-join https://nauxlang.org/docs/reference/adr-index https://nauxlang.org/docs/reference/architecture-charter https://nauxlang.org/docs/reference/benchmarks https://nauxlang.org/docs/reference/binding-time-b0-contract https://nauxlang.org/docs/reference/binding-time-b0-evidence-v1 https://nauxlang.org/docs/reference/compiler-pipeline https://nauxlang.org/docs/reference/core-closure-p1v2-contract https://nauxlang.org/docs/reference/core-handler-p1v3-contract https://nauxlang.org/docs/reference/core-machine-ir-r1-s6-contract https://nauxlang.org/docs/reference/core-n0-interpreter-semantics-identity-v1 https://nauxlang.org/docs/reference/core-n0-semantic-encoding-v1 https://nauxlang.org/docs/reference/core-ownership-return-p1v5-contract https://nauxlang.org/docs/reference/core-store-p1v1-contract https://nauxlang.org/docs/reference/core-unique-p1v4-contract https://nauxlang.org/docs/reference/corevm0-core-artifact-contract https://nauxlang.org/docs/reference/corevm0-gate-a-r1-s5-contract https://nauxlang.org/docs/reference/corevm0-nucleus-contract https://nauxlang.org/docs/reference/gate-b-standalone-measurement-contract https://nauxlang.org/docs/reference/language-spec https://nauxlang.org/docs/reference/memory-model https://nauxlang.org/docs/reference/naux-coq-mapping https://nauxlang.org/docs/reference/nauxogenesis-contract https://nauxlang.org/docs/reference/north-star https://nauxlang.org/docs/reference/p1-lighthouse-contract https://nauxlang.org/docs/reference/performance-contract https://nauxlang.org/docs/reference/phase1-proof-contract https://nauxlang.org/docs/reference/polyvariant-r1-s1-contract https://nauxlang.org/docs/reference/polyvariant-r1-s2-contract https://nauxlang.org/docs/reference/polyvariant-r1-s3-contract https://nauxlang.org/docs/reference/polyvariant-r1-s4-contract https://nauxlang.org/docs/reference/region-escape-analysis https://nauxlang.org/docs/reference/residual-core-r0c1-contract https://nauxlang.org/docs/reference/residual-core-r0c2-contract https://nauxlang.org/docs/reference/residual-evidence-r0d-contract https://nauxlang.org/docs/reference/residualization-r0-contract https://nauxlang.org/docs/reference/s1-learn-batch-io https://nauxlang.org/docs/reference/s1-learn-binary-bundle https://nauxlang.org/docs/reference/s1-learn-corpus https://nauxlang.org/docs/reference/s1-learn-diagnostics https://nauxlang.org/docs/reference/s1-learn-execution-envelope https://nauxlang.org/docs/reference/s1-learn-installer-lifecycle https://nauxlang.org/docs/reference/s1-learn-quick-reference-v0-1 https://nauxlang.org/docs/reference/specialization-r0a-encoding-v1 https://nauxlang.org/docs/reference/stage1-exit-audit https://nauxlang.org/docs/reference/static-evaluation-r0b1-contract https://nauxlang.org/docs/reference/static-evaluation-r0b2-contract https://nauxlang.org/docs/reference/stdlib-algo https://nauxlang.org/docs/reference/surface-core-t2-contract https://nauxlang.org/docs/reference/surface-core-t2b-contract https://nauxlang.org/docs/reference/typed-core-v0-1 https://nauxlang.org/docs/reference/x86-64-native-runner-r1-s7b-contract https://nauxlang.org/docs/reference/x86-64-standalone-r1-s8-contract https://nauxlang.org/docs/reference/x86-64-target-r1-s7a-contract https://nauxlang.org/docs/section/installation https://nauxlang.org/docs/section/native-pipeline https://nauxlang.org/docs/section/orientation https://nauxlang.org/docs/section/semantic-core https://nauxlang.org/docs/section/specialization https://nauxlang.org/docs/section/verification https://nauxlang.org/docs/tooling/troubleshooting https://nauxlang.org/docs/tooling/uninstall https://nauxlang.org/docs/tutorial https://nauxlang.org/examples https://nauxlang.org/install https://nauxlang.org/roadmap https://nauxlang.org/status