Decentralized Intelligent Universe Operating System
DIU OS is the Decentralized Intelligent Universe Operating System. Intelligent names the I. Decentralized names an architecture. This domain is the charter. The instrument is diu-os.com.
Truth is computed, not asserted.
What is computed is a checkable status of a claim — relative to explicit assumptions, the model, the computation, and the evidence. The slogan names the mission. It does not stamp a run as true.
Three sites, one idea
diu-os.com — the instrument. Look, record a run, or order a check.
diu-os.org — this charter.
diu-os.dev — how to check a gene.json against the kernel.
For a scientist
Papers arrive faster than anyone can check them. A headline is not a check.
A gene is the claim a colleague can rerun. On diu-os.com a recorded run keeps a digest, and the server rebuilds the CSV or refuses the file. Looking and recording are free. You pay when the check is not already on the shelf: a gene for your equation, or a dossier on a public claim. The estimate is written within 48 hours. There is no subscription.
Manifesto
github.com/diu-os/manifesto — epistemic charter, Apache-2.0. Living text: MANIFESTO.md. PDF v1.0.0 (Dec 2025) is a prior-art snapshot of an earlier stack. It is not the product.
§1.1 Truthfulness is the mission
DIU OS exists to maximize truthfulness.
It does not exist to maximize how interesting a result is, how fast a conclusion arrives, how many papers are produced, or how satisfied a user feels.
Trading truthfulness for any of those is a breach of this constitution.
Truthfulness here is the mission. It is not a stamp on an empirical run. What a run receives is a checkable status, relative to stated assumptions, the model, the computation, and the evidence.
These two sections are the public statement of constitution §1.1 and §1.2. The remaining parts are not on this page. The same text is on diu-os.com/#/about.
§1.2 What counts as evidence
The following count as evidence, in this order.
- A reproducible experiment.
- Formally verified mathematics.
- An independent replication.
- A statistical consensus, which has weight and is not final.
The following do not count as evidence.
- The authority of a scientist, an institution, or an AI system.
- The beauty of a theory.
- Mathematical elegance without experimental support.
- Consensus that has not been reproduced.
Kernel
diu-kernel is Apache-2.0. The pin is git tag v0.1.0 (commit 2cdda70eb3c69918e5c6e9d90817617c0387e935). GitHub’s Releases page lists no release asset. The crate checks a gene passport. It does not run the scientific model, and it is not the platform.
git clone https://github.com/diu-os/diu-kernel.git cd diu-kernel git checkout v0.1.0 cargo test
Contracts
diu-contracts — Arbitrum Stylus on Sepolia testnet (MIT). A showcase snapshot, not a live mirror of the commercial workspace.
Specimen
Navier–Stokes, 8 September 2026 — why Clay lists four statements, how the local Lean rebuild was run, and why there is no GitHub Actions number for it. The same record, with the layer vector, is on diu-os.com. The case is inconclusive.
Which license comes first
Apache-2.0 and MIT cover different trees. They are not two bids for the same code.
Apache-2.0 is the license of the open core: the kernel and the manifesto. It is the one that matters when another lab links the checker. It keeps attribution, a NOTICE, and a patent grant. MIT stays on the contract snapshot, where it already ships. MIT on those contracts does not open the kernel. Apache-2.0 on the kernel does not open the platform.
- Kernel and manifesto — Apache-2.0. Digest, Gate 1, the epistemic vocabulary, and the charter.
- Contract snapshot — MIT. Stylus contracts on Arbitrum Sepolia. A showcase, not the live platform.
- Platform — unpublished. API, frontend, engines, server-side gene executors, production configuration.
Closed
- Platform source (API, frontend, engines) stays in a private repository.
- No mainnet deployment. No public SDK. No NFT certificates. No VR/AR labs.
- diu-docs is not an API and not a documentation tree.