fix: correct 'formal soundness' claim — proofs are pending, not done

Idris2 ABI files are RSR template boilerplate with {{PROJECT}} placeholders.
No domain-specific proofs exist yet. Wording changed to be honest.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

Cargo.toml

@@ -2,7 +2,7 @@
 [package]
 name = "patch-bridge"
 version = "0.1.0"
-description = "CVE mitigation lifecycle — from disclosure to verified remediation with reachability analysis and formal soundness"
+description = "CVE mitigation lifecycle — from disclosure to verified remediation with reachability analysis (formal soundness proofs pending)"
 authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
 license = "PMPL-1.0-or-later"
 repository = "https://github.com/hyperpolymath/patch-bridge"

README.adoc

@@ -5,7 +5,7 @@ Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 
 **Closing the detection-to-remediation gap in CVE lifecycle management.**
 
-Existing vulnerability scanners stop at _detection_. Patch Bridge closes the gap through reachability-filtered triage, formal mitigation soundness (Idris2), and adoption gating (PanLL panel).
+Existing vulnerability scanners stop at _detection_. Patch Bridge closes the gap through reachability-filtered triage, reachability-filtered triage (formal soundness proofs pending), and adoption gating (PanLL panel).
 
 == Origin