# 递归指称机器融合重构版：修订后复验与窗口关闭闸门

本文为研究档案公开版，保留来源版本的论述与限制。公开时间：2026-09-08；不表示已完成同行评审。 本文属于公开研究资料（历史笔记、研究稿或来源记录）：已完成格式、来源限制与重复项筛查，尚未完成逐篇独立事实复核；原文中的解释、候选判断和未确认内容均按其原有限制阅读。

来源版本日期：2026-07-08

证据边界：本页只规定未来真实最小补丁执行后、从 patched 进入 verified 或 rollback 前的复验与关闭闸门；当前没有真实 VERIFYGATE 行，不登记真实 WIN，不修改正文，不重建公开产物。

# 递归指称机器融合重构版：修订后复验与窗口关闭闸门

返回：融合重构版总入口（馆内参考，未随本文公开）  
状态机：[递归指称机器融合重构版-锁版状态机与下一步路由卡-2026-07-07](/research/hs-b7c3672348f60895)  
修订前快照与补丁入场闸门：递归指称机器融合重构版-修订前快照与补丁入场闸门-2026-07-08（馆内参考，未随本文公开）  
修订窗口执行台账：递归指称机器融合重构版-修订窗口执行台账与停手条件-2026-07-07（馆内参考，未随本文公开）  
差异记录与回滚模板：递归指称机器融合重构版-差异记录与回滚模板-2026-07-07（馆内参考，未随本文公开）  
二次锁版规则：[递归指称机器融合重构版-二次锁版与新基线生成规则-2026-07-07](/research/hs-115e15a50209986a)  
交付包：递归指称机器融合重构版-锁版交付包说明-2026-07-07（馆内参考，未随本文公开）  
恢复手册：[递归指称机器融合重构版-后续恢复与禁止动作手册-2026-07-07](/research/hs-679556772ad00e6d)  
回滚执行与失败关闭闸门：递归指称机器融合重构版-回滚执行与失败关闭闸门-2026-07-08（馆内参考，未随本文公开）  
第四十批报告：递归指称机器融合重构版-发布前最终轻读第四十批-修订后复验与窗口关闭闸门-2026-07-08（馆内参考，未随本文公开）

## 1. 本页用途

第三十九批已经规定：从 `WIN opened` 进入最小补丁之前，必须先通过 `PATCHGATE`，锁定目标位置、变更前快照、最小补丁、差异路径、回滚来源和复验命令。

本页补上下一道闸门：**补丁执行之后，不能因为“已经改了”就直接宣布 `verified` 或关闭窗口。**

`VERIFYGATE` 只回答一个问题：补丁执行后，是否已经证明它没有越界、没有破坏基线、没有遗漏复验、没有把局部补丁伪装成新版本。

当前没有真实外发、真实反馈、真实窗口、真实补丁或真实 `patched` 状态，因此本页不生成真实 `VERIFYGATE` 行，不修改正文，不重建公开产物。

## 2. `VERIFYGATE` 在路线中的位置

未来完整路线应写成：

```text
真实回应
  → RF 判定 / 汇总 / 开窗
  → WINGATE
  → WIN opened
  → PATCHGATE
  → 执行最小补丁
  → patched
  → VERIFYGATE
  → verified / rollback / pending_review
  → 若 rollback，进入 ROLLBACKGATE
```

`PATCHGATE` 是动笔前的门。  
`VERIFYGATE` 是动笔后的门。

没有 `PATCHGATE`，不应进入 `patched`。  
没有 `VERIFYGATE`，不应进入 `verified` 或 `closed`。

## 3. 复验九项

未来如果要从 `patched` 进入 `verified`，必须同时满足以下九项：

| 项 | 要求 | 不满足时 |
|---|---|---|
| V0 | 对应 `PATCHGATE` 存在，且目标范围没有变化 | 退回 `pending_review` 或 rollback |
| V1 | 实际改动只落在允许文件和允许位置 | rollback 或拆出新窗口 |
| V2 | 差异记录已经写入，且变更前后可对照 | 不得 verified |
| V3 | 回滚来源可用，必要时可以恢复 | 不得关闭窗口 |
| V4 | YAML / wikilink / 代码围栏等结构复验通过 | 保持 patched，不关闭 |
| V5 | RF / CASE / BOARD / SUMGATE / WINGATE / PATCHGATE 关系链完整 | 不得跳级关闭 |
| V6 | 若未授权公开刷新，旧 HTML / PDF / Markdown / manifest 指纹不变 | 若变，进入 rollback |
| V7 | 若授权 L3 公开刷新，已记录新旧指纹、PDF 结构、manifest 与旧基线保留路径 | 不得宣布新公开基线 |
| V8 | 禁止扩大项复查通过：未改核心定义、公式、片单、端口主次或判据口径 | 越界则 rollback |

## 4. 未来复验模板

真正需要关闭补丁时，复制下面模板。不要预填编号。

```text
VERIFYGATE-____
对应 PATCHGATE：PATCHGATE-____
对应窗口：WIN-____
对应 RF / 用户指令：RF-____ / 用户明确指令
窗口类型：W1 / W2 / W3 / W4-子窗口
patched 日期：
复验日期：
实际改动文件：
实际改动范围：
差异记录路径：
回滚来源是否可用：是 / 否
结构复验：YAML / wikilink / fence / 其他
旧公开产物指纹是否保持：是 / 否 / 不适用
若 L3，新公开产物指纹与 manifest：
禁止扩大项复查：通过 / 未通过
结论：verified / rollback / pending_review
关闭日期：
备注：
```

## 5. 三种结论

### 5.1 verified

只有复验九项全部通过，才可写 `verified`。`verified` 只表示本窗口授权范围内的补丁已经关闭，不表示可以继续扩大修改，也不表示可以自动生成新版公开包。

### 5.2 rollback

只要出现越界修改、公开指纹异常、差异记录缺失、回滚来源不可用、L3 复验失败，就进入 `rollback`。回滚后仍需记录失败原因，不能删除失败痕迹。

### 5.3 pending_review

如果问题不是越界，而是复验材料不足，例如差异记录缺字段、读者反馈链路不完整、补丁结果需要用户再确认，则进入 `pending_review`，不得写成 `verified`。若判断为 rollback，还必须进入 回滚执行与失败关闭闸门（馆内参考，未随本文公开）。

## 6. 分层关闭口径

### 6.1 W1 说明层关闭

只证明说明页或台账修补完成。公开产物指纹必须保持不变。

### 6.2 W2 正文局部关闭

只证明对应句段的局部补丁完成。若没有公开刷新授权，公开 HTML / PDF 仍应保持旧锁版指纹。W2 verified 不等于新版发布。

### 6.3 W3 阅读层关闭

必须证明新旧公开产物均存在，指纹、PDF 页数、A4、空白页、目录、入口、manifest 和回滚路径都已记录。W3 verified 仍不自动等于新公开基线；新基线必须再走二次锁版规则。

### 6.4 W4 混合窗口关闭

W4 的每个子窗口分别复验、分别关闭。禁止用一个总 `verified` 覆盖多个子窗口。

## 7. 当前 S0 结论

当前仍处于 `S0_LOCKED_NO_DISPATCH`。本页只建立未来 `patched` 到 `verified / rollback` 之间的复验与关闭闸门：没有真实反馈，不生成 `RF`；没有 `WINGATE`，不登记 `WIN`；没有 `PATCHGATE`，不进入 `patched`；没有 `VERIFYGATE`，不进入 `verified`；`VERIFYGATE` 失败后没有 `ROLLBACKGATE`，不写 `restored`；没有 accepted-L2，不改正文；没有 accepted-L3，不重建公开产物。

## 8. 本批复验记录

| 检查项 | 结果 |
|---|---|
| 公开 HTML / PDF / Markdown / manifest 指纹 | 通过：四项 SHA256 与锁版基线一致，且未重建；HTML `0d00aaa24287791be3206e2e5cc1992ccf1e33d50d0047580245df1ff0fb3625`；PDF `3065a4cdc6f1bdfae536f0fe5a2b088920e370ece01aca3f5238dafa5bedcf2c`；Markdown `8ed8360ab55fa406c8f63ee7297a531fda8d84ae73300cedfe486c0f9ca3758a`；manifest `6673fd9823eaf846b6a65e0898031fed3ceac752c5061a197d568d381d2bbeef` |
| `RF_NONZERO_ROWS` | 通过：`0` |
| `REAL_DISPATCH_ROWS` | 通过：`0` |
| `N0_REAL_ROWS` | 通过：`0` |
| `WIN_REAL_ROWS` | 通过：`0` |
| `BASELINE_REAL_ROWS` | 通过：`0` |
| `FBG_REAL_ROWS` | 通过：`0` |
| `QUEUE_REAL_ROWS` | 通过：`0` |
| `SAMPLE_REAL_ROWS` | 通过：`0` |
| `FORM_REAL_ROWS` | 通过：`0` |
| `RAWRESP_REAL_ROWS` | 通过：`0` |
| `EVIDPKT_REAL_ROWS` | 通过：`0` |
| `ASK_REAL_ROWS` | 通过：`0` |
| `CASE_REAL_ROWS` | 通过：`0` |
| `BOARD_REAL_ROWS` | 通过：`0` |
| `SUMGATE_REAL_ROWS` | 通过：`0` |
| `WINGATE_REAL_ROWS` | 通过：`0` |
| `PATCHGATE_REAL_ROWS` | 通过：`0` |
| `VERIFYGATE_REAL_ROWS` | 通过：`0` |
| YAML / wikilink 方括号 | 通过：本批 YAML 解析无错误，wikilink 与代码围栏配平 |
| Obsidian 健康快照 | 通过：已追加 `2026-07-08T01:17:31+0800` |
| S0 状态 | 通过：仍为 `S0_LOCKED_NO_DISPATCH` |