@feng0531/dsh-code-review 0.52.1 → 0.53.0

package/CHANGELOG.md

@@ -2,9 +2,13 @@
 
 本文件介绍对使用者有意义的变化。安装与参数见 [README](README.md)，本次发布正文见 [发布说明](RELEASE-NOTES.md)。历史提交和安装包保留在 [GitHub Releases](https://github.com/f-e-n-g-0531/dsh-code-review/releases)；本文不把开发日志当作功能介绍。
 
+## 0.53.0 — 分组×验证×检索的组合验收
+
+同一生命周期验证自动分组、候选反证验证与批准快照检索协同一致，覆盖统计、输入预算上界与验证终态一致。只读批准快照，不改变审查行为或参数。
+
 ## 0.52.1 — 保守类实例方法导航
 
-已批准的唯一普通 class 上，单一 new 实例的独立成员调用对应到唯一成员声明。接收者必须是该实例；字段初始化器、静态（含多修饰符）、继承、泛型、访问器、计算成员、重载、遮蔽、逃逸、自调用和重复实例化拒绝提示；线索与命名空间线索同样在超预算时省略。替代存在接收者逃逸、静态修饰符与字段初始化器幻影方法误判且未参与预算省略的 0.52.0。
+已批准的唯一普通 class 上，单一 new 实例的独立成员调用对应到唯一成员声明。接收者必须是该实例；字段初始化器、静态（含多修饰符）、继承、泛型、访问器、计算成员、重载、遮蔽、逃逸、自调用和重复实例化拒绝提示；线索与命名空间线索同样在超预算时省略。替代存在接收者逃逸、静态修饰符与字段初始化器幻影方法误判且未参与预算省略的 0.52.0。442 项完整回归、实际宿主、24 项独立安装专项与四组 CI 通过；npm、Release 与原产物 104,817 字节一致，双哈希和清单通过。
 
 ## 0.52.0 — 保守类实例方法导航（由 0.52.1 替代，未发布）
 

package/CORE-ALIGNMENT-TASKS.md

@@ -27,14 +27,16 @@
 | 2 | 剩余历史来源与旧侧组合 | Git 历史与 SVN 三层链已交付；其他旧侧来源仍待验收 |
 | 3 | 其他旧侧独有来源 | 来源、版本、权限与删除场景保持一致 |
 | 4 | 路径专用指导与引擎版本约束 | 函数式/HDL/智能合约/格式语言、Go/Python/Rust 与 ObjC/Swift/Kotlin/Java/C# 提示已交付；模板与依赖清单引擎版本仍保持通用 |
-| 5 | 剩余预算组合与端到端矩阵 | 多轮×窗口×检索×预算对账已验收；分组/验证/综合的组合仍待验收 |
+| 5 | 端到端矩阵收尾 | 多轮×窗口×检索与分组×验证均已组合验收；合成与分组的端到端由专项测试覆盖 |
 | 后置 | 真实模型质量评测 | 保存真实输出，人工裁决，分开统计失败和未完成 |
 
-Git 工作区、Git 历史两侧与 SVN 当前侧支持安全的三层字面依赖链；手动批准上下文可以作为入口。命名与默认导入支持批准正文中的唯一声明位置。这些能力不是完整语义绑定。调用方语法绑定的 v0.45.0 存在逐条导入歧义与历史发现元数据混侧错误，不计作安全对齐；v0.45.1 已修正并正式交付；历史调用方的同版本语法导航已随 v0.46.0 正式交付；命名空间成员调用导航已随 v0.47.0 正式交付；剩余函数式/HDL/智能合约/格式语言的保守缺陷提示已随 v0.48.0 正式交付；Go/Python/Rust 运行前提与 ArkTS 提示已随 v0.49.0 正式交付；保守唯一普通类实例方法导航本批已实现，待完整复验与正式交付；继承、原型链与动态分派不猜测。
+Git 工作区、Git 历史两侧与 SVN 当前侧支持安全的三层字面依赖链；手动批准上下文可以作为入口。命名与默认导入支持批准正文中的唯一声明位置。这些能力不是完整语义绑定。调用方语法绑定的 v0.45.0 存在逐条导入歧义与历史发现元数据混侧错误，不计作安全对齐；v0.45.1 已修正并正式交付；历史调用方的同版本语法导航已随 v0.46.0 正式交付；命名空间成员调用导航已随 v0.47.0 正式交付；剩余函数式/HDL/智能合约/格式语言的保守缺陷提示已随 v0.48.0 正式交付；Go/Python/Rust 运行前提与 ArkTS 提示已随 v0.49.0 正式交付；保守唯一普通类实例方法导航已随 v0.52.1 正式交付；继承、原型链与动态分派不猜测。
 
 ## 当前验证结论
 
-- 最近完整回归：432 项通过。
+- 最近完整回归：443 项通过。
+- v0.53.0 已正式交付分组×验证×检索的组合验收。443 项回归、实际宿主与四组 CI 覆盖该组合；不改变审查行为或参数。
+- v0.52.1 已正式交付保守类实例方法导航。442 项回归、实际宿主、24 项独立安装专项和四组 CI 通过；npm、Release 与原包 104,817 字节一致，SHA-256、SHA-512 与清单核验通过。v0.52.0 复核发现接收者逃逸、静态修饰符与字段初始化器幻影方法误判且未参与预算省略，由 0.52.1 替代，未发布不计作交付。
 - v0.51.0 已正式交付多轮×窗口×检索×预算的组合验收。432 项回归、实际宿主、12 项独立安装专项与四组 CI 通过；npm、Release 与原包 102,433 字节一致，双哈希与清单核验通过；不改变审查行为或参数。
 - v0.50.0 已正式交付 ObjC/Swift/Kotlin/Java/C# 生命周期与并发细化提示。431 项回归、实际宿主、9 项独立安装专项和四组 CI 通过；npm、Release 与原包 102,412 字节一致，SHA-256、SHA-512 与清单核验通过。
 - v0.49.0 已正式交付 Go/Python/Rust 运行时提示与 ArkTS 提示。430 项回归、实际宿主、11 项独立安装专项和四组 CI 通过；npm、Release 与原包 101,770 字节一致，SHA-256、SHA-512 与清单核验通过。发布阶段 npm 成功、Release 创建因 registry 瞬时 404 由保存原产物手工补建并复核一致。

package/RELEASE-NOTES.md

@@ -1,16 +1,12 @@
-# v0.52.1 发布说明
+# v0.53.0 发布说明
 
-## 保守类实例方法导航
+## 分组×验证×检索的组合验收
 
-批准的 JS/TS 命名导入指向唯一普通 class（无继承、无泛型、无访问器/静态/计算成员、无重载）时，把单一 `new Class()` 赋给单一使用局部变量的唯一 `instance.member(...)` 独立调用对应到该成员声明行。线索进入上下文关系和批准调用方发现，历史两侧独立解析。
+在同一审查生命周期内验证自动分组、候选反证验证与批准快照检索协同一致：覆盖统计总和等于审查文件数、每个入口输入不超过预算、产生候选后均完成验证、终态可判定。只读批准快照，不改变审查行为或参数，不新增读取也不放宽预算。
 
-## 限制
+## 范围
 
-- 不是类型推断、原型链分析或动态分派；任何遮蔽、改写、逃逸、自调用、重复实例化或歧义都拒绝提示。
-- 只读批准正文，不新增读取、不放宽预算；可选线索超输入预算时仍按既有规则省略。
-- 继承、混入、计算成员与重载方法不猜测，保持不提示。
-- 接收者必须就是该实例变量；字段初始化器、静态（含修饰符链 static async/public static）与幻影方法一律拒绝。
-
-v0.52.1 替代 v0.52.0：复核发现 v0.52.0 会把实例作为参数传给其他接收者、含修饰符的静态方法以及字段初始化调用误判为实例方法，并缺少与命名空间线索相同的预算省略；v0.52.0 已标注从未发布，不计入交付。
+- 与多轮×窗口×检索×预算的组合验收共同覆盖主要组合；合成与分组的端到端仍由既有专项与两两组合测试覆盖。
+- 仍不是真实模型质量成绩；真实质量评测为后置项。
 
 使用方法见 [README](README.md)。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@feng0531/dsh-code-review",
-  "version": "0.52.1",
+  "version": "0.53.0",
   "private": false,
   "license": "SEE LICENSE IN LICENSE",
   "publishConfig": { "access": "public", "registry": "https://registry.npmjs.org/" },