Nyx Programming Language & Toolchain v0.34.0 (Latest Production Release)
==================================================================

Nyx is a high-performance, zero-garbage-collector sovereign systems language
featuring compile-time region memory inference, hard real-time determinism,
embedded ONNX neural runtime, and Jude formal SMT-LIB2 verification.

New in v0.34.0:
--------------
* @immutable_region: Permanent Read-Only Memory Locking for Neural Model Weights (Anti-Trojan Immunity)
* C FFI Fat Slices (&[T]): Spatial Bounds Enforcement (ptr + len) across unmanaged C boundaries
* @pinned Arena Lifecycle: Physical Memory Retention preventing dangling pointers during C/DMA calls
* @clamp SIMD Numerical Pre-filter: AVX2 (8-wide) and ARM NEON (4-wide) NaN/Inf input sanitization
* Jude Formal Proofs: SMT-LIB2 / Z3 compile-time mathematical theorems for region & domain soundness
* std.http & std.db Hardening: Full NyxFatSlice dispatching across network sockets and SQL queries

Quick Start:
-----------
1. Run install.bat (Windows) or install.sh (Linux/macOS)
2. Verify: nyx --version
3. Test Suite: python tests/verify_ffi_and_immutability_suite.py

Official Portal: https://nyx.9jaoncloud.com.ng
Documentation:   https://nyx.9jaoncloud.com.ng/docs/
Package Registry:https://nyx.9jaoncloud.com.ng/packages.html
