Menu
模块 0 构建 project_deps.json（文档级依赖图）时加载。涵盖两类边（statement_deps/proof_refs）的分段规则、两类连边依据（显式引用+结构性依赖）、dangling 三类处理、环的处理原则。
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 产出 module0_provenance.json（溯源地图）时加载。涵盖字段规范、locator 随输入格式自适应（PDF→page，纯文本/md/tex→line）。
模块 0 产出 global_name_index.json（原文名索引表）时加载。涵盖字段规范、边切边登记规则、空 label 处理。注意：本表只存原文编号/名称→id，不存概念名、不存符号。
| name | M0-04-product-deps |
| description | 模块 0 构建 project_deps.json（文档级依赖图）时加载。涵盖两类边（statement_deps/proof_refs）的分段规则、两类连边依据（显式引用+结构性依赖）、dangling 三类处理、环的处理原则。 |
记录 md 间直接依赖邻接表。模块 0 只产结构（节点+边+dangling），前台做拓扑排序、环检测、forward 回填。
| 边 | 引用所在段 | 下游用途 |
|---|---|---|
| statement_deps | ## Statement | 陈述层拓扑排序 + import |
| proof_refs | ## Proof | 证明阶段 import 定位，不排序 |
引用/依赖落在哪个段就分入哪个字段——机械判断，看引用在 ## Statement 还是 ## Proof。
正文写了 "by Lemma 3.1" → 查 global_name_index.json（编号→id）→ 连边。
本块用到某上游 md 引入的符号/概念（如定理陈述用了极限符号 →、或用了"超距离空间"这个概念），即使没写 "by 定义 X" → 顺流水线往前判断：这个符号/概念是前面哪个 md 引入的，找到就连、找不到就不管交下游。
不由你判断"什么是基础符号/约定俗成"——论文里什么算基础太主观，你判不了也不该判。下游 agent 有数学知识，自然知道。
连不上的引用挂 dangling，带 ref（原文字面）/ type / status：
| type | 含义 | 处理 |
|---|---|---|
| forward | 编号明确但目标在后面还没处理 | 全书扫完后前台回填 |
| vague | 模糊回指（"by the above"），agent 尽力判断仍无法确定 | 留 dangling，下游形式化时 Lean 自然暴露缺依赖 |
| external | 指向系统外文献（"[4, Theorem 2.1]"） | 不连边，标 external 交下游 |
thm_00012:
statement_deps: ["def_00007"]
proof_refs: ["lem_00003"]
dangling: []
thm_00015:
statement_deps: []
proof_refs: ["thm_00012"]
dangling:
- { ref: "定理 4.2", type: "forward", status: "unresolved" }
- { ref: "combining the above", type: "vague", status: "unresolved" }
- { ref: "[4, Theorem 2.1]", type: "external", status: "external" }
每个 md 在 deps 里有一个节点，即使没有任何边。
如实连边，不管环、不缩图、不删边。前台拓扑排序检测到环 → 上报。