m0-03-product-scope

name	M0-03-product-scope
description	模块 0 产出 module0_scope.json 时加载。涵盖 convention 捕获机制、字段规范、scope_type（literal/semantic）判定、affected_md 逐篇认领规则、injected 套用格式。notation 不在此机制内——符号依赖走依赖图。

产物：module0_scope.json

用途

捕获全局默认约定（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" }

scope_type 判定

值	含义	怎么填 affected_md
literal	文本范围明确（"this chapter"/"this section"/"Theorems 1–5"）	机械确定：后续 md 落在该范围内就追加
semantic	需数学判断（"the following results"/"whenever X is compact"）	保守认领：只追加能确定的，拿不准的不加，不卡线

affected_md 逐篇认领

1. 发现 convention → 记入 scope.json，affected_md 暂空
2. 后续每产出一个 md → 反查 scope.json，落在某 literal 作用域内 → 追加自己 id
3. literal 有客观边界（如"第 3 章"），超出自动不认领
4. semantic 仅追加能确定的，拿不准不加

injected 格式（前台动作，agent 只产数据）

前台把 affected_md 里的约定包进 {{injected: ...}} 拼进对应 md 的 ## Statement 前。agent 不做这一步。