Menu
模块 0 的三步执行流程与分批接力机制。当 agent 需要了解整体工作顺序、分批触发条件、接力契约（handoff_state.json）格式时加载。
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 产出 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 开始。已有产物续写不覆盖。