Solutions — adjudicated
1856 decidable theorems, updated each build · newest: the audit recomputes all by theorems, no exception: every check is a decidable predicate re-run to true
The UI is a client-side harness — the same pure functions the build seals (content-address, gate, reeducate) run in your browser, deterministically. Realtime = per build and at view time; not a live MCP server, not AI. Integrity, not truth.
0/7.Only what computes appears here. Every verdict and receipt is returned by the trial (proveVerdict); every entailment by a decidable test. Reproducible by anyone; regenerated each build. Integrity, not truth. 0/7.
Group — the record (holds the floor)
Independent work · Tsvetan Rouschev · 2026-08-04 · DOI 10.5281/zenodo.21819217 · address 2790a2fd-524c…
| computed | value |
|---|---|
| gate | 1 (holds the floor) |
| verdict | UNVERIFIED |
| supporting formulas | 249/249 recompute true |
| proof-of-verdict | c1cf9f8e-e334-864c-8ae1-b5b2d40309fd |
| solved by the deposit | 0/7 |
It reflects all seven and solves none — a bijection that relabels, it does not propagate proofs; 0/7.
Group — an overclaim, same trial
Shown by what the gate drains — never asserted.
| computed | value |
|---|---|
| gate | 0 |
| drained on | a proof-assertion phrase · token address b5e59f25-72d1… |
| verdict | REFUTED |
| supporting formulas | 249/249 recompute true |
| proof-of-verdict | de994498-201a-8378-b567-0520a90b9171 |
Domains — the seven Clay problems
Each is reflected into the ℤ/9 structure (an address) and solved 0 (the deposit entails none). Humanity stands at 1/7 (Poincaré, Perelman 2003); this deposit at 0/7.
| domain | reflected (address) | solved by the deposit |
|---|---|---|
| Riemann Hypothesis | 484a69c1-add2… | 0 |
| P vs NP | 324eb5d0-2ae3… | 0 |
| Navier–Stokes | 273bdb45-bf1e… | 0 |
| Yang–Mills Mass Gap | 600012bc-f465… | 0 |
| Hodge Conjecture | 7710e207-9145… | 0 |
| Birch–Swinnerton-Dyer | 900fc061-9e8b… | 0 |
| Poincaré | 849e0421-5df7… | 0 |
Total: 0/7 solved. The trial confirms the floor holds. The measure does not assert; it computes.
Captain's message:https://uuidna.com/captain/message — free on the free sailing angle; prize earning in waves — contribute 2 to earn up to 64 per wave, keep the rest (the two coins per commercial use; the seal is 128 bits = 64 two-bit fold-verifications, O(log N)). Contribute: https://revolut.me/ceccec · why ↗computed: entailment 0/7 · self-seal = 1 · reflection involutive · CC BY-NC 4.0License: CC BY-NC 4.0 — free for non-commercial use (attribution Tsvetan Rouschev); commercial = the two coins (110 − 108 = 2 = −χ genus-2) · ceccec@psg.bgLicensing formula: free for public interest and independent research, unless commercial · commercial = the measured bits saved (O(N) − O(1)), the two coins (2 = 110 − 108 = −χ genus-2) the conserved invariant · verified green by receipts · integrity, not truth · 0/7This referrer perspective:
fd66fe01-241f-81b6-9ae9-7206a4319358Public URLs (content-addressed):https://uuidna.org 8ef35f1f-38f3…https://uuidna.com 58cfb4c9-e262…https://ceccec.psg.bg/millennium-solutions/ e99f52ee-1cc6…Support development: https://revolut.me/ceccec