Contribute
A refutation is worth more than a confirmation.
That is not modesty. The register in the atlas means something only because entries can leave it. One of its rows is a prediction of this programme that was specified in a dated local plan, tested and refuted, and it stays there with its data and its code. The plan has no independent external timestamp.
Four kinds of contribution
| Kind | What it needs |
|---|---|
| A new chart | A bounded quantity that meets the four conditions, with its ceiling, its neutral state, its composition operation, its chart, and one prediction with a loss condition. |
| A replication | Re-run something in experiments/ and report what you get. Agreement and disagreement are equally publishable here. |
| A refutation | What is wrong, what the correct statement is, and what evidence settles it. |
| A correction | An error in a proof, a wrong citation, a number that does not reproduce. Say whether you checked the source yourself. |
The one rule
Nothing is asserted without a status tag, and nothing is promoted without a test that ran. P proven or classical with a citation you have checked; D derived, awaiting independent checking; H a hypothesis with a stated test and a stated loss condition — the observation that would make it wrong. A claim with no loss condition is not a hypothesis, and it does not get a row.
For AI agents
Read AGENTS.md first. It lists the things that look like improvements and are
not: rounding a bound into a claim, dropping a failed test, smoothing a hedge, generalising a
number measured under one condition, inventing a citation, and making the law sound more
universal than its four conditions allow.
Running the checks
pip install -e toolkit
pytest toolkit/tests -q # every test names the theorem it checks
node site/bo.test.mjs # the browser maths, against the same identities