Menu
CompileMetadata, ProofPlan, builder assumptions, constraints, ABI, audit bundles, receipts, and artifact verification.
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.
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.