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 0000000..85b0807 Binary files /dev/null and b/site/.ruff_cache/0.16.10/16633314195113034307 differ diff --git a/site/.ruff_cache/0.16.10/7476320724142127327 b/site/.ruff_cache/0.16.10/7476320724142127327 new file mode 100644 index 0000000..6ad0beb Binary files /dev/null and b/site/.ruff_cache/0.16.10/7476320724142127327 differ 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