菜单
模块 0 产出 module0_scope.json 时加载。涵盖 convention 捕获机制、字段规范、scope_type（literal/semantic）判定、affected_md 逐篇认领规则、injected 套用格式。notation 不在此机制内——符号依赖走依赖图。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
模块 0 的三步执行流程与分批接力机制。当 agent 需要了解整体工作顺序、分批触发条件、接力契约（handoff_state.json）格式时加载。
模块 0 产出 md+YAML 文件时加载。涵盖文件粒度、命名、YAML 字段、kind 判定技艺（11 类封闭集的逐类判据与易混边界）、正文约定、Statement/Proof 分界、取舍规则、无标记文本的切块方法。
模块 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-03-product-scope |
| description | 模块 0 产出 module0_scope.json 时加载。涵盖 convention 捕获机制、字段规范、scope_type（literal/semantic）判定、affected_md 逐篇认领规则、injected 套用格式。notation 不在此机制内——符号依赖走依赖图。 |
捕获全局默认约定（convention），供前台以 {{injected: ...}} 注入受影响的 md。
notation 不在此机制内——记号约定的依赖走依赖图（project_deps.json）。convention 与 notation 的区别：convention 是"隐式前提"（原文不再提、无符号可追，须 injected 补回）；notation 是"显式符号"（符号在下游文本里可追溯，走依赖图连边即可）。
- entry_type: "convention"
text: "本章节的拓扑空间默认 T2" # 约定原文逐字
scope_type: "literal" # literal | semantic
affected_md: ["thm_00011.md"] # 逐篇认领攒出
source_location:
file: "rudin_ch3.pdf"
locator: { type: "page", value: "9-10" }
| 值 | 含义 | 怎么填 affected_md |
|---|---|---|
| literal | 文本范围明确（"this chapter"/"this section"/"Theorems 1–5"） | 机械确定：后续 md 落在该范围内就追加 |
| semantic | 需数学判断（"the following results"/"whenever X is compact"） | 保守认领：只追加能确定的，拿不准的不加，不卡线 |
前台把 affected_md 里的约定包进 {{injected: ...}} 拼进对应 md 的 ## Statement 前。agent 不做这一步。