Prepare CellScript 0.25 stable release

Author: a19q3

BRANCHES.md

@@ -2,14 +2,13 @@
 
 ## nightly-0.25
 
-`nightly-0.25` is the active language-completeness development line. It adds
+`nightly-0.25` is the closed language-completeness release line. It adds
 bounded value generics, explicit visibility and package interfaces, exhaustive
 IR-surface classification, and the typed-semantics v2 / lowering-record v3
-boundary. Treat it as merge-ready only when compiler, independent checker,
-Registry, editor/Playground, docs, and the `dev`, `ci`, and `backend` gates all
-agree. It is not a stable release or production CKB evidence claim; the crate
-version identifies the 0.25 development line but is not a substitute for a
-signed release tag or the coordinated release gate.
+boundary. The stable release boundary is the exact `v0.25.0` tag; later
+commits on the branch are not implicitly part of that release. External
+Myelin, Fiber, and RGB++ claims remain separately evidence gated as described
+in the 0.25 release notes.
 
 ## 0.12-era proposal baseline
 
@@ -47,9 +46,17 @@ nightly branch name.
 comparisons and an exact nightly branch for development-scope comparisons;
 do not infer release evidence from `main` alone.
 
+## v0.25.0
+
+`v0.25.0` is the current stable release for the language-completeness kernel,
+canonical package interfaces, independently checked typed semantics, verified
+lowering records, and the 0.25 Playground compiler. Use the exact tag ref
+`refs/tags/v0.25.0` for stable comparisons. The release does not promote the
+separately pending Myelin, Fiber, or RGB++ external evidence boundaries.
+
 ## v0.24.0
 
-`v0.24.0` is the current stable release for the verified-artifact checker,
+`v0.24.0` is the historical stable predecessor for the verified-artifact checker,
 executable package scenarios, lock-authoritative package graph, and LS-IDL
 Registry path. Use the exact tag ref `refs/tags/v0.24.0` for stable
 comparisons. The release does not promote the separately pending Myelin,

CHANGELOG.md

@@ -1,6 +1,6 @@
 # Changelog
 
-## 0.25.0 - Unreleased
+## 0.25.0 - 2026-09-02
 
 - Rebase the 0.25 development line on the complete 0.24 trust boundary,
   including the lock-authoritative package graph, standalone artifact checker,
@@ -10,8 +10,8 @@
   the 0.25 development identity. Preserve the independently deployed Registry
   Type Script as the byte-identical 0.24.0 artifact whose package version and
   CKB data hash are already part of its published trust identity. Keep the
-  website's public release badge on stable `v0.24.0` while giving the 0.25
-  Playground compiler its own asset identity
+  website's public release badge on stable `v0.25.0` and bind the 0.25
+  Playground compiler to its release asset identity
   (`20260824-v0.25.0-32dc571c`, SHA-256
   `32dc571c2e8e32134460cb45e2329ddd29d754959d9cfe4478c638aa5fc4c7d7`).
 

README.md

@@ -4,7 +4,7 @@
 </p>
 
 [![CellScript CI](https://github.com/CellScript-Labs/CellScript/actions/workflows/ci.yml/badge.svg)](https://github.com/CellScript-Labs/CellScript/actions/workflows/ci.yml)
-[![Release: v0.24.0](https://img.shields.io/badge/release-v0.24.0-2f6f4e.svg)](https://github.com/CellScript-Labs/CellScript/releases/tag/v0.24.0)
+[![Release: v0.25.0](https://img.shields.io/badge/release-v0.25.0-2f6f4e.svg)](https://github.com/CellScript-Labs/CellScript/releases/tag/v0.25.0)
 [![License: MIT](https://img.shields.io/badge/License-MIT-blue.svg)](LICENSE-MIT)
 [![Rust 1.97.1](https://img.shields.io/badge/rust-1.97.1-orange.svg)](Cargo.toml)
 [![Targets: CKB](https://img.shields.io/badge/targets-CKB-2f6f4e.svg)](#target-profiles)
@@ -20,10 +20,10 @@ artifacts, together with typed metadata for auditing, policy checks, schema
 binding, and scheduler-aware execution.
 
 The current stable release is
-[CellScript v0.24.0](https://github.com/CellScript-Labs/CellScript/releases/tag/v0.24.0).
-The [0.24 release notes](docs/releases/CELLSCRIPT_0_24_RELEASE_NOTES.md)
-describe its verified-artifact, executable-test, integration, and explicitly
-deferred ecosystem boundaries.
+[CellScript v0.25.0](https://github.com/CellScript-Labs/CellScript/releases/tag/v0.25.0).
+The [0.25 release notes](docs/releases/CELLSCRIPT_0_25_RELEASE_NOTES.md)
+describe its language-completeness, independently checked typed-semantics,
+verified-artifact, integration, and explicitly deferred ecosystem boundaries.
 
 In this README, metadata means machine-readable semantic facts emitted by the
 compiler: schema layout, Cell effects, access summaries, source hashes,
@@ -117,15 +117,15 @@ curl -fsSL https://raw.githubusercontent.com/CellScript-Labs/CellScript/main/scr
 Or pin a specific version:
 
 ```bash
-CELLSCRIPT_VERSION=0.24.0 curl -fsSL https://raw.githubusercontent.com/CellScript-Labs/CellScript/main/scripts/install.sh | sh
+CELLSCRIPT_VERSION=0.25.0 curl -fsSL https://raw.githubusercontent.com/CellScript-Labs/CellScript/main/scripts/install.sh | sh
 ```
 
 The release page publishes `SHA256SUMS` alongside all four platform archives.
 
 Build the exact published source instead:
 
 ```bash
-git clone --branch v0.24.0 --depth 1 https://github.com/CellScript-Labs/CellScript.git
+git clone --branch v0.25.0 --depth 1 https://github.com/CellScript-Labs/CellScript.git
 cd CellScript
 cargo install --locked --path .
 ```

docs/releases/CELLSCRIPT_0_25_RELEASE_NOTES.md

@@ -1,7 +1,14 @@
-# CellScript 0.25 Development Release Notes
+# CellScript 0.25 Release Notes
 
-**Status**: implementation candidate on `nightly-0.25`; final release gates
-remain required
+**Status**: stable release identified by `refs/tags/v0.25.0`.
+
+**Release date**: 2026-09-02
+
+**Source edition**: 2026
+
+**Metadata schemas**: 61 / 2 / 1 / 2
+
+**Rust toolchain**: 1.97.1
 
 CellScript 0.25 concentrates on language completeness where it matters for CKB:
 reusable fixed values, explicit package contracts, complete executable
@@ -22,10 +29,9 @@ identity, as do their lockfiles and exact internal dependency pins. The VS Code
 extension follows the same 0.25 authoring surface. The independently deployed
 Registry Type Script remains versioned as 0.24.0: its byte-for-byte reproducible
 artifact and CKB data hash are an already published trust identity, not a
-workspace package to relabel. The website continues to advertise `v0.24.0` as
-the latest stable release while its development Playground loads the separately
-identified 0.25 metadata compiler. A nightly compiler bundle is not presented
-as a stable release. The development bundle uses asset identity
+workspace package to relabel. The release website promotes `v0.25.0` and loads
+the separately identified 0.25 metadata compiler. The canonical browser bundle
+uses asset identity
 `20260824-v0.25.0-32dc571c`, SHA-256
 `32dc571c2e8e32134460cb45e2329ddd29d754959d9cfe4478c638aa5fc4c7d7`,
 and is 590,724 bytes under standard gzip.
@@ -165,17 +171,20 @@ an ordinary compile into a write outside the cache.
 
 ## Release Validation
 
-The final 0.25 candidate is closed with the repository's complete development,
-CI, and backend gates:
+The exact 0.25 release source identified by `refs/tags/v0.25.0` passed all five
+canonical gates before publication:
 
 ```bash
 ./scripts/cellscript_gate.sh dev
 ./scripts/cellscript_gate.sh ci
 ./scripts/cellscript_gate.sh backend
+./scripts/cellscript_gate.sh release-quick --ckb-repo /path/to/pinned/ckb
+./scripts/cellscript_gate.sh release --ckb-repo /path/to/pinned/ckb
 git diff --check
 ```
 
 Focused compiler, checker, Registry and CKB-VM tests, the VS Code extension
 validation, the website production/testnet build, and a complete security diff
-review are part of that closure. These checks establish merge readiness for
-the nightly line. Release and chain evidence remain separate from local gates.
+review are part of that closure. The full `release` run additionally binds the
+pinned CKB source and stateful production acceptance evidence; compile-only or
+nightly evidence does not substitute for it.

docs/wiki/Home.md

@@ -6,7 +6,7 @@ and the locks that decide whether a Cell may be spent. The compiler then turns
 that `.cell` source into ckb-vm compatible RISC-V assembly or ELF artifacts, and
 writes metadata that explains what was built.
 
-Last updated: 2026-08-12 (`nightly-0.25` development line).
+Last updated: 2026-09-02 (`v0.25.0` release line).
 
 This wiki is a guided path. It starts with one compiled example, then slowly
 builds the mental model: source files, Cell effects, packages, the CKB profile,

docs/wiki/Tutorial-06-Metadata-Verification-and-Production-Gates.md

@@ -17,13 +17,13 @@ syscall, runtime exit, and final machine-range contract. The canonical source ma
 spans and lowering blocks to final ELF instruction ranges. Assembly output does
 not claim this verified-artifact boundary.
 
-On the 0.25 development line it also carries mandatory `edition = "2026"` and the fully
+On the 0.25 line it also carries mandatory `edition = "2026"` and the fully
 resolved compatibility profile. Edition contributes source semantics only.
 The profile combines that with independently versioned target,
 primitive-assurance, entry payload, witness placement, and metadata-schema
 axes. Verification rejects a sidecar whose profile does not resolve from those
 inputs; it never guesses another contract. Current outputs use metadata schema
-60, source schema 2, artifact schema 1, and constraints schema 2. Schema 60
+61, source schema 2, artifact schema 1, and constraints schema 2. Schema 61
 adds canonical `public_interface` / `interface_hash` and
 `typed_semantics` / `typed_semantics_hash` pairs. Registry,
 lock, deployment, receipt, and generated-builder readers require the same

docs/wiki/_Sidebar.md

@@ -25,5 +25,5 @@
 - [CellScript 0.22 Release Notes](https://github.com/CellScript-Labs/CellScript/blob/v0.22.0/docs/releases/CELLSCRIPT_0_22_RELEASE_NOTES.md)
 - [CellScript 0.23 Release Notes](https://github.com/CellScript-Labs/CellScript/blob/v0.23.0/docs/releases/CELLSCRIPT_0_23_RELEASE_NOTES.md)
 - [CellScript 0.24 Release Notes](https://github.com/CellScript-Labs/CellScript/blob/v0.24.0/docs/releases/CELLSCRIPT_0_24_RELEASE_NOTES.md)
-- [CellScript 0.25 Development Release Notes](https://github.com/CellScript-Labs/CellScript/blob/nightly-0.25/docs/releases/CELLSCRIPT_0_25_RELEASE_NOTES.md)
+- [CellScript 0.25 Release Notes](https://github.com/CellScript-Labs/CellScript/blob/v0.25.0/docs/releases/CELLSCRIPT_0_25_RELEASE_NOTES.md)
 - [Bounded Fiber Interoperability Guide](https://github.com/CellScript-Labs/CellScript/blob/nightly-0.24/examples/fiber/README.md)

services/registry-api/test/sql-registry-store.test.ts

@@ -42,8 +42,8 @@ describePostgres("SqlRegistryStore PostgreSQL contract", () => {
         .filter((file) => /^[0-9]{4}_.+[.]sql$/.test(file))
         .sort();
       const currentCommitmentMigration = "0007_current_commitment_state.sql";
-      const authorisationSessionsMigration = "0009_authorisation_sessions.sql";
-      expect(migrationFiles.at(-1)).toBe(authorisationSessionsMigration);
+      const latestMigration = "0010_ls_idl_interfaces.sql";
+      expect(migrationFiles.at(-1)).toBe(latestMigration);
 
       for (const file of migrationFiles.filter((item) => item < currentCommitmentMigration)) {
         await client.query(await readFile(new URL(`../migrations/${file}`, import.meta.url), "utf8"));