diff --git a/README.adoc b/README.adoc
index 36a8f7e..8054758 100644
--- a/README.adoc
+++ b/README.adoc
@@ -71,6 +71,10 @@ Language. It checks whether identity transitions proposed to VeriSimDB are
 well-formed, type-safe, authorised, resource-safe, proof-supported, and
 _admissible_ before they affect live consonance state.
 
+_Status: transition admissibility checks implemented (structural identity-
+distinctness, evidence injection-safety, and evidence type-compatibility);
+the proof-supported layer is intended (witness independence first)._
+
 == What VCL Is
 
 VCL is not SQL with extra types. VCL is a language of _propositions_ and