菜单
模块 0 产出 module0_provenance.json（溯源地图）时加载。涵盖字段规范、locator 随输入格式自适应（PDF→page，纯文本/md/tex→line）。
用 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 产出 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 两值，不要其他值。