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.