diff --git a/SORRY_PROTOCOL.md b/SORRY_PROTOCOL.md
index 758ceb16..aec423be 100644
--- a/SORRY_PROTOCOL.md
+++ b/SORRY_PROTOCOL.md
@@ -8,6 +8,11 @@ author rather than verify the arithmetic.
 
 **The rule:** Encounter a sorry → STOP → Assess → Decide → Only then proceed.
 
+**The 3-agent rule:** Every formula must be verified by 3 independent agents.
+All 3 must agree on every intermediate term and the final result to 6 decimal
+places. If any agent disagrees, the formula is a SORRY. STOP. Investigate. All
+3 must agree before the formula is accepted.
+
 ---
 
 ## THE STOP PROTOCOL
@@ -262,6 +267,66 @@ The wall:
 
 ---
 
+## THE 3-AGENT VERIFICATION PROCESS
+
+```
+FORMULA CLAIMED
+      │
+      ▼
+┌─────────────────────┐
+│ Agent Alpha computes │  Independent. Shows all steps.
+│ from scratch         │  Reports to 6 decimal places.
+└──────────┬──────────┘
+           │
+      ┌────┴────┐
+      ▼         ▼
+┌─────────┐ ┌─────────┐
+│ Agent   │ │ Agent   │  Independent. No sharing.
+│ Beta    │ │ Gamma   │  Same formula, same inputs.
+│ computes│ │ computes│  All steps shown.
+│ scratch │ │ scratch │
+└────┬────┘ └────┬────┘
+     │            │
+     └─────┬──────┘
+           ▼
+┌─────────────────────┐
+│ Orchestrator compares│
+│ all 3 results        │
+└──────────┬──────────┘
+           │
+     ┌─────┴─────┐
+     ▼           ▼
+┌─────────┐ ┌─────────┐
+│ ALL 3   │ │ ANY 2   │
+│ AGREE   │ │ DISAGREE│
+│         │ │         │
+│ ✓ Log   │ │ ✗ STOP  │
+│ ✓ Accept│ │ ✗ Find  │
+│ ✓ Proceed│ │   error │
+│         │ │ ✗ Recomp│
+└─────────┘ └─────────┘
+```
+
+**Agreement means:** Every intermediate term matches to 6 decimal places.
+The final result matches to 6 decimal places. No rounding differences. No
+off-by-one in indices. Exact match.
+
+**Disagreement means:** Any intermediate term or final result differs by
+more than 10^{-6}. STOP. All 3 agents recompute. If disagreement persists,
+the formula is a SORRY. Apply the STOP protocol.
+
+---
+
+## VERIFICATION LOG (formulas verified)
+
+| # | Formula | Inputs | Consensus Value | Date | Status |
+|---|---------|--------|-----------------|------|--------|
+| 001 | d_F(p,q) = 2·arccos(Σ√(pᵢqᵢ)) | p=(0.3,0.1,0.15,0.05,0.2,0.08,0.07,0.05), q=(0.2,0.2,0.1,0.1,0.15,0.1,0.1,0.05) | 0.440258 | 2026-06-23 | ✅ VERIFIED |
+
+See `VERIFICATION_LOG.md` for full details.
+
+---
+
 ## NEXT ACTIONS
 
 1. **Resolve S1-S3 (Chentsov):** WEAKEN theorem to invariance only. Write the