メニュー
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.