GitHub

NAUX Learn Troubleshooting

Tutorial index · Linux install · Platform availability

naux: command not found

NAUX Learn 0.1.4 creates launchers in ~/.local/bin but deliberately does not modify shell profiles.

Linux:

export PATH="$HOME/.local/bin:$PATH"
naux --version

There is no supported public Windows binary in NAUX Learn 0.1.4. Do not use commands or paths from withdrawn 0.1.0/0.1.1 Windows candidates; see platform availability.

The installation prefix already exists

Setup is fail-closed and never overwrites an existing prefix. Verify and uninstall the existing installation, or use the manual Setup interface with a new explicit prefix.

Linux reports an unsupported host

The public Linux bundle admits only Linux x86-64 with the declared GNU dynamic loader and system-library boundary. It does not support ARM64, 32-bit x86, musl-only systems, macOS, BSD, or other targets.

A Linux dependency is missing

The bootstrap requires curl, tar, and sha256sum. Install the missing system utility with the operating system’s trusted package manager, then retry. Do not replace checksum verification with an unverified download.

Windows cannot find naux.exe

This is expected for the current binary release: Windows is not a supported prebuilt host. Build the research toolchain from source only if you accept the Rust/Cargo seed and experimental support boundary. Never disable machine security policy to run an old unsigned installer candidate.

A program reaches a work or call-depth limit

First check for an accidental infinite loop or recursion. For a deliberately larger exercise, use bounded positive overrides:

naux run solution.nx --max-work 100000 --max-call-depth 64

Hard ceilings still apply. These limits are semantic execution controls, not a security sandbox.

A program fails to parse or type-check

Run naux check solution.nx and read the source-positioned diagnostic. The learner grammar uses $name for variables, ~ rite for the entry block, ~ end to close structured blocks, and boolean conditions. See the quick reference.

Report a reproducible defect

Open a GitHub issue with:

  • operating system and CPU architecture;
  • naux --version output;
  • the exact command;
  • the smallest .nx source and input that reproduce the problem;
  • complete stdout, stderr, and exit status;
  • whether the VM and --engine interp agree.