メニュー
CKB Cell Model, lock/type roles, Source views, WitnessArgs, CellDeps, capacity, since, and replacement semantics for CellScript work.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
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.