القائمة
模块 0 产出 md+YAML 文件时加载。涵盖文件粒度、命名、YAML 字段、kind 判定技艺（11 类封闭集的逐类判据与易混边界）、正文约定、Statement/Proof 分界、取舍规则、无标记文本的切块方法。
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
模块 0 的三步执行流程与分批接力机制。当 agent 需要了解整体工作顺序、分批触发条件、接力契约（handoff_state.json）格式时加载。
模块 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）。
模块 0 产出 global_name_index.json（原文名索引表）时加载。涵盖字段规范、边切边登记规则、空 label 处理。注意：本表只存原文编号/名称→id，不存概念名、不存符号。
| name | M0-02-product-md-yaml |
| description | 模块 0 产出 md+YAML 文件时加载。涵盖文件粒度、命名、YAML 字段、kind 判定技艺（11 类封闭集的逐类判据与易混边界）、正文约定、Statement/Proof 分界、取舍规则、无标记文本的切块方法。 |
<缩写>_<5位流水号>.md，全局唯一，不含原文编号。缩写表：def/thm/lem/prop/cor/rem/eg/ex/not/conv/ax。
---
kind: <11类之一>
label: "<原文字面编号或空>"
has_proof: true|false
proof_omitted_by_source: true|false
---
## Statement
<陈述正文>
## Proof
<证明正文，无证明则留空>
| 字段 | 填法 |
|---|---|
| kind | 从 11 类封闭集选，见下方判定技艺 |
| label | 照抄原文编号（"Theorem 2.1"等），无编号填 "" |
| has_proof | 原文给出证明文字 = true，否则 false |
| proof_omitted_by_source | 原文主动声明省略（"proof omitted"等）= true；"显然" = true；其余 = false |
规定一个术语/概念的含义。标志："is called"、"is defined as"、"we say"、"A ... is a ..."。一段里多个概念（如 topological space + open + closed + G_δ + F_σ）整段进一个 def md。
都是"需证明的断言"，差别在作者给的定位：
无标记时按内容角色判：证明短且直接跟在某定理后 → 大概率 corollary；独立篇幅大 → theorem/proposition；前面的大定理证明里抽出来的 → lemma。拿不准在 thm/lem/prop 三者间选，优先 proposition（最中性）。
补充性评注，不是核心待证命题。标志："Note that"、"Observe that"、"It is worth noting"。remark 不是垃圾桶——remark 里如果包含了需证明的断言，那个断言要切出来单独成 thm/lem/prop。
具体实例（"For example"、"Consider the case"）。和 theorem 的区别：example 举一个具体对象/构造，theorem 陈述一般性命题。
留给读者（"Show that"、"Prove that"、"Exercise"）。
独立的记号约定声明（"We write ∘ for..."、"记作..."）——不依附于任何 def/thm 的独立声明才作 notation。记号若长在某 def/thm 正文里（如收敛定义里 "we write p_n → p"），随宿主走、不单独提取。
声明某范围内的默认前提（"本章默认 T2"、"throughout this section"）。不产 md，进 scope.json。
不证自明的基本假设，作者明确标为 axiom。
| 对比 | 判据 |
|---|---|
| definition vs notation | definition 定义概念含义，notation 规定符号写法。二者可同处一段——定义体内有记号则记号随宿主、不单独切 |
| definition vs convention | definition 定义一个对象，convention 默认一个前提 |
| definition vs theorem | definition 不需证明，theorem 需证明 |
| theorem vs lemma vs proposition | 看作者定位（核心/辅助/一般），无标记优先 proposition |
| corollary vs theorem | corollary 明确是前述结果的推论 |
| remark vs theorem | remark 是评注，若含待证断言则切出来 |
| axiom vs convention | axiom 是"不证自明"，convention 是"默认前提"（可改可撤） |
$...$，独立行 $$...$$，语法 LaTeX。原文无 Definition/Theorem 等标记时（论文常见），按内容角色识别：
切块结束标志：下一个结构的开始、或段落自然结束。