Merge pull request #890 from vercel-labs/ctate/prepare-v0-2-f94a93

Prepare v0.2.10
2026-10-29 07:04:09 +08:00 · 2026-10-12 10:37:12 -05:00
parent a968b15166 d75d7a22f0
commit 35ab79ecc3
33 changed files with 52 additions and 34 deletions
@@ -6,6 +6,26 @@ All notable changes to scriptc will be documented in this file.

 <!-- release:start -->

+## 0.2.10
+
+### Features
+
+- **Contract types check extra promises at compile time.** The new types-only `@scriptc/types` package adds `NoThrow<T>`, `Int32`, `Immutable<T>`, `Acyclic` and `ProgramLifetime`. They mean nothing to TypeScript or Node.js, but scriptc proves each one or fails the build with a diagnostic that names the throwing path, the non-int32 store, the write that breaks immutability or the reference cycle. Proven `Int32` slots are stored as native integers, immutable module constants take no reference counts, and program-lifetime classes skip reference counting and cycle collection. Outside worker programs, a surrounding `try`/`catch` discharges `NoThrow`.
+
+### Performance
+
+- **Construction and narrowed reads do less work.** Private constructor stores drop publication guards, construction-only fields are borrowed, string-keyed `Map` reads retain inline, and narrowed member reads are rechecked only when a call can invalidate them.
+- **Indexed reads and integer code are cheaper.** `charCodeAt` at proven integer indices skips the double round trip, literal `switch` statements dispatch without range tests, indexed-read helpers are inlined, identity bitwise forms over proven int32 operands return the operand, and array counters use signed conversions.
+- **Allocation is faster and smaller.** Small arrays are sized exactly, map storage stays on the runtime allocator, array element reference-count entry points live in one shared descriptor per element type, glibc's large blocks use transparent huge pages, and Linux pre-faults allocator memory on a helper thread.
+- **Runtime throw paths stay out of line,** so hot code around checks that rarely fail stays smaller.
+
+### Fixes
+
+- **Published object graphs stay immutable in more cases.** A constructor that stores `this` into its own field keeps its publication guards, and calls that may replace a field keep their own reference to arguments read from it.
+- **Native program objects use runtime ABI v13.** Array headers changed, so external object consumers must link the matching v0.2.10 runtime pack; the versioned marker rejects incompatible runtime objects at link time.
+
+<!-- release:end -->
+
 ## 0.2.9

 ### Features
@@ -29,8 +49,6 @@ All notable changes to scriptc will be documented in this file.
 - **Workers share descriptor tables safely,** and live array references are accessed one element at a time.
 - **Native program objects use runtime ABI v12.** Runtime object layouts changed, so external object consumers must link the matching v0.2.9 runtime pack; the versioned marker rejects incompatible runtime objects at link time.

-<!-- release:end -->
-
 ## 0.2.8

 ### Features
@@ -187,7 +187,7 @@ An unchanged program reuses the previous verdict: coverage records the files and
 {
  "schema": "scriptc-diagnostics",
  "schemaVersion": 1,
-  "compilerVersion": "0.2.9",
+  "compilerVersion": "0.2.10",
  "command": "coverage",
  "entry": "/work/app/src/main.ts",
  "success": false,
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/cli-darwin-arm64",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Native scriptc compiler for darwin-arm64",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/cli-darwin-x64",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Native scriptc compiler for darwin-x64",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/cli-linux-arm64-gnu",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Native scriptc compiler for linux-arm64-gnu",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/cli-linux-arm64-musl",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Native scriptc compiler for linux-arm64-musl",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/cli-linux-x64-gnu",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Native scriptc compiler for linux-x64-gnu",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/cli-linux-x64-musl",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Native scriptc compiler for linux-x64-musl",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/cli-win32-x64-msvc",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Native scriptc compiler for win32-x64-msvc",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "scriptc",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Compile ordinary TypeScript and JavaScript to small, fast native executables — no Node, no V8, no JavaScript engine in the binary",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/compiler",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "The scriptc compiler — TypeScript/JavaScript frontend, typed IR, LLVM backend",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "schemaVersion": 1,
-  "compilerVersion": "0.2.9",
+  "compilerVersion": "0.2.10",
  "coverage": [
    "Entries are projected mechanically from the compiler's own decision tables: the diagnostics registry, the unsupported-syntax dispatch tables, the stdlib and node-builtin lowering tables, and the supported-builtin-module list. Nothing is hand-maintained; the manifest regenerates byte-identically from the source tree at this version.",
    "Absence from this manifest means 'not projected', never 'unsupported'. Surfaces lowered through dedicated code paths rather than tables are not yet projected: console, JSON, Promise/async and the timer surface, the net/http/tls/https/dgram/dns/assert/test/stream/readline module member surfaces, template literals, the regex slice, global functions (parseInt, parseFloat, isNaN, isFinite), and the process surface outside its ambient slice.",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/llvm-darwin-arm64",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Pinned LLVM code-generation helper for scriptc on macOS arm64",
  "license": "Apache-2.0 WITH LLVM-exception",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/llvm-darwin-x64",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Pinned LLVM code-generation helper for scriptc on macOS x64",
  "license": "Apache-2.0 WITH LLVM-exception",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/llvm-linux-arm64-gnu",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Pinned LLVM code-generation helper for scriptc on Linux arm64",
  "license": "Apache-2.0 WITH LLVM-exception",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/llvm-linux-arm64-musl",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Statically linked LLVM code-generation helper for scriptc on Linux arm64 musl",
  "license": "Apache-2.0 WITH LLVM-exception",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/llvm-linux-x64-gnu",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Pinned LLVM code-generation helper for scriptc on Linux x64",
  "license": "Apache-2.0 WITH LLVM-exception",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/llvm-linux-x64-musl",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Statically linked LLVM code-generation helper for scriptc on Linux x64 musl",
  "license": "Apache-2.0 WITH LLVM-exception",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/llvm-win32-x64-msvc",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Pinned LLVM code-generation helper for scriptc on Windows x64",
  "license": "Apache-2.0 WITH LLVM-exception",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/runtime-android-arm64",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Precompiled scriptc library runtime pack for Android arm64",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/runtime-darwin-arm64",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Precompiled scriptc runtime pack for macOS arm64",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/runtime-darwin-x64",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Precompiled scriptc runtime pack for macOS x64",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/runtime-ios-arm64",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Precompiled scriptc library runtime pack for iOS arm64",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/runtime-ios-simulator-arm64",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Precompiled scriptc library runtime pack for iOS simulator arm64",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/runtime-linux-arm64-gnu",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Precompiled scriptc runtime pack for Linux arm64 glibc",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/runtime-linux-arm64-musl",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Precompiled scriptc runtime pack for Linux arm64 musl",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/runtime-linux-x64-gnu",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Precompiled scriptc runtime pack for Linux x64 glibc",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/runtime-linux-x64-musl",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Precompiled scriptc runtime pack for Linux x64 musl",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/runtime-wasm32-wasi",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Precompiled scriptc runtime pack for WASI Preview 1",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/runtime-win32-x64-msvc",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Precompiled scriptc runtime pack for Windows x64 MSVC",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/runtime",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "scriptc native runtime sources and vendored dependencies",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/threads",
-  "version": "0.2.9",
+  "version": "0.2.10",
  "description": "Zero-copy publication of immutable object graphs to worker threads (scriptc), with a deep-freezing Node.js implementation",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",
@@ -1,6 +1,6 @@
 {
  "name": "@scriptc/types",
-  "version": "0.2.8",
+  "version": "0.2.10",
  "description": "Contract types for scriptc: type-only annotations (Int32, NoThrow, Immutable) that scriptc checks and optimizes, with no runtime semantics",
  "license": "Apache-2.0",
  "homepage": "https://scriptc.dev",