From d71a43642538ccffb665c7dc42513ec5c0fab07a Mon Sep 17 00:00:00 2001 From: stephenlutar2-hash <270976497+stephenlutar2-hash@users.noreply.github.com> Date: Thu, 18 Jun 2026 18:29:01 +0000 Subject: [PATCH] docs: correct stale locked-proven count 5->8 in README honesty boundary README stated "Proved PURIQ formulas = exactly 5" {F1,F11,F12,F18,F19}, but the same repo's VERIFY.md and API_REFERENCE.md already cite the canonical 8-formula set {F1,F4,F7,F11,F12,F18,F19,F22}. Aligns README with canonical DOCTRINE_V11 G1 (locked-proven count is EXACTLY 8) and live /api/a11oy/v1/honest (count=8 @ c7c0ba17). Co-Authored-By: Claude Opus 4.7 Signed-off-by: stephenlutar2-hash <270976497+stephenlutar2-hash@users.noreply.github.com> --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index de7ee57..0c951f1 100644 --- a/README.md +++ b/README.md @@ -45,7 +45,7 @@ locked at `c7c0ba17`. **Λ = Conjecture 1, NOT a theorem.** Service images are S verifiable via `cosign verify`. **SLSA L2 verified build-provenance (isolated builders + verified provenance attestation) is on the roadmap.** **L3 is NOT claimed.** The mesh **bundle artifact** is signed but **not yet provenance-attested** (owner-only GHCR grant pending). -- **Proved PURIQ formulas = exactly 5** — F1, F11, F12, F18, F19 (Lean 4, zero-sorry); rest Roadmap. +- **Locked-proven PURIQ formulas = exactly 8** — {F1, F4, F7, F11, F12, F18, F19, F22} @ `c7c0ba17` (Lean 4, kernel-clean; F4/F7/F22 landed 2026-06-10); rest Roadmap. - Λ-uniqueness = **Conjecture 1** (open bounty, `CAUCHY_ND` sorry open) — **not a theorem**. - cosign DSSE signatures are real ECDSA-P256-SHA256; receipts are real-DSSE-or-honestly-UNSIGNED. - No FedRAMP / Iron Bank / CMMC claims — see [docs-site compliance](https://szl-holdings.github.io/docs-site/compliance).