A Claude Code skill that scopes problems like Peter Naur

Cartographer skill 把 coding request 前置成 problem-theory 产物，而不是直接进入方案设计。它要求 agent 先写 World、Actors、Program correspondence、Known、Assumed、Thin spots 等字段，并把每个需求追溯到现实世界中的对应关系。值得看的是它把“需求澄清”变成可检查 artifact，适合领域模型薄、误解成本高的任务。