From 475cfff509e3369926c5b2ee258fc8f1f9c3c6a1 Mon Sep 17 00:00:00 2001 From: Chris R Date: Mon, 26 Oct 2026 18:03:50 +1100 Subject: [PATCH] Restore selected review and source links in CI guide --- 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..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)