diff --git a/docs/architecture.md b/docs/architecture.md
index 97e6abb..e7ea1c3 100644
--- a/docs/architecture.md
+++ b/docs/architecture.md
@@ -44,13 +44,11 @@ authenticated control protocol. A device that retained a newer head can detect
 a later rollback, altered event, omission, or conflicting event at the same
 author sequence.
 
-This does not make Appa a blockchain. Version clocks handle file causality;
-Merkle trees make manifest comparison efficient; audit chains record signed
-state transitions.
+Version clocks order file changes. Merkle trees compare manifests efficiently.
+Audit chains record signed state transitions.
 
-The guarantee starts once an honest member has retained a head. A stolen device
-key can still sign events, and no participant can prove facts that no honest
-member observed.
+Audit verification detects changes relative to heads retained by other members.
+A compromised device key can still sign events.
 
 ## Local state