Zeta Lab · the record
How the lab works
The rules the lab holds itself to, each linked to where the tree states it.
- Certainty ladder
- Measured, hardened, kernel-checked. A composite claim takes the grade of its weakest step. The ladder ends at kernel-checked because that is where the lab's certification ends; outside review is not its to award, and a published claim carries "pending external verification" until an outside reader has walked the chain.
- Controls
- Nothing leaves a hunt without a rival (a function with the structure that violates RH), a decoy or surrogate (a matched null with no arithmetic), a lesion (a planted violation the detector must notice) and a precision response. Nothing in the hunts directory is a result, by rule.
- Lean
- Statement-first: the statement and its hypotheses are fixed before a proof is attempted; proofs by Aristotle (Harmonic), Claude (Anthropic); the kernel checks every step; anything left unproved becomes a named hypothesis of the main theorem, never an axiom.
- Agents
- Claude Code, Codex and Antigravity. A model belongs wherever its output is checked against an oracle that is not a model, and not where the only check is another model's agreement.
- Intervention ledger
- 41 entries (24 intervention, 12 observation, 5 judgment); what caught each: unstated 17, human 16, test 2, outsider 2, oracle 2, nobody 2.