菜单
CompileMetadata, ProofPlan, builder assumptions, constraints, ABI, audit bundles, receipts, and artifact verification.
用 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.
CKB Cell Model, lock/type roles, Source views, WitnessArgs, CellDeps, capacity, since, and replacement semantics for CellScript work.
CellScript package layout, Cell.toml, build/check/fmt/test, canonical 0.21 command groups, registry/package verification, and legacy alias migration.
| name | cellscript-metadata-audit |
| description | CompileMetadata, ProofPlan, builder assumptions, constraints, ABI, audit bundles, receipts, and artifact verification. |
| references | ["docs/wiki/Tutorial-06-Metadata-Verification-and-Production-Gates.md","docs/wiki/Tutorial-11-Scoped-Invariants-and-ProofPlan.md","docs/CELLSCRIPT_GATE_POLICY.md"] |
| commands | ["cellc metadata","cellc constraints","cellc explain proof","cellc audit-bundle","cellc verify-artifact","cellc verify-receipt"] |
Use this skill when reviewing compiler evidence. Treat metadata as an audit stream, not consensus truth. ProofPlan rows, TemplateLayout records, receipts, constraints, ABI, and builder assumptions explain what the compiler emitted and what remains to be checked by builders or CKB nodes.
Distinguish evidence states precisely: compile-only, metadata-only, runtime-required, helper-backed, builder-backed, node dry-run, tx-pool accepted, submitted, and externally attested.
Validation defaults:
cellc metadata . --target-profile ckb to inspect metadata without
writing a file;cellc explain proof . --target-profile ckb --json for ProofPlan;cellc verify-artifact before trusting artifact/metadata identity.