Menu
CKB Cell Model, lock/type roles, Source views, WitnessArgs, CellDeps, capacity, since, and replacement semantics for CellScript work.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Parser, type, lowering, runtime, and production-gate diagnostics with migration hints and safe next actions.
CellScript action, transition, resource, shared, receipt, capability, flow, and fail-closed basics.
Generated builders, action-aware scans, deployment plans, live registry verification, and evidence boundaries.
CompileMetadata, ProofPlan, builder assumptions, constraints, ABI, audit bundles, receipts, and artifact verification.
CellScript package layout, Cell.toml, build/check/fmt/test, canonical 0.21 command groups, registry/package verification, and legacy alias migration.
| name | cellscript-ckb-model |
| description | CKB Cell Model, lock/type roles, Source views, WitnessArgs, CellDeps, capacity, since, and replacement semantics for CellScript work. |
| references | ["docs/wiki/CKB-Glossary.md","docs/wiki/Tutorial-05-CKB-Target-Profiles.md","docs/CELLSCRIPT_CKB_STD_COMPAT.md","docs/CELLSCRIPT_ENTRY_WITNESS_ABI.md"] |
| commands | ["cellc ckb-std-compat","cellc constraints"] |
Use this skill for CKB-facing CellScript work. Keep the CKB Cell Model clear: transactions consume live Cells and create new Cells; state changes happen by Cell replacement. Lock Scripts control spending, Type Scripts validate state, and Scripts execute in CKB-VM.
Do not guess CKB runtime, RPC, syscall, SDK, or deployment behaviour. For version-sensitive claims, verify against official CKB documentation, source repositories, RFCs, or release notes before coding.
Validation defaults:
cellc constraints . --target-profile ckb --json for compiler-visible
CKB obligations;cellc ckb-std-compat --json for the current compatibility boundary.