Numerical predictions are SHA-256 hashed and published before the deciding computation, with explicit falsification bands and stated confidence. A seal the run cannot falsify is refused by the apparatus, not filed anyway. The scoring itself has twice been wrong, and both corrections are recorded here rather than repaired quietly.
Those figures carry over from universesolver.com, SIMARC's predecessor registry, and they are displayed exactly as they stand. Zero independent verifications is not a footnote — it is the diagnosis. Authority in research consists of other researchers staking their name on a result. Everything in this institute's design, especially the agent interface, exists to make that number climb.
Six necessities any real computer must have, six seams it would leave, six verdicts. This is the only program-level ledger with entries decided.
| seam | test | evidence | verdict |
|---|---|---|---|
| grid in space | ℓ=4 cubic harmonic power | 756k quasars | NULL |
| grid in time | v_g = c·cos(ka/2) | GRB 090510 | NULL |
| memory — entanglement | the 2ᴺ wall | live frontier | NO SIGNAL |
| memory — finite box | S₁/₂ · quadrupole · parity | WMAP + Planck, 4 cleanings | ROBUST ANOMALY |
| an RNG | PRNG periodicity / structure | quantum bit streams | NULL |
| arithmetic | round-off · irreversibility | precision bounds | NULL |
In each of the three younger programs the sealing apparatus is built, tested, and — in two cases — has been demonstrated refusing a real prediction the run could not have falsified. Nothing has been committed to any of them.
An empty ledger reported as empty is worth more than a full one that quietly excludes its misses. This page will get less clean over time, and that is the point.
Corrections are first-class ledger entries. They are never edits: the record is append-only, and a repaired mistake with no trace is indistinguishable from a mistake never made.
| what | correction |
|---|---|
| prediction scoring | Wrong twice. Both corrections recorded in the ledger rather than repaired quietly. |
| error rates, P-02 | Every error rate in the program was a factor of two too small. Caught by the apparatus before any result existed. |
| a validation test, P-02 | Had exactly zero statistical power against the failure it was written to catch. |
| "−8", P-02 | A substrate result nearly reported as a number, before a guard caught that two ranks were being subtracted across different vector spaces. |
| graveyard classifier, P-04 | A negation bug had reclassified the largest anti-amyloid failure in the corpus as a business decision. Caught by a control list that existed only because a CANCER lesson demanded one. |
| the APOE gate, P-04 | p = 5.75e-659 underflows a double to 0.0, and the gate asserting p < 1e-50 was satisfied by it. The control passed on the bug. |
| the single-slit pattern, P-01 | A razor-thin barrier produced a fake double-peaked pattern — the wave was scattering off the barrier's own under-resolved corners. The discretization invented physics. |
Every entry on this page is available as JSON, and will be published as an Atom feed in Phase 1 so agents and humans can subscribe to seals and scores as they land.