Releases, on the chain.
A pulse anchor () marks the beacon pulse at the moment of signing — for releases after the chain epoch that is the release itself; for older tags the signature was added retroactively and is labeled backfill. The repo's CHANGELOG.md remains the complete prose record.
scripts off? every proof here is a plain URL: /releases/<tag>/rail_native.attestation.json
This page doubles as the site's own deploy ledger: deploys of ledatic.org sign into the same chain, and the self-check in the footer verifies the page you are reading right now. Walk the chain itself at /replay.
-
v5.1.0 2026-05-15 attested
@ p#1004625 Rail emits its own GPU kernels.
the language writes the GPU code it runs — at runtime, from its own op-graph
-
v5.0.2 2026-05-15 attested
@ p#1002744 Attestation pipeline goes fully pure-Rail.
-
v5.0.1 2026-05-15 attested
@ p#987584 Attestation hygiene + codegen tightening.
-
v5.0.0 2026-05-14 attested
@ p#976227 Self-hosted toolchain — Linux ELF substrate.
no external assembler, no linker — Rail writes the executable file itself
-
v4.1.0 2026-05-13 backfill-attested
@ p#987511 Repo hygiene + leak-guard CI.
-
v4.0.1 2026-05-13 backfill-attested
@ p#987510 Public-surface sanitization.
-
v4.0.0 2026-05-13 backfill-attested
@ p#987510 Substrate maturity — backend parity + in-process JIT.
two instruction sets, one suite, fully green on both
-
advisory 2026-05-09
Security leak found, fixed.
An API token was leaked in public git history and was rotated. No customer data affected.
-
v3.11.0 2026-05-02 attested
@ p#515139 Read-file-bytes + HTTPS PUT of arbitrary bytes.
-
v3.10.0 2026-05-02 attested
@ p#510999 Rail-native witness signer; Linux backend complete.
-
v3.9.0 2026-05-02 attested
@ p#507683 Ed25519 sign + Rail-native attest pipeline.
-
v3.8.0 2026-05-01 attested
@ p#467675 Releases physicified.
the chain epoch — from here forward, every release is signed at the moment it ships
- pre-pulse era — everything below shipped before the chain existed (2026-05-01). Signatures below were added retroactively; each pulse anchor marks the signing moment, not the release.
-
v3.7.0 2026-04-30 pre-pulse era backfill-attested
@ p#467684 Float-TCO root fix + mixed-precision inference.
-
v3.6.1 2026-04-27 pre-pulse era backfill-attested
@ p#360785 Compiler hardening — undefined idents fail at link time.
-
v3.6.0 2026-04-20 pre-pulse era backfill-attested
@ p#358894 Strict HTTPS by default — chain-walk to trust store.
-
v3.5.0 2026-04-19 pre-pulse era backfill-attested
@ p#360394 Entropy read hardened + static-path guard.
-
phase1-mini-handoff 2026-04-19 pre-pulse era · git history only
Phase-1 handoff snapshot.
-
v3.4.0 2026-04-19 pre-pulse era backfill-attested
@ p#360393 Ed25519 verify — RFC 8032 clean against test vectors.
-
v3.3.0 2026-04-19 pre-pulse era backfill-attested
@ p#360392 HTTPS keep-alive + ECDSA P-521.
-
v3.2.0 2026-04-19 pre-pulse era backfill-attested
@ p#360391 Strict HTTPS one-line import + compiler quadratic fixes.
-
v3.1.0 2026-04-18 pre-pulse era backfill-attested
@ p#360390 Streaming HTTPS bodies — linear, not quadratic.
-
v3.0.0 2026-04-18 pre-pulse era backfill-attested
@ p#360389 Rail speaks TLS.
pure-Rail TLS 1.3 with chain validation — no proxy left in the request path
-
v2.23.0-rc1 2026-04-17 pre-pulse era · git history only
Rail talks to the internet — pure-Rail HTTP/1.1.
-
v2.16.0 2026-04-14 pre-pulse era backfill-attested
@ p#594271 WASM: fold with bare named functions.
-
v2.15.0 2026-04-14 pre-pulse era backfill-attested
@ p#594248 WASM: named-fn map/filter + closure-capture fix.
-
v2.14.0 2026-04-14 pre-pulse era backfill-attested
@ p#594227 Metal IR scaffold — JIT-compiled GPU kernels.
-
v2.13.0 2026-04-14 pre-pulse era backfill-attested
@ p#594206 WASM map / filter / fold.
-
v2.12.0 2026-04-14 pre-pulse era backfill-attested
@ p#594184 Multi-head attention, learnable LayerNorm.
-
v2.11.0 2026-04-14 pre-pulse era backfill-attested
@ p#594162 WASM MHD to t=π.
-
v2.10.0 2026-04-14 pre-pulse era backfill-attested
@ p#594141 WASM MHD simulates.
-
v2.9.0 2026-04-14 pre-pulse era backfill-attested
@ p#594120 WASM compiler maturity for compute kernels.
-
v2.8.0 2026-04-14 pre-pulse era backfill-attested
@ p#594099 WASM transcendentals (~9-digit accuracy).
-
v2.7.0 2026-04-14 pre-pulse era backfill-attested
@ p#594077 WASM floats end-to-end.
-
v2.6.0 2026-04-14 pre-pulse era backfill-attested
@ p#594056 Compiler + REPL polish.
-
v2.5.0 2026-04-14 pre-pulse era backfill-attested
@ p#594035 Pre-norm transformer block.
-
v2.4.0 2026-04-14 pre-pulse era backfill-attested
@ p#594013 Attention end-to-end.
-
v2.3.0 2026-04-14 pre-pulse era backfill-attested
@ p#593991 The training stack.
-
v2.2.0 2026-04-14 pre-pulse era backfill-attested
@ p#593969 The Suite.
-
v2.1.2 2026-04-14 pre-pulse era backfill-attested
@ p#593948 Full GPU op coverage via FFI.
-
v2.1.1 2026-04-14 pre-pulse era backfill-attested
@ p#593926 v2.1 regression tests + technical debt.
-
v2.1.0 2026-04-13 pre-pulse era backfill-attested
@ p#593904 The GPU session — Rail drives Metal, trains neural nets.
-
v2.0.0 2026-04-06 pre-pulse era backfill-attested
@ p#360388 512 MB allocator + conservative GC.
memory management lands — the runtime stops trusting luck
-
v1.4.0 2026-03-22 pre-pulse era backfill-attested
@ p#593883 GC mark-sweep, nested lambdas, match exhaustiveness.
-
v1.1.0 2026-03-18 pre-pulse era backfill-attested
@ p#593861 Metal, WASM + x86_64 backends; concurrency; stdlib grows.
-
v1.0.0 2026-03-17 pre-pulse era backfill-attested
@ p#593840 Self-hosting achieved — the Rust is deleted.
from this day, the compiler that compiles Rail is written in Rail
-
v0.6.0 2026-03-14 pre-pulse era · git history only
First self-compile fixed point.