# 封存答案 · 十三种兜底类型的第二次判决(重画) # 写入时间:2026-10-14 14:2x,**开任何 PDF 之前** # 本文件此后不再修改。改判只写在 REPORT-FALLBACK2.md。 # # 允许的前置动作:读 BRIEF / QUEUE / PITFALLS 44 条 / REPORT-FALLBACK / # REPORT-EXECUTOR / REPORT-EXTERNAL / REPORT-CHAIN,以及用 glob 确认五个文件的路径存在。 # **未渲染、未目视、未抽取任何 PDF 的内容。** --- ## 〇、我自己的答案(如果我坐在编这张新表的人的位置上) ### 我为什么要重画 上一轮把 13 类判死。判决书里有一句话其实没被用上: > 「实测最大的缺口是**『出口的产物是什么』**——问一个人/拿一份文件/改一次规范/吃一场官司, > 这四种在执行者那里是四种完全不同的处境,而 13 类把它们平铺成了十三个同级的格子。」 这句话来自旧报告的第九节,是**旧报告自己发现的**,但旧报告的修复动作(第六节「按层重画」)**没有采用它**—— 它只是把 13 个格子按「层」重排成 1–14 号,仍然是十四个平级格子。**层被标注了,但没有被用来切。** 所以我这轮不是「再加一层」,而是**换主语**:旧表的主语是「手册说了什么句式」,我要换成 「**手册把自己那份文件的资格让给了谁**」。 ### 我现在就能看见的、旧表真正的死因(写在开 PDF 之前) **旧 13 类里至少有两个格子不是「兜底」,是「属性」。** - 「这本文件不穷尽」(IBM 印62)是**完备性属性** - 「让位给产物」(亚朵 p2)是**版本终局属性** 把属性和动作放进同一张表,交集必然非空。这不是判定不够细,是**表的行定义本身不干净**。 ### 我最不确定的(先写下来,好让证伪来得便宜) 我不确定「手册的资格让给了谁」这个主语能不能撑起互斥。三条候选主语,我预判会打架: | # | 候选母题 | 我预判它会在哪一句上失败 | |---|---|---| | ① | 「执行者遇到缺项时,谁的东西替他做决定」 | 请示(人)与转交(文件)之间:「找总行办公室」和「找那本手册」同属"别的东西替你决定" | | ② | 「手册把自己那份文件的资格让给了谁」 | 请示型**没有让出资格**,它守住了终局——这个母题会把 13 类里最常见的一类漏在门外 | | ③ | 「执行者填这个缺口,必须先付出什么」 | 成本是连续量,取不出互斥的格子,会退化成打分轴 | **我押 ①,并预判 ③ 是它的失败形态。** --- ## 一、我的预测(会被证伪的) | # | 预测 | 内容 | 我最可能错在哪 | |---|---|---|---| | **P1** | **旧分类的互斥失效可被复现,至少四处**,且其中至少一处是**同一份文件同一页**同时落入两类 | 上一轮只报了「跨文件的组对」({微软邮箱,IBM Slack}),那只是"两类定义太宽";我要找的是**同一句话被切成两类** | 若这些"同一页两型"其实分属不同页,我的复现就不成立 | | **P2** | **旧分类的同层失效可被复现**,且证据比旧报告自己写的更硬:旧报告承认 13 类跨六层,却从未举出**两份不同层的条款并排出现在同一页**的实例 | 同层失效的真正证明不是"它们属于不同层",而是"它们在执行者的同一个动作里同时起作用" | 若我举出的"混排"实为两个先后步骤(第一步做 A,第二步做 B),混排不成立 | | **P3** | **「谁的资格被让掉」这条新母题能同时满足互斥与同层**,代价是:**"请示"与"转交"之间仍有缝**,需要一条判定顺序而不是一句判据来补 | 若补缝需要引入"等待成本"之类的第二维度,我的新表就是同一种病 | — | | **P4** | **5 种旧表外形态里,至少有 2 种根本不属于兜底论域**——它们回答的是另外两个问题("越过线会怎样"、"手册里的值算不算数"),旧表是把**后果**和**可信度声明**误当成出口收进来的 | 若这 2 种能被自然地改写成出口形态,我的"论域"说法就是偷懒 | 若旧表外形态全部能被安置,则说明**论域没有边界**,那新表也不成立 | | **P5** | **我自己的新表会重新掉进"不可证伪"陷阱**,且掉进去的位置很具体:每一类我都要求填「它假设了执行者的哪种能力」,而**这一栏无法证伪**——它解释一切 | 这正是上一轮被降级的那条判断(「兜底是对执行者能力的判断」)换了个位置回来 | 若能力栏能被写成"写出该条款的一方为了让条款成立必须相信执行者会做什么",并能被反例推翻,它就不是不可证伪的 | > **诚实性条款(事先封存)** > 1. 凡引用中文条文 → `-r 200`;**页脚/版权栏/法务小字/章节标题 → 400–600dpi 裁切**(PITFALLS 三十四、四十三)。 > 2. **不 OCR**(本机缺 `chi_sim`,静默失败,PITFALLS 二十三)。 > 3. **"零命中"与"未发现"必须分开写**,且缺失型断言必须报告已目视区间(PITFALLS 二十三、七条纪律)。 > 4. **关键词零命中先怀疑术语换了**:中文 VI 里"兜底"很可能根本不出现。**我在开 PDF 前就把宽口径词表定死**: > `兜底|特殊情况|例外|其他|未列明|未包括|补充规定|另行|如有|不在本手册|不包括|以实际为准|以实际制作|参照|另见|详见` > 5. **伪正本要记**:本次涉及的执行者链证据来自 REPORT-EXECUTOR,其中**麦当劳 104 页件已被推翻为学生作业,我一律不引用**。 > 6. 若 P1–P5 中 **≥3 条被证伪**,我必须**主动下调结论强度**,不得用新样本把旧结论补圆。 --- ## 二、预注册判决规则(写死,不再修改) ### 统一提问句(新表所有类别必须在**这一句**上作答) > **这份文件遇到「手册没写到的情况」时,把「这一次该怎么办」的答案交给了谁?** > 这一句只问**答案的归属**,不问介质、不问时机、不问是否沉默。 > **凡是靠「文件里没有写」才能判定的类别,当场作废**(PITFALLS 十七)。 ### 四条判据 - **判据 1 · 互斥**:给出一条**可操作的判定顺序**(按顺序问,第一个"是"即定类), 并用**真实条款**逐步演示,含最易判错的那几条。**顺序本身就是互斥性的证明。** - **判据 2 · 同层**:每类能用**同一句提问句**回答;若某类需要**第二句话**才能定,它即属混层,当场拆分或降级为属性。 - **判据 3 · 可穷举**:给出"还有没有第 N 类"的自检方法;并把 5 种旧表外形态**逐一安置或明确判为论域外**。 - **判据 4 · 每类给出它假设的执行者能力**,且该栏必须能写出**反例**(同类兜底出现在能力假设相反的执行者身上)。 ### 判决分支(预先定死) | 结果 | 条件 | |---|---| | **可用** | 四条全成立 | | **需拆类** | 判据 1 或 3 失败 | | **需重画** | 判据 2 失败(说明母题选错) | | **否决** | 判据 4 全面失败(说明"能力"这一栏本身不可保留) | --- ## 三、我预先认领的三条风险 1. **我可能复制上一轮的错误形态。** 上一轮我已经把"出口的产物"这个发现写在报告里,却仍然交了一张 14 格平表。 **若我这轮的新表同样是"把 N 个形状并排",就是同一个错误换了个名字。** 自检方法见判据 2。 2. **"请示型"与"转交型"之间的缝是我预判最薄弱处(P3)。** 我预注册的处理办法是: **缝不能用新类别补,要用判定顺序补**——即承认这两类在定义上相邻、在判定上由**"答案是否已经存在于手册之外"**分开。 3. **能力栏可能是我这轮最大的产出,也可能是最大的陷阱(P5)。** 我预注册:若能力栏无法写成反例, **该栏从表中删除,只作为叙述里的推论**。 --- *封存完成。以下为开 PDF 后的动作,不再回改本文件。*