Organization profile and shared community-health defaults for the Panta Rhei Research Program.
The Panta Rhei Research Program is an independent open research program dedicated to building a coherent theory of reality.
The public website is the research observatory. GitHub is the public substrate for source, formalization, publication artifacts, engagement, correction, contribution, and review workflows.
The public research system is organized around:
- Discover -- first-contact orientation into the research system.
- Program -- identity, doctrine, scope, status, and scrutiny posture.
- Agenda -- obligations: Problem Ledger, Recovery Requirements, Kernel/Model/Reality, and Construction Roadmap.
- Corpus -- construction body: Construction Spine, Registry, TauLib projection, books, and dependency graph.
- Results -- consequence layer: Landmark Results, World Readouts, Problem Ledger Answers, Recovery Target Status, Additional Derived Results, and Progress Against Agenda.
- Verify -- inspection routes: formalization, construction-step verification, bridge checks, predictions, falsification, release manifest, and assessment protocols.
- Impact -- conditional public relevance if the work survives inspection.
- Engage -- structured scrutiny, correction, contribution, communication, and participation without requiring endorsement.
Publications are the stable artifact layer:
- Research Monographs
- Research Papers
- Research Notes
- Research Briefings
- White Papers
- Numerical Physics Ledger
- Release Artifacts
- Errata
| Repository | Role |
|---|---|
site |
Jekyll source for panta-rhei.site, the public research observatory. |
taulib |
Lean 4 formalization surface; current metrics and trusted-base details live in the Release Manifest. |
publications |
Source and release artifacts for monographs, papers, notes, briefings, white papers, ledgers, release artifacts, and errata. |
research |
Public workspace for notebooks, scripts, import reports, data transforms, 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. |
books |
Legacy / archival book publication surface; current artifacts live in publications. |
formalization |
Archived transitional formalization surface; superseded by taulib for live formalization. |
profile/README.md: the organization profile displayed on github.com/Panta-Rhei-Research.- Shared community-health files for code of conduct, support, security, issue templates, and pull request templates.
- Public routing defaults for Issues and Pull Requests across organization repositories.
We do not ask first for agreement.
We ask for structured 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, tooling, packaging, or formalization without endorsing any conclusion.
Formalization, artifacts, and repository integrity checks make parts of the program inspectable. They do not by themselves establish empirical truth, bridge adequacy, semantic correspondence, peer review, or external scientific acceptance.
For current formalization metrics, trusted-base details, and verification boundaries, see the Release Manifest: https://panta-rhei.site/verify/release-manifest/
- Website: https://panta-rhei.site
- Agenda: https://panta-rhei.site/program/research-agenda/
- Corpus: https://panta-rhei.site/corpus/
- Results: https://panta-rhei.site/results/
- Verify: https://panta-rhei.site/verify/
- Engage: https://panta-rhei.site/engage/
- Public discussions: https://github.com/orgs/Panta-Rhei-Research/discussions
- Contact: hello@panta-rhei.site