메뉴
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>;