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