From 8c76334bf63fa0ee41bbcf1a18a9f68f1f16e585 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" Date: Mon, 12 Oct 2026 17:20:11 +0000 Subject: [PATCH 1/2] README: plain claims in the body, one status line (claim audit 2026-10-12) --- README.adoc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.adoc b/README.adoc index 36a8f7e..0b0d3ef 100644 --- a/README.adoc +++ b/README.adoc @@ -71,6 +71,9 @@ 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: shape and admissibility checks implemented; 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 From 1f6d6563185335bcf513955073c8cd45c211d3db Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Mon, 12 Oct 2026 22:53:44 +0100 Subject: [PATCH 2/2] Update README.adoc Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com> Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com> --- README.adoc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.adoc b/README.adoc index 0b0d3ef..8054758 100644 --- a/README.adoc +++ b/README.adoc @@ -71,8 +71,9 @@ 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: shape and admissibility checks implemented; the proof-supported -layer is intended (witness independence first)._ +_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