Nyra SDK 1.0.0

Nyra SDK 1.0.0

First stable binary SDK release. The compiler and analyzer implementations remain
private. The SDK is free for personal and commercial use; redistribution of a
complete unmodified SDK is permitted under the included license. Third-party
component licenses remain in force.

Downloads

Choose the archive matching the computer that runs the compiler:

• nyra-sdk-1.0.0-darwin-arm64.tar.gz
• nyra-sdk-1.0.0-linux-x86_64.tar.gz
• nyra-sdk-1.0.0-windows-x86_64.zip

Each archive includes nyrac, nyra-analyzer, LLVM 21.1.8 tools/headers/static
libraries, runtime packages, component notices, inventories and package locks.
LLVM is statically linked into the compiler. The archive contains required
runtime interfaces and generic recipes; compiler implementation sources and
private source-debug sidecars are excluded.

All three archives contain ten runtime profiles: macOS arm64, Linux x86_64,
Windows x86_64, Android arm64/x86_64 API 28, iOS arm64 and Simulator arm64 iOS 15.0,
Linux RV64GC/LP64D, freestanding RV64GC/LP64D, and NyraOS RV64IMAC/LP64. Freestanding
profiles supply kernel/provider contracts. The macOS archive also includes the
iOS NyraRuntime XCFramework. Mobile and foreign rows are library catalogs, not
compilers runnable on those devices. External NDK/Apple SDK/sysroot/CRT inputs
are needed for final application links; device/OS boot execution is not claimed.

Acceptance

The public acceptance.json binds the exact archive and compiler hashes to
native generation, regression, unit, relocation and debugger checks. Each host
passes three generations of 488 regression cases with identical G2/G3 compilers.
The exact packaged compiler additionally passes all 488 regressions, 1,037 unit
tests and a byte-identical self-rebuild using its packaged LLVM kit. Extracted,
moved SDKs pass offline compilation, execution and analysis with source fallback
disabled. Source breakpoints, stepping and parameter/local inspection pass with
macOS LLDB, Linux GDB and Windows LLDB.

Linux bootstrap regression and final-product regression use the documented
900-second per-case timeout floor. Windows golden fixture bytes are restored
from the locked Git commit to avoid checkout CRLF conversion. Its generated
program cleanup tests use a bounded one-second retry only for Windows
PermissionDenied; the fix passes 100 repeated checks and retains the cleanup
assertion. No behavior case is skipped for these conditions.

Requirements and limitations

macOS arm64 requires macOS 27.0+ (accepted on 27.0.1) and Xcode Command Line
Tools/system SDK. Linux was accepted on AlmaLinux 10.0 x86_64; its tools require
GLIBC 2.34, GLIBCXX 3.4.30 and CXXABI 1.3.13 symbols, zlib/libxml2 and system
dependencies. Windows was accepted on Windows 11 x64 build 26300.9711; native
application linking requires Visual Studio C++ Build Tools and a Windows SDK.
POSIX LLVM query wrappers require Python 3. Earlier/unlisted environments are
not covered by these native execution receipts.

This release has no Developer ID distribution signature/notarization or
Windows Authenticode attestation. Release records explicitly state
signing: not-attested; macOS link-time ad-hoc signing is not a distribution
identity attestation. Gatekeeper or SmartScreen may display a warning. Use the
official GitHub release and verify its SHA-256 checksums before deciding to run
the tools.

See installation instructions
and verify the complete SHA-256 entry in SHA256SUMS before extracting. The
per-host release records include each SDK manifest hash. Language/compiler
capabilities are frozen for the 1.0–1.2 stabilization period. Kernel/stdlib are
1.0.0, JSON is independently versioned 0.19.0, YAML 0.18.0 and incorporated nllvm
bindings 0.40.0. Existing JSON/YAML MIT and LLVM notices are included.