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