IdeaLens · Help

Claims and their boundaries

Identify the claim and the conditions it depends on.

Current maintained rules · Checked 2026-09-10

Extract what the author actually claims

The claim package records the contribution, conditions, scope, generalization commitments, and publication anchor. It fixes the object for later assessments so that each stage does not independently select the most favorable part of the paper.

Extraction neither completes a theory on the author’s behalf nor certifies its conclusions as facts. A hypothesis stays hypothetical, simulation results retain their conditions, and future deployment stays a proposal.

Three kinds of scope information

Information	Purpose
Research question and direct effect	Identify what is studied and what the claim directly changes.
Conditions and explicit boundaries	Preserve necessary prerequisites and stated limitations.
Generalization and unresolved scope	Separate promised generalization from untested cases and insufficient information.

What “assuming the claims hold” means

Progress and structure discuss contribution under the original conditions. This separates contribution from the responsibility to support a claim. It does not permit inventing missing relationships or mechanisms. Argument strength then examines support for the actual commitments.

For example, a mechanism hypothesis under a fixed budget must retain both the budget and hypothetical status. It cannot become a deployed system or an unconditional claim about every setting.

A fixed input is not a verified fact

Freezing a claim preserves a specific input identity for reuse and traceability. It does not verify the claim’s truth. A matching quotation establishes textual traceability, but does not by itself establish that a classification or grade is correct.

Standards and prompt references

Original reference text captured for this help revision, not a paper’s run snapshot. Expand to inspect it; source text retains its original language. Paths below identify files within IdeaLens.

Prompts/L3_Prompts/claim_extraction.md

SHA-256 · 520dca85e7f9862443f8579e4bc1fa7cec2db4fb0aa9f319422e208bd7248dc1

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

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

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

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

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

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

提取时遵守：

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

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

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

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

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

## 核心主张

……

## 时间锚点

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

## 研究问题与作用范围

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

## 核心结构增量主张

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

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

## 其他贡献主张

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

## 论文

{{paper}}

Docs/核心评审机制.md

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)。

Extract what the author actually claims

Three kinds of scope information

Information	Purpose
Research question and direct effect	Identify what is studied and what the claim directly changes.
Conditions and explicit boundaries	Preserve necessary prerequisites and stated limitations.
Generalization and unresolved scope	Separate promised generalization from untested cases and insufficient information.

What “assuming the claims hold” means

For example, a mechanism hypothesis under a fixed budget must retain both the budget and hypothetical status. It cannot become a deployed system or an unconditional claim about every setting.

Standards and prompt references

Original reference text captured for this help revision, not a paper’s run snapshot. Expand to inspect it; source text retains its original language. Paths below identify files within IdeaLens.

Prompts/L3_Prompts/claim_extraction.md

SHA-256 · 520dca85e7f9862443f8579e4bc1fa7cec2db4fb0aa9f319422e208bd7248dc1

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

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

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

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

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

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

提取时遵守：

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

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

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

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

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

## 核心主张

……

## 时间锚点

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

## 研究问题与作用范围

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

## 核心结构增量主张

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

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

## 其他贡献主张

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

## 论文

{{paper}}

Docs/核心评审机制.md

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)。