Buy proof — and data you can prove.
Two products, both built on the same attestation spine you just verified with the button above. Verification is free; you only pay to anchor or to license.
A live attestation instrument — and the key to put your work through it
A physics beacon and independent witness that turn any file into proof no one has to trust you for. Verification is free forever. Curious? The $5 door is always open.
Look inside → Data · provenance-attestedTraining datasets you can audit before you buy
Oracle-verified code pairs and provenance-gated text, each with a signed chain you can re-verify yourself. Free sample first. From $199.
Browse datasets →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 ~0.9 MB seed binary you can read end to end. No npm. No Python. No runtime.
the compiler you run is the compiler you read
Being readable is the prerequisite, not the point. A compiler small enough to audit and reproducible enough to trust can act as a referee — which is what machine-written code has never had. A model's claim that its output is correct can't be checked by anyone. A compile can be re-run by everyone.
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.
Verify
One record, one chain, "ok" in your browser. Pick any file from the archive — your browser re-derives the Ed25519 signature against the witness's public key and the entropy pulse it was anchored to.
FleetSystem
Mission control, sentinel-checked. Every surface renders unknown until a signed check passes — nothing glows that hasn't proven itself.
ArchiveAliens
Byte-for-byte mirror of the Dept. of War PURSUE UAP archive. Every file Ed25519-signed against the beacon, browser-verifiable per record.
MachineThe oracle
What the compiler is for. A model's claim that its code is correct can't be checked; a compile can. We train against the checker — and publish the month that method lied to us.
48 tagged releases and counting.
every figure above is injected at deploy time from a generated registry — none of them is typed by hand. per-release attestations are not published yet; the proof you can press today is the signed deploy manifest at the top of this page.
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