Verdict: PARTIAL. The workflow file lists the CPU gates. This commit has not been executed on Ubuntu. There is no macOS ARM64 runner, and this file does not invent one. NVIDIA and Linux GPU are not jobs.
.github/workflows/linux.yml on ubuntu-24.04:
| Step | Gate |
|---|---|
scripts/doctor.sh | G0 toolchain |
mix compile | libraries exist before the import check |
scripts/check-abi.sh | G1 layout, generation diff, bad import, dirty flags, provenance |
scripts/test-isolated.sh | G0 add, G2 terms, G3 ownership, G4 heartbeat, G6 DSL, G7 abort probe |
consumer and umbrella mix test | G5 |
artifact linux-cpu-evidence | doctor, ABI log, ExUnit, fingerprint, manifest, commit |
G8 is the tutorial. It is not a separate Ubuntu script yet; the labs are the commands in the units. G9 is absent on purpose.
Stage 0 Linux evidence remains E18 and E19. Do not read those rows as a pass of this workflow.
Windows, other architectures, and other OTP minors are not targets. The generator refuses a triple that is not the host.