# Default Context Contract

合同 contract_id `context-contract-research-001` · contract_revision `15` · updated_at `2026-10-04` · status `effective` · current_work_item `docs/审计记录/本轮完善记录.md`

> 合同头写成标题下这一行正文，不用 YAML 头。原因记录：此前支持的宿主（Claude Code，2026-09-24 实测）会在 `@` 导入时整段剥掉 YAML 头，模型看不到修订号；该宿主已不再支持（[D-135](docs/决策日志.md#decision-index)），形式不变，因为检查器与全部引用都按这一行读。DeepSeek Harness 把入口文件原文注入、不剥 YAML 头，但这一点读自包文档、**未经实机验证，记未定**，不据此改回 YAML 头。status：D-015 于 2026-09-03 进入`已接受`，本文件是它的载体实例，载体形态本身效力为零。current_work_item：用户要求以逐篇资料调研完善候选标准；该记录 2026-09-10 归档到 docs/审计记录/，工作项未切换、故 revision 不递增。

本文件是本仓库默认上下文的**唯一**清单。D-015 已生效，其 blocks/grants 见[生效登记表](docs/决策日志.md#effective-register)：清单唯一、只路由不复制、按运行类型参数化出视图、缺项失败关闭。**视图是同一份清单的投影，不是第二份清单**——任何地方出现第二份加载列表都是缺陷。

合同的效力与正文的效力是两件事，**两者都只查[生效登记表](docs/决策日志.md#effective-register)，本文件不抄**。本文件不授权编写业务代码或执行高风险动作。

效力语义由 [D-014 规范效力元治理](docs/08-规范效力元治理.md) 定义；它自身的状态查[生效登记表](docs/决策日志.md#effective-register)。

<a id="required-context"></a>

## Required context

本仓库的运行分两类（运行类型轴见[00 总览 §3](docs/00-总览.md#default-scope)）。**在起点先声明这次是哪一类，再按该列加载**；判不清按「交付型」处理——它是更宽的那一列，宁可多读不可少读。

| 顺序 | 精确路径或片段 | 交付型<br>（改条文、审计并落地） | 事实型<br>（查规范怎么说、影响面调查） | 用途 | 缺失时处理 |
|---|---|:---:|:---:|---|---|
| 1 | `CONTEXT_MANIFEST.md`（**整份，含标题下的合同头行**） | ● | ● | 确认本合同版本和加载边界。此前写作 `#required-context`，而该锚点在合同头**之后**——按下方新增的片段外延规则，那样写会把 `contract_revision` 与 `current_work_item` 排除在默认集之外，而解析规则 4 又要求核对它们 | 停止并报告入口缺失 |
| 2 | `PROJECT_STATUS.md` | ● | ○ | 当前里程碑、风险和下一步 | 停止并请求恢复状态 |
| 3 | `docs/决策日志.md#effective-register` | ● | ● | 确认当前哪些规则可阻断或授权 | 停止：无法确认效力时不得执行或授权 |
| 4 | `docs/00-总览.md` | ● | ● | 四平面与 14 部件的入口，决定内容归属哪一章 | 停止并报告架构入口缺失 |
| 5 | `docs/决策日志.md#decision-index` | ● | ○ | 当前审议队列——即该表中尚未结案的行，结案与否只看该表状态列与[生效登记表](docs/决策日志.md#effective-register)，本表不复述取值 | 不猜测"相关决策"，报告缺失 |
| 6 | `docs/附录-载体实例/仓库工作须知.md` | ● | △ | 本仓库的机械约束与两项自检命令（效力为零，纯操作说明） | 可继续，但改动后必须自行跑通两项自检 |
| 7 | 目标章正文 + `docs/追溯账本.md#ch-NN` 对应段。**处置冲突、判断效力、或判断内容该不该进正文时，08 与 09 一并计入"目标章"** | ● | 只读目标章正文（含上句的 08、09） | 改一条原则必须同时改它的追溯记录，否则检查器 C7 打回；元治理两章的纳入是 D-058 第 ③ 项的裁决结果——第十二轮之所以把 [08 §8](docs/08-规范效力元治理.md#conflicts) 的失败关闭读成"缺降级路径"，正因为视图没把它算作目标章 | 账本段缺失即为缺陷，停止 |

● 必读　○ 不读　△ 动手改文件时才读

**两列差在哪、为什么**：事实型运行的出口是"一份带成立条件的事实"，不是变更，所以它不需要议程（第 2、5 项是议程不是事实），也不需要账本（它不改条文，因而不产生对账义务）。交付型运行反过来——它改条文，所以议程与账本都是它的必需品。**这条差别就是第十轮账本层实测到的那件事**（交付型运行 20 次章内引用里指向写作期内容 1 次，规范维护型 73 次里 23 次），它现在由合同承载，不再需要任何归档判据。

各章正文自 2026-09-03（D-056）起为四节：最小职责与接口（含未决）／原则／L0–L3／追溯指针。**「它解决什么问题」、源章节与主题综合映射、每条原则的证据强度已移入[追溯账本](docs/追溯账本.md)，效力为零，不在默认上下文内**——只有在改写规范条文或审计规范本身时才加载它。

当前工作项见标题下的合同头行。**此字段自基线以来到 2026-09-03 第十四轮为止从未被填写过一次**，期间第九～十三轮全是真实的条文变更，无任何检查覆盖它（[Case C-017](docs/失败Case清单.md)）——本轮起开始实填。路径必须精确，不能写"当前工作项"之类的动态占位。

**视图边界原有两处空缺**（[Case C-013](docs/失败Case清单.md)）。第 ② 处（元治理两章算不算目标章）已由 [D-058](docs/决策日志.md#decision-index) 第 ③ 项裁决，写进上表第 7 项。**余下一处**：本表说事实型运行不读 PROJECT_STATUS，而一次事实型运行的**问题**常常正出自那里的风险表——合同没有规定问题从哪来，**现按"问题来源由请求者在起点给定"处理**；请求者未给定时按"判不清按交付型处理"的既有规则走。

**视图不得增生。** 需要第三个视图时，先证明它不是前两个的子集；证明不出即不新增（D-015 blocks：视图必须由同一份合同派生）。

<a id="related-decisions"></a>

## Related decisions

按需读取与当前议题相关的决策；**哪些生效、以什么状态生效，只查[生效登记表](docs/决策日志.md#effective-register)**——本节此前抄了一份 ID 名单，它随每次状态变更漂移，已删除。读取一条决策不等于它生效。判断效力时须读的元治理与架构正文是 [08-规范效力元治理](docs/08-规范效力元治理.md)、[09-跨工具通用性](docs/09-跨工具通用性.md) 与 [架构确定](docs/架构确定.md)（D-043 与 D-047 同在此文，其中 §5.3 的六条不变量是全部正文的公共前提），在需要判断效力、判断某条内容该不该进正文、或判断新内容归属哪个部件时按需加载。

## Optional context

- 讨论某个部件时，只加载 `docs/` 下对应的那一章（章号见 00 总览）；
- 讨论某一规则时，只加载对应片段；
- 核查依据时，再加载来源矩阵中的对应 claim 或原始来源；
- 核查模板可执行性时，只加载相关模板。

## Excluded by default

- 全部规范全文、全部模板和全部来源材料；
- `docs/归档/历史/` 下已被取代的原 00–07 章（只在核查旧文表述时按需读取）；
- `docs/追溯账本.md`（写作期内容，效力为零；只在改写条文或审计规范自身时按需读取单章段）；
- `docs/失败Case清单.md`（改进闭环的输入，效力为零；只在做删减、到期审计或给规则补失败绑定时读取）；
- `docs/审计记录/` 下各轮记录（含 004 首次事实型运行），只在追问某条结论的依据时按需读取单份；
- 44 张公众号文章卡片、六份主题综合与架构要素抽取明细；
- `docs/审计记录/` 下三次审计的完整报告（切片演练三份走查、综合审计三份报告与两份执行记录）——只在追问某条改动的依据时按需读取单份；
- 聊天历史、旧工作项、废弃 ADR、完整日志或大段工具输出；
- 仅因链接可达但不在清单中的文档。

## Resolution rules

1. 路径使用仓库相对 canonical path；相同 `path#fragment` 只加载一次。
2. **`#fragment` 的外延是"该锚点起，至下一个锚点之前"**；需要跨锚点时逐个列出，不得默读到文件末尾。（2026-09-04 新增。此前合同从未定义外延，同一项 `docs/决策日志.md#decision-index` 因此可以被读成 14,855 或 23,011 两个数——两个口径都自圆其说，而多算的 8,156 字符属于六个与决策索引无关的小节。见[审计记录 009](docs/审计记录/009-默认加载集的体量与片段外延.md)。）
3. 链接不递归展开；“相关”“对应”“当前”等无法解析的描述不得由 Agent 猜测。
4. 仓库指令文件只有在本清单列出且实际存在时才加载；不能假设一定有 `AGENTS.md`。
5. 合同、工作项或[工作区身份](docs/20-状态工件.md#workspace-identity)冲突时失败关闭，先核对 ID、revision、updated_at 与工作区身份，再继续。
6. 切换工作项或审议焦点时递增 `contract_revision`；历史版本归档但不进入默认上下文。