Menu
CompileMetadata, ProofPlan, builder assumptions, constraints, ABI, audit bundles, receipts, and artifact verification.
Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.
Baseado na classificação ocupacional 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.