解剖一份 Kairos 报告：文献、方案、结构、审计

证据接地的研究指引 + 可验证的干实验设计产物。提出可检验的假设与预实验设计——不是表达量/滴度预测或保证。请在实验台验证。

从聊天记录到可交付产物

聊天回答会滚走，报告是产物：它跨会话留存，可以逐行核验。Kairos 工作台现在把对话（30%）与结构化展示区（70%）并列——后端的报告 JSON（evidence · design · reasoning · review · claims_report）渲染成四块面板，而不是压平成一串 Markdown。

每块面板正好回答审查者会问的一个问题：

1. 文献——依据是什么，来源能打开吗？
2. 方案——该订哪条序列，排序能重跑吗？
3. 结构——蛋白折叠符合预期吗，能亲眼看到吗？
4. 审计——系统自查过自己的论断吗，我能复核这次检查吗？

这份报告背后的那次运行

提问：How do I express cytochrome c in Pichia — secreted?（如何让细胞色素 c 在毕赤酵母中分泌表达？）目标：UniProt Q6Q4H8，一个 Komagataella phaffii 天然蛋白，110 aa。这就是已发表的细胞色素 c 案例中的同一次运行——下文每个数字都能在那里交叉核对。

面板一 · 文献——能打开的来源

检索在 Kairos 知识层实时运行；每条命中落成一张卡片：类型标签、标题、摘要片段、宿主/目标/年份元数据，以及 PubMed 链接。这份报告里的四张卡片：

• PMID:30587177——AOX1 启动子调控：甲醇调控的 PAOX1（Mxr1 反馈回路）——表达策略的依据。
• PMID:37888283——氮源与 MUT 通路：硫酸铵上调 MUT / PEX 基因表达。
• PMID:38650288——补料分批节奏：先甘油长菌体，再甲醇诱导——毕赤酵母的标准发酵模式。
• PMID:31590267——蛋白水解风险：重组蛋白在 P. pastoris 中的降解——注意降解，必要时加抑制剂。

这些都不是摆设。每张卡片都链到一条真实的 PubMed 记录，你可以打开它、对照它所支撑的论断——而在工作台里，被审查器标记的卡片会直接显现：WARN / FAIL 卡片带琥珀色 / 红色边框。

面板二 · 方案——能重跑的排序

12 个同义 CDS 候选，Pareto 排序，种子 42——运行是确定性、可复现的。每个候选在四条独立的轴上评分；表头几名：uniform（第 1）、host_weighted（第 2）、gc_balanced（第 3）。

胜出候选的记分卡：序列有效性 strong · clean；可制造性 strong · clean；宿主相似性 moderate · clean；可开发性 strong · 1 flag——extreme_pI，目标蛋白的固有属性，不是设计缺陷。

每个候选都是同义的——翻译后恰为输入蛋白本身，并经翻译验证。排序是多目标的（Pareto）：多个候选，绝不是一个黑箱的“最优”。

一键把 CDS 复制到剪贴板，可直接粘贴到合成订单页（Twist、IDT……）。这块面板的设计终点是订单页，而不是截图。

面板三 · 结构——干实验折叠核验

结构面板在 AlphaFold DB 中查询目标，并用 Boltz-2 做折叠置信度筛查；3D 查看器带逐残基 pLDDT，哪些区域可信、哪些不可信，一眼可见。当某次运行没有结构数据时，面板会如实显示“结构验证未运行”——而不是画点令人安心的东西。

面板四 · 审计——系统自查

自 v0.5.0 起，确定性审查层在公开路径上运行，它的输出就是第四块面板：判定徽章（PASS / WARN / FAIL）加论断表格——论断 | 类型 | 来源 | 判定。审查器机械地核验引用真实性、数字一致性与论断接地；下一代审查器已在旁边以不改变结果的影子模式并行运行。审查层如何工作 →

PASS 长这样（已发表的信号肽那次运行的线上真实输出）：

## Review (automated citation/number audit — verdict: PASS)
- ✅ Citations traced to evidence: PMID:29601964, PMID:41660601

但诚实比徽章更重要。在一次真实的 HSA 会话中，后续一轮提问——“And for secretion instead?”（那换成分泌表达呢？）——检索到了 22 篇领域文献，但这一轮的六条推理论断依据的是前文的对话上下文，而非本轮检索到的证据。审计给全部六条盖上 WARN：no evidence source — reasoning claim（无证据来源——推理型论断）。

这正是系统按设计工作的样子：对话记忆不是证据。WARN 不是故障——它是一枚精确的指针，告诉你哪些论断在采信前需要自己再核一遍。

报告形态改变了什么

Kairos 的报告不是用来读的——是用来审的。文献可以打开、设计可以重跑、结构可以检视、审计轨迹可以复核。信任问题从“要不要信这个回答”变成“把每条论断的出处指给我看”。

闭环对边界的诚实不变：发酵仍在路线图上，真实表达由湿实验数据——而不是任何分数——说了算。当发酵环节上线时，验证数据会回流进同一份报告。

参考文献

上文两次运行所引用的来源；每条都是真实、可打开的记录。

1. Aw R, McKay PF, Shattock RJ, et al. A systematic analysis of the expression of the anti-HIV VRC01 antibody in Pichia pastoris through signal peptide optimization. Protein Expr Purif, 2018. PMID:29601964
2. Dorogova NV, Fedorova SA. Overcoming the problem of heterologous proteins folding to improve the efficiency of yeast bioproducers. Vavilovskii Zhurnal Genet Selektsii, 2025. PMID:41660601
3. Ahmad M, et al. Chang CH, et al. Enhancing the efficiency of the Pichia pastoris AOX1 promoter via the synthetic positive feedback circuit of transcription factor Mxr1. BMC Biotechnol, 2018. PMID:30587177
4. Zha J, et al. Advances in Metabolic Engineering of Pichia pastoris Strains as Powerful Cell Factories. J Fungi (Basel), 2023. PMID:37888283
5. Maity N, et al. Statistically Designed Medium Reveals Interactions between Metabolism and Genetic Information Processing for Production of Stable Human Serum Albumin in Pichia pastoris. Biomolecules, 2019. PMID:31590267
6. UniProt Q6Q4H8——细胞色素 c，Komagataella phaffii。UniProt:Q6Q4H8