From fd4cbb0fc7a631b4369a2c5def4e0a7ad4379bf4 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" Date: Mon, 12 Oct 2026 17:22:13 +0000 Subject: [PATCH] README: plain claims in the body, one status line (claim audit 2026-10-12) --- README.adoc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.adoc b/README.adoc index 76df979..91e7444 100644 --- a/README.adoc +++ b/README.adoc @@ -10,6 +10,8 @@ image:https://api.thegreenwebfoundation.org/greencheckimage/github.com[Green Web A Harvard-architecture programming language that makes code injection *grammatically impossible* — not as a runtime check, but as a structural guarantee. +_Status: mechanised for the core model in Lean (`JtvSecurity`); interpreter not yet wired to the proofs — see STATUS._ + Named after mathematician **Julia Robinson** (Hilbert's 10th problem) with a playful nod to "adder": a snake, and the fundamental operation the language builds everything from. [NOTE]