Menu
Parser, type, lowering, runtime, and production-gate diagnostics with migration hints and safe next actions.
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
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>;