メニュー
模块 0 的三步执行流程与分批接力机制。当 agent 需要了解整体工作顺序、分批触发条件、接力契约（handoff_state.json）格式时加载。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
模块 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 产出 module0_provenance.json（溯源地图）时加载。涵盖字段规范、locator 随输入格式自适应（PDF→page，纯文本/md/tex→line）。
模块 0 产出 global_name_index.json（原文名索引表）时加载。涵盖字段规范、边切边登记规则、空 label 处理。注意：本表只存原文编号/名称→id，不存概念名、不存符号。
| name | M0-01-workflow |
| description | 模块 0 的三步执行流程与分批接力机制。当 agent 需要了解整体工作顺序、分批触发条件、接力契约（handoff_state.json）格式时加载。 |
每个 block 按以下顺序处理，后步依赖前步累积的索引表/作用域表：
切块 + 转录 + 登记：识别数学结构 → 取舍（数学留、闲话丢） → 选 kind → 逐字搬运正文 → 填 YAML → 分配 id → 登记 label→id 进索引表 → 记录溯源。产出：md 文件 + 索引表新增 + 溯源表新增。
捕获 convention + 认领作用域：本块是 convention → 记入 scope.json（不产 md）。本块是独立 notation 声明 → 产 md。反查 scope.json：本块落在某 convention 的作用域内 → 追加 id 到 affected_md（semantic 保守认领）。
构建依赖图：解析显式引用（查索引表得 id）+ 识别结构性依赖（往前找符号/概念的引入 md，找到就连、找不到不管）→ 按引用落在 ## Statement / ## Proof 段分入 statement_deps / proof_refs → 连不上的挂 dangling。产出：project_deps.json 新增一个节点。
每步 Write 产物前先读对应红线自查（见宪法指令）。
前台监控 token usage，每处理完一个完整 block 后前台检查：超 50% 即起新 agent 接棒。接力点天然在结构边界。
next_serial: "00048"
progress_pointer:
file: "rudin_ch3.pdf"
locator:
type: "page" # page（PDF）| line（纯文本/md/tex）
value: "52"
after: "Theorem 3.12 结束处"
| 字段 | 作用 |
|---|---|
| next_serial | 下一个流水号起点，防编号撞车 |
| progress_pointer.file | 原始文件 |
| progress_pointer.locator | 定位（type + value），随输入格式 |
| progress_pointer.after | 原文进度位置，指原文不指产物 |
续批 agent 从 after 之后继续，流水号从 next_serial 开始。已有产物续写不覆盖。