diff --git a/README.md b/README.md index 90f1e0e..a3b83ee 100644 --- a/README.md +++ b/README.md @@ -143,6 +143,7 @@ These are not generic short links. They are typed canonical observatory routes. | `so001` | Synoptic Overview | Orientation | Released | The Panta Rhei Conspectus | 2026-04-21 | [Website](https://panta-rhei.site/publications/conspectus/) | `prrp.site/so001` | | `wp001` | White Paper | Orientation | Released | Panta Rhei Research Program Executive Overview | 2026-05-08 | [Website](https://panta-rhei.site/publications/anchor-documents/wp001-panta-rhei-research-program-executive-overview/) | [prrp.site/wp001](https://prrp.site/wp001) | | `wp002` | White Paper | Orientation | Released | T Theory Executive Synopsis | 2026-05-08 | [Website](https://panta-rhei.site/publications/anchor-documents/wp002-t-theory-executive-synopsis/) | [prrp.site/wp002](https://prrp.site/wp002) | +| `wp003` | White Paper | Technical | Released | TauLib Technical Overview | 2026-05-08 | [Website](https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/) | [prrp.site/wp003](https://prrp.site/wp003) | ## Editorial standard diff --git a/anchor-documents/README.md b/anchor-documents/README.md index e05f059..8eae97e 100644 --- a/anchor-documents/README.md +++ b/anchor-documents/README.md @@ -15,7 +15,7 @@ surfaces. | `c001` | Standing in the Inquiry of Being | Canonical charter essay v1.0 | `/program/about/standing-in-the-inquiry-of-being/` | | `wp001` | Panta Rhei Research Program Executive Overview | Canonical v1.0 | `/publications/anchor-documents/wp001-panta-rhei-research-program-executive-overview/` | | `wp002` | T Theory Executive Synopsis | Canonical v1.0 | `/publications/anchor-documents/wp002-t-theory-executive-synopsis/` | -| `wp003` | TauLib Technical Overview | Planned canonical v1.0 | `/publications/anchor-documents/wp003-taulib-technical-overview/` | +| `wp003` | TauLib Technical Overview | Canonical v1.0 | `/publications/anchor-documents/wp003-taulib-technical-overview/` | | `wp004` | Public Research Observatory Blueprint | Planned canonical v1.0 | `/publications/anchor-documents/wp004-public-research-observatory-blueprint/` | | `wp005` | Global Public Good Impact Overview | Planned canonical v1.0 | `/publications/anchor-documents/wp005-global-public-good-impact-overview/` | diff --git a/anchor-documents/wp003-taulib-technical-overview/README.md b/anchor-documents/wp003-taulib-technical-overview/README.md index c454890..af1ba1c 100644 --- a/anchor-documents/wp003-taulib-technical-overview/README.md +++ b/anchor-documents/wp003-taulib-technical-overview/README.md @@ -4,33 +4,52 @@ - Type: White Paper - Authors: Thorsten Fuchs and Anna-Sophie Fuchs -- Date: planned -- Version: planned canonical v1.0 -- Status: planned +- Date: 2026-05-08 +- Version: canonical v1.0 +- Status: released - License: CC-BY-4.0 - DOI: Not assigned - Website: https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/ -- Source website page: null -- Artifact availability: planned -- PDF: null +- Source website page: https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/ +- Source website asset path: `site/assets/pdfs/anchor-documents/wp003-taulib-technical-overview.pdf` +- Artifact availability: local_pdf +- PDF: wp003-taulib-technical-overview.pdf ## Abstract -Planned anchor white paper for TauLib as the formalization and verification -surface connected to the Corpus, generated docs, release manifest, and Verify -lane. +Canonical v1.0 anchor white paper for TauLib as the Lean 4 formalization layer +of the Panta Rhei release. WP003 explains the pinned toolchain, codebase +architecture, Release Manifest facts, trust budget, no-sorry status, custom +axiom boundary, generated documentation route, Registry correspondence, and +Verify/TauLib inspection path. ## Claim Boundary -This planned record reserves the canonical `wp003` route. It does not claim -external validation, complete formal coverage, peer review, deployment -readiness, product availability, policy adoption, or achieved impact. +This released record publishes the canonical `wp003` route and PDF artifact. +It does not claim empirical validation, semantic adequacy of bridge principles, +peer-review completion, complete formal coverage of the research program, +product readiness, deployment readiness, policy adoption, or achieved impact. ## Verification And Status Notes -Planned canonical v1.0 artifact. +Canonical v1.0 release artifact. Hashes attest to PDF bytes only; they do not +certify correctness, peer review, empirical adequacy, legal status, DOI +registration, or content validity. TauLib formal claims remain bounded by the +pinned Lean toolchain, Mathlib snapshot, TauLib source snapshot, three explicit +custom axioms, and zero `sorry` assignments in the current release. ## Citation Guidance -Do not cite as a released publication until the PDF artifact and canonical -website landing page are published. +Fuchs, Thorsten, and Anna-Sophie Fuchs. *TauLib Technical Overview*. Panta Rhei +Research Program, WP003, canonical v1.0, May 8, 2026. Canonical route: +https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/. +Short route: https://prrp.site/wp003. Mnemonic route: +https://prrp.site/wp-taulib. + +## External Links + +- [Mnemonic short route](https://prrp.site/wp-taulib) +- [TauLib repository](https://github.com/Panta-Rhei-Research/taulib) +- [Generated TauLib documentation](https://taulib.panta-rhei.site) +- [Verify / TauLib](https://panta-rhei.site/verify/taulib/) +- [Release Manifest](https://panta-rhei.site/verify/release-manifest/) diff --git a/anchor-documents/wp003-taulib-technical-overview/manifest.json b/anchor-documents/wp003-taulib-technical-overview/manifest.json index db9960c..67242b0 100644 --- a/anchor-documents/wp003-taulib-technical-overview/manifest.json +++ b/anchor-documents/wp003-taulib-technical-overview/manifest.json @@ -1,40 +1,61 @@ { - "artifact_availability": "planned", + "artifact_availability": "local_pdf", "checksums": { - "sha256": "", - "sha512": "" + "sha256": "f0aa1bc0724c51d35e4fa7521561220a32fdd43f6ec6cc2417c6f3c37aae0968", + "sha512": "aa3810a3b0a7d21ffb16b3b0ccc1da1510a3ea8c892fe192b3ab42c7d5e1aba89f4e395cba8869276b6431533d40ea4cd41c6fcc3376731c78dbab135fa487d5" }, "file": { - "bytes": 0, - "path": "", - "sha256": "", - "sha512": "", - "source_website_asset_path": "" + "bytes": 211470, + "path": "wp003-taulib-technical-overview.pdf", + "sha256": "f0aa1bc0724c51d35e4fa7521561220a32fdd43f6ec6cc2417c6f3c37aae0968", + "sha512": "aa3810a3b0a7d21ffb16b3b0ccc1da1510a3ea8c892fe192b3ab42c7d5e1aba89f4e395cba8869276b6431533d40ea4cd41c6fcc3376731c78dbab135fa487d5", + "source_website_asset_path": "site/assets/pdfs/anchor-documents/wp003-taulib-technical-overview.pdf" }, - "generated_at": "2026-05-08T12:28:01+00:00", + "generated_at": "2026-05-08T16:19:48+00:00", "id": "wp003-taulib-technical-overview", "integrity_note": "Hashes and timestamps attest to the PDF bytes only; they do not certify correctness, peer review, legal status, DOI registration, or content validity.", "opentimestamps": { "receipt_path": "", - "status": "not_applicable", - "verification": "no-pdf-planned-item" + "status": "missing", + "verification": "not-stamped" }, "publication": { - "abstract": "Planned anchor white paper for TauLib as the formalization and verification\nsurface connected to the Corpus, generated docs, release manifest, and Verify\nlane.", - "artifact_availability": "planned", + "abstract": "Canonical v1.0 anchor white paper for TauLib as the Lean 4 formalization layer\nof the Panta Rhei release. WP003 explains the pinned toolchain, codebase\narchitecture, Release Manifest facts, trust budget, no-sorry status, custom\naxiom boundary, generated documentation route, Registry correspondence, and\nVerify/TauLib inspection path.", + "artifact_availability": "local_pdf", "authors": "Thorsten Fuchs and Anna-Sophie Fuchs", "canonical_url": "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/", "claim_boundary": { - "claim": "This planned record reserves the canonical `wp003` route. It does not claim\nexternal validation, complete formal coverage, peer review, deployment\nreadiness, product availability, policy adoption, or achieved impact.", - "non_claim": "does not claim\nexternal validation, complete formal coverage, peer review, deployment\nreadiness, product availability, policy adoption, or achieved impact." + "claim": "This released record publishes the canonical `wp003` route and PDF artifact.\nIt does not claim empirical validation, semantic adequacy of bridge principles,\npeer-review completion, complete formal coverage of the research program,\nproduct readiness, deployment readiness, policy adoption, or achieved impact.", + "non_claim": "does not claim empirical validation, semantic adequacy of bridge principles,\npeer-review completion, complete formal coverage of the research program,\nproduct readiness, deployment readiness, policy adoption, or achieved impact." }, - "date": "planned", + "date": "2026-05-08", "doi": "", "doi_url": "", - "external_links": [], + "external_links": [ + { + "label": "Mnemonic short route", + "url": "https://prrp.site/wp-taulib" + }, + { + "label": "TauLib repository", + "url": "https://github.com/Panta-Rhei-Research/taulib" + }, + { + "label": "Generated TauLib documentation", + "url": "https://taulib.panta-rhei.site" + }, + { + "label": "Verify / TauLib", + "url": "https://panta-rhei.site/verify/taulib/" + }, + { + "label": "Release Manifest", + "url": "https://panta-rhei.site/verify/release-manifest/" + } + ], "github_path": "anchor-documents/wp003-taulib-technical-overview", "license": "CC-BY-4.0", - "pdf_filename": "", + "pdf_filename": "wp003-taulib-technical-overview.pdf", "publication_type": "White Paper", "related_lanes": [ "publications", @@ -42,15 +63,19 @@ "verify" ], "related_routes": [ - "/publications/anchor-documents/wp003-taulib-technical-overview/" + "/publications/anchor-documents/wp003-taulib-technical-overview/", + "/verify/taulib/", + "/verify/release-manifest/", + "/verify/custom-axioms/", + "/verify/tcb/" ], - "route_status": "reserved", + "route_status": "active", "short_url": "https://prrp.site/wp003", - "source_website_page": "", - "status": "planned", + "source_website_page": "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/", + "status": "released", "subtitle": "", "title": "TauLib Technical Overview", - "version": "planned canonical v1.0", + "version": "canonical v1.0", "website_url": "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/", "zenodo_url": "" }, @@ -58,6 +83,6 @@ "publication_key": "anchor_documents.taulib_technical_overview", "publication_role": "technical", "schema": "panta-rhei-publication-manifest-v2", - "status": "planned", + "status": "released", "type": "white_paper" } diff --git a/anchor-documents/wp003-taulib-technical-overview/wp003-taulib-technical-overview.pdf b/anchor-documents/wp003-taulib-technical-overview/wp003-taulib-technical-overview.pdf new file mode 100644 index 0000000..60bcea0 Binary files /dev/null and b/anchor-documents/wp003-taulib-technical-overview/wp003-taulib-technical-overview.pdf differ diff --git a/catalog/checksums.sha256 b/catalog/checksums.sha256 index 6e56352..a85af40 100644 --- a/catalog/checksums.sha256 +++ b/catalog/checksums.sha256 @@ -70,6 +70,7 @@ da885f49afeac57e17629e5b94fe1a61b6fbe7fe3146a33ac0fb7c6e75466627 research_paper 37023dda39e72aab716a0398466e635b349263bd4a6710009ff8c5b24f5e6b76 synoptic_overview/so001-panta-rhei-conspectus/panta-rhei-conspectus.pdf 7a575fc144ddccd47f4dcc5706e21698b3928b02eb9a9a04709f1f003c2905e6 white_paper/wp001-panta-rhei-research-program-executive-overview/wp001-panta-rhei-research-program-executive-overview.pdf dc22657b987459ce259dc720d50f1a7b886597c9ba148bec17e0d204c1802efd white_paper/wp002-t-theory-executive-synopsis/wp002-t-theory-executive-synopsis.pdf +f0aa1bc0724c51d35e4fa7521561220a32fdd43f6ec6cc2417c6f3c37aae0968 white_paper/wp003-taulib-technical-overview/wp003-taulib-technical-overview.pdf 2f417f847d649f74a78212ca1830e976f90e39ae3873b242e2f4a42e9f67bc55 public_good_briefing/2026-04-26-advanced-fission-safety-operations-licensing-fleet-modernization/public-good-briefing-2026-04-26-advanced-fission-safety-operations-licensing-fleet-modernization.pdf 7bb96caa4b4da6c4f94178608ce0ecc6029ebdd88e0306c4ae7ebc0ce48091a7 white_paper/2026-05-01-taulib-self-contained-lean-4-library/white-paper-2026-05-01-taulib-self-contained-lean-4-library.pdf ec880b1c45920ccbcc296b918e988aa1c94f72a2e160cddee72949e8fe0417e3 white_paper/2026-05-03-building-a-public-research-observatory/white-paper-2026-05-03-building-a-public-research-observatory.pdf diff --git a/catalog/checksums.sha512 b/catalog/checksums.sha512 index 6a187f2..c278ebf 100644 --- a/catalog/checksums.sha512 +++ b/catalog/checksums.sha512 @@ -70,6 +70,7 @@ cb5eaf9b35d75d7835a998d8b968b478290b9f4ceae588a782d548acb42e6810cf1e9c8d3825ef01 fdb6d21155b850b5adcb731840c8d10ce2d6cabf91f535ec14f9e84a675bded0c1a12f4a13be48f886891dea8bd44f1d8b829b94eb3da3f09df16706a231414c synoptic_overview/so001-panta-rhei-conspectus/panta-rhei-conspectus.pdf d63da80d38d35912fa2f395111ee82ba3bd8189a28fe6d078ecb09895b71c5da8714a73c08f232facc07d1a239c2ccd79eaf0ddb3afce86ffee3bee34f6ff1ca white_paper/wp001-panta-rhei-research-program-executive-overview/wp001-panta-rhei-research-program-executive-overview.pdf 9653735dbc6d526218cef7be51ea01b01594377407ba37339a7ee35b962fbb408b394da50799a15acd818f165080003d3b233e13150985c1f3d7e609c784c548 white_paper/wp002-t-theory-executive-synopsis/wp002-t-theory-executive-synopsis.pdf +aa3810a3b0a7d21ffb16b3b0ccc1da1510a3ea8c892fe192b3ab42c7d5e1aba89f4e395cba8869276b6431533d40ea4cd41c6fcc3376731c78dbab135fa487d5 white_paper/wp003-taulib-technical-overview/wp003-taulib-technical-overview.pdf e1456d049905a8c81995ad6d43ac73cd61892667337c04833caf26c683be05fc518b3090345332f6fd455572b9a319d57664cbd00b4cfe9186dd452e10c66a20 public_good_briefing/2026-04-26-advanced-fission-safety-operations-licensing-fleet-modernization/public-good-briefing-2026-04-26-advanced-fission-safety-operations-licensing-fleet-modernization.pdf 8816b61498f75596897428ba88efa6638aa1caab6e1aaa869482e19a3dc1c10128148b12269c4c1b434e4bba9bdc6c7526e6f8570ec193981138da6fc348ae00 white_paper/2026-05-01-taulib-self-contained-lean-4-library/white-paper-2026-05-01-taulib-self-contained-lean-4-library.pdf 64e89403f597e0669984d23ad9a621939957e0007be8dceef2f34784486e1dbb4afd1c79e6fca0d9ff090072384741cf31c4c9794d89fe856b7246d98d57b4b6 white_paper/2026-05-03-building-a-public-research-observatory/white-paper-2026-05-03-building-a-public-research-observatory.pdf diff --git a/catalog/publications.csv b/catalog/publications.csv index f70c24a..287b30f 100644 --- a/catalog/publications.csv +++ b/catalog/publications.csv @@ -78,6 +78,7 @@ book-vii,rm007,research_monographs.book_vii,Research Monograph,research_monograp so001-panta-rhei-conspectus,so001,synoptic_overviews.panta_rhei_conspectus,Synoptic Overview,synoptic_overview,orientation,released,local_pdf,The Panta Rhei Conspectus,2026-04-21,v1.1,,https://panta-rhei.site/publications/conspectus/,https://panta-rhei.site/publications/conspectus/,https://prrp.site/so001,reserved,panta-rhei-conspectus.pdf,310275,37023dda39e72aab716a0398466e635b349263bd4a6710009ff8c5b24f5e6b76,fdb6d21155b850b5adcb731840c8d10ce2d6cabf91f535ec14f9e84a675bded0c1a12f4a13be48f886891dea8bd44f1d8b829b94eb3da3f09df16706a231414c,missing wp001-panta-rhei-research-program-executive-overview,wp001,anchor_documents.panta_rhei_research_program_executive_overview,White Paper,white_paper,orientation,released,local_pdf,Panta Rhei Research Program Executive Overview,2026-05-08,canonical v1.0,,https://panta-rhei.site/publications/anchor-documents/wp001-panta-rhei-research-program-executive-overview/,https://panta-rhei.site/publications/anchor-documents/wp001-panta-rhei-research-program-executive-overview/,https://prrp.site/wp001,active,wp001-panta-rhei-research-program-executive-overview.pdf,2362822,7a575fc144ddccd47f4dcc5706e21698b3928b02eb9a9a04709f1f003c2905e6,d63da80d38d35912fa2f395111ee82ba3bd8189a28fe6d078ecb09895b71c5da8714a73c08f232facc07d1a239c2ccd79eaf0ddb3afce86ffee3bee34f6ff1ca,missing wp002-t-theory-executive-synopsis,wp002,anchor_documents.t_theory_executive_synopsis,White Paper,white_paper,orientation,released,local_pdf,T Theory Executive Synopsis,2026-05-08,canonical v1.0,,https://panta-rhei.site/publications/anchor-documents/wp002-t-theory-executive-synopsis/,https://panta-rhei.site/publications/anchor-documents/wp002-t-theory-executive-synopsis/,https://prrp.site/wp002,active,wp002-t-theory-executive-synopsis.pdf,364419,dc22657b987459ce259dc720d50f1a7b886597c9ba148bec17e0d204c1802efd,9653735dbc6d526218cef7be51ea01b01594377407ba37339a7ee35b962fbb408b394da50799a15acd818f165080003d3b233e13150985c1f3d7e609c784c548,missing +wp003-taulib-technical-overview,wp003,anchor_documents.taulib_technical_overview,White Paper,white_paper,technical,released,local_pdf,TauLib Technical Overview,2026-05-08,canonical v1.0,,https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/,https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/,https://prrp.site/wp003,active,wp003-taulib-technical-overview.pdf,211470,f0aa1bc0724c51d35e4fa7521561220a32fdd43f6ec6cc2417c6f3c37aae0968,aa3810a3b0a7d21ffb16b3b0ccc1da1510a3ea8c892fe192b3ab42c7d5e1aba89f4e395cba8869276b6431533d40ea4cd41c6fcc3376731c78dbab135fa487d5,missing c002-semantic-archaeology-coherent-theory-of-reality,c002,charter_essays.semantic_archaeology_coherent_theory_of_reality,Charter Essay,charter_essay,orientation,planned,planned,Semantic Archaeology of Coherent Theory of Reality,planned,planned,,,,https://prrp.site/c002,reserved,,0,,,not_applicable 2026-04-26-advanced-fission-safety-operations-licensing-fleet-modernization,pgb001,public_good_briefings.advanced_fission_safety_operations_licensing_fleet_modernization,Public-Good Briefing,public_good_briefing,translation,superseded,local_pdf,"τ for Advanced Fission Safety, Operations, Licensing, and Fleet Modernization",2026-04-26,v1.0,,https://panta-rhei.site/publications/research-briefings/public-good/advanced-fission-safety-operations-licensing-fleet-modernization/,https://panta-rhei.site/publications/research-briefings/public-good/advanced-fission-safety-operations-licensing-fleet-modernization/,https://prrp.site/pgb001,reserved,public-good-briefing-2026-04-26-advanced-fission-safety-operations-licensing-fleet-modernization.pdf,284000,2f417f847d649f74a78212ca1830e976f90e39ae3873b242e2f4a42e9f67bc55,e1456d049905a8c81995ad6d43ac73cd61892667337c04833caf26c683be05fc518b3090345332f6fd455572b9a319d57664cbd00b4cfe9186dd452e10c66a20,pending 2026-05-01-taulib-self-contained-lean-4-library,lwp001,legacy_white_papers.taulib_self_contained_lean4_library,White Paper,white_paper,technical,superseded,local_pdf,TauLib: A Self-Contained Lean 4 Library for Category τ,2026-05-01,**v2.0 (full rewrite)** · May 2026,10.5281/zenodo.19976503,https://panta-rhei.site/publications/white-papers/taulib/,https://panta-rhei.site/publications/white-papers/taulib/,,not_applicable,white-paper-2026-05-01-taulib-self-contained-lean-4-library.pdf,215062,7bb96caa4b4da6c4f94178608ce0ecc6029ebdd88e0306c4ae7ebc0ce48091a7,8816b61498f75596897428ba88efa6638aa1caab6e1aaa869482e19a3dc1c10128148b12269c4c1b434e4bba9bdc6c7526e6f8570ec193981138da6fc348ae00,pending @@ -85,6 +86,5 @@ c002-semantic-archaeology-coherent-theory-of-reality,c002,charter_essays.semanti 2026-05-03-inspection-architecture-high-scope-open-research,lwp003,legacy_white_papers.inspection_architecture_high_scope_open_research,White Paper,white_paper,orientation,superseded,local_pdf,Inspection Architecture for High-Scope Open Research,2026-05-03,v1.0,,https://panta-rhei.site/publications/white-papers/inspection-architecture-high-scope-open-research/,https://panta-rhei.site/publications/white-papers/inspection-architecture-high-scope-open-research/,,not_applicable,white-paper-2026-05-03-inspection-architecture-high-scope-open-research.pdf,81360,566f2fb7dd71aa2ca152e67bebfccab1a0bd435af3e577cdc3eb35803431a7df,ac0597716e16c02c570d954e3ed7eccc5409f934939dc56f904d06702b6050c47e51baaccdb4f7a165479568846f413b5e59bb235a8e570ecd21383c80a56a87,pending 2026-05-03-the-shape-of-a-theory-of-reality,lwp004,legacy_white_papers.shape_of_a_theory_of_reality,White Paper,white_paper,orientation,superseded,local_pdf,The Shape of a Theory of Reality,2026-05-03,v1.0,,https://panta-rhei.site/publications/white-papers/the-shape-of-a-theory-of-reality/,https://panta-rhei.site/publications/white-papers/the-shape-of-a-theory-of-reality/,,not_applicable,white-paper-2026-05-03-the-shape-of-a-theory-of-reality.pdf,92150,9fffa234a5244eb0882bc664ae9b2b6fb2611b3721b17828c592628cd2bbdaa6,a136bc935f31e7acab713e9d48e8f16fc8d6061fc6263d1522a5c7dddb8fbe0e368b2d2b4f4f8b704a7d1c9ab8d9d90dce65a7d64c3f290bc481a93f376a9596,pending 2026-05-04-panta-rhei-executive-overview,lwp005,legacy_white_papers.panta_rhei_executive_overview,White Paper,white_paper,orientation,superseded,local_pdf,Panta Rhei Research Program — Executive Overview,2026-05-04,**v4.0**,,https://panta-rhei.site/publications/white-papers/executive-overview/,https://panta-rhei.site/publications/white-papers/executive-overview/,,not_applicable,white-paper-2026-05-04-panta-rhei-executive-overview.pdf,234716,fed983c314d180be9713020fa9f3be20cf9bb30858521b282d0227f1af5124ce,38543166428a47f7cd49dd0f7fea0ea8e6c119d793838ab24d80e95262bfb456c99ccf2aa9a9522a74758331cd93b95c0e7fef76a19adc39a47b5afb793be9f0,missing -wp003-taulib-technical-overview,wp003,anchor_documents.taulib_technical_overview,White Paper,white_paper,technical,planned,planned,TauLib Technical Overview,planned,planned canonical v1.0,,https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/,https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/,https://prrp.site/wp003,reserved,,0,,,not_applicable wp004-public-research-observatory-blueprint,wp004,anchor_documents.public_research_observatory_blueprint,White Paper,white_paper,governance,planned,planned,Public Research Observatory Blueprint,planned,planned canonical v1.0,,https://panta-rhei.site/publications/anchor-documents/wp004-public-research-observatory-blueprint/,https://panta-rhei.site/publications/anchor-documents/wp004-public-research-observatory-blueprint/,https://prrp.site/wp004,reserved,,0,,,not_applicable wp005-global-public-good-impact-overview,wp005,anchor_documents.global_public_good_impact_overview,White Paper,white_paper,translation,planned,planned,Global Public Good Impact Overview,planned,planned canonical v1.0,,https://panta-rhei.site/publications/anchor-documents/wp005-global-public-good-impact-overview/,https://panta-rhei.site/publications/anchor-documents/wp005-global-public-good-impact-overview/,https://prrp.site/wp005,reserved,,0,,,not_applicable diff --git a/catalog/publications.json b/catalog/publications.json index 147d794..d9d1ab7 100644 --- a/catalog/publications.json +++ b/catalog/publications.json @@ -1,6 +1,6 @@ { - "generated_at": "2026-05-08T14:18:28+00:00", - "pdf_publication_count": 78, + "generated_at": "2026-05-08T16:19:48+00:00", + "pdf_publication_count": 79, "publication_count": 89, "publications": [ { @@ -1978,6 +1978,31 @@ "version": "canonical v1.0", "website_url": "https://panta-rhei.site/publications/anchor-documents/wp002-t-theory-executive-synopsis/" }, + { + "artifact_availability": "local_pdf", + "bytes": 211470, + "canonical_url": "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/", + "date": "2026-05-08", + "doi": "", + "doi_url": "", + "github_path": "anchor-documents/wp003-taulib-technical-overview", + "id": "wp003-taulib-technical-overview", + "ots_status": "missing", + "pdf": "wp003-taulib-technical-overview.pdf", + "publication_id": "wp003", + "publication_key": "anchor_documents.taulib_technical_overview", + "publication_role": "technical", + "publication_type": "White Paper", + "route_status": "active", + "sha256": "f0aa1bc0724c51d35e4fa7521561220a32fdd43f6ec6cc2417c6f3c37aae0968", + "sha512": "aa3810a3b0a7d21ffb16b3b0ccc1da1510a3ea8c892fe192b3ab42c7d5e1aba89f4e395cba8869276b6431533d40ea4cd41c6fcc3376731c78dbab135fa487d5", + "short_url": "https://prrp.site/wp003", + "status": "released", + "title": "TauLib Technical Overview", + "type": "white_paper", + "version": "canonical v1.0", + "website_url": "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/" + }, { "artifact_availability": "planned", "bytes": 0, @@ -2153,31 +2178,6 @@ "version": "**v4.0**", "website_url": "https://panta-rhei.site/publications/white-papers/executive-overview/" }, - { - "artifact_availability": "planned", - "bytes": 0, - "canonical_url": "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/", - "date": "planned", - "doi": "", - "doi_url": "", - "github_path": "anchor-documents/wp003-taulib-technical-overview", - "id": "wp003-taulib-technical-overview", - "ots_status": "not_applicable", - "pdf": "", - "publication_id": "wp003", - "publication_key": "anchor_documents.taulib_technical_overview", - "publication_role": "technical", - "publication_type": "White Paper", - "route_status": "reserved", - "sha256": "", - "sha512": "", - "short_url": "https://prrp.site/wp003", - "status": "planned", - "title": "TauLib Technical Overview", - "type": "white_paper", - "version": "planned canonical v1.0", - "website_url": "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/" - }, { "artifact_availability": "planned", "bytes": 0, @@ -2229,6 +2229,6 @@ "website_url": "https://panta-rhei.site/publications/anchor-documents/wp005-global-public-good-impact-overview/" } ], - "released_publication_count": 79, + "released_publication_count": 80, "schema": "panta-rhei-publications-catalog-v2" } diff --git a/catalog/publications.yml b/catalog/publications.yml index 0ef1d39..9720cfd 100644 --- a/catalog/publications.yml +++ b/catalog/publications.yml @@ -1,8 +1,8 @@ schema: "panta-rhei-publications-catalog-v2" publication_count: 89 -released_publication_count: 79 -pdf_publication_count: 78 -generated_at: "2026-05-08T14:18:28+00:00" +released_publication_count: 80 +pdf_publication_count: 79 +generated_at: "2026-05-08T16:19:48+00:00" publications: - id: "c001-standing-in-the-inquiry-of-being" @@ -1900,6 +1900,30 @@ publications: sha256: "dc22657b987459ce259dc720d50f1a7b886597c9ba148bec17e0d204c1802efd" sha512: "9653735dbc6d526218cef7be51ea01b01594377407ba37339a7ee35b962fbb408b394da50799a15acd818f165080003d3b233e13150985c1f3d7e609c784c548" ots_status: "missing" + - + id: "wp003-taulib-technical-overview" + publication_id: "wp003" + publication_key: "anchor_documents.taulib_technical_overview" + publication_type: "White Paper" + type: "white_paper" + publication_role: "technical" + status: "released" + artifact_availability: "local_pdf" + title: "TauLib Technical Overview" + date: "2026-05-08" + version: "canonical v1.0" + doi: "" + doi_url: "" + website_url: "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/" + canonical_url: "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/" + short_url: "https://prrp.site/wp003" + route_status: "active" + github_path: "anchor-documents/wp003-taulib-technical-overview" + pdf: "wp003-taulib-technical-overview.pdf" + bytes: 211470 + sha256: "f0aa1bc0724c51d35e4fa7521561220a32fdd43f6ec6cc2417c6f3c37aae0968" + sha512: "aa3810a3b0a7d21ffb16b3b0ccc1da1510a3ea8c892fe192b3ab42c7d5e1aba89f4e395cba8869276b6431533d40ea4cd41c6fcc3376731c78dbab135fa487d5" + ots_status: "missing" - id: "c002-semantic-archaeology-coherent-theory-of-reality" publication_id: "c002" @@ -2068,30 +2092,6 @@ publications: sha256: "fed983c314d180be9713020fa9f3be20cf9bb30858521b282d0227f1af5124ce" sha512: "38543166428a47f7cd49dd0f7fea0ea8e6c119d793838ab24d80e95262bfb456c99ccf2aa9a9522a74758331cd93b95c0e7fef76a19adc39a47b5afb793be9f0" ots_status: "missing" - - - id: "wp003-taulib-technical-overview" - publication_id: "wp003" - publication_key: "anchor_documents.taulib_technical_overview" - publication_type: "White Paper" - type: "white_paper" - publication_role: "technical" - status: "planned" - artifact_availability: "planned" - title: "TauLib Technical Overview" - date: "planned" - version: "planned canonical v1.0" - doi: "" - doi_url: "" - website_url: "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/" - canonical_url: "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/" - short_url: "https://prrp.site/wp003" - route_status: "reserved" - github_path: "anchor-documents/wp003-taulib-technical-overview" - pdf: "" - bytes: 0 - sha256: "" - sha512: "" - ots_status: "not_applicable" - id: "wp004-public-research-observatory-blueprint" publication_id: "wp004" diff --git a/publications.yml b/publications.yml index 0ef1d39..9720cfd 100644 --- a/publications.yml +++ b/publications.yml @@ -1,8 +1,8 @@ schema: "panta-rhei-publications-catalog-v2" publication_count: 89 -released_publication_count: 79 -pdf_publication_count: 78 -generated_at: "2026-05-08T14:18:28+00:00" +released_publication_count: 80 +pdf_publication_count: 79 +generated_at: "2026-05-08T16:19:48+00:00" publications: - id: "c001-standing-in-the-inquiry-of-being" @@ -1900,6 +1900,30 @@ publications: sha256: "dc22657b987459ce259dc720d50f1a7b886597c9ba148bec17e0d204c1802efd" sha512: "9653735dbc6d526218cef7be51ea01b01594377407ba37339a7ee35b962fbb408b394da50799a15acd818f165080003d3b233e13150985c1f3d7e609c784c548" ots_status: "missing" + - + id: "wp003-taulib-technical-overview" + publication_id: "wp003" + publication_key: "anchor_documents.taulib_technical_overview" + publication_type: "White Paper" + type: "white_paper" + publication_role: "technical" + status: "released" + artifact_availability: "local_pdf" + title: "TauLib Technical Overview" + date: "2026-05-08" + version: "canonical v1.0" + doi: "" + doi_url: "" + website_url: "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/" + canonical_url: "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/" + short_url: "https://prrp.site/wp003" + route_status: "active" + github_path: "anchor-documents/wp003-taulib-technical-overview" + pdf: "wp003-taulib-technical-overview.pdf" + bytes: 211470 + sha256: "f0aa1bc0724c51d35e4fa7521561220a32fdd43f6ec6cc2417c6f3c37aae0968" + sha512: "aa3810a3b0a7d21ffb16b3b0ccc1da1510a3ea8c892fe192b3ab42c7d5e1aba89f4e395cba8869276b6431533d40ea4cd41c6fcc3376731c78dbab135fa487d5" + ots_status: "missing" - id: "c002-semantic-archaeology-coherent-theory-of-reality" publication_id: "c002" @@ -2068,30 +2092,6 @@ publications: sha256: "fed983c314d180be9713020fa9f3be20cf9bb30858521b282d0227f1af5124ce" sha512: "38543166428a47f7cd49dd0f7fea0ea8e6c119d793838ab24d80e95262bfb456c99ccf2aa9a9522a74758331cd93b95c0e7fef76a19adc39a47b5afb793be9f0" ots_status: "missing" - - - id: "wp003-taulib-technical-overview" - publication_id: "wp003" - publication_key: "anchor_documents.taulib_technical_overview" - publication_type: "White Paper" - type: "white_paper" - publication_role: "technical" - status: "planned" - artifact_availability: "planned" - title: "TauLib Technical Overview" - date: "planned" - version: "planned canonical v1.0" - doi: "" - doi_url: "" - website_url: "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/" - canonical_url: "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/" - short_url: "https://prrp.site/wp003" - route_status: "reserved" - github_path: "anchor-documents/wp003-taulib-technical-overview" - pdf: "" - bytes: 0 - sha256: "" - sha512: "" - ots_status: "not_applicable" - id: "wp004-public-research-observatory-blueprint" publication_id: "wp004" diff --git a/routes/prrp-routes.public.yml b/routes/prrp-routes.public.yml index df78135..e388f2f 100644 --- a/routes/prrp-routes.public.yml +++ b/routes/prrp-routes.public.yml @@ -895,11 +895,11 @@ routes: - route_id: "wp003" short_url: "https://prrp.site/wp003" - route_status: "reserved" + route_status: "active" publication_key: "anchor_documents.taulib_technical_overview" type: "white_paper" publication_role: "technical" - publication_status: "planned" + publication_status: "released" title: "TauLib Technical Overview" canonical_url: "https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/" github_path: "anchor-documents/wp003-taulib-technical-overview" diff --git a/routes/route-report.md b/routes/route-report.md index 271428b..b3e4849 100644 --- a/routes/route-report.md +++ b/routes/route-report.md @@ -3,8 +3,8 @@ This report is generated from publication manifests. The PRRP routes listed here are typed observatory identifiers, not generic short links. - Total routes: 84 -- Active routes: 3 -- Reserved routes: 81 +- Active routes: 4 +- Reserved routes: 80 | Route | Status | Type | Publication | Canonical URL | |---|---|---|---|---| @@ -89,6 +89,6 @@ This report is generated from publication manifests. The PRRP routes listed here | `so001` | reserved | synoptic_overview | The Panta Rhei Conspectus | https://panta-rhei.site/publications/conspectus/ | | `wp001` | active | white_paper | Panta Rhei Research Program Executive Overview | https://panta-rhei.site/publications/anchor-documents/wp001-panta-rhei-research-program-executive-overview/ | | `wp002` | active | white_paper | T Theory Executive Synopsis | https://panta-rhei.site/publications/anchor-documents/wp002-t-theory-executive-synopsis/ | -| `wp003` | reserved | white_paper | TauLib Technical Overview | https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/ | +| `wp003` | active | white_paper | TauLib Technical Overview | https://panta-rhei.site/publications/anchor-documents/wp003-taulib-technical-overview/ | | `wp004` | reserved | white_paper | Public Research Observatory Blueprint | https://panta-rhei.site/publications/anchor-documents/wp004-public-research-observatory-blueprint/ | | `wp005` | reserved | white_paper | Global Public Good Impact Overview | https://panta-rhei.site/publications/anchor-documents/wp005-global-public-good-impact-overview/ | diff --git a/scripts/lib_publications.py b/scripts/lib_publications.py index 14164b9..aef5b8e 100644 --- a/scripts/lib_publications.py +++ b/scripts/lib_publications.py @@ -337,12 +337,18 @@ "publication_key": "anchor_documents.taulib_technical_overview", "type": "white_paper", "publication_role": "technical", - "status": "planned", + "status": "released", "short_url": "https://prrp.site/wp003", - "route_status": "reserved", + "route_status": "active", "license": "CC-BY-4.0", "related_lanes": ["publications", "corpus", "verify"], - "related_routes": ["/publications/anchor-documents/wp003-taulib-technical-overview/"], + "related_routes": [ + "/publications/anchor-documents/wp003-taulib-technical-overview/", + "/verify/taulib/", + "/verify/release-manifest/", + "/verify/custom-axioms/", + "/verify/tcb/", + ], }, "wp004-public-research-observatory-blueprint": { "publication_id": "wp004", diff --git a/scripts/verify_publications.py b/scripts/verify_publications.py index f03f025..d2b69f2 100644 --- a/scripts/verify_publications.py +++ b/scripts/verify_publications.py @@ -30,15 +30,15 @@ "research_note": 6, "public_good_briefing": 44, "charter_essay": 1, - "white_paper": 2, + "white_paper": 3, "research_monograph": 7, "monograph_supplement": 2, "synoptic_overview": 1, "guided_tour": 7, } EXPECTED_SUPERSEDED_COUNTS = {"public_good_briefing": 1, "white_paper": 5} -EXPECTED_PLANNED_COUNTS = {"charter_essay": 1, "white_paper": 3} -EXPECTED_PDF_COUNT = 78 +EXPECTED_PLANNED_COUNTS = {"charter_essay": 1, "white_paper": 2} +EXPECTED_PDF_COUNT = 79 EXPECTED_EXTERNAL_COUNT = 7