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