From 0e31e6f679a01dfff5d9d129a743c77e08bb7765 Mon Sep 17 00:00:00 2001 From: Muse Date: Thu, 15 Oct 2026 17:15:15 -0600 Subject: [PATCH] Releases: add release-gate RC line (PASS WITH FINDINGS, graduates 2026-10-22) --- site/.ruff_cache/.gitignore | 2 ++ site/.ruff_cache/0.16.10/16633314195113034307 | Bin 0 -> 468 bytes site/.ruff_cache/0.16.10/7476320724142127327 | Bin 0 -> 420 bytes site/.ruff_cache/CACHEDIR.TAG | 1 + site/dist/releases/index.html | 1 + site/pages_blog.py | 1 + 6 files changed, 5 insertions(+) create mode 100644 site/.ruff_cache/.gitignore create mode 100644 site/.ruff_cache/0.16.10/16633314195113034307 create mode 100644 site/.ruff_cache/0.16.10/7476320724142127327 create mode 100644 site/.ruff_cache/CACHEDIR.TAG diff --git a/site/.ruff_cache/.gitignore b/site/.ruff_cache/.gitignore new file mode 100644 index 0000000..b100327 --- /dev/null +++ b/site/.ruff_cache/.gitignore @@ -0,0 +1,2 @@ +# Automatically created by ruff. +* diff --git a/site/.ruff_cache/0.16.10/16633314195113034307 b/site/.ruff_cache/0.16.10/16633314195113034307 new file mode 100644 index 0000000000000000000000000000000000000000..85b0807f3b322c96719bc87d9ca4537512506097 GIT binary patch literal 468 zcmdPT$j?pH&qypu&d@KgA>|KtLyu z`tbk%|EOcvJZJt>doC|?(QzRoP!NQHpcjY_1LgN!VvA2-dra5e9#tN!2oKQ>l&b*h zZ=CAYWTNtGE=)folKI|1dHdJ<#JK9rp26f{_9vBQ=A;1Kz530u#H>fNRng^(Nkdc9b5r{z`sWdYu1*mTIn`4Ptk7ldFfcouU?-S#yGkXS? zhw3jX1zGw3zkbFM7Rk_M!f<)00U-U6K>hnJvBjsaJ*Eqnhw6vfgNyD4O7H>oH%|3x zGEw<87p@9!Q^4a7fAij%BYelhS5NykO9LQp#B1&{u@A1 Jb|9Mrhyg}Fk);3t literal 0 HcmV?d00001 diff --git a/site/.ruff_cache/CACHEDIR.TAG b/site/.ruff_cache/CACHEDIR.TAG new file mode 100644 index 0000000..bc1ecb9 --- /dev/null +++ b/site/.ruff_cache/CACHEDIR.TAG @@ -0,0 +1 @@ +Signature: 8a477f597d28d172789f06886806bc55 \ No newline at end of file diff --git a/site/dist/releases/index.html b/site/dist/releases/index.html index 538eb4c..7181c3e 100644 --- a/site/dist/releases/index.html +++ b/site/dist/releases/index.html @@ -114,6 +114,7 @@

Release log

What changed, when — stated plainly.

2026-10-15 — Honest pre-launch presentation

The site now presents the service as it is: pre-launch. Credit packs are not yet on sale, the API is not yet live, and certificates are not yet being issued. Buy buttons and operating-service claims stay down until the launch wiring exists.

+

Release gate: PASS WITH FINDINGS (2026-10-15) — pre-launch presentation is a release candidate since 2026-10-15, graduates 2026-10-22.

2026-09-27 — Certification loop verified end-to-end

On the real engine: submit a Lean 4 specification → verification → signed 90-day certificate → independent certificate check → revocation. The loop works; production hosting is the remaining launch step.

2026-09-26 — Engine and site

diff --git a/site/pages_blog.py b/site/pages_blog.py index 60954d0..acaf352 100644 --- a/site/pages_blog.py +++ b/site/pages_blog.py @@ -123,6 +123,7 @@

What changed, when — stated plainly.

2026-10-15 — Honest pre-launch presentation

The site now presents the service as it is: pre-launch. Credit packs are not yet on sale, the API is not yet live, and certificates are not yet being issued. Buy buttons and operating-service claims stay down until the launch wiring exists.

+

Release gate: PASS WITH FINDINGS (2026-10-15) — pre-launch presentation is a release candidate since 2026-10-15, graduates 2026-10-22.

2026-09-27 — Certification loop verified end-to-end

On the real engine: submit a Lean 4 specification → verification → signed 90-day certificate → independent certificate check → revocation. The loop works; production hosting is the remaining launch step.

2026-09-26 — Engine and site