m0-01-workflow

name	M0-01-workflow
description	模块 0 的三步执行流程与分批接力机制。当 agent 需要了解整体工作顺序、分批触发条件、接力契约（handoff_state.json）格式时加载。

工作流程

三步执行（per block，顺序不可变）

每个 block 按以下顺序处理，后步依赖前步累积的索引表/作用域表：

1. 切块 + 转录 + 登记：识别数学结构 → 取舍（数学留、闲话丢） → 选 kind → 逐字搬运正文 → 填 YAML → 分配 id → 登记 label→id 进索引表 → 记录溯源。产出：md 文件 + 索引表新增 + 溯源表新增。

2. 捕获 convention + 认领作用域：本块是 convention → 记入 scope.json（不产 md）。本块是独立 notation 声明 → 产 md。反查 scope.json：本块落在某 convention 的作用域内 → 追加 id 到 affected_md（semantic 保守认领）。

3. 构建依赖图：解析显式引用（查索引表得 id）+ 识别结构性依赖（往前找符号/概念的引入 md，找到就连、找不到不管）→ 按引用落在 ## Statement / ## Proof 段分入 statement_deps / proof_refs → 连不上的挂 dangling。产出：project_deps.json 新增一个节点。

每步 Write 产物前先读对应红线自查（见宪法指令）。

分批接力

前台监控 token usage，每处理完一个完整 block 后前台检查：超 50% 即起新 agent 接棒。接力点天然在结构边界。

handoff_state.json

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 开始。已有产物续写不覆盖。