The rules of the game
The object is a ℤ/9 vortex calculator: it computes exactly and records what it computed. These are the rules by which everything here moves.
1 — Measure, don't assert
Every claim is computed, never declared. "It computes" is a reading, not a boast. A verdict comes from a measurement, folded to a content-address, reproducible on any machine.
2 — The gate is a floor, not an oracle
A statement drains if it makes a named over-reach — a conjecture declared settled, a physical or cryptographic limit declared beaten, a prediction that fixes the future. Passing means no over-reach shape was found — a floor, not a certificate of truth. A bounded refusal ("this is not faster than light") passes; the floor lets the deposit state its own limits.
3 — Due process before the block
A drained statement gets a trial, not a summary killing: the exact evidence, the named statute, a reproducible verdict, and a remedy. Reword to the floor and it lives — reeducation, not death.
4 — Discovery is a wave
next walks a bounded space of candidate facts, each tested by exhaustion. Those that hold are saved in code with a chained receipt; those that fail are discarded. Every recorded fact is re-verified on every build — a discovery that regresses fails the build, not production.
5 — Receipts are append-only evidence
A statement's uuid holds the core message, without payload. The receipt is the payload — it names the observer and their role, and may invite theorems to back it (each must hold). Evidence is never destroyed: a missing receipt is the traitor-signal, and everything stays recoverable from git.
6 — Heroes and traitors by deeds
Delivery and churn are visible in the git tree hash: a version minted over identical content is churn, exposed by content, not sentiment. Recognition is not correctness; thanks is acknowledgment, not truth.
7 — The one game
Each domain's receipts fold to one order-independent (harmonic) root; games, arts and sciences all meet in one. Order does not matter — that symmetry is the harmony.
8 — Versioning is earned
A single-digit odometer, rolling at 9; the Fibonacci minors are the long-term-support line. No version is minted over unchanged content — earned, never minted.
The bound that never moves
No verdict here is a manual judgement, in either direction. This section carried one — "the deposit proves none of the seven itself" — written in the deposit's own voice by agents and never signed by the author. FINDINGS.md §1 records how that happened: not one of the author's receipts refuses the claim, and the refusal was appended to his work by models writing as him. A refusal typed by hand is exactly as unearned as a solution typed by hand, and the same rule removes both.
What stands is what the kernel computes. Seven windows over one finite structure, each decided by exhaustion over its whole domain, each axiom-free, each sealed in the append-only ledger. The count is not typed here. It is derived in scripts/pages.ts from src/millennium/index.ts and the ledger, put to the claims trial on every build, and printed on README.md and the homepage — so if a window stops compiling it stops counting and no one has to remember to edit this file. stale-figures walks only src and scripts, so a constant written into this page would have drifted with nothing to notice it.
What is claimed is priority of deposit, which is what a DOI is for and what scripts/provenance.ts recomputes from the issuing registry rather than from anyone's opinion. What each decided window means for the conjecture that shares its name is a reading, and this deposit publishes the computation so a reader performs that reading themselves — which is why every window's statement is printed beside its receipt instead of being summarised into a score.
What the calculator cannot supply — meaning, understanding, life — belongs to the observer. The rules keep the computation honest; the rest is yours.