核心主张与适用边界

SHA-256 · 520dca85e7f9862443f8579e4bc1fa7cec2db4fb0aa9f319422e208bd7248dc1

# 核心主张与结构增量主张提取

从论文中提取唯一一个最能代表创造性贡献的核心主张，并把作者声称的结构增量作为主张包的核心部分保存。这里只忠实提取和规范化，不评价真假、证据、创新等级、方向价值或最近邻能否实际吸收。

不在提取阶段分类。主贡献类型和贡献标签由冻结后的独立分类支线判断，不得先套类型再选择主张。

“结构增量主张”是作者相对其针对的既有表示或结构，明确提出或由全文直接蕴含的新增对象、关系、约束、算子、接口或递归机制。能够把论文改写成条件—操作—结果，不等于存在结构增量。评测、实证规律、工程建议、既有方法应用和性能提升，除非新增结构本身就是核心创造性承诺，否则明确记为无结构增量主张。

即使论文主要报告实证规律、工程指南或既有方法应用，也必须检查摘要、引言贡献列表、方法公式、消融实验和结论中，是否存在直接服务于核心结果的具名机制、新目标项、新数据流、新控制参数、关系、约束或更新算子。既有对象之间的新关系或新约束仍可构成结构增量；不得仅因变量、组件或基础方法已经存在就判为无结构。

若一个候选同时满足以下条件，就属于必须进入主张包审计的非附带结构候选，不得直接写成普通实现细节：作者明确命名或定义；删除后退化为明确基线；删除会失去论文声称的一项核心结果、能力或问题表示。核心主张可以同时保留论文的主要实证承诺，以及直接支撑其中一项核心结果的最强结构机制，但仍只输出一个完整结构增量。是否会被既有最近邻吸收由下游审计决定，本阶段不得提前代判。

提取时遵守：

- 只保存作者明确提出或由全文直接蕴含的内容；“可由全文重建”必须有多个来源锚点，不得用常识补造。
- 保留原文模态，不得把“观察到、可能、建议”改写为无条件结论。
- 默认只保存一个完整结构增量；对象、关系、机制、实现、例子和后果不得拆成多个平行结构主张。
- 对基础坐标、理论本体或统一框架，完整保留其替换的既有表示、新原语与不可约关系、跨主体或尺度不变量、被重新组织的独立问题，以及新增的比较、解释、干预或设计问题。
- 若原语是非排他、可重叠或可反复承担的功能角色，使用功能依赖而非固定时间顺序表达。
- “删除该增量后失去的能力”只写论文主张能够直接支持的删除反事实；不能明确支持时写“论文未明确说明”。
- “改变的后续问题表征或搜索”须写具体的旧表示、新表示或被排除的搜索路径；潜在推广必须保留为推测。
- 实现、证据、应用例子和推论只用于实例、边界和来源锚点，不单独成为结构增量。
- 不使用模型记忆中的外部最近邻否决作者主张；论文自己比较的基线只能写为“论文针对的既有表示或结构”。

同时提取论文核心贡献最早可确认的公开时间锚点。优先使用论文元数据、arXiv 首次提交、会议或期刊发表信息、正文中的公开宣读或收稿记录；其次可使用文件名年份或据文内信息作保守估算。只要求稳定到年份，明确日期存在时才填写日期，不得补造精度。完全无法判断时写“未知”。

独立保存“研究问题与作用范围”，即使没有结构增量也必须填写。用三项说明研究对象与作用目标、适用条件及明确边界、作者的推广主张及未确定范围。“研究问题与直接作用”优先写实际研究对象，以及论文试图解释、诊断、评估或改善的困难或能力；保留辨别该问题所需的简短机制和任务关系。论文产物是分析框架、评测或实现系统，不应替代所研究的问题；未提供解决保证也不应抹去其研究对象和作用目标。详细机制归入核心主张和结构增量，不能把研究或测量一种能力改写为已经获得该能力。

影响适用性的必要条件必须写入“适用条件与明确边界”，不得只放在其他章节。原文涉及的表示系统、操作或接口可用性、输入可满足性、中间结果可检查性等前提应保留，不凭常识补齐。未测试不等于不适用，也不等于能够推广；作者的上位动机、猜想和未来设想保留原文模态，不替代实际研究问题。来源随对应陈述简短标注。不单列实验覆盖、分数或样本数；这里不判等级，也不向上扩展用途或能力目标。

严格按以下格式输出；研究问题各字段的值写在冒号后同一行，无内容时明确写“论文未明确说明”，不得省略字段：

## 核心主张

……

## 时间锚点

- 发表年份：四位年份 / 未知
- 明确日期：YYYY-MM-DD / 无
- 是否估算：是 / 否
- 依据：一句话说明元数据、正文、文件名或估算依据。

## 研究问题与作用范围

- 研究问题与直接作用：……
- 适用条件与明确边界：……
- 推广主张与未确定范围：……

## 核心结构增量主张

- 状态：明确提出 / 可由全文重建 / 无结构增量主张
- 论文针对的既有表示或结构：……
- 单一完整结构增量：……
- 新增对象、关系、约束或算子：……
- 删除该增量后失去的能力：……
- 改变的后续问题表征或搜索：……
- 成立边界：……
- 来源锚点：……

若状态为“无结构增量主张”，“单一完整结构增量”“新增对象、关系、约束或算子”“删除该增量后失去的能力”必须分别只写“无”，“改变的后续问题表征或搜索”必须只写“无结构性改变”。论文实际提供的既有基线仍写入“论文针对的既有表示或结构”，非结构性结果、实现、边界与证据分别写入“其他贡献主张”“成立边界”和“来源锚点”。不得在“无”之后继续描述实际新增项、删除损失或搜索变化。

## 其他贡献主张

只写未被核心结构增量覆盖、但属于论文核心贡献的实证、评测或工程主张；没有则写“无”。

## 论文

{{paper}}

SHA-256 · d58d682dc6cd477a388e3c969579340ee04bf93a76312e0c9759460e87ec85af

# 核心评审机制

产品的评价主张、可证伪分级、参考总分与历史模拟限制见 [产品核心机制](产品核心机制.md)。本文只说明这些主张如何落实为实际评审链路。

IdeaLens 将论文中的主张、结构增量、目标价值、方向进度和其他评价分开处理，再按固定规则计算总分。本文说明维护中的默认流程；指定外部流程版本时，以该版本的执行定义为准。

## 基本对象

| 名称 | 含义 |
|---|---|
| Claim（论文主张） | 从论文提取、保留来源与适用条件的评价输入，不是对论文真实性的自动认证 |
| Run（单次评审） | 对一篇论文执行一次所选评审定义并保存证据 |
| Artifact（冻结产物） | 经显式冻结、可在兼容条件下复用的结果，和每次 Run 必须保存的快照不同 |
| Batch（批次） | 多个独立 Run 的组织与汇总，不是新的评分尺度 |

外部流程版本固定整套执行定义；内部配置、任务实现和接口版本负责追踪组成部分。流程版本号不是 Run 序号，也不是模型输出的版本号。

## 评审关系

```text
论文 → Claim 提取
Claim → 最近邻吸收审计 → 统一结构评审
Claim → 主贡献类型与标签
Claim → 目标选择与准入 → 方向价值
论文、Claim、同一目标 → 方向进度 → 独立论证强度
Claim、结构、方向 → 改进强度
论文、Claim → 知识压缩
方向价值、方向进度 → 确定性计分
```

| 环节 | 职责 |
|---|---|
| Claim | 提取论文主张、适用条件、推广范围和时间锚点，保持来源与原文模态 |
| 最近邻与结构 | 区分已有内容能够吸收的部分，评价剩余结构增量，统一输出 L0–L4，不参与总分 |
| 类型与标签 | 给出主贡献类型和受控标签，不据此推导结构等级或分数 |
| 目标与价值 | 先确定评价对象，再评价该目标的方向价值；不能用论文进度替代价值 |
| 方向进度 | 在主张成立的假设下，评价论文相对于同一目标的进展，保留条件和模态 |
| 论证强度 | 根据原文、进度描述和等级独立评价论证，不参与总分 |
| 改进强度 | 在主张成立的假设下，比较共同基线、指标和资源条件下可衡量的结果变化，不借结构或方向价值抬级，不参与总分 |
| 知识压缩 | 在固定范围和精度下评价认知负担的净减少，新增前提和工具成本须算回，必要区别仍须可恢复，不参与总分 |
| 计分 | 方向价值分乘方向进度分，不由模型自行改算式 |

## 目标与准入

问题空间提供评价对象、范围、成功条件和比较基线。同一篇论文可以在不同问题空间中被评审；改变空间可能改变价值和进度的含义，须记录所用目标及条件，不能只比较一个脱离视角的分数。当前自动选择以与论文主张及边界相适应为目标，不证明全局唯一最优，也不自动搜索最高分空间。

原始研究问题先匹配维护中的必要问题或已确认瓶颈。明确命中并通过程序准入时，采用对应目标及已确认等级。未命中或不确定时，最多向上扩展一层功能目标，也可以不扩展；生成的普通目标不能重新借用白名单身份。

目标定义保持 `id / version / definition` 三字段。定义中的适用前提和未确定范围贯穿后续评价。指定目标、读取缓存或复评不能绕过准入校验；命中必要问题不等于论文已经解决整个目标。

## 时间、未知与证据

评价日期和发表锚点共同决定时间语境。历史路径要求避免使用今天的白名单或后世成功充当当时证据；锚点不确定时不猜造时间，也不强行选择一个时点继续正式评分。校准文件的时间模式只控制比较资格，不替代模型路由。

历史路径依赖 AI 对发表时知识、问题和基线的理解与模拟，不能保证与新论文具有完全相同的实际评价条件。记录时间政策和来源可供审计，不证明历史语境已经还原准确。

条件不成立、执行失败、结果缺失、评审未定和有效零等级是不同状态。程序能检查字段、来源、哈希和契约一致性，不能因此证明模型语义判断正确。

## 人工校准与规则迭代

人工校准为评审提供独立的比较参照，不是向模型提供答案。普通 Run 可用论文侧车参考值作标注和比较；单项校准集固定输入、重复执行目标评审，用于观察偏差和稳定性。两类人工值各有自己的适用范围，不自动互相覆盖。

人工确认的白名单目标等级属于流程的规则输入，通过准入后可以作为方向价值参与计分；校准参考值则用于结果比较，不替换本次等级。两者的用途不同，不能混同。

人工一致率回答“是否落在人工可接受范围”，重复一致率回答“多次实际判断是否一致”。相邻双值可以都被接受，但 L1/L2 交替仍不等于输出稳定。比较要核对论文内容、目标和评价语境；条件性或待澄清锚点须连同说明解读，不能把每个偏差直接等同于模型错误。

迭代过程是：人工确认参照 → 校准观察 → 判断是输入、规则还是表达问题 → 修改并验证 → 发布内部版本；需要对外交付时再发布新的流程版本。只改三级表达应保持等级含义，改变二级语义须新建标准版本。更新人工参照不代表模型表现已经改善，也不回写旧 Run。

## 独立评审与批次

每篇论文独立执行并留证。批次调度不会将同批其他论文或结果自动作为本篇的比较上下文，也不按本批次的相对排名评分；跨 Run 的产物复用仍须满足来源和兼容性约束。

并行只改变调度，不改变评分规则。原生 Batch 的补跑只处理已正常结束批次中的失败项，成功项不重复执行；它不接管异常中断的进程。外部 flow 目前只提供单篇入口，Workshop 可以自行组织并行请求，不能把它当作已实现的原生 Batch 流程版本接口。

## 结果与版本

每次 Run 保存实际输入、执行定义和结果；可复用 Artifact 必须另行显式冻结。固定流程版本隔离开发环境，内部版本仍用于诊断与兼容性检查。校准用于标注和比较，不修改评分，也不作为额外答案注入评审。

等级依据见 [等级规则](等级规则.md)，分数解释见 [数值计分](数值计分.md)。字段、路由和维护接口见 [技术文档](Technical/README.md)。