From 323149de4fa81c778336ee37d8bc02a84f556525 Mon Sep 17 00:00:00 2001
From: apoursh <8867770+apoursh@users.noreply.github.com>
Date: Sun, 25 Oct 2026 23:30:28 -0400
Subject: [PATCH] docs: restore selected5599 CI evidence links

---
 docs/ci-verification.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/ci-verification.md b/docs/ci-verification.md
index f700630922..72318768a1 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, with its [proof review](research/pr-intake-evidence/pr5599-completion/PROOF-REVIEW.md)
+and [source manifest](../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)