Panta Rhei Research is an independent open research program exploring whether one constrained formal kernel can support a coherent model of mathematics, physics, life, and metaphysics.
The public website is the research observatory. GitHub is the public engagement, source, formalization, contribution, and correction substrate.
- Website: https://panta-rhei.site
- Public discussions: https://github.com/orgs/Panta-Rhei-Research/discussions
- Contact: hello@panta-rhei.site
We do not ask first for agreement.
We ask for open-research engagement: careful reading, public questions, critique, reproducibility checks, domain review, correction, infrastructure contribution, and responsible communication.
Participation does not imply endorsement of the framework.
A reader may ask a question without accepting the theory. A reviewer may challenge a result without joining the program. A contributor may improve documentation, metadata, or tooling without endorsing any conclusion.
The public research system is organized around:
- Research Agenda: the obligations the program accepts: Problem Ledger, Recovery Requirements, Kernel/Model/Reality, and Construction Roadmap.
- Corpus: the construction body: Construction Spine, Registry, TauLib projection, books, and dependency graph.
- Results: current program stances: Landmark Results, World Readouts, Problem Ledger Answers, Recovery Target Status, Additional Derived Results, and Progress Against Agenda.
- Verify: inspection routes: formalization, construction-step verification, predictions, falsification, release manifest, and assessment protocols.
- Publications: stable artifacts: Research Monographs, Monograph Supplements, Research Papers, Research Notes, Research Briefings, White Papers, and Release Artifacts.
| Repository | Role |
|---|---|
site |
Jekyll source for the public website and research observatory. |
publications |
Source and release artifacts for monographs, supplements, notes, briefings, white papers, and release artifacts. |
taulib |
Lean 4 formalization surface. See the website Release Manifest for current formalization metrics and trusted-base details. |
research |
Public workspace for scripts, notebooks, import reports, experiments, and exploratory supporting material. |
community |
Public engagement hub: onboarding, routing, discussion guidelines, review guides, and contribution policies. |
.github |
Organization profile and shared community-health defaults. |
- Ask a public question in GitHub Organization Discussions.
- Report a concrete defect using Issues.
- Propose a concrete improvement using Pull Requests.
- Contact us by email for private, institutional, media, support, or sensitive matters.
TauLib exposes formalized proof obligations where available. Formal compilation is not the same as empirical truth, bridge adequacy, or external scientific acceptance.
For the current formalization snapshot, see the Release Manifest on the website.
This GitHub organization supports the program's open-research commitments: transparency, scrutiny, critique, reproducibility, accountability, collaboration, and responsible reuse.
The website publishes the structured research object. GitHub provides the public substrate for questions, corrections, review routes, source artifacts, formalization, and contribution workflows.
Panta Rhei - Everything Flows.