diff --git a/Cargo.toml b/Cargo.toml
index 9f8187579..81f3072db 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -24,10 +24,9 @@ wordcraft-pdf = { path = "crates/pdf" }
 # Proofing is craft-libs' craft-proof (it was crates/proof); its Language data is craft-i18n's
 # language-data/, embedded from CRAFT_I18N_DIR (craft-i18n.rev). The package keeps the
 # `wordcraft-proof` name here so `wordcraft_proof::` paths are unchanged.
-# TODO(CP1.3): once storytold/craft-libs merges craft-proof, replace the local path with its own pin
-# (separate from the main craft-libs pin):
-#   wordcraft-proof = { package = "craft-proof", git = "https://github.com/storytold/craft-libs", rev = "<CP1.2 merge>" }
-wordcraft-proof = { package = "craft-proof", path = "../wt-cp1-libs/crates/proof" }
+# Pinned like the other craft-libs crates (each has its own rev). This rev is the head of
+# storytold/craft-libs#482, which adds craft-proof; move it to that PR's merge commit once merged.
+wordcraft-proof = { package = "craft-proof", git = "https://github.com/storytold/craft-libs", rev = "961162ad15b5992166d0f310763cd09a596772e8", version = "=0.1.0" }
 wordcraft-engine = { path = "crates/engine" }
 wordcraft-mcp = { path = "crates/mcp" }
 wordcraft-zotero = { path = "crates/zotero" }