Merge branch 'codex/cellscript-release-wrapup'

Author: a19q3

.gitignore

@@ -12,3 +12,13 @@
 
 .cell/
 Cell.lock
+
+# Keep translated prose out of the CellScript repository by default.
+# README_CH.md is the one maintained Chinese document.
+*_CN.md
+*_ZH.md
+*_CH.md
+docs/**/*_CN.md
+docs/**/*_ZH.md
+docs/**/*_CH.md
+!README_CH.md

CHANGELOG.md

@@ -10,9 +10,13 @@
   production hardening track around action builders, malformed matrices, and
   measured mass/cycle constraints.
 - Preserve the production safety gates added in the 2026-04-23 development
-  log: no CKB smoke policy bypass, no unresolved-call ELF stubs, audit-only
+  log: no CKB policy bypass, no unresolved-call ELF stubs, audit-only
   Wasm, tightened backend shape reporting, narrowed crates.io packaging, and
   explicit profile-aware constraints metadata.
+- Promote the VS Code extension to production-grade local tooling with
+  compiler-backed validation, formatting, scratch compilation, metadata and
+  constraints reports, target-profile selection, status feedback, and stricter
+  extension validation.
 
 ## 2026-04-23
 

README.md

@@ -9,10 +9,10 @@
 [![Rust 1.85+](https://img.shields.io/badge/rust-1.85%2B-orange.svg)](Cargo.toml)
 [![Targets: Spora and CKB](https://img.shields.io/badge/targets-Spora%20%7C%20CKB-2f6f4e.svg)](#target-profiles)
 [![Package Manager: Beta](https://img.shields.io/badge/package%20manager-beta-f0ad4e.svg)](#package-manager-beta)
-[![LSP: Available](https://img.shields.io/badge/LSP-available-4c78a8.svg)](#editor-support)
+[![LSP: Production Tooling](https://img.shields.io/badge/LSP-production%20tooling-2f6f4e.svg)](#editor-support)
 [![Wiki Tutorials](https://img.shields.io/badge/wiki-tutorials-6f42c1.svg)](docs/wiki/Home.md)
 
-[English](README.md) | [中文](README_CN.md)
+[English](README.md) | [中文](README_CH.md)
 
 CellScript is a domain-specific language for Cell-based smart contracts on
 Spora and CKB. It compiles `.cell` source into ckb-vm RISC-V assembly or ELF
@@ -393,19 +393,27 @@ Common options:
 
 ## Editor Support
 
-CellScript includes beta language tooling:
+CellScript includes production-grade local language tooling:
 
 - The compiler crate exposes an in-process LSP service for diagnostics,
   completions, hover, definition, references, rename, formatting, and
   metadata-oriented code actions.
 - The repository includes a VS Code extension for `.cell` syntax highlighting,
-  language configuration, snippets, open/save diagnostics, and compiler-backed
-  formatting/validation hooks.
-- The editor integration is beta. It is suitable for local authoring and
-  compiler feedback, but the language-server transport and extension packaging
-  are still expected to evolve.
+  language configuration, snippets, edit/open/save diagnostics,
+  compiler-backed formatting, scratch compilation, metadata reports,
+  constraints reports, production reports, target-profile selection, and
+  status-bar feedback.
+- The extension is a stable local tooling surface. It shells out to `cellc` or
+  a workspace `cargo run -q -p cellscript --` fallback, so compiler behavior
+  stays identical to CLI and CI gates.
+- Boundary: the current VS Code extension is not a standalone JSON-RPC/stdin
+  language-server transport. The compiler crate has an in-process LSP service;
+  a future `cellc lsp --stdio` plus VS Code `LanguageClient` is a separate
+  transport project.
 
 - [`editors/vscode-cellscript`](editors/vscode-cellscript)
+- [Dual-chain production plan](docs/CELLSCRIPT_DUAL_CHAIN_PRODUCTION_PLAN.md)
+- [Dual-chain package registry design](docs/CELLSCRIPT_DUAL_CHAIN_PACKAGE_REGISTRY_DESIGN.md)
 
 ## Project Layout
 

README_CN.md README_CH.mdREADME_CN.md renamed to README_CH.md

@@ -9,10 +9,10 @@
 [![Rust 1.85+](https://img.shields.io/badge/rust-1.85%2B-orange.svg)](Cargo.toml)
 [![Targets: Spora and CKB](https://img.shields.io/badge/targets-Spora%20%7C%20CKB-2f6f4e.svg)](#target-profiles)
 [![Package Manager: Beta](https://img.shields.io/badge/package%20manager-beta-f0ad4e.svg)](#包管理器-beta)
-[![LSP: Available](https://img.shields.io/badge/LSP-available-4c78a8.svg)](#编辑器支持)
+[![LSP: Production Tooling](https://img.shields.io/badge/LSP-production%20tooling-2f6f4e.svg)](#编辑器支持)
 [![Wiki Tutorials](https://img.shields.io/badge/wiki-tutorials-6f42c1.svg)](docs/wiki/Home.md)
 
-[English](README.md) | [中文](README_CN.md)
+[English](README.md) | [中文](README_CH.md)
 
 CellScript 是面向 Spora 和 CKB 的 Cell 模型智能合约 DSL。它把 `.cell`
 源码编译为 ckb-vm RISC-V assembly 或 ELF 产物，并同时输出可用于审计、
@@ -379,17 +379,25 @@ fail-closed；registry protocol 仍属于 post-v1 工作。
 
 ## 编辑器支持
 
-CellScript 包含 beta 语言工具：
+CellScript 包含生产级本地语言工具：
 
 - 编译器 crate 暴露 in-process LSP service，覆盖 diagnostics、completions、
   hover、definition、references、rename、formatting 和 metadata-oriented code
   actions。
 - 仓库包含一个 VS Code 扩展，支持 `.cell` 语法高亮、语言配置、snippets、
-  open/save diagnostics，以及 compiler-backed formatting/validation hooks。
-- 编辑器集成仍处于 beta。它适合本地编写和获取编译器反馈，但
-  language-server transport 和 extension packaging 后续仍可能演进。
+  edit/open/save diagnostics、compiler-backed formatting、scratch compile、
+  metadata report、constraints report、production report、target-profile 选择和
+  状态栏反馈。
+- 这个扩展是稳定的本地工具层。它调用 `cellc`，或在源码 workspace 内
+  回退到 `cargo run -q -p cellscript --`，所以编辑器行为和 CLI/CI gates
+  保持一致。
+- 边界：当前 VS Code 扩展不是独立的 JSON-RPC/stdin language-server
+  transport。编译器 crate 已有 in-process LSP service；未来如果要做
+  `cellc lsp --stdio` 加 VS Code `LanguageClient`，那是单独的 transport 工程。
 
 - [`editors/vscode-cellscript`](editors/vscode-cellscript)
+- [双链生产计划](docs/CELLSCRIPT_DUAL_CHAIN_PRODUCTION_PLAN.md)
+- [双链包 registry 设计](docs/CELLSCRIPT_DUAL_CHAIN_PACKAGE_REGISTRY_DESIGN.md)
 
 ## 项目结构