Verum truth surface contract
How to read this page
Three ways to read this page. Precise is the document itself, exactly as it is written in the repository. Plain and Clear were written for this website to help you meet that document — they are about it. They are not it, and they are not evidence.
A laboratory built around the bacterial flagellar motor. It holds a deterministic reduced model of the motor, analysis of recorded single-motor events, and a cross-study parity programme. Alongside those sit the scientific gates the work has to clear, and independent audits of both the model and the repository around it. The framing throughout is hierarchical active inference.
It is for a reader with a scientific interest, and especially for one who has come to check whether a model fit has quietly become a claim about biology. The laboratory's central discipline is a labelling one: every visible layer carries exactly one class — recorded observation, structural reconstruction, reduced model, or physical teaching analogue — and those classes may not be blended. Behavioural observations of one species are held apart from structural work on another, so that nothing on the page can read as a single measured specimen.
Start with the Living Science Walkthrough, which sets out those classes and the truth contract they belong to. Then the scientific and mathematical contract, then the parity gates, which state what would have to hold before a parity claim could stand.
What it is not: a claim of biological parity. The walkthrough is explicit that the release does not turn a model fit into a biological identity claim, and full biological parity is recorded as false and printed as false. Passing this repository's software tests is necessary here and is not the same thing as agreement with a living motor.
Your browser cannot switch reading levels, so the document itself is shown.
Precise — the source document
This is the document. Rendered from the repository at the commit above, with nothing rewritten for the web. A gate re-renders it on every deploy and fails the build if a single byte differs.
Every changing value carries these meanings:
- WORLD TRUTH — available only inside the synthetic world visualization;
- OBSERVED — crossed the declared sensor boundary with a timestamp;
- PRIOR — belief before the current observation;
- LIKELIHOOD — evidence probability under each modeled hidden state;
- POSTERIOR — updated belief, never world truth;
- PREDICTED — committed forecast for comparison with a later observation;
- RESIDUAL — observed minus predicted with units;
- ACTION — bounded outward command;
- MODELED — equation or parameter choice, not an observation;
- SOURCE — primary evidence that constrains a biological statement;
- FENCE — what the evidence does not establish.
The UI must never upgrade one class into another. Instrument mode hides no missing fields: an absent CheY-P or stator measurement is rendered as “not observed,” not filled from synthetic truth.
sha256 68815587869ba786 — of the original file, so what was ingested stays checkable.
Plain — written for this website, not the source document
Every value that moves on this screen has to wear a label naming what kind of thing it is. That is the whole page: a short list of those labels, and one rule about them.
Some labels mark a reading that crossed a declared boundary and carries a timestamp. Others mark a belief held before evidence arrived, or the belief after it. Others mark a forecast, the gap between a forecast and a reading, a command sent outward, or a modeled choice of equation. One marks truth that exists only inside the synthetic world. One marks the edge of what the evidence settles.
The rule is that the interface must never quietly turn a weaker label into a stronger one. A belief is not a reading. And where a value is simply missing, the screen has to say so plainly, rather than borrow a number from the synthetic side to fill the hole. Anyone building such a screen, or checking one, would read this.
Plain · written 2026-08-01 by claude-opus-5 · not yet checked by a person · about the document whose sha256 is 68815587869ba786
Clear — written for this website, not the source document
The page is a contract about labelling, not a report of results. Most of it is a list, and each entry names one meaning a changing value may carry.
The entries cover truth available only inside a synthetic world; a record that crossed a declared sensor boundary with a timestamp; belief before evidence and belief after it; the probability of evidence under each modeled hidden state. Then a committed forecast; observed minus predicted, with units; an outward command; a modeled equation or parameter choice; the primary evidence behind a biological statement; and a limit naming what that evidence does not settle.
Then comes the rule that gives the list its force: the interface must never upgrade one class into another, and a missing measurement is shown as not observed rather than filled in from the synthetic side.
Clear · written 2026-08-01 by claude-opus-5 · not yet checked by a person · about the document whose sha256 is 68815587869ba786