Proof, not promises
Don't trust us. Check us.
Most AI is sold on a claim. We would rather you verify a decision than trust a score about it. This page is an honest account of what we have proven, what is still in build, and where we are behind.
What a seal proves
Provenance and integrity. Not correctness.
Every material decision our systems make is written to a tamper-evident, cryptographically sealed chain, so it can be replayed and independently checked later. A seal proves a decision happened, on specific data, and has not been altered since. It does not, on its own, prove the decision was right.
We keep those two apart on purpose, because conflating them is how buyers get surprised.
Verify, don't trust.
Correctness is a separate discipline of testing and evaluation. We publish both the proven and the in-build, and we name the one place we are behind.
The scoreboard
Held honestly.
| What it is | Status, held honestly | |
|---|---|---|
| 01Sealed decisionstamper-evident chain | Every material decision is sealed to a cryptographic chain, replayable and re-checkable years later. | In production · internally verified |
| 02Sovereign computehardware we own, in the UAE | Core reasoning runs on a private multi-node GPU mesh we own, in the United Arab Emirates, offline-capable, with no rented inference provider inside core reasoning. | In place · demonstrable |
| 03Formal truthmachine-checked mathematics | A class of claims is accepted only when a formal proof kernel certifies it, including Riemann-related lemmas checked in the Lean theorem prover. The Riemann work | Research programme · machine-checked |
| 04Ascensionpromotion gated by a frozen exam | A challenger model is promoted only after beating the incumbent on a frozen, sealed exam: reproducible, logged, and reversible. | Measured · internally verified |
| 05Reasoning paritybanked head-to-head matches | On a set of banked, head-to-head reasoning matches, our system reached parity with a frontier model. We report this as a measured result, not a universal claim. | Measured · internally verified |
| 06Domain masteryindependent re-verification at bar | Of seven target reasoning domains, two have been independently re-verified at the passing bar. The remaining five are in build and are not claimed as done. | 2 of 7 sealed · rest in build |
| 07General reasoningARC-AGI-3, sealed runs | Three ARC-AGI-3 games were solved to level eight, with the runs cryptographically sealed. The ARC-AGI-3 record | Sealed · reproducible |
| 08Track recordwhere we are behind | One complete industry operating system and multiple models run our own real-estate platform in production. Named external customer references are still to follow. We say so plainly. | Early · references to follow |
Held honestly: the last row is the one where we are behind. “Internally verified” means measured and sealed by us; it is not a third-party audit, and we do not describe it as one.
See for yourself
Check a sealed decision in your own browser.
You should not have to take any of this on faith. On the next page, recompute a sealed record's fingerprint yourself and watch it break the moment anything is changed.
Our standard
If it can't be checked, it doesn't get believed — by you, or by us.