Skip to content

Releases: add release-gate RC line #20

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
nrupala merged 1 commit into from
Oct 15, 2026
Merged

Releases: add release-gate RC line #20

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions site/.ruff_cache/.gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
# Automatically created by ruff.
*
Binary file added site/.ruff_cache/0.16.10/16633314195113034307
View file
Open in desktop
Binary file not shown.
Binary file added site/.ruff_cache/0.16.10/7476320724142127327
View file
Open in desktop
Binary file not shown.
1 change: 1 addition & 0 deletions site/.ruff_cache/CACHEDIR.TAG
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Signature: 8a477f597d28d172789f06886806bc55
1 change: 1 addition & 0 deletions site/dist/releases/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -114,6 +114,7 @@ <h1 class="pt">Release log</h1>
<p class="sub">What changed, when &mdash; stated plainly.</p>
<h2>2026-10-15 &mdash; Honest pre-launch presentation</h2>
<p>The site now presents the service as it is: <strong>pre-launch</strong>. 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.</p>
<p>Release gate: PASS WITH FINDINGS (2026-10-15) &mdash; pre-launch presentation is a release candidate since 2026-10-15, graduates 2026-10-22.</p>
<h2>2026-09-27 &mdash; Certification loop verified end-to-end</h2>
<p>On the real engine: submit a Lean 4 specification &rarr; verification &rarr; signed 90-day certificate &rarr; independent certificate check &rarr; revocation. The loop works; production hosting is the remaining launch step.</p>
<h2>2026-09-26 &mdash; Engine and site</h2>
Expand Down
1 change: 1 addition & 0 deletions site/pages_blog.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -123,6 +123,7 @@
<p class="sub">What changed, when &mdash; stated plainly.</p>
<h2>2026-10-15 &mdash; Honest pre-launch presentation</h2>
<p>The site now presents the service as it is: <strong>pre-launch</strong>. 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.</p>
<p>Release gate: PASS WITH FINDINGS (2026-10-15) &mdash; pre-launch presentation is a release candidate since 2026-10-15, graduates 2026-10-22.</p>
<h2>2026-09-27 &mdash; Certification loop verified end-to-end</h2>
<p>On the real engine: submit a Lean 4 specification &rarr; verification &rarr; signed 90-day certificate &rarr; independent certificate check &rarr; revocation. The loop works; production hosting is the remaining launch step.</p>
<h2>2026-09-26 &mdash; Engine and site</h2>
Expand Down
Loading