# 附录：载体实例

governed_by：D-014、D-020

**本目录不属于规范正文，不产生任何执行、阻断或授权效力。**

这里存放的是"某条语义要求在某一种具体工具/载体上的一种实现"。它们的作用只有两个：

1. 证明对应的语义要求确实可被机械化（可行性证据）；
2. 作为反面参照，展示"载体绑定"具体长什么样——同一条语义要求换一个工具就要重写。

## 当前内容

| 文件 | 对应语义要求 | 绑定的载体假设 | 换工具后是否失效 |
|---|---|---|---|
| [`机制类型清单.md`](机制类型清单.md) | D-020 §6 探测提示须并列多形态 | 无（只列类型不列工具）；但类型来自具体工具的一手文档，会随工具演化 | 类型不失效，样本会过期（第四轮新增） |
| [`记忆候选内容槽位.md`](记忆候选内容槽位.md) | 12 §1 候选最小身份之外的可选提示槽位 | 记忆载体的字段形态 | 是。换一种记忆载体这张表即重写（2026-09-03 由 12 §1 移入） |
| [`载体过期登记.md`](载体过期登记.md) | 09 §7 载体过期不得迫使正文修订 | 无 | 本表存在的目的就是记录失效（第四轮新增） |
| [`仓库工作须知.md`](仓库工作须知.md) | 无（不对应任何语义要求，纯操作说明） | 本仓库的目录结构、Python 环境、git 行为、当前计数 | 是。换一个仓库整份重写 |
| [`scripts/repo-counts.mjs`](../../scripts/repo-counts.mjs) | 会漂移的计数不该手抄（Case C-005、C-009 的处置） | Markdown 文件 + 目录结构 + Node 运行环境 | 是。计数口径随载体变化，换一种存储方式即重写 |
| [`scripts/check-normative-force.mjs`](../../scripts/check-normative-force.mjs) | 效力标注可机械校验（D-014 §9） | Markdown 文件 + 文件头 `governed_by:` + Git 仓库 + Node 运行环境 | 是。各工具的入口与规则载体（入口文件、规则目录、IDE 指令配置）各不相同，此脚本全部不适用 |

## 处置说明

`check_normative_force.py`（现为 `scripts/check-normative-force.mjs`）写于 2026-09-02，当时被写入 D-014 §9 作为规范的一部分。2026-09-02 晚提出跨工具通用性要求后，它被移出规范正文——因为规范只能要求"效力标注必须可机械校验"（语义不变量），不能规定用哪种语言扫描哪种文件（载体绑定）。

本目录内容随时可整体删除而不影响规范。项目侧对模板/工件的检查器可校验"身份、效力、版本、环境、责任字段是否存在"，但不得按文件是否存在或数量打分（D-108）。