メニュー
模块 0 构建 project_deps.json（文档级依赖图）时加载。涵盖两类边（statement_deps/proof_refs）的分段规则、两类连边依据（显式引用+结构性依赖）、dangling 三类处理、环的处理原则。
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 产出 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 里有一个节点，即使没有任何边。
如实连边，不管环、不缩图、不删边。前台拓扑排序检测到环 → 上报。