diff --git a/README.md b/README.md index 3691540..39bfd07 100644 --- a/README.md +++ b/README.md @@ -2,18 +2,48 @@ Organization profile and shared community-health defaults for the **Panta Rhei Research Program**. -The public website is the research observatory. GitHub is the public engagement, source, formalization, contribution, and correction substrate. +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. + +## Public research spine + +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. + +## Artifacts & Releases + +Publications are the stable artifact layer: + +- Research Monographs +- Research Papers +- Research Notes +- Research Briefings +- White Papers +- Numerical Physics Ledger +- Release Artifacts +- Errata ## Public repositories | Repository | Role | |---|---| -| [**site**](https://github.com/Panta-Rhei-Research/site) | Jekyll source for panta-rhei.site, the public research observatory. | -| [**publications**](https://github.com/Panta-Rhei-Research/publications) | Publication artifacts for monographs, supplements, papers, notes, briefings, white papers, and release artifacts. | -| [**taulib**](https://github.com/Panta-Rhei-Research/taulib) | Lean 4 formalization surface. Current metrics and trusted-base details are published in the Release Manifest. | -| [**research**](https://github.com/Panta-Rhei-Research/research) | Public research workspace for scripts, notebooks, import reports, data transforms, and exploratory supporting material. | -| [**community**](https://github.com/Panta-Rhei-Research/community) | Public engagement hub for discussions, onboarding, routing, review guidance, and contribution policies. | -| [**.github**](https://github.com/Panta-Rhei-Research/.github) | Organization profile and shared community-health defaults. | +| [`site`](https://github.com/Panta-Rhei-Research/site) | Jekyll source for `panta-rhei.site`, the public research observatory. | +| [`taulib`](https://github.com/Panta-Rhei-Research/taulib) | Lean 4 formalization surface; current metrics and trusted-base details live in the Release Manifest. | +| [`publications`](https://github.com/Panta-Rhei-Research/publications) | Source and release artifacts for monographs, papers, notes, briefings, white papers, ledgers, release artifacts, and errata. | +| [`research`](https://github.com/Panta-Rhei-Research/research) | Public workspace for notebooks, scripts, import reports, data transforms, experiments, and exploratory supporting material. | +| [`community`](https://github.com/Panta-Rhei-Research/community) | Public engagement hub: onboarding, routing, discussion guidelines, review guides, and contribution policies. | +| [`.github`](https://github.com/Panta-Rhei-Research/.github) | Organization profile and shared community-health defaults. | +| [`books`](https://github.com/Panta-Rhei-Research/books) | Legacy / archival book publication surface; current artifacts live in `publications`. | +| `formalization` | Archived transitional formalization surface; superseded by `taulib` for live formalization. | ## This repository contains @@ -23,13 +53,26 @@ The public website is the research observatory. GitHub is the public engagement, ## Engagement without endorsement -Participation does not imply endorsement of the framework. +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. + +## Verification note + +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. -We ask for open-research engagement: careful reading, public questions, critique, reproducibility checks, domain review, correction, infrastructure contribution, and responsible communication. +For current formalization metrics, trusted-base details, and verification boundaries, see the Release Manifest: +https://panta-rhei.site/verify/release-manifest/ ## Links - **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 -- **Release Manifest:** https://panta-rhei.site/verify/release-manifest/ diff --git a/profile/README.md b/profile/README.md index fa569b6..684c396 100644 --- a/profile/README.md +++ b/profile/README.md @@ -1,61 +1,73 @@ # Panta Rhei Research Program -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 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 engagement, source, formalization, contribution, and correction substrate. +The public website is the research observatory. GitHub is the public substrate for source, formalization, publication artifacts, engagement, correction, contribution, and review workflows. ## Start here - 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 -## Engagement without endorsement - -We do not ask first for agreement. +## Public research spine -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. +The public research system is organized around: -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. +- **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. -## Research spine +## Artifacts & Releases -The public research system is organized around: +Publications are the stable artifact layer: -- **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. +- Research Monographs +- Research Papers +- Research Notes +- Research Briefings +- White Papers +- Numerical Physics Ledger +- Release Artifacts +- Errata -## Repositories +## Public repositories | Repository | Role | |---|---| -| [`site`](https://github.com/Panta-Rhei-Research/site) | Jekyll source for the public website and research observatory. | -| [`publications`](https://github.com/Panta-Rhei-Research/publications) | Source and release artifacts for monographs, supplements, notes, briefings, white papers, and release artifacts. | -| [`taulib`](https://github.com/Panta-Rhei-Research/taulib) | Lean 4 formalization surface. See the website Release Manifest for current formalization metrics and trusted-base details. | -| [`research`](https://github.com/Panta-Rhei-Research/research) | Public workspace for scripts, notebooks, import reports, experiments, and exploratory supporting material. | +| [`site`](https://github.com/Panta-Rhei-Research/site) | Jekyll source for `panta-rhei.site`, the public research observatory. | +| [`taulib`](https://github.com/Panta-Rhei-Research/taulib) | Lean 4 formalization surface; current metrics and trusted-base details live in the Release Manifest. | +| [`publications`](https://github.com/Panta-Rhei-Research/publications) | Source and release artifacts for monographs, papers, notes, briefings, white papers, ledgers, release artifacts, and errata. | +| [`research`](https://github.com/Panta-Rhei-Research/research) | Public workspace for notebooks, scripts, import reports, data transforms, experiments, and exploratory supporting material. | | [`community`](https://github.com/Panta-Rhei-Research/community) | Public engagement hub: onboarding, routing, discussion guidelines, review guides, and contribution policies. | | [`.github`](https://github.com/Panta-Rhei-Research/.github) | Organization profile and shared community-health defaults. | +| [`books`](https://github.com/Panta-Rhei-Research/books) | Legacy / archival book publication surface; current artifacts live in `publications`. | +| `formalization` | Archived transitional formalization surface; superseded by `taulib` for live formalization. | + +## Engagement without endorsement + +We do not ask first for agreement. -## How to engage +We ask for structured open-research engagement: careful reading, public questions, critique, reproducibility checks, domain review, correction, infrastructure contribution, and responsible communication. -- 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. +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. ## Verification note -TauLib exposes formalized proof obligations where available. Formal compilation is not the same as empirical truth, bridge adequacy, or external scientific acceptance. +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 the current formalization snapshot, see the [Release Manifest](https://panta-rhei.site/verify/release-manifest/) on the website. +For current formalization metrics, trusted-base details, and verification boundaries, see the Release Manifest: +https://panta-rhei.site/verify/release-manifest/ ## Open research alignment