Primary Targets
| Target | Build Target | Artifact | Gate |
|---|---|---|---|
| Windows x64 | x86_64 | PE/COFF executable | GitHub Actions windows-2022 plus local smoke |
| Linux x64 | linux | ELF executable | GitHub Actions ubuntu-22.04 plus Debian/WSL smoke |
Native backend reliability
Windows/Linux x64 first, with evidence.
Native claims are gated by smoke tests, byte-reproducibility checks, release manifests, and explicit unsupported-target failures.
Reliability Gates
| Gate | Command | Purpose |
|---|---|---|
| Native smoke | run-native-smoke.* | Build, verify, execute, and compare output for native feature coverage. |
| Native reliability | run-native-reliability.* | Build deterministic native artifacts twice and compare SHA-256 output. |
| Unsupported target | Included in reliability | Unknown targets fail closed without emitting an artifact. |
| Release manifest | verify_release_manifest.ps1 | Published SDK artifacts and checksums verify before install. |
Feature Matrix
| Area | Windows x64 | Linux x64 | Notes |
|---|---|---|---|
| Executable format | Gated | Gated | PE/COFF and ELF verification run with --verify. |
| Entrypoint, loops, calls | Gated | Gated | Hello, loop/math, stack arguments, and nested calls. |
| Strings and globals | Gated | Gated | String ops/transforms and global string data. |
| Structs, vectors, arenas | Gated | Gated | Struct arrays, vector helpers, and arena allocation/reset. |
| IO/path/process/time | Gated | Gated | File wrappers, directory listing/glob, process output, and time helpers. |
| Local networking/HTTP | Gated | Gated | Loopback TCP, socket options, route helpers, and keep-alive response reads. |
| DNS-backed sockets | Beta gap | Beta gap | Endpoint parsing is gated; real DNS socket execution is not promoted yet. |
| Public-network HTTP | Beta gap | Beta gap | Local loopback is gated; public network execution is not promoted yet. |
| macOS and ARM64 | Planned | Planned | Not a primary release promise until hosted gates exist. |