菜单
模块 0 产出 global_name_index.json（原文名索引表）时加载。涵盖字段规范、边切边登记规则、空 label 处理。注意：本表只存原文编号/名称→id，不存概念名、不存符号。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
模块 0 的三步执行流程与分批接力机制。当 agent 需要了解整体工作顺序、分批触发条件、接力契约（handoff_state.json）格式时加载。
模块 0 产出 md+YAML 文件时加载。涵盖文件粒度、命名、YAML 字段、kind 判定技艺（11 类封闭集的逐类判据与易混边界）、正文约定、Statement/Proof 分界、取舍规则、无标记文本的切块方法。
模块 0 产出 module0_scope.json 时加载。涵盖 convention 捕获机制、字段规范、scope_type（literal/semantic）判定、affected_md 逐篇认领规则、injected 套用格式。notation 不在此机制内——符号依赖走依赖图。
模块 0 构建 project_deps.json（文档级依赖图）时加载。涵盖两类边（statement_deps/proof_refs）的分段规则、两类连边依据（显式引用+结构性依赖）、dangling 三类处理、环的处理原则。
模块 0 产出 module0_provenance.json（溯源地图）时加载。涵盖字段规范、locator 随输入格式自适应（PDF→page，纯文本/md/tex→line）。
| name | M0-06-product-index |
| description | 模块 0 产出 global_name_index.json（原文名索引表）时加载。涵盖字段规范、边切边登记规则、空 label 处理。注意：本表只存原文编号/名称→id，不存概念名、不存符号。 |
原文编号/名称 → 系统 id 的反查表。下游解析显式引用（"by Lemma 3.1"→ 查本表得 id → 连边）靠它。
职责单一：只做"原文字面引用名 → id"的反查。不登记概念名、不登记数学符号。结构性依赖（用了某符号/概念 → 连到引入它的 md）是 agent 当场判断的动作（见 M0-04），不靠本表预存。
"3.2": "thm_00012"
"Lemma 3.1": "lem_00003"
"Definition 2.2": "def_00007"
"定理 4.2": "thm_00048"
| 项 | 内容 |
|---|---|
| key | 原文字面编号/名称，原样照抄、不标准化 |
| value | 该结构的系统 id |
每切出一篇 md、分配 id 后，立刻把 label → id 加进本表（在连边之前——后续 block 才查得到本块）。
原文无编号（label: ""）→ 不进本表。无编号的结构只能通过 id 直接引用，或通过结构性依赖连边。