Menu
模块 0 产出 module0_provenance.json（溯源地图）时加载。涵盖字段规范、locator 随输入格式自适应（PDF→page，纯文本/md/tex→line）。
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 产出 global_name_index.json（原文名索引表）时加载。涵盖字段规范、边切边登记规则、空 label 处理。注意：本表只存原文编号/名称→id，不存概念名、不存符号。
| name | M0-05-product-provenance |
| description | 模块 0 产出 module0_provenance.json（溯源地图）时加载。涵盖字段规范、locator 随输入格式自适应（PDF→page，纯文本/md/tex→line）。 |
切块溯源地图。每个 md 一条记录，定位回原始输入的位置。只给人/前端核对，不进下游流水线。
- md_file: "thm_00012.md"
file: "rudin_ch3.pdf"
locator:
type: "page" # page（PDF）| line（纯文本/md/tex）
value: "48" # 单值或区间 "起-止"
| 字段 | 填法 |
|---|---|
| md_file | 产出的 md 文件名 |
| file | 原始输入文件名 |
| locator.type | PDF → "page"；纯文本/Markdown/LaTeX → "line" |
| locator.value | 单值（"48"）或区间（"48-49"、"120-145"） |
type 封闭成 page/line 两值，不要其他值。