---
title: Method
lead: Carlo directs, Claude writes and computes, and every number names its generator.
---

- Carlo Mitchener directs: the questions, the taste, the decisions on what stands and what dies.
- Claude writes and computes: every line of code, every note, every claim and every figure in this tree, under that direction.
- Every printed number names its generator: a crate function, a lab study, a sequence row or an OEIS entry; a number with no generator stays a Conjecture.
- Every claim carries exactly one tag, Proved, Verified, Conjecture or Refuted, and a claim is never deleted because someone else published it first; a dated cross-reference is added, and only a counterexample moves it.
- The claims ledger is the history: one dated line per claim under [Discoveries](/research/discoveries/), append only, the dates read from git.
- The author line is MrlyProd: one desk, two hands, one name on every page.
- The long form is the [method note](/research/method/), which works the whole discipline through on one polynomial.