diff --git a/_data/publications/anchor_documents.yml b/_data/publications/anchor_documents.yml
index 05093cad5..b49109a89 100644
--- a/_data/publications/anchor_documents.yml
+++ b/_data/publications/anchor_documents.yml
@@ -73,15 +73,15 @@ documents:
     artifact_type: "White Paper"
     role: "Technical overview"
     status: "Canonical v1.0"
-    release_date: "2026-05-10"
+    release_date: "2026-05-12"
     canonical_route: "/publications/anchor-documents/wp003-taulib-technical-overview/"
     landing_path: "/publications/anchor-documents/wp003-taulib-technical-overview/"
     short_route: "https://prrp.site/wp003"
     mnemonic_route: "https://prrp.site/wp-taulib"
     pdf_path: "/assets/pdfs/anchor-documents/wp003-taulib-technical-overview.pdf"
-    checksum_sha256: "f63cf77af04393157186563a58473a83306ed4a24d588e0428c7ca97b02cb7d7"
-    file_size: "294,691 bytes"
-    page_count: 37
+    checksum_sha256: "db01b46b129c0365741c5d8da5ee3afd70c4377ec1afbe3bc7e9a9d9a278a939"
+    file_size: "303,923 bytes"
+    page_count: 39
     license: "CC-BY-4.0"
     summary: "A canonical v1.0 technical overview of TauLib as the Lean 4 formalization layer, Release Manifest, trust budget, generated docs, and Verify/TauLib inspection route."
   - id: "wp004"
diff --git a/assets/pdfs/anchor-documents/wp003-taulib-technical-overview.pdf b/assets/pdfs/anchor-documents/wp003-taulib-technical-overview.pdf
index 32d1cdd16..c15538a48 100644
Binary files a/assets/pdfs/anchor-documents/wp003-taulib-technical-overview.pdf and b/assets/pdfs/anchor-documents/wp003-taulib-technical-overview.pdf differ
diff --git a/publications/anchor-documents/wp003-taulib-technical-overview/index.md b/publications/anchor-documents/wp003-taulib-technical-overview/index.md
index c5f2ae9f8..42190427a 100644
--- a/publications/anchor-documents/wp003-taulib-technical-overview/index.md
+++ b/publications/anchor-documents/wp003-taulib-technical-overview/index.md
@@ -3,7 +3,7 @@ layout: "program-doc"
 lane: "publications"
 v2_lane: "publications"
 status: "Canonical"
-last_updated: 2026-05-10
+last_updated: 2026-05-12
 updated: "May 2026"
 title: "WP003 — TauLib Technical Overview"
 title_plain: "TauLib Technical Overview"