utility

Review Kit

Structured entry paths for reviewers, domain experts, and institutional readers.

For reviewers
Five domain-specific review paths with recommended reading order and verification routes.
For institutions
Prospectus, reviewer's dossier, formalization overview, and contact routes.
What this is not
Not a substitute for expert review. Not a certification. Not a claim of completion.

What Kind of Object This Is

The Panta Rhei Research Program is an independent open research program — not a journal submission, not a textbook, not a software project. It is a seven-book monograph series accompanied by a Lean 4 formalization library, a public research website, and structured verification surfaces.

The books are the canonical monograph release. The site provides navigable access in understanding-order. TauLib provides machine-checked verification. The guided tours and companion papers lower the threshold for structured engagement.

General orientation

  1. About the Research
  2. The Tau Framework
  3. Key Results
  4. How to Read a Result Page

Mathematics-first path

  1. Book I: Categorical Foundations
  2. Book II: Categorical Holomorphy
  3. Results by Domain: Mathematics (76 results)
  4. Registry — Book I
  5. Guided Tours — Foundations

Physics-first path

  1. Book III: Categorical Spectrum (the hinge)
  2. Book IV: Categorical Microcosm
  3. Book V: Categorical Macrocosm
  4. Results by Domain: Physics (60 results)
  5. Guided Tours — Physics

Life and metaphysics path

  1. Book VI: Categorical Life
  2. Book VII: Categorical Metaphysics
  3. Results by Domain: Biology (53 results)
  4. Results by Domain: Philosophy (45 results)

Formal verification path

  1. Verify
  2. TauLib repository — clone and run lake build
  3. Guided Tours — VerifyItYourself
  4. Registry — 4547 objects with dependency graphs

Suggested Starter Packet

For a reviewer who wants to form a first impression in 30-60 minutes:

  1. About the Research — what the program is (5 min)
  2. Why So Many Results Are Possible — how constraint enables breadth (5 min)
  3. Status and Claim Typing — how claims are typed (5 min)
  4. Pick 3 results from Key Results in your domain (15 min)
  5. Verify — how to inspect further (5 min)
  6. One guided tour from Guided Tours (15 min)

What This Page Does Not Claim

  • This is not a substitute for expert review. The program invites scrutiny; it does not pre-empt it.
  • Lean compilation verifies internal consistency, not physical truth. Empirical claims require empirical testing.
  • No expectation that one reader resolves the whole program in one sitting. The review paths are starting points.
  • The program is independent research — not yet peer-reviewed in traditional journals. All claims carry explicit scope labels.

Contact