Ledatic /

The verifiable layer — from the doorstep to the monolith.

The code your computer runs. The creations your humans make. A self-hosting compiler with zero C dependencies, every release signed against a live MHD plasma beacon, verifiable in 143 lines of Rail. Built in the open.

Rail v5.1.0 · 141 tests green · Self-hosting since 2026 · Detroit, MI

Operator · Line 01

Console cowboys.

The compiler you run is the compiler you read.

Rail · ~1.0 MB · No backdoor · No ICE between you and your tools

Substrate

One language under everything you just verified.

The compiler. The MHD simulation that becomes the beacon. The TLS stack carrying signatures from a Pi over Tailscale. The 143-line verifier behind the button up top. The site you're reading. All of it Rail. All of it compiles to a single ~1.0 MB seed binary you can read end to end. No npm. No Python. No runtime.

From the doorstep to the monolith

Same primitive. Every scale.

A signature you can re-derive in your browser, anchored to a public physics process nobody controls, witnessed by an independent key. That primitive runs from one artifact at your doorstep all the way out to every record in a government archive. Same chain. Different scope.

Shipping cadence

Forty-four tagged releases and counting.

v5.1.0
Current Rail
141
Tests green
1.0 MB
Seed binary
0
C deps