Align GitHub org profile with v4 narrative

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/

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