千笔-AIWritePaper · https://www.aiwritepaper.comAgent 能很快从原始表跑出一张宇宙学风格的斜率图不等于结果可审查。缺了输入校验和文件可以被静默替换命令行事后改参YAML 里仍写着旧参数决策条目没有理由人类无法判断为何选 3σ 而非 5σ结论里的 0.042 若不链到证据条目数字就悬空。AI 产出越快这四类断裂越危险。本文依据 UC OSPO Network 频道全校虚拟聚会October 2026 All-Campus Meetup: Lightcone Research: AI-assisted science with rigor at its core讲者 Francois Roussel、Liam 等Berkeley BIDS / CNRS 合作语境2026-10-01约 58 分钟整理。讲者关于 Astra 式 YAML schema、科学决策与理由、provenance 展示以及在宇宙学研究上让 agent 复现可核验分析等论述均为视频口述未经第三方核实。实验部分是我构造的 5 步迷你分析与四道闸门故障注入_w/science-provenance-gate/不代表 Lightcone 产品本身。图上排为输入/命令/决策/证据中排为金标准与四类故障底部为 G1至G4 种植路径 FAIL。目标说明读完你应能独立完成四件事。说清 YAML 溯源里输入、命令、决策、证据各记什么。为 AI 辅助分析设置四道闸门并写出失败含义。在 5 步迷你管线上注入换文件、改参数、无理由、无证据链观察闸门是否拦住。当天跑完最小实验把日志与 CSV 留下禁止无证据链接的结论数字进正文。视频要点溯源优先于「逐字节重跑」经验未经第三方核实开场由 UC OSPO / Berkeley 侧引入 Lightcone Research在 AI 时代用 agentic 系统交付更严谨的科学并强调 provenance 与 reproducibility。Francois RousselCNRS与在 Berkeley 物理系的联合负责人 Liam 介绍项目背景AI 正改变科研写作与共科学家co-scientist式多智能体闭环任务复杂度上升后更需要可审查的基础设施。核心工程抓手是名为 Astra 的约定在仓库里放一份 YAML描述项目输入数据文件、输出指标/图/数据、用于再生结果的命令行以及更关键的科学决策例如是否标准化、选哪类分类器与选择理由可挂 prior insight。人类可读层可用类 Markdown 插件弹出决策与 provenance 盒演示中还提到输入目录哈希、agent 所做决策集合与证据。宇宙学方向上他们讨论用该方法论让分析可复现、可检查。边界schema 仍在演进欢迎反馈本篇闸门只钉「四类记录是否完整可对上」不评价具体宇宙学科学结论。记录类视频描述工程含义输入数据文件列入 YAML须带校验和防静默替换命令再生结果的命令行须可重放且与真实运行一致决策选项、选择与理由rationale 不能空证据支撑决策/结果的链接结论数字必须链到证据 id失败含义agent 跑通管线 ≠ 可发表的可审查科学缺任一记录类溯源在该处断裂。四道闸门与失败含义闸门检查什么失败含义G1 输入校验和输入是否记录 sha且与磁盘一致文件被换仍沿用旧结论编号G2 命令可重放声明命令是否等于实际运行事后改参无法按 YAML 重放G3 决策含理由每条科学决策是否有 rationale人类无法审查 agent 选择G4 结论链证据结果数字/图是否挂 evidence_id数字悬空无法回溯对应选题禁区输入无校验和、命令不可重放、决策无理由、结论无证据链接。闸门只钉实验记录纪律不扩展到投稿平台策略。当天最小实验5 步管线 四类故障金标准catalog_v1.csv写入 sha256 前 16 位五步 load→cuts→fit→metric→plot决策含 σ 切与线性模型理由results/metric.json的 slope0.042 链到ev_metric_slope。种植故障后输出原样G1 输入缺校验和/被替换 金标准对照 PASS recorded8591ff83a46c36a8 disk8591ff83a46c36a8 G1 输入缺校验和/被替换 缺校验和且静默替换 FAIL missing_checksumTrue observedb6630d57eb2101c2 gold_disk8591ff83a46c36a8 driftTrue G2 命令不可重放/事后改参 金标准对照 PASS steps5 replayableTrue G2 命令不可重放/事后改参 运行后改 sigma FAIL declaredpython pipeline/cuts.py --sigma 3.0 --out work/clean.parquet actualpython pipeline/cuts.py --sigma 5.0 --out work/clean.parquet mismatchTrue G3 决策缺理由 金标准对照 PASS decisions2 all_have_rationaleTrue G3 决策缺理由 决策条目无 rationale FAIL missing_rationale_ids[dec_sigma, dec_model] G4 结论无证据链接 金标准对照 PASS outputs_linkedTrue evidence_ids[ev_metric_slope, ev_prior_cut] G4 结论无证据链接 结果数字无 evidence_id FAIL conclusion_slope0.042 evidence_idNone claim_has_numberTrue 合计检查8 FAIL4 PASS4 管线步骤5 闸门终裁: 输入须带校验和 | 命令须可重放且与运行一致 | 决策须含理由 | 结论须链到证据 | 讲者 Astra/YAML 溯源经验未经本脚本核实逐条读法G1缺校验和且运行期观测哈希与金标准磁盘不一致静默替换→ FAIL金标准哈希对齐 → PASS。G2YAML 仍写--sigma 3.0实际运行改成5.0→ FAIL五步声明可重放 → PASS。G3dec_sigma/dec_model的 rationale 被清空 → FAIL金标准两条均有理由 → PASS。G4正文声称 slope0.042 但evidence_idNone→ FAIL输出表链接证据 → PASS。与讲者边界同向要让 agent 产出可核验必须把输入、命令、决策理由与证据链接写成一等公民而不是事后补叙事。选型终裁表可抄走能力宣传是否采纳人类必做失败含义agent 自动跑完分析可作加速核对四类 YAML 记录无溯源的快速结果无哈希输入也算可重复不采纳写入并核对 sha静默换文件事后改参仍用旧 YAML不采纳运行日志≡声明命令不可重放决策列表无理由不采纳逐条补 rationale无法科学审查结论数字无证据 id不采纳强制 evidence_id数字悬空常见误判「代码在仓库里就够了」G2 表明声明与实跑不一致时代码存在也不可重放。「决策很显然不必写理由」G3 专拦空 rationale。「图上有数就是证据」G4 要求显式 evidence 链接不承认悬空数字。「换文件但结论差不多」G1 在哈希层直接 FAIL不讨论数值是否接近。验收清单每个输入文件有校验和CI 比对磁盘。每步命令可复制重放运行日志与 YAML 一致。每条科学决策有选项、选择与 rationale。正文/图中的关键数字挂 evidence_id。CI 跑science_provenance_gate.py四类种植保持 FAIL对照保持 PASS。验收清单输入文件 sha 写入 provenanceCI 比对磁盘。五步或等价命令可复制运行日志与声明一致。每条科学决策含选项、选择与 rationale。结果数字与图挂 evidence_id并可打开链接目标。CI 跑science_provenance_gate.py种植 FAIL、对照 PASS 可复现。最小 YAML 字段可抄输入pathsha256_16。命令stepcmdline。决策idchoicerationaleevidence_ids。证据idclaimlinks。输出pathevidence_id。缺字段即对应闸门红灯。字段名可按 Astra 演进替换门禁语义保持不变。协作时谁写哪一列数据负责人锁输入哈希分析负责人锁命令行领域负责人写决策理由稿件作者只引用已链接证据的数字。agent 可以起草 YAML但四类记录的签字仍是人。合并前跑闸门禁止「先发图后补 provenance」。当天 30 分钟落地5 分钟为当前项目复制prov/astra_gold.yaml骨架填输入路径。10 分钟录五步命令与两条决策理由。10 分钟注入/加载 faults 夹具跑四闸门脚本。5 分钟把失败含义贴进 SOP开真下一次 agent 分析前先过 G1至G4。跑闸门前确认data/catalog_v1.csv与prov/astra_gold.json同仓库缺文件应报错。把smoke_output.txt与 CSV 一并归档换机器后做哈希级对照。踩坑只存最终图不存输入哈希。交互改参后不更新 YAML。用「默认设置」四个字代替 rationale。把模型口头「看起来合理」写进结论当证据。多 agent 并行改同一 provenance 文件无锁。伪成功 provenance 怎么对照金标准对照时先固定金标准输入哈希、五步命令原文、带 rationale 的决策、带 evidence_id 的输出。伪成功侧故意做出「看起来完整」的 YAML文件名没变但字节被换且无校验和声明仍写 σ3.0实跑改成 5.0决策列表在理由字符串为空论文句有 slope0.042 却不挂证据 id。验收脚本只做文件级检查不调用真实宇宙学软件。这样设计是为了让闸门讨论可复现换 agent 平台时换夹具即可人类必做列不变。实践上建议把终裁拆成三道门。第一道开跑前输入哈希是否写入。第二道跑完后声明命令是否等于运行日志。第三道决策理由与证据链接是否齐全。三道都过才允许把指标写进结果段。任何一道失败输出退回草稿区禁止用「agent 已跑通」作结案理由。与自驱动闭环闸门如何分工自驱动科学闭环闸门盯假设版本、判别阈与失败轮日志本篇盯YAML 四类溯源记录。两者可连用闭环负责「轮次是否诚实」溯源负责「输入/命令/决策/证据是否可审查」。夹具目录分开避免一篇文章混用两套禁区叙事。闭环编号与改规则的边界允许改 σ 切或模型选择但不允许偷换记录。若必须改命令参数或决策应新开 provenance 版本号把旧 YAML 冻结为只读并在新文件写明「继承自哪一版、变更了哪一步」。旧运行的输入哈希与命令日志仍保留不得回写为「从未改过」。迷你实验里 G2 与 G1 专拦后一种行为同一项目编号下改参或换文件却不更新记录一律 FAIL。失败含义速查闸门失败含义下一步G1输入身份不确定补 sha拒收无哈希运行G2无法按声明重放对齐运行日志或开新版本G3决策不可审查补 rationale 与选项G4数字无法回溯挂 evidence_id 后再写正文若把 provenance 导出为人类可读报告报告中的数字也必须带来源 id避免「报告层」再次悬空。脚本闸门通过后再生成报告而不是先写漂亮报告后补 YAML。 团队可将四闸门勾进 PR 模板缺校验和、命令漂移、空理由、无证据链任一项红灯即不得合并结果段。总结AI 辅助科研要站得住需要把输入、命令、科学决策与证据写成可检查记录。四道闸门分别拦住无校验和换文件、事后改参、决策无理由、结论无证据链。5 步迷你实验里四类种植全部 FAIL四条对照 PASS。选型终裁应写清人类必做与失败含义并在换 agent 平台时复跑同一脚本。讲者关于 Astra/YAML 溯源与可核验复现的方向与本实验闸门同向但其宇宙学细节与产品能力未经本脚本核实。溯源闸门日志与禁区归档可用千笔-AIWritePaper 整理分层骨架与脚本不依赖产品名。