fix(core,docs): M308 r1 —— 读表工具写错（又一句「文档比代码多」）+ .exe 名字判据空转 + adopt 之后的取值器文档

p2-1 文档：`--check-pinned-keyring` **要私钥**（`do_check_pinned(args.key)`），语义是「Secret 里那把
钥是否已钉住」这条发布前门禁，不是读表工具。`docs/update-trust-anchor.md` 的「当场看一眼」与
`signing-runbook.md` §0 那句「现在 --check-pinned-keyring 绿」（与同文件 §:116 自相矛盾）都换成
`check_signing_ready.py` 的 ① 行（真只读，实测打「就绪 —— 标记之间 1 条：ull-release…」）。

p2-2 判据：`is_launcher_candidate` 的 `|| name.ends_with(".exe")` 此前**删掉也不红**（唯一含 `.exe`
的用例同时给了 0o755）。补 `a_windows_exe_without_the_exec_bit_is_still_the_launcher`
（win-x64 + 归档内 `unlucky-launcher.exe` + MZ + **0644** 能装上），删那半条判据即红。

p2-3 文档：`StagedPackage::size()` / `integrity()` 的注释在 `adopt` 之后不再成立（前者是本体的字节数、
后者是**归档**的摘要），改成「这个文件写出来的字节数」/「为它背书的那份摘要」。

crates/core/src/update/verify.rs

@@ -56,13 +56,20 @@ impl StagedPackage {
         &self.path
     }
 
-    /// 实际字节数（已与清单核对过，等于清单声明的 `size`）。
+    /// 实际字节数（**这个文件**写出来的字节数）。
+    ///
+    /// `stage` 产出的那份就是清单声明的 `size`（双检已核对）；M308 起 `unpack` 还会用
+    /// [`Self::adopt`] 造出「从归档里拆出来的本体」那一份，那时它是**本体**的字节数，
+    /// 不是归档的。跨卷复制那一步靠它核对该搬多少字节，所以这个字段必须始终是「本文件的」。
     #[must_use]
     pub const fn size(&self) -> u64 {
         self.size
     }
 
-    /// 校验用的摘要。
+    /// 为这个文件背书的那份摘要。
+    ///
+    /// `stage` 产出的是清单里写的那条摘要（对**下载到的字节**算的）；`adopt` 产出的（拆出来的本体）
+    /// 沿用**归档**的摘要——拆出来的字节由「归档过了长度+摘要双检」背书，本模块不为它另算一份。
     #[must_use]
     pub fn integrity(&self) -> &Integrity {
         &self.integrity