diff --git a/README.md b/README.md index 39bfd07..76273f7 100644 --- a/README.md +++ b/README.md @@ -6,22 +6,22 @@ The Panta Rhei Research Program is an independent open research program dedicate 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 +## 🧩 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. +- **Discover** — first-contact orientation into the research system. +- **Program** — identity, doctrine, scope, status, and scrutiny posture. +- **Agenda** — obligations: Core Semantics, Structural Challenge Ledger, 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, Challenge Responses, Core Semantics 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 +## 📖 Artifacts & Releases -Publications are the stable artifact layer: +Publications are the stable artifact and release layer: - Research Monographs - Research Papers @@ -32,26 +32,24 @@ Publications are the stable artifact layer: - Release Artifacts - Errata -## Public repositories +## 🔬 Public Repositories | Repository | Role | |---|---| | [`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. | +| [`taulib`](https://github.com/Panta-Rhei-Research/taulib) | Lean 4 formalization surface; current metrics and trusted-base details live in the [Release Manifest](https://panta-rhei.site/verify/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 +## ⚙️ This Repository Contains - `profile/README.md`: the organization profile displayed on [github.com/Panta-Rhei-Research](https://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. -## Engagement without endorsement +## 📐 Engagement Without Endorsement We do not ask first for agreement. @@ -59,20 +57,19 @@ We ask for structured open-research engagement: careful reading, public question 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 +## 🪞 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. -For current formalization metrics, trusted-base details, and verification boundaries, see the Release Manifest: -https://panta-rhei.site/verify/release-manifest/ +For current formalization metrics, trusted-base details, and verification boundaries, see the [Release Manifest](https://panta-rhei.site/verify/release-manifest/). -## Links +## 🎯 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 +- 🌐 **Website:** https://panta-rhei.site +- 🧭 **Agenda:** https://panta-rhei.site/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 diff --git a/profile/README.md b/profile/README.md index fbfe474..bb07e8c 100644 --- a/profile/README.md +++ b/profile/README.md @@ -4,7 +4,7 @@ The Panta Rhei Research Program is an independent open research program dedicate 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 observatory blueprint +## 🌐 Public Research Observatory Blueprint Package 3 documents the implementation architecture behind this organization and the public website: @@ -14,33 +14,33 @@ Package 3 documents the implementation architecture behind this organization and The blueprint describes GitHub as a source, discussion, correction, and contribution substrate. It does not imply that GitHub, the website architecture, or any infrastructure provider validates the scientific theory. -## Start here +## 🎯 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 +- 🌐 **Website:** https://panta-rhei.site +- 🧭 **Agenda:** https://panta-rhei.site/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 -## Public research spine +## 🧩 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. +- **Discover** — first-contact orientation into the research system. +- **Program** — identity, doctrine, scope, status, and scrutiny posture. +- **Agenda** — obligations: Core Semantics, Structural Challenge Ledger, 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, Challenge Responses, Core Semantics 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 +## 📖 Artifacts & Releases -Publications are the stable artifact layer: +Publications are the stable artifact and release layer: - Research Monographs - Research Papers @@ -51,20 +51,18 @@ Publications are the stable artifact layer: - Release Artifacts - Errata -## Public repositories +## 🔬 Public Repositories | Repository | Role | |---|---| | [`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. | +| [`taulib`](https://github.com/Panta-Rhei-Research/taulib) | Lean 4 formalization surface; current metrics and trusted-base details live in the [Release Manifest](https://panta-rhei.site/verify/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 +## 📐 Engagement Without Endorsement We do not ask first for agreement. @@ -72,14 +70,13 @@ We ask for structured open-research engagement: careful reading, public question 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 +## 🪞 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. -For current formalization metrics, trusted-base details, and verification boundaries, see the Release Manifest: -https://panta-rhei.site/verify/release-manifest/ +For current formalization metrics, trusted-base details, and verification boundaries, see the [Release Manifest](https://panta-rhei.site/verify/release-manifest/). -## Open research alignment +## ⚖️ Open Research Alignment This GitHub organization supports the program's open-research commitments: transparency, scrutiny, critique, reproducibility, accountability, collaboration, and responsible reuse. @@ -87,4 +84,4 @@ The website publishes the structured research object. GitHub provides the public --- -Panta Rhei - Everything Flows. +Panta Rhei — Everything Flows.