@techreport{gw-2026-0005,
  title = {Typed SSA NativeIR for Semantics-Preserving JIT and Static AOT in Gray},
  author = {Proctor, Annabella},
  institution = {Grayworth Technical Publications},
  year = {2026},
  number = {GW-2026-0005},
  type = {Preprint},
  version = {1.0},
  doi = {10.5281/zenodo.21759781},
  url = {https://grayworth.com/publications/gw-2026-0005},
  note = {ORCID: https://orcid.org/0009-0000-0799-1757; author ISNI: https://isni.org/isni/0000000530671646; publisher ISNI: https://isni.org/isni/0000000530671654; abstract: This paper presents Gray's typed NativeIR, a bounded control-flow representation used to compile a numeric subset of Gray bytecode to native code on both x86-64 and AArch64 architectures. The system introduces typed control-flow graphs, SSA values, Phi nodes, register classes, architecture-specific lowering, and a shared backend path for Live JIT, Static execution, and native executable artifacts. Native calls, structured exits, source identity, deterministic artifacts, cooperative cancellation, and refusal-safe VM fallback are retained as part of the compiler-runtime contract. The result establishes Gray's native execution path as a portable backend rather than a collection of benchmark-specific accelerators, while clearly identifying the current boundary of supported native code.}
}