Panta-Rhei-Research · AnSoFuchs · May 8, 2026 · May 8, 2026
@@ -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) |
 <!-- END GENERATED PUBLICATIONS TABLE -->
 
 ## Editorial standard

@@ -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/` |
 

@@ -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/)
@@ -1,63 +1,88 @@
 {
-  "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",
       "corpus",
       "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": ""
   },
   "publication_id": "wp003",
   "publication_key": "anchor_documents.taulib_technical_overview",
   "publication_role": "technical",
   "schema": "panta-rhei-publication-manifest-v2",
-  "status": "planned",
+  "status": "released",
   "type": "white_paper"
 }
@@ -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

@@ -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