Research Notes
Substantial outward-facing writing from the Panta Rhei Research Program — responses to new developments, framework-based reinterpretations, and focused explanatory essays.
What Research Notes are
Research Notes are the program’s outward-facing long-form communication lane. They publish substantial responses to new scientific developments, framework-based reinterpretations of recent results, focused explanatory essays, and bridge texts that may later become white papers or companion papers.
Research Notes are not a blog, not a news stream, and not a changelog. They are dated, article-like texts written for readers who want to follow the program’s thinking as it develops. Each note addresses a single question or theme in enough depth to stand on its own, while connecting back to the framework, the key results, or the verification surfaces where the underlying claims can be inspected.
How Research Notes differ from other publication surfaces
The Publications lane carries the canonical monograph series — the books are the proof-order argument. The white papers distill specific technical claims for domain experts. Research Notes occupy a different register: they are the program’s ongoing intellectual conversation with the world. A note might respond to a new experimental result, explain why a particular design choice matters, or trace the transition between two editions of the work.
Notes are published irregularly and only when there is something substantial to say. There is no frequency commitment and no marketing cadence.
How to receive Research Notes
New Research Notes can be received by email through the Follow the Research page. Subscription is handled by Buttondown with double opt-in — no marketing, no tracking, no dark patterns.
Recent notes
From First to Second Edition: What Changed and Why
The Second Edition is not a minor revision. It is a structural consolidation. This note explains the main transition from the First Edition's nine-axiom formulation to the Second Edition's Coherence Kernel, and what drove the change.
Why One Constant Is Enough
The Panta Rhei framework derives all physical constants from a single master constant. This note explains why this is structurally forced rather than merely desirable, and what it means for the program's falsifiability posture.
What Machine-Checked Verification Means for This Program
The Lean 4 formalization of Category τ is not an afterthought. This note explains what TauLib verifies, what it cannot verify, and why the distinction matters for how the program should be read.
Receive Research Notes
Get new Panta Rhei Research Notes by email. Notes are published irregularly and only when there is something substantial to say.