Menu
模块 0 产出 global_name_index.json（原文名索引表）时加载。涵盖字段规范、边切边登记规则、空 label 处理。注意：本表只存原文编号/名称→id，不存概念名、不存符号。
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
模块 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 直接引用，或通过结构性依赖连边。