课题：证据与报告

课题的产出有三类：记录、观察与正式报告。程序核对出处、引用与报告的依据；结论是否正确仍由人审与实验判断。

新建与运行课题见课题：上手。

记录分五类：发现、否定结论、方法、问题、数据。状态有四种：未核对完、已确认、被推翻、已被取代。记录可改写、改状态、锁定；锁定的记录须先解锁才能修改。

整理者认可、且证据（至少一条）出处全部核对过的记录自动记为「已确认」，其余为「未核对完」。用了领域包的课题，发现还须有站得住的依据，见依据与多源一致。

记录是课题的共同记忆：后续任务读取记录决定做什么，阶段的完成检查统计其中的发现，正式报告以全部记录为材料。推翻一条发现后，它不再计入完成检查；后续任务与写报告的各步骤都读取记录当前的状态。

「记录」页顶部是各阶段的摘要（发现、否定结论、问题各几条，已确认几条，几条证据查无此文），下方按阶段每条记录一行，展开显示来处与证据。

有未核对完的记录时：

1. 点「逐条确认」，未核对完的记录排成一队。
2. 逐条选择确认、推翻或跳过（宽屏上按 Y / N / →）。

记录上可能标有来处：

证据标为「出处已核对」或「出处未核对」。出处已核对表示程序确认出处在本课题中存在；程序对不上或无法核对的，为出处未核对。

被引用的记录后来被推翻时，引用它的证据随之改为出处未核对。

「读过的窗口」有两种来路，阶段的「至少读过几段原始记录」两种都计入：

• 执行者用读原始记录的动作读取的；
• 步骤中的代码经平台的 NCBI 网关取到的序列。由沙箱的出网代理记下，代码无法伪造。

「运行结果」须同时满足以下条件才算出处已核对：

• 该次运行由本任务发起；
• 运行已结束，退出码为 0；
• 证据中写的每个数都能在该次运行的输出中找到；在数字密集处碰巧对上的不算。

证据中没有写数的运行结果一律为出处未核对。运行结果只说明这些数确实由运行产生，不说明代码与输出正确。

注意：「出处已核对」只说明出处对得上，不说明结论正确。结论是否正确由人审与实验判断。

文献与登录号类的证据另标源头的查询结果：查到此文、查无此文或未能查询，见引用在源头的查询。源头返回查无此文时，即使检索结果中出现过这串字符，也不算出处已核对。

「记录」页将出处核对与源头查询合成一枚标签：「出处已核对」「有此文，出处未核对」（源头查到此文，但不是该步骤查到的）、「查无此文」（标黄，最需关注）、「未能查询」「出处未核对」。

总览的「漏斗」只统计程序能确定的数：带证据的发现指至少带一条出处已核对证据的发现；「实验支持」只来自用户标注的实验结论。

记录上另有两种标记，与证据的「出处已核对」相互独立，互不改变口径。

推翻沿下游逐层传播：

• 引用被推翻记录的记录、它支持的记录、出自等待其作者任务的任务的记录，都标上「依赖的记录被推翻」；
• 写这些记录的任务与等待其作者任务的任务收到消息；
• 标记直接生效，不等人确认；这些记录自身的状态不自动修改；
• 已写好的报告不自动重写；按新情况出报告时点「再出一版」，见版本与编号。

传播规则另见课题：多模型协作「冲突与推翻」。

展开一条记录，「相关」按关系分组列出与它直接相连的内容：与它矛盾、反驳它、支持它、引用它与它引用的记录，它出自的任务，提到它的帖子，它涉及的对象。点开一个对象，显示涉及同一对象的其他记录。相关内容过多时只列出距离最近的一部分。

部署未开启课题图时，记录上不显示这两种标记与「相关」，程序仍按这些关系处理。

用了领域包的课题，记录带「依据」：该记录建立在哪几条观察上（观察见观察与实体）。依据分主要依据（直接支撑该记录）与背景（只交代情况）。

两条观察放在一起比较时（例如掺杂前后的容量），依据中写明比较关系（高于、低于、接近等）；测试条件不同的标「条件不同，不能直接比」，表示据此得出的结论可能不成立。

• 发现的门：程序自动将一条发现记为「已确认」时，还要求至少一条主要依据是已核对、带单位、带出处的观察；发现正文提到对象时，该观察须关于其中一个对象（A 的数值不能支撑关于 B 的发现）。用户手动修改状态不受此限制。
• 依据被推翻：用户推翻一条观察时，依据中含该观察的记录按推翻记录的方式向下游传播（作者任务收到消息），记录自身的状态不变。

「多源一致」表示至少两个模型家族与至少两个独立的外部来源支持该记录：

• 计入范围：该记录本身，加上经「支持」关系连到它、且站得住的记录；
• 外部来源：文献、登录号与结构、网页。运行结果与课题中的其他记录不计入；
• 同一篇文献的 DOI 与 PMID 目前按两个来源计；
• 标记显示在记录标题旁，悬停显示家族数与来源数；
• 置信度评估的权重不因此改变。

报告与记录证据中的每条引用都回源头查询：

查询结果只有三种：

查无此文与未能查询的引用单独列出并写明原因；报告的参考文献只收录查到此文的引用。

团队课题按团队的「外部检索」设置处理：

「查到此文」只说明源头有这篇文献。报告写好后，对查到此文的文献（PMID、DOI、arXiv）再取一次摘要原文，交给另一家族的模型（避开写报告的家族），与引用它的每一句话逐对比较。

判为「一致」或「不一致」时，须逐字抄出摘要中的那一句；系统在摘要原文中找到该句才算数，找不到的一律按「看不出」处理并写明原因。

比对结果显示在引用出处下方：论断原文、结论、摘要中的那一句；摘要全文可展开查看。报告中有「不一致」时，该报告在置信度评估中最高 B 档，见置信度评估。

比对只判断摘要中是否写到：摘要不代表全文，也不判断文献证明了什么。源头未提供摘要时（很多出版社不提供摘要），显示「未做比对」。

摘要比对是单独的一步，花费本课题的预算，不阻塞课题推进。

用了领域包的课题（新建时选择，见课题：上手「领域包」），或已有观察的课题，详情页多一个「观察」标签。

一条观察记录一个数值，包含对象（哪个化合物或材料）、性质、数值与单位、条件（温度、倍率、电压窗口等）、来源（证据），可另写测量方法。

观察有两个来源：

• 执行者从文献、数据库、运行结果中读出后提交，一步最多 40 条；
• 用户回填实验时附的测得数值，标「实验回填」，见实验回填。

原文照存，数值按领域包换算到标准单位，表中两者都写。原文未报告数值的写「原文没报告」，不算错误。

只有已核对的观察参与数值比对、计入取值范围、能支撑发现。

「观察」标签每条观察一行：对象（点开显示实体详情）、性质、数值（原文与换算后的值）、条件、状态、冲突、证据、方法。可按对象、性质、状态筛选，或选「只看归不进的」。

认不出对象、或无法写成领域包中性质的观察只能记为自由文本，不参与单位换算与数值比对。此类观察较多时，说明领域包需要补充。

能操作课题的用户可确认或推翻一条观察，或修改其对象、性质、单位（单位须能换算到该性质的标准单位）。推翻后，建立在该观察上的记录须重新查看，见依据与多源一致。

一条观察变为已核对时，程序将它与课题中同一对象、同一性质的已核对观察比较，按以下两项判定：

相对差 = 两数之差 ÷ 两数绝对值的平均；温度先换算为开尔文。数值接近 0 时相对差会被放大，因此另设差值下限：带隙 0.05 eV、百分数 1 个百分点、温度 2 K。

判出冲突后按两条观察的条件处理：

真冲突的处理：

• 依据中含这两条观察的记录之间标「与它矛盾」，按记录冲突的方式发质疑、请第三个家族审阅，见课题：多模型协作「冲突与推翻」；
• 尚无记录建立在这两条观察上时，提醒两条观察出自的任务回原文核对数值与条件。

领域包「化学材料」的性质、标准单位与容差：

条件包括倍率、电压窗口、温度、循环次数、电解液、气氛、压力。原文中的同义说法（如「放电比容量」「首效」「截止电压」）同样识别。

对象按主标识识别为实体：

名称、CAS 号、PubChem CID、代号等写法都归入对应的实体。同一工作区（用户个人或一个团队）的课题共用这些实体。

在观察表格或记录的「关于」中点一个实体，打开实体详情。详情包含标识与别名、观察、相关记录与此路不通，以及下列各部分：

课题内判断是否为同一对象，只依据本课题的原文。只有借助工作区中的别名或「确认是同一个」才能对应的两种写法，在课题内仍视为两个对象：不据此标矛盾、发消息或判定触及此路不通；两者之间的数值冲突只标在观察与实体详情中。

研究阶段结束后，课题生成一份正式报告，结构按国家标准 GB/T 7713.3-2014《科技报告编写规则》编排。课题中有记录就写报告，只有否定结论、方法或待解问题也写；一条记录都没有时不写，课题直接结束。第一版写好后课题自动结束，不等人审。

参考文献的著录格式：

正文中的依据标注：

附录 B 按编号列出全部记录依据。附录中的依据使用相同的标注。

附录中各部分的规则：

步骤中实际运行过的代码以「运行结果」证据挂在记录上，见证据的出处核对。

规划阶段按任务书判定一种报告类型，类型决定「结果与讨论」的分章方式：

调查、论证、设计类报告除发现外，也将方法（方案、伪代码、流程）、否定结论（排除的方向）与待解问题排入章节；未进入任何一章的记录列在附录 C 与「局限与未完成」中。

报告类型显示在总览上。能操作课题的用户可在「编辑」中修改报告类型；课题结束后也能修改，并记一条修订。之后写的版本按新类型分章。

1. 分批写：材料超过一步能容纳的量时，按阶段分批写，每批只读该批记录的全文；一批能容纳时直接写整份。
2. 合成：读取完整的任务书（含背景）、阶段与未达成的完成检查、各批写好的部分（或全部记录）、数据记录、读过的原始窗口、留言板的摘要、实验回填、分支的贡献，按报告类型写出报告结构中的各部分。多源一致的记录（多个模型家族、多个独立来源都支持）排在前面并标出；承重的记录（多处结论依赖它）写明它不成立时会影响什么。封面、研究方法与过程中的数、依据编号与参考文献由程序写，不经模型。
3. 审校：换一个模型家族（避开写正文的家族）逐条检查摘要字数与关键词个数、引言不提结论、结论不重复各章小结、每段论述有依据、建议来自结论、未完成的不写成完成、措辞不过度。有问题时按审校意见重写一次，再审一遍；仍未改好的收入附录 F「审校意见」，封面下方写明还有几条未解决。程序自身的检查（摘要字数、关键词个数、结论或建议为空等）也并入附录 F。
4. 引用回源核对：正文中的每条引用回源头查询一遍（见引用在源头的查询），之后做摘要比对。

任何一批两次都未写成，或合成未写成时，该版本记为未写成，页面显示原因。缺少任何一批材料时不进行合成。

写报告使用「留给写报告」的预算（默认为总预算的 20%，见课题：上手「花费」），研究阶段不能动用。预算不足时先省去部分步骤（不重写、不审校），并在附录 F 中写明。

以下三项由程序强制执行，不依赖模型：

引言与「局限与未完成」可以不带依据：阶段未轮到、研究停止的原因是平台记下的事实，没有记录可引用。

报告编号形如 SR-2026-XXXXXXXX（年份加 8 位编号）。同一课题的各个版本使用同一个编号，版本另写。

每写一次产生一个新版本。旧版本全部保留且只读，可在报告页头切换查看。

一版写完后，课题又有新记录、人审、实验结论或合并时，页面提示可以再出一版。

报告引用的记录后来被推翻或取代时，该版本不自动重写：附录 F 中记一条「依赖的记录被推翻或取代」，建立在该记录上的结论由程序降级，页面提示可以再出一版。

写新版本同样花费本课题的预算。课题结束后预算不足时，先在「编辑」中增加预算。

「报告」标签页按文档版式显示：页眉为 SciRouter 标志与报告编号（题名与使用范围在封面上）；页脚为版权、版本、生成时间（按用户的时区）与来源说明；章节编号为 1、1.1；表按所在的章或附录编号（「表 2-1」「表 D-1」）；图都在附录中（「图 A-1」）。

打印或存成 PDF：

1. 点「全屏阅读 / 打印」，打开只含该报告的页面。
2. 点「打印 / 存成 PDF」，用浏览器打印或存成 PDF。

较新版本的 Chrome 打印时，每页页边印有品牌、编号、版权与「第 n 页 / 共 N 页」；其他浏览器打印时以文档中绘制的页眉页脚为准。

「导出 Markdown」中也包含报告全文，结构与正式报告相同。

每个版本写好时签发核验码。平台未配置核验密钥时，报告不带核验码。

核验步骤：

1. 打开核验页。
2. 粘贴核验码，或上传报告的 PDF、页眉的截图（自动识别）。
3. 查看结果。核验页只返回报告编号、版本、签发时刻、样式版本、正文摘要，以及与平台存档是否一致，不返回正文。

「正文摘要」是该版本报告正文的 SHA-256，签发时算出并签入核验码；核验时平台按存档中当前的正文重算，与码中的值相同即为「存档一致」。它只表明正文签发后是否被改过，无法从中推出正文内容。

计算的输入是平台存档的该版本报告正文（一个 JSON 对象）。页面与 PDF 上的文字、界面接口返回的报告内容都不能直接用于计算：接口返回的是另一种格式，部分字段在读取时改写（例如「使用范围」按课题当前的共享状态计算）。

计算步骤固定：

1. 去掉顶层的四个字段：issues（审校意见）与 supportStatus、supportStep、supportNote（引用摘要的比对进度）。它们在报告写好后仍会变化。
2. 逐层去掉对象中值为空的成员。空值为 null、""、0、false、[]、{}；成员去掉后变空的对象也算空。数组中的元素不删除，个数与顺序不变。
3. 按下列序列化规则写成一行 JSON。
4. 按 UTF-8 编码（不带 BOM）取字节，计算 SHA-256，写成 64 位小写十六进制。

第 3 步的序列化规则：

参考实现（Python 3，只用标准库；已用含特殊字符的样例与平台的计算结果逐字节核对）：

import hashlib, json

def clean(v):
    if isinstance(v, dict):
        out = {k: clean(x) for k, x in v.items()}
        return {k: x for k, x in out.items() if x not in (None, "", 0, False, [], {})}
    if isinstance(v, list):
        return [clean(x) for x in v]
    return v

def digest(doc):
    for key in ("issues", "supportStatus", "supportStep", "supportNote"):
        doc.pop(key, None)
    text = json.dumps(clean(doc), ensure_ascii=False, separators=(",", ":"), sort_keys=True)
    for ch in "<>&\u2028\u2029":
        text = text.replace(ch, "\\u%04x" % ord(ch))
    return hashlib.sha256(text.encode("utf-8")).hexdigest()

# doc 是存档的这一版报告正文（json.load 读进来的 dict）
# print(digest(doc))  # 应与核验页的「正文摘要」相同

用其他语言实现时，可先用以下测试向量核对。输入：

{"cover":{"number":"SR-2026-TESTVEC1","title":"A<B & C","version":1,"completedAt":"2026-10-22T07:46:53+08:00","scope":"team"},"abstract":{"zh":"摘要","en":""},"chapters":[{"title":"一","paragraphs":[{"text":"x","refs":[]}]}],"evidence":[{"ref":"R1","text":"","verified":true}],"issues":["审校意见"],"supportStep":"cstp_1","revised":false}

整理后的一行（第 1–3 步的结果）：

{"abstract":{"zh":"摘要"},"chapters":[{"paragraphs":[{"text":"x"}],"title":"一"}],"cover":{"completedAt":"2026-10-22T07:46:53+08:00","number":"SR-2026-TESTVEC1","scope":"team","title":"A\u003cB \u0026 C","version":1},"evidence":[{"ref":"R1","verified":true}]}

该行的 SHA-256：69059156590a21392af053467ea1dd016e92d2833543e7326917f79127548a70。

人审为事后可选的操作，审的是最新写好的版本。不审不影响课题，在评估中也不计分，见置信度评估。还没有写好的版本、或正在写新版本时不能审。

「评估」标签页为每条发现与最新写好的报告版本给出分数与档（A / B / C / D），课题总体另汇总一个。评估只统计平台自己记下的核对项，不引入新的模型判断。

分数 = 得分 ÷ 适用规则的权重之和 × 100。不适用的规则不计入分母，例如：未开留言板时没有盲审；只运行一次时没有复现；课题接触不到原始数据时没有「读过原始记录」。

用户未做的操作不计分：

• 未人审、实验已回填但未标结论，均算不适用，不计入分母；
• 发现被写好的报告引用时，即使该报告未经人审，「被报告引用」一项也拿满分；
• 人审与实验结论只有做了才计分：接受、实验支持拿满分；驳回、实验否定为 0 分。

档的上限：

被推翻、已被取代的发现不打分，只列出；报告只为最新写好的版本打分。

课题总体取最新写好的报告版本的分数；尚无写好的报告时，按未被推翻的发现计算。另列需留意的事项，例如未盲审的条数、研究停止时剩余未做的任务数（注明是到达截止时间、预算用完还是手动收尾）、只运行了一次。

点任意一行查看逐条规则：每条规则的计算方式、该项的实际情况（几条中的几条）与得分。规则与权重随接口下发，页面上的表格据此绘制。

注意：分数只说明平台的核对项通过了多少，不是结论为真的概率。结论是否正确仍由人审与实验判断；评估不为任何一条标注「成立」。

报告写好后可回填实验。回填挂在最新写好的报告版本上；尚无写好的版本时不能回填。

1. 写明做了什么实验、观察到什么结果。结果可以是文字或 Markdown 表格。
2. 查看模型的解读：对照报告中建议的实验与预期，写明支持了什么、未检验什么、是否有矛盾。
3. 标注结论：实验支持、实验否定或不确定。结论只由用户标注；界面上的「实验支持」只来自这一步。

标注结论后，报告页提示可以再出一版，将该次实验写入报告。

用了领域包的课题，回填时还可附测得的数值（可选，最多 50 条），每条一个数值：

保存与比对规则：

• 保存时逐条按领域包检查。性质、单位、条件不在包中，或数值写得不对时，整次都不保存；出错的那条在出错的项下方写明原因，改正后再保存。
• 认不出的单个词按代号收录；带空格或很长的名称须在本工作区中出现过才能识别，否则记为「归不进」，不参与数值比对。
• 附的数值来源即该次实验，直接算已核对，出现在「观察」标签中。报告下该次实验的「在「观察」里看」只显示这几条。
• 这些数值与课题中已核对的数值比较，相差过大的标为冲突，判定规则同数值冲突。解读该次实验时一并参考这些冲突，只列出按本课题原文能认出是同一对象的冲突。
• 目前不能挂到记录的「依据」上。

独立运行次数选 3 次时，同一套阶段独立运行三遍，各自规划任务，最后合并三遍的发现：

预算平分给三次运行，每次可用的预算约为只运行 1 次时的三分之一。新建时填写的预算是三次合计；开始运行后在「编辑」中调整的是每一次运行各自的预算。

个人课题的发起人可将课题共享给自己所在的一个团队，也可改为共享给另一个团队或取消共享；已引申出去的分支不受影响。团队工作区中发起的课题本身归团队所有，无需共享。

能查看课题的用户都可以从整个课题（详情页头部的「更多」中）或其中一条记录引申分支，即开一个新课题。

分支页顶部的「从主课题同步」将主课题之后新增的记录继承到分支；主课题后来推翻或取代的记录，分支中的快照随之更改状态，避免继续被当作依据。

发起合并：

1. 分支的研究告一段落（暂停、写报告或已结束）后，打开「分支与合并」。
2. 点「发起合并」，将分支自己的记录提交给主课题。

主课题已有相同内容的记录自动标出，无需审核。同一个分支同一时间只能有一次合并在等待审核。

审合并：主课题的发起人（团队课题还包括 owner / admin）逐条审核，接受，或驳回并写理由。

• 接受的记录并入主课题，注明来源分支、来源记录与贡献者。
• 主课题的研究已结束时，合并完成后自动再写一版报告。
• 发起合并与审完时都会通知对方。