Ledatic /

The verifiable layer — from the doorstep to the monolith.

⌁ p#—

the public heartbeat this site is clocked to — every age below is denominated in pulses, wall-clock is just the translation

Substrate

One language under everything you just verified.

The compiler. The MHD simulation that becomes the beacon. The TLS stack carrying signatures from an independent witness. 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.2 MB seed binary you can read end to end. No npm. No Python. No runtime.

the compiler you run is the compiler you read

Shipping cadence

45 tagged releases and counting.

Current Rail
170/170
Tests green
1.2 MB
Seed binary
45
Tagged releases
0
C deps

the release figure above is a working prove button — press it and your browser fetches the tagged binary, hashes it, and checks the witness signature itself

2040, backwards

No one can retro-fabricate a heartbeat.

The beacon ticks every ~2 s. Kept up, that is roughly 220 million unbroken pulses by 2040 — a hash chain nobody can fabricate after the fact, with every deploy of this site signed into it. It starts here.

fourteen years from now, this page will be able to prove what it said today