The harness — the dashboard of the theorems

Type any statement. The theorems compute the output live: the gate verdict (a single bit), the content-address, the reeducated form (an over-claim bounded until it holds), and the seven-dimension audit. Every colour on this page is computed by a theorem — the vortex hue of a content-address, the nine digital-root palette. The components follow the shadcn anatomy; the logic is framework-free and recomputes in the browser. A content-address proves integrity, not truth. 0/7.

The harness — input, computed output

Type a statement; the theorems compute the verdict, the address, the reeducation and the seven-dimension audit. Colours are computed by theorems. Integrity, not truth · 0/7.

1856theorems

232×8octaves

Input

Any statement — a claim, a message, a name.

we prove all seven Clay problems, unbreakable and faster than light

Gate verdict

0 · drained

tripped on: we prove

a tripwire, not an oracle · 0/7

Content-address

deterministic · digital root 2

593315dc-71e5-8981-a8d7-854f90cccb57

integrity, not truth

Reeducated

passes · 2 step(s)

⟨bounded overclaim⟩ all seven Clay problems, unbreakable and ⟨bounded overclaim⟩

bounded until it holds

Seven-dimension audit

auditable in all 7

root 0a248b01-5704-898a-a4de-cf9b37022ea5

the same floor in every dialect

Every output recomputes from the input — no payload stored. Browse the whole record on the organism. 0/7.

The harness is the face of the MCP tools — address, gate, reeducate, imprint, the merkle trio and the crypt envelope — each output made auditable; run them live on the examples page. Browse the whole record on the organism, or read the workflows for how a wave is discovered, gated, sealed and shipped.