Method

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.