method.md

--- 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, 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, which works the whole discipline through on one polynomial.