{
  "id": "GW-2026-0005",
  "type": "report",
  "title": "Typed SSA NativeIR for Semantics-Preserving JIT and Static AOT in Gray",
  "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.",
  "author": [
    {
      "family": "Proctor",
      "given": "Annabella",
      "ORCID": "https://orcid.org/0009-0000-0799-1757"
    }
  ],
  "publisher": "Grayworth Technical Publications",
  "issued": {
    "date-parts": [
      [
        2026,
        8,
        5
      ]
    ]
  },
  "version": "1.0",
  "DOI": "10.5281/zenodo.21759781",
  "URL": "https://grayworth.com/publications/gw-2026-0005",
  "keyword": "Gray; NativeIR; SSA; JIT; AOT; x86-64; AArch64; compiler backend",
  "publisher-place": "Sacramento, California, United States",
  "note": "Grayworth Publication ID GW-2026-0005."
}