Record 0.31 cost decisions and branch transition

Author: a19q3

.github/workflows/release.yml

@@ -239,29 +239,29 @@ jobs:
             ### One-line install (Global)
 
             ```bash
-            curl -fsSL https://raw.githubusercontent.com/${{ github.repository }}/main/scripts/install.sh | sh
+            curl -fsSL https://github.com/${{ github.repository }}/releases/download/v${{ steps.version.outputs.version }}/install.sh | sh
             ```
 
             ### One-line install (China mainland)
 
-            If `raw.githubusercontent.com` is unreachable, use a GitHub proxy:
+            If GitHub downloads are unreachable, use a GitHub proxy:
 
             ```bash
-            curl -fsSL https://ghgo.xyz/https://raw.githubusercontent.com/${{ github.repository }}/main/scripts/install.sh | sh
+            curl -fsSL https://ghgo.xyz/https://github.com/${{ github.repository }}/releases/download/v${{ steps.version.outputs.version }}/install.sh | sh
             ```
 
             Or force a specific mirror for binary downloads:
 
             ```bash
-            CELLSCRIPT_MIRROR=ghgo curl -fsSL https://ghgo.xyz/https://raw.githubusercontent.com/${{ github.repository }}/main/scripts/install.sh | sh
+            curl -fsSL https://ghgo.xyz/https://github.com/${{ github.repository }}/releases/download/v${{ steps.version.outputs.version }}/install.sh | CELLSCRIPT_MIRROR=ghgo sh
             ```
 
             Available mirrors: `ghgo` (ghgo.xyz), `ghproxy` (gh-proxy.com), `ghfast` (ghfast.top)
 
             ### Install specific version
 
             ```bash
-            CELLSCRIPT_VERSION=${{ steps.version.outputs.version }} curl -fsSL https://raw.githubusercontent.com/${{ github.repository }}/main/scripts/install.sh | sh
+            curl -fsSL https://github.com/${{ github.repository }}/releases/download/v${{ steps.version.outputs.version }}/install.sh | CELLSCRIPT_VERSION=${{ steps.version.outputs.version }} sh
             ```
 
             ### Alternative: cargo install

BRANCHES.md

@@ -1,5 +1,23 @@
 # Branch Context
 
+## Branch decision — 2026-09-21
+
+`0.31` is the development branch, starting from the tested
+`0.30` commit `8d6e200caa58d81429912df925a9322f691cb41d`. Its
+[cost decisions](docs/CELLSCRIPT_0_31_COST_DECISIONS.md) define the next work:
+measurement, immediate planning, shared decoders, private adapter frames, and
+scalar slot reuse. These are accepted decisions, not implemented optimizations.
+Cargo versions and the pinned toolchain remain unchanged for this planning step.
+The requested branch layout makes `0.31` the GitHub default branch.
+
+`0.30` is retained as the release baseline. Its complete local release gate
+passed on 2026-09-21; its signed tag points at that exact commit. Publication
+still requires verified release/deployment steps. Release tags and submodule
+repositories are preserved. The requested cleanup retires the other root
+branches after a verified local Git bundle backup. The descriptions below
+preserve historical evidence scope; consult the remote branch list for the
+actual completion state of that administrative operation.
+
 ## 0.30
 
 The workspace and editor are prepared as 0.30.0 with the bounded
@@ -11,7 +29,7 @@ after the required gates passed. On 2026-09-21 the maintainer authorized the
 The final source must pass a fresh full release gate before publication. See the
 [issue status audit](docs/releases/CELLSCRIPT_0_30_ISSUE_STATUS.md).
 
-`0.30` is the active capability-closure implementation branch, forked from
+`0.30` is the capability-closure release branch, forked from
 `0.26b` at `08c0ef38`. The current planning target permits the next stable
 release after 0.25 to be 0.30. The experimental `0.26b` work may be absorbed
 into that release without a published 0.26 stable line. No stable tag, Cargo

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.30.0](https://img.shields.io/badge/release-v0.30.0-2f6f4e.svg)](https://github.com/CellScript-Labs/CellScript/releases/tag/v0.30.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)
@@ -19,11 +19,15 @@ CKB. It compiles `.cell` source into ckb-vm RISC-V assembly or ELF
 artifacts, together with typed metadata for auditing, policy checks, schema
 binding, and scheduler-aware execution.
 
-The current stable release is
-[CellScript v0.30.0](https://github.com/CellScript-Labs/CellScript/releases/tag/v0.30.0).
+Development now continues on `0.31`; the accepted
+[0.31 cost decisions](docs/CELLSCRIPT_0_31_COST_DECISIONS.md) define its scope.
+The `0.30` release baseline has passed the full local release gate and has a
+signed tag. Public release and website deployment are tracked separately.
+
+The current published stable release is
+[CellScript v0.25.0](https://github.com/CellScript-Labs/CellScript/releases/tag/v0.25.0).
 The [0.30 release notes](docs/releases/CELLSCRIPT_0_30_RELEASE_NOTES.md)
-describe its bounded Cell lifecycles, multi-Script composition, typed CKB views,
-lock-authoritative packages, cost measurements, and evidence limits.
+describe the prepared release and its evidence limits.
 
 In this README, metadata means machine-readable semantic facts emitted by the
 compiler: schema layout, Cell effects, access summaries, source hashes,
@@ -111,21 +115,21 @@ matrix described in [the Fiber example guide](examples/fiber/README.md) and
 Install the current stable release (one line, four platform binaries):
 
 ```bash
-curl -fsSL https://raw.githubusercontent.com/CellScript-Labs/CellScript/main/scripts/install.sh | sh
+curl -fsSL https://github.com/CellScript-Labs/CellScript/releases/latest/download/install.sh | sh
 ```
 
 Or pin a specific version:
 
 ```bash
-CELLSCRIPT_VERSION=0.30.0 curl -fsSL https://raw.githubusercontent.com/CellScript-Labs/CellScript/main/scripts/install.sh | sh
+curl -fsSL https://github.com/CellScript-Labs/CellScript/releases/latest/download/install.sh | CELLSCRIPT_VERSION=0.25.0 sh
 ```
 
 The release page publishes `SHA256SUMS` alongside all four platform archives.
 
 Build the exact published source instead:
 
 ```bash
-git clone --branch v0.30.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 .
 ```