原子和质量守恒
检查配平、化学计量、限制试剂、缺失物种和守恒律违背。
实验方案设计
把实验方案当作待验证的猜想。
维思纳帮助基于文献证据生成实验方案草稿，然后像检查证明一样审计它：如果这些步骤在这些条件下运行，是否应该得到这个产物或结果？
生成器
审计
证书
实验方案生成器
形式化主张
Audit Certificate
有来源依据的草稿
生成器提出主张。
猜想
如果所列试剂、顺序、容器、温度、时间、纯化和对照都正确，目标结果就应当成立。
检查
守恒
检查
收率
检查
相容性
检查
危险性
审计证书
- 状态和审计摘要
- XDL 对齐的实验方案预览
- 包含阻断项、警告、缺口和备注的发现
- 待验证项和假设
证据优先
实验方案生成器会搜索来源材料，区分有来源依据的细节和假设，并保持关键缺失细节可见。
实验方案即猜想
草稿主张：如果这些步骤在所述条件下运行，就应得到指定产物或观察结果。
进实验室前先审计
实验方案审计会根据化学、物理、操作约束、危险性和数据覆盖缺口检查这个主张。
用于迭代的证书
审计证书记录发现、待验证项、假设、边界、来源和未解决缺口。
为什么重要
在实验室延误发生前找到实验方案失败点。
昂贵的不只是化学品或仪器时间，还有等待一个本可提前质疑的流程。实验方案设计让智能体在执行前能够起草、形式化、审计、修订并保留推理轨迹。
从目标反推
从目标研究材料、测定、观察或产物开始。维思纳可以沿已发表路线片段反推，并区分已知内容和推断内容。
跨来源汇总
生成器把文献背景组合为结构化草稿，包含材料、设备、步骤、时间、质控、假设和缺口，而不是把一切压平成段落。
审计隐含主张
审计会询问哪些条件必须为真，实验方案才能产生所主张的结果，然后用确定性化学和证据工具测试可测试部分。
延续审计证书
证书会成为修订文件：阻断项、警告、未证明假设和来源会附着在下一版实验方案草稿上。
审计界面
面向湿实验计划的待验证项。
审计不是处理逻辑公设，而是处理化学和物理约束。工具返回证据、边界和缺口。智能体会综合评审，但不会假装未验证的实验方案已经被验证。
收率边界
比较预期收率和理论收率、试剂过量、规模假设和不可能主张。
相容性
基于精选化学规则和结构检查，识别试剂-试剂和试剂-容器问题。
热和相态约束
在数据可用时检查沸点、蒸气压、溶剂、回流、压力和温度边界。
危险性和处理缺口
PubChem GHS 证据、明确的缺失数据警告，以及需要专家评审的问题。
未验证项
工具尚不能验证的输入、草稿所依赖的假设，以及执行前需要解决的条件。
迭代循环
设计、审计、修补、重复。
这不是一次性的配方生成器，而是在实验执行前把模糊信心转化为可评审义务的实验方案设计循环。
1
从目标反向工作
说明目标材料、产物、测定或观察结果，以及实际约束。
2
生成有来源依据的草稿
从文献片段中汇总步骤、材料、设备、时间、质量控制和缺口。
3
生成待验证项
把每个步骤转化为实验方案主张经得起审查所必须为真的条件。
4
审计并修订
用证书修补假设、解决阻断项，并在使用实验室时间前重复。
证书文件
审计输出用于复用。
证书是草稿和修订之间的桥梁。它可以保存为项目记录，附加到下一次提示中，并用于决定下一步需要哪些证据、计算或专家检查。
protocol-audit-certificate.md
审计证书
状态和审计摘要
XDL 对齐的实验方案预览
包含阻断项、警告、缺口和备注的发现
待验证项和假设
数据缺口和未验证项
边界、来源和下一轮修订目标
证书并不认证安全性。它记录已检查内容、仍未证明内容，以及仍需专家评审的位置。
示例请求
从你想降低风险的实验开始。
这些请求会用具体实验方案设计任务打开维思纳。智能体应起草、审计并暴露假设，而不是把第一版草稿当成可直接运行。