Knowledge compression

SHA-256 · 3f9b44ee6d8f41d984640ae9c093c850a4acd2a21ec71bca077e01d13fc0c8f4

# 简洁性：可证伪基准 v1

对象：`simplicity.strength`。主要来源：`Prompts/04c_review_indirectness.md` 的共同前提、等级、相邻边界及判定纪律；量表索引见 `Rubrics/idealens-value-v16.json`。共同约束见 [G-01–G-05](README.md)。

## C-01：有效压缩的三个共同必要条件

固定冻结主张的核心结构、既有比较基线、使用者共同必要知识、问题范围和解释精度。原文只补定义、推导、基线和边界，不另选其他贡献。假设主张成立，不核验学习实验、采用人数或真实性。

1. 具体指出省去的独立规则、假设、专用映射或必要推理环节，以及新的恢复方式。改名、缩写和把多条规则装进一个术语不算省去。
2. 新增定义、原语、工具、先修、映射、例外、解码和桥接全部算回；共同先修可在两边同时扣除。负担移入外部工具或逐例适配不算压缩；净收益不明须保留未知。
3. 固定范围和精度下，原本需要区分的结果、成立条件、失败情形仍可恢复；扩展的解释也须有判别关系。删困难、模糊预测、忽略反例所得简化不成立。

统一框架的基线可以是分别处理这些问题所需的表示：删除共同核心后，明确哪些关系必须分别恢复。不要求已有旧统一理论，但不能虚构复杂基线、通过复制同一段文字制造收益，或用不能保留相同区别的粗指标充当等能力基线。

本项是结构上可识别的负担变化，不自动等于实测学习时间降低。熟悉程度、阅读流畅和“优雅”等形容词不定级。

## 等级

| 等级 | 成立内容 |
|---|---|
| L0 | 比较材料足以评价，但没有有效压缩，或压缩丢失必要解释能力 |
| L1 | 通过 C-01，以更少独立负担恢复已列出的解释、结论或操作；不要求新增知识 |
| L2 | 满足 L1；同一核心推出至少两类原需分别处理的问题，不必重教新类型的专用答案/规则，并能推出介绍核心的原例之外情形的区别 |
| L3 | 满足 L2；结构/关系可按明确规则继续组合、嵌套或跨层作为后续解释构件，新增复杂组合无需逐项增加核心规则 |
| L4 | 满足 L3；同一完整核心同时承担独立顶层问题族的横向统一、局部到整体的纵向解释及固定核心的持续生成，完整计负担后仍有净压缩 |

## C-01B：L1 / L0——展开后是否仍省负担

支持升档：至少一项“旧独立负担 → 新恢复方式”，加上新增依赖后仍减少独立负担，并保留所需区别。

可推翻升档：新术语/工具展开后，旧规则仍需逐条掌握；或存在承诺范围内应区分的情形无法恢复。这样的反例否定有效压缩。

边界对：把五条规则缩写成一个名称仍是 L0 候选；一条共同关系能恢复原来分别记忆的结论，且不隐藏成本，可为 L1。

## C-12：L2 / L1——跨问题推导而非查表

支持升档：至少两类对象、目标或待解释关系不同的问题；逐一给出共用核心、实例化映射、到结论的路径，以及一个介绍核心的原例未逐项列出而可推出的区别。“原例之外”不要求历史上新发现，可以已在论文其他部分讨论。

可推翻升档：移除案例表/专用答案后不能推出新情形；第二类型需新增专用实质关系；仅替换数值、样本、名称。预先固定范围之外的情况不算反例。

边界对：压缩已有案例的答案可为 L1；无需重教专用规则即可实例化到另一问题类型并推出新情形，才支持 L2。

## C-23：L3 / L2——规则支持继续组合

支持升档：明确组合/跨层规则、合法后续输入、保持性质与不成立组合，展示至少连续两步复用链。可继续扩展的依据来自规则及适用条件，不由两个成功例子外推。

允许新增实例数据、状态、推导步骤；不允许把每一层必需的新假设或专用桥接算成免费实例化。可为部件关系到系统关系、多层解释，不限于程序递归，不要求生产力回流。

可推翻升档：声明支持范围内某后续组合需独立增加核心假设、重定义关系或丢失判别边界。重复调用、循环、自我指涉、事后类比及每深入一层另造解释，不满足本档。

边界对：同一核心能横向解释两类问题但不能继续组合，可为 L2；其产物能按原规则成为下一步输入且保持边界，才支持 L3。

## C-34：L4 / L3——同一核心的三项共同必要条件

**横向独立。** 至少两个在采用框架前具有不同核心问题、解释对象或成功标准的顶层问题族，各获得实质关系、边界或反事实解释。列各自关键问题及删除共同核心后的损失。同任务阶段、数据集和应用实例不算；同属一个学科不取消独立性。

**纵向贯通。** 同一共同关系从局部对象/操作/功能，经复合系统，推出整体规律、能力边界或演化机制。须有组成关系产生的非局部后果。几个尺度重复描述、各层各自解释但没有共同依赖不算；不要求物理时间、代际进步或学习能力。

**固定核心持续生成。** 完整列出原语、不可约关系、更新条件和必要桥接；说明哪些结构/状态/结果/表示可继续作为推导对象。展示至少连续两步组合/递推/推导和一个原例未逐项列出的整体后果，继续扩展由明确规则支持，并保留失败/不适用条件。

三项须相互连接且使用同一完整核心，不能横向用一套关系、递归用另一套无关关系，再通过加权平均弥补缺项。领域机制若藏在概念、参数或数据里，仍算新增负担；通用语言/解释器能够编码任意理论不自动压缩这些理论。

可推翻升档：承诺范围内某独立问题需另一套核心；某层须增加未计入的专用桥接；后续只能补答案而不能由原规则生成整体关系；完整计负担后无净收益。任一必要项失败即不能 L4；已成立的低级压缩是否仍保留须另核对。

边界对：单问题族内可组合生成可为 L3；同一完整核心还承担独立问题族及局部到整体的实质解释，才可能 L4。改变下一代能力基础是一种形式，不是全部抽象的必要性质。

## C-02：判定与未知

各级依次检查，给出可确定的最高等级。C-01 明确失败为 L0；缺关键材料无法确定时输出“未定”，可在理由记下限但不能把下限当确定值。每次升档有具体关系/推导，至少提出一次最有力反驳尝试，区分成立反例、未决问题和未来检验。

有效重表达也可得分，但本次必须新增认知负担下降；复述旧简洁理论不能继承其等级。推导长、求解困难不自动降级，但独立假设、工具和桥接必须计入。不要求解释承诺范围外的一切，不以结构新颖性、方向重要性、实际采用或结果改善幅度代填等级。

SHA-256 · 437e079476adec9aae342424ea0f72bc027634481f5f9a09efa33554e5e1dc25

# 简洁性旁路判断

{{temporal_context}}

评价简洁、易理解且具有解释深度的抽象结构，独立输出简洁性等级。本阶段不评价旁路触发资格，不计算总体贡献，也不读取或修改结构与方向分数。

假设冻结主张成立，评价作者给出的核心结构，相对明确的既有表示，能否降低掌握、重建和复用解释所需的认知负担，以及这种压缩能否延伸到新问题和更复杂的组合。保留作者主张的条件性与适用边界，不核验实验或主张真实性，不要求已经完成学习实验或实际传播。不得仅凭“简洁、优雅、直观、深刻、普适”等形容词定级。

等级衡量有效压缩所支持的解释与推导方式，最高等级进一步区分同一核心能否贯穿多个独立问题族和不同解释层次，并持续生成新的解释或推导。递归演化是其中一种形式。结构新颖性、方向重要性、实际采用人数、结果改善幅度不直接决定本评分。

## 共同判定前提

先固定评价对象、比较基线、目标使用者的共同必要知识背景，以及主张承诺覆盖的问题和解释精度。不能临时降低解释要求、删去困难情形或改换使用者背景以取得高分。评价限于冻结主张指定的核心结构；原文仅补充该结构的定义、推导、基线和边界，不另选论文中的其他贡献。

“有效压缩”必须同时满足：

1. **指出实际省去了什么。** 列出基线需要独立掌握的规则、假设、专用映射或必要推理环节，以及新结构如何使其中至少一项不再需要独立掌握。改名、缩写、把多项内容打包进一个术语，均不构成省去。
2. **把新增负担算回来。** 新增定义、先修工具、映射、例外和解码步骤必须展开说明。相同的共同先修知识可在两边同时扣除。若省下的规则只是被搬进新定义、外部工具或逐例适配中，不构成有效压缩；若存在无法判断净收益的负担转移，明确记录信息不足，不凭术语数量或字数推断收益。
3. **保留需要解释的差别。** 在固定范围与精度下，原来需要区分的结果、成立条件和失败情形仍可恢复。若靠模糊化预测、删掉限制或忽略反例变简单，不构成有效压缩。对声称扩展的解释范围，也必须给出有判别力的关系。

对于统一框架，可以把同等解释要求下分别处理各问题所需的表示作为比较基线：具体指出取消共同核心后，哪些定义、关系或推导必须分别恢复。不要求已有一部完整的旧统一理论，但不能凭空虚构复杂基线，也不能仅靠把同一段文字抄写多次制造压缩收益。单一粗略指标若不能保留相同区别，不是等能力的更简基线。

本评分判断结构上可识别的认知负担变化，不把它自动等同于已经测得的学习时间缩短。阅读流畅度或评审者的熟悉程度不能代替上述比较。

## 等级描述

- **L0：未形成有效压缩。** 比较对象足以评价，但展开定义、依赖和例外后，没有省去可辨识的独立负担，或省下负担的代价是丢失必要的解释能力。单纯润色、缩写和缺少判别边界的概括属于此级。
- **L1：已有解释的压缩。** 通过共同前提，能从较少的独立负担恢复已列出的解释、结论或操作。减少记忆、重建或操作负担即可满足本级必要条件，不要求新增知识；只有继续通过后面的边界才升档。
- **L2：跨问题的推导压缩。** 满足 L1；在明确的问题范围内，同一核心可通过实例化，推导至少两类原本需要分别处理的问题，且新类型的结论不必作为专用规则再教一遍。必须指出各问题的对象、目标或待解释关系有何不同，分别给出从核心到结论的路径，并指出至少一个原例未列出的情形及其可推出的区别。只更换数值、样本或名称不构成不同问题类型。
- **L3：可组合生成的压缩。** 满足 L2；已解释的结构或关系能够按明确规则，作为后续解释中的组成部分继续组合、嵌套或跨层使用。在声明支持的组合范围内，复杂度或层级增加时，核心规则不需要随新增组合逐项扩充，仍能推出有判别力的后果。允许增加实例数据、状态和推导步骤；不得把每个新层级必需的新假设或专用桥接称为实例化。
- **L4：基础性统一压缩。** 满足 L3，并同时通过下述三项边界：同一个可完整列出的共同核心重组多个独立的顶层问题族；这些共同关系从局部对象或操作贯穿复合系统，产生整体规律、能力边界或演化机制；这种跨问题与跨层次解释可通过明确的组合、递推或推导继续扩展，而不为每个新问题或层次逐项追加核心规则。所有必要原语、关系、更新与桥接规则都计入后，共同核心仍减少了分别处理这些问题所需的独立负担。改变下一代能力基础是可能的实现形式，不是全部抽象必须具备的性质。

各级依次检查，给出能够确定的最高等级。若缺少关键材料，无法确定等级，等级行只写“未定”，理由中可注明已支持的等级下限及缺失信息；不能把下限作为确定等级。不得把材料缺失当作已判定 L0。

## 相邻等级的关键差异与反驳方式

### L1 和 L0：展开之后，是否仍然省去了独立负担？

支持 L1 必须给出一项具体的“旧负担 → 新的恢复方式”，并说明新增依赖为何没有把负担搬走。

**反驳方式：** 展开新术语、工具或例外后，原来需要学习的规则仍须逐项学习；或者指出一个承诺范围内的区别，在简化后无法恢复。这样的反例可以否决有效压缩。

### L2 和 L1：同一核心能否推出不同类型的问题，而无需另教答案或专用规则？

支持 L2 必须展示不同问题类型共用的核心关系、各自的实例化映射，以及一个不靠查原例答案即可推出的情形。该情形可以已经由论文讨论；“原例未列出”指相对用于介绍核心的示例，不要求它是历史上未知的发现。

**反驳方式：** 去掉案例表或专用结论后，无法从核心恢复所声称的新情形；或者迁移必须新增该问题特有的实质关系。只有术语通用、实例数量多或参数替换，不能通过这条边界。明确超出预先固定适用范围的情形不构成反例。

### L3 和 L2：复杂组合能否继续由同一套规则生成解释？

支持 L3 必须给出组合或跨层规则，说明什么产物能成为下一步的合法输入、哪些性质保持不变、哪些组合不成立，并展示至少连续两步的复用链。两步示例用于暴露专用补丁；可继续使用的依据必须来自明确规则及其适用条件，不能只由两个成功例子外推。

**反驳方式：** 在声明支持的组合范围内，找出一个需要独立补充核心假设或重新定义关系的后续层级；或者组合后丢失原有判别边界。可以横向套用很多问题，但每深入一层都要另造一套解释，不能达到 L3。重复调用、形式上的循环、自我指涉和事后类比本身也不支持 L3。

这里的组合与跨层使用不限于程序递归，也可以是部件关系生成系统关系、局部机制生成多层解释。它不要求生产力收益回流，也不借用方向价值 L4 的递归条件。

### L4 和 L3：同一套核心能否跨独立问题和解释层次，持续生成整体解释？

L3 可以只在一个问题族或同一解释层次内组合复用。L4 必须同时满足以下三个条件，不通过加权平均弥补缺项：

1. **横向独立。** 至少两个在采用该框架前具有不同核心问题、解释对象或成功标准的顶层问题族，分别获得实质的关系、边界或反事实解释。给出各自的关键问题及删除共同核心后的损失。同一任务的阶段、数据集和应用实例不算；同属一个学科也不自动取消问题独立性，不要求领域名称不同。
2. **纵向贯通。** 给出从局部对象、操作或功能关系，经复合系统，到整体规律、能力边界或演化机制的连续解释链。必须有由组成关系推出的非局部后果，且使用横向统一中的共同关系；只把同一现象换几个尺度叙述，或者各层分别有解释但没有共同依赖，不能通过。物理时间、代际进步与学习能力不是必需的层次。
3. **固定核心持续生成。** 指出什么结构、状态、结果或表示能按已列出的规则继续作为推导对象，给出至少连续两步的组合、递推或推导，以及一个原例未逐项列出的整体后果。可继续扩展的依据必须来自明确规则，不从有限成功例子直接外推。逐个记忆答案、重复调用同一公式或只声称可以编码任何问题，不足以通过；要说明共同规则如何生成横向与纵向的实质解释，并保留失败或不适用条件。

三项必须相互连接：不能用一套关系获得跨领域覆盖，再用另一套无关关系提供递归演示。演化系统可以用“本轮产物改变下一轮基础”建立生成链；其他结构可以用复合相互作用、构造的组合、表示的再处理或定理推导建立生成链。无需假设它们会学习、改进或产生社会收益。

三项使用同一份完整核心核对。先列出全部原语、不可约关系、更新条件和必要桥接，再将各问题和层次映射到这份清单。概念、参数或数据中若编码了领域专用机制，这些机制仍须计入负担，不能当成免费实例化。能表达任意理论的通用语言或解释器，不自动构成对这些理论的解释压缩。

**反驳方式：** 在承诺范围内，指出某独立问题实际需要另一套核心关系；某一解释层次只能靠新增且未计入的专用桥接；或者扩展时只能逐例补充答案，不能从已有核心生成所承诺的整体关系或边界。任何一项成立，都不能达到 L4。直接替换领域名称却不能给出不同后果，也不能通过。

可反驳的是明确的关系和边界，不要求机械的字数、术语数或学习时长阈值。少数名称若藏着逐域理论不够；完整展开后，同一核心仍承担横向统一、纵向解释与持续生成，才构成这里最高级别的简洁。推导步骤长或求解困难不自动降级，但所需的独立假设、工具和桥接必须计入；也不要求抽象能够解释承诺范围外的一切。

## 判定纪律

- 每次升档都必须指出支持它的具体关系或推导，不能只有“能够推广”“原则上可递归”。若材料只表达愿景而没有所需关系，不能补造规则；假设主张成立不等于补全主张。
- 反驳针对规则适用性、负担转移和解释保真，不因尚无实验、尚未被采用或尚未排除想象中的替代方案而否决。
- 提出一个最有力的反驳尝试，并说明它是否成立。区分已经找到的反例、尚不能判断的问题，以及只是未来可以执行的检验。
- 已有知识的有效重表达也可以得到本评分；它是否构成新的创造性贡献由其他判断处理。本阶段不得据此修改结构、方向或总体等级。
- 高等级必须保留共同前提中的认知负担比较；范围广、可递归或研究 AGI/ASI 本身不能取代有效压缩。案例名称与题材不直接授予等级。
- 评价本次成果实际提供的压缩价值。复述既有简洁理论不能继承该理论的等级；等价重表达必须指出本次新增的认知负担下降。只评价输入论文所载结构，不把后世成熟理论的完整能力归给早期单篇论文。

## 固定输出

按以下五节输出。

### 评价对象与比较条件

写明冻结主张中的核心结构、既有基线、共同必要知识、适用范围和必须保留的解释差别。说明缺少哪些信息。

### 有效压缩

逐项写明旧负担、替代它的恢复方式、新增负担，以及是否保留必要区别。给出共同前提成立、不成立或无法判断的结论。

### 推导与组合

先列完整核心，再写出不同问题类型及其共享关系、实例化映射和推导；若主张支持组合，给出规则、合法输入与连续两步复用链。审计 L4 时分别说明横向独立、纵向贯通、固定核心持续生成是否成立，以及三项怎样使用同一组关系、各领域和层次需要增加什么规则。没有相应内容时明确写“未给出”，不得补造。

### 相邻边界与反驳

说明已经通过哪些边界、哪个下一档条件不成立或尚不能判断，并给出最强反驳尝试及结果。L4 则说明对三个必要条件及完整核心压缩的反驳尝试。

### 简洁性评分

- 等级：L0 / L1 / L2 / L3 / L4 / 未定
- 理由：用实际通过的边界支持等级，不以形容词代替。

等级行必须保留“- ”前缀，冒号后同一行只填写一个实际值。共同前提明确不成立时为 L0；无法确定时为“未定”，并说明原因。

## 冻结主张

{{claim}}

## 原文补充材料

{{paper}}