菜单
Parser, type, lowering, runtime, and production-gate diagnostics with migration hints and safe next actions.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
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.
CompileMetadata, ProofPlan, builder assumptions, constraints, ABI, audit bundles, receipts, and artifact verification.
CellScript package layout, Cell.toml, build/check/fmt/test, canonical 0.21 command groups, registry/package verification, and legacy alias migration.
| name | cellscript-diagnostics |
| description | Parser, type, lowering, runtime, and production-gate diagnostics with migration hints and safe next actions. |
| references | ["docs/wiki/Tutorial-13-Agentic-Loops-and-cellscript-mcp.md","docs/wiki/Tutorial-07-LSP-and-Tooling.md","docs/wiki/Tutorial-06-Metadata-Verification-and-Production-Gates.md"] |
| commands | ["cellc check","cellc explain"] |
Use this skill when an agent or developer needs to recover from compiler diagnostics. Prefer stable diagnostic codes and JSON fields over parsing human messages. Preserve source spans, severity, code, and rendered text when reporting errors back to tools.
Do not hide fail-closed behaviour. If the compiler rejects reserved syntax, unsupported runtime semantics, metadata-only production claims, or stale deployment evidence, keep the rejection visible and suggest the smallest safe next check.
Validation defaults:
cellc check --message-format=json;cellc explain <CODE>;