diff --git a/docs/ci-verification.md b/docs/ci-verification.md
index f700630922..006bf5a3d5 100644
--- a/docs/ci-verification.md
+++ b/docs/ci-verification.md
@@ -3,7 +3,9 @@
 ## Current selected-family replay: #5599
 
 The [selected record](../certificates/selected-result.json) binds conditional
-κ = 0.00310045. `make frontier5599-verify` authenticates the complete source
+κ = 0.00310045 to the [proof review](research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md)
+and [explicit source closure](../certificates/frontier5599-source.json).
+`make frontier5599-verify` authenticates the complete source
 closure and claim derivation, then executes primary, independent caller
 positive-control, adapted caller and optimized primary checks serially. The
 Linux [audit run](https://github.com/CrocSwap/integer-mult-bounds/actions/runs/40253906841)