CellScript 0.13 Direction Update: Actions, State, and Syntax

0.13.2 Patch: Standard Library Patterns Arrive

CellScript 0.13.2 adds the first stable standard-library audit patterns. This is a small but important step for the language. The goal is not to hide CKB Cell semantics behind magic syntax. The goal is to give common verifier patterns a clear, namespaced spelling while keeping their lowering explicit and auditable.

The new standard-library surface includes lifecycle helpers:

std::lifecycle::transfer(input, output, to) {
    amount
    symbol
}
std::receipt::claim(receipt, output, lock) {
    amount
}
std::lifecycle::settle(input, output, lock) {
    amount
}

It also includes Cell metadata helpers:

std::cell::same_lock(output, input)
std::cell::preserve_lock(output, input)
std::cell::preserve_capacity(output, input)

These helpers are not hidden protocol policy. They lower to explicit verifier obligations such as consuming an input, creating a named output, preserving a whitelisted set of fields, checking lock or capacity continuity, and keeping type continuity visible.

Core syntax stays small:

action
where
move
require
create
consume
read / protected / witness / lock_args

The standard library sits one layer above that: typed, explicit, reusable audit patterns that expand back into the verifier model.

2 Likes