From f720fe303a7e1fd8ffaec05c4fa13291372ea548 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <jonathan@hyperpolymath.dev>
Date: Mon, 12 Oct 2026 17:20:11 +0000
Subject: [PATCH] README: state verification as intent, not fact, keeping the
 direction (claim audit 2026-10-12)

---
 README.adoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.adoc b/README.adoc
index f8f4ce1..9119f2e 100644
--- a/README.adoc
+++ b/README.adoc
@@ -83,7 +83,7 @@ _Coming soon_
 │  Provenance | Reversibility | PROMPT Scores                 │
 ├─────────────────────────────────────────────────────────────┤
 │  Formal Verification Layer (Idris2)                         │
-│  Type-level guarantees | Correctness proofs                 │
+│  Type-level checks     | Correctness proofs (target)        │
 ├─────────────────────────────────────────────────────────────┤
 │  Storage: Local | Dropbox | GDrive | S3                     │
 └─────────────────────────────────────────────────────────────┘