القائمة
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.