00-总纲-前序结论证伪与产物连锁订正法
一、适用场景
当某条先前写下的结论（根因假说 / 技术口径 / 配置前提 / 性能指标 / 文档表述）被新证据推翻时——
推翻来源可能是用户澄清、真机实测、权威源核实、重压复测、代码实现核对——
必须把所有承载该结论的产物一并订正，而不是只在新日志里记一笔。
本条是元纪律：技能包、手册、配置样例这类"会被下次复用当权威口径"的产物，比日志危险得多。
日志里一句错的顶多误导一次；技能包里一句错的会被反复照做。
四类典型触发：
1. 根因假说被用户澄清证伪（2026-10-16：QuickConnect 截断假说）；
2. 权威源核实推翻旧前提（2026-10-14：官方 Spec 2GB 被面板实测 16GB 推翻）；
3. 轻载指标在重压下不成立（2026-10-14：近空闲 p99 96ms vs 8 并发 470ms）；
4. 文档旧口径与当前实现不符（2026-10-15：DOCS_ROOT 已被 WORD_LIB 取代）。
二、操作步骤
- 先固化新证据，再动产物。把推翻依据写成可复核的一条：谁提供、何时、来自哪里、原话或实测值是多少。
锚点：.workbuddy/memory/2026-10-16.mdL89-95（用户澄清真实传输链路）；
.workbuddy/memory/2026-10-14.mdL45-51（DSM 控制面板实测"物理内存 16 GB"）。 - 列影响面清单，四类穷举：① 代码与配置 ② 文档与手册 ③ 技能包与总览 ④ 记忆与自动化 prompt。
锚点：程序源代码/deploy/synology/config.syno.envL11-14（官方 Spec + 面板实测双源写进同一段注释）、
L22-25（WORKERS=2与其依据注释同源）。 - 逐个订正，不是挑一个订正：四类都要么改、要么显式标注"不适用"。宁可多列一处，不可漏掉正在被复用的那份。
- 在承载产物内留三件套：撤回说明 + 订正过程 + 版本记录。不能只删改不留痕——
复用者需要知道"这里曾经有结论、为什么改了、现在这版是不是订正后的"。
锚点：程序技能库/06 成品/06-成品-群晖SPK打包与格式排查法.zip反例避雷第一条
（✗【v1.0 错误结论，已撤回】+ 删除线原断言 + 真实链路 + 保留的通用结论）。 - 订正后复现一次：用新口径重跑判定，确认不再产生原误判；跑不通就降级为"待验证"并明写。
- 同步记忆与总览：当日日志记"订正了什么、旧版备份在哪"；长期记忆若仍存该结论必须同步改
（锚点：.workbuddy/memory/MEMORY.md十三「★既有包含被证伪结论时必须回头订正包本身」）。
三、注意边界
- 订正的是结论，不是历史：日志可保留原文并加"已订正"标注，但技能包 / 手册 / 配置样例必须改到不含错误结论。
- 降级优于留错：真机未复测的结论，要在包内明写"成效待复测"，而不是照旧写死。
- 参数与依据同源改：只改数值不改注释，下次会照旧注释把数值推回去（2026-10-14 教训）。
- 指标必须带档位：并发数、预热窗口、是否并行负载都要写明，否则不可比、不可复用。
- 降敏不因订正而放松：订正过程中新增的样例、文档、截图说明仍须代号化（U1–U4 / E1 / C1C2）。
- 覆盖范围只限承载该结论的产物，不得借订正之名顺手改其他内容（改动半径铁律）。
四、反例避雷
- ✗ 只在日志记一笔（2026-10-16 初犯）：QuickConnect 截断假说被证伪后，只在日志写"结论修正"，
技能包 v1.0 仍带着错误结论 → 下次复用者会照着错的排。解法：回头把包升 v1.1，包内明写撤回 + 真实链路。 - ✗ 删掉了事：把错误段落直接删除、不留撤回说明 → 复用者看不出这里曾经有结论，也无法判断自己手上的是订正前后。
- ✗ 只改参数不改依据（2026-10-14）：内存前提被推翻后只把
WORKERS1→2，
若不同步改注释里的"2GB 内存约束"，下次又会据旧注释推回WORKERS=1。解法：数值与注释同一次改完。 - ✗ 把轻载指标当结论（2026-10-14）：近空闲档测出 p99 96ms 就写进技能包当战绩，
8 并发重压下实为 470ms。解法：指标带档位，并明写"该档位下是假象"。 - ✗ 拿旧口径解释新实现（2026-10-15）：把
DOCS_ROOT当成制度检索必需目录，
实际权威源早已改为WORD_LIB的 Word 原件。解法：口径类结论必须有"当前实现"的实证，不能沿用旧文档。 - ✗ 订正了新包、漏了旧副本：旧包若未备份删除、仍留在磁盘，两者会同时被检索到。
解法：覆盖更新一律先copy2到.workbuddy/trash_<日期>/，再精确路径删除重写。
五、代码锚点 / 实战战绩
锚点：
- 程序源代码/deploy/synology/config.syno.env L11-14（双源注释）、L22-25（WORKERS=2 及依据）
- 程序技能库/06 成品/06-成品-群晖SPK打包与格式排查法.zip 反例避雷第一条（撤回三件套范本）
- .workbuddy/memory/2026-10-14.md L43-54（规格推翻 → 连锁修正）
- .workbuddy/memory/2026-10-15.md L64-83（口径纠正 → 手册升版 + 包重出 v3）
- .workbuddy/memory/2026-10-16.md L89-106（假说证伪 → 包 v1.0→v1.1）
- .workbuddy/memory/MEMORY.md 十三（元纪律原文）
战绩：
- 2026-10-14：官方 Spec「2GB」被面板实测「16GB」推翻 → WORKERS 1→2 + 注释双源 + 手册 v1.0→v1.1（4 表 3 图），旧版移 _备份/，旧结论零残留。
- 2026-10-15：DOCS_ROOT 口径纠错 → 手册 v1.1 修正 + PC 服务端包重出 v3 + README 排错条目同步更正。
- 2026-10-16：QuickConnect 假说证伪 → SPK 包 v1.0→v1.1，包内撤回并补"包内排查穷尽三层证据法""基线对照包控制变量法"两步。
- 2026-10-18：冒烟包 v1.2.0→v1.3.0 回填 disk I/O error 处置口径（属"已有边界提及→回填"的正确用法）。
六、关联笔记
- 与
06-成品-部署目标机硬件规格核实与参数联动法互补：那条管"规格 → 参数"的联动，本条管"任何结论 → 所有承载产物"。 - 与
04-开发-技能自动固化与归档SOP的覆盖更新流程相接：旧包先备份.workbuddy/trash_<日期>/→ 精确路径删 → 重写 →testzip。 - 与
00-总纲-版本纪律规则相接：订正＝升版本号，旧版进_备份/，不并存。 - 与
05-测试-已知可用基线差异对比与变量收敛排查法相接：那条负责产生可信结论，本条负责结论被推翻后的收尾。
七、版本记录
- v1.0（2026-10-19）：首版。四类触发 + 六步操作 + 影响面四类穷举 + 撤回三件套 + 五条反例（均带日期与实证）；
附scripts/falsify_fix_check.py只读体检器（四要素 + 反模式检查），
已实测：完整订正记录 PASS、只写"结论错了"的文本 FAIL×5（四要素全缺 + 反模式 1 条）。
