触及
图谱中一个已验证的结论 —— 带着裁决与完整的证据轨迹 —— 被打包成一份内容寻址的契约:结论、一个预测结果、每一条带出处的轨迹边,以及一个执行请求。
WetHands 是 Peel 运行时伸出图谱、触及真实世界的地方。一个已验证的结论变成一次真实实验;观测到的结果作为证据回到知识图谱 —— 全程在受限的、类型化的权限之下,交接终端始终掌控。文献、结构、化学、通路、计算台,以及台面上的仪器本身 —— 一个受治理的控制台,一份契约,一本账本。
研究原型 · PILOT-READY。计算实验与人在环的实验室交接今天即可运行;自主的物理机器人调度架构已就绪,尚未构建。下文直说。
WetHands 把科学循环合成为一次受治理的通行。没有一步是"发出即忘",也没有任何东西不劳而获地进入记录。
图谱中一个已验证的结论 —— 带着裁决与完整的证据轨迹 —— 被打包成一份内容寻址的契约:结论、一个预测结果、每一条带出处的轨迹边,以及一个执行请求。
规划器只从所选环境实际暴露的能力来组合调用者的意图。缺失的能力不会被凑合 —— 它返回 UNPLANNABLE 并列出确切缺口,记录在案并拒绝。
计划被提交给环境的"手" —— 一个仿真、一位人类技术员,或(经由同一接口)一台真实仪器。每一步都是类型化的能力调用,运行前先做边界校验。
终端轮询执行者并把观测结果带回 —— confirmed、refuted 或 inconclusive。交接从不是发出即忘;运行时一直掌控到结果回来。
只有 physical 级环境返回 confirmed/refuted 才可写回证据 —— 作为从每个见证到结论的 supports_claim / conflicts_with 边。仿真,或一句"说不清",会被记录但永远不会变成事实。
图谱如今持有该实验的裁决,与预测它的结论相连,以执行者作为出处。下一次推理像走任何证据一样走它 —— 循环由此累积。
WetHands 把可供性(任何一套手能做什么)、环境(实际有哪些手)、计划(某个具体目标如何由它们组合)三者分开。把台面从仿真换成真实机器人,是注册一份字典 —— 而不是重写科学。
能力描述手能做什么,而非它是什么牌子:aspirate、dispense、mix、heat、measure_absorbance、read_sensor、label。每一个都带机器可校验的参数模式 —— 体积 0.1–10,000 µL、温度 4–121 °C、波长 200–1000 nm —— 在任何东西移动之前快速失败地校验。
每个后端 —— 仿真、注射泵装置、人类技术员、云实验室 —— 都以能力字典的形式,藏在同一个协议后面注册(capabilities · submit · check · collect)。每个都声明一个 evidence_grade。这个等级是承重的诚实:只有 physical 环境才可能铸造图谱证据。
规划器接过调用者的意图(比如一次梯度稀释),只从所选环境暴露的能力来组合它。绝不部分执行、绝不替换、绝不猜测 —— 缺口是一个诚实的 UNPLANNABLE,附上确切的 missing_capabilities,记录并拒绝。
一个模块拥有契约与整个生命周期。每一次调度,包括每一次拒绝,都进入一条可回放的审计轨迹。
build_contract 裁决 + 轨迹 + 每条带出处的证据边 + 调用者的 predicted_outcome + 执行请求 → SHA-256 内容寻址 dispatch_handoff 校验完整性 → 依环境发现的能力规划意图 → PLANNED ?submit(contract, plan):UNPLANNABLE / blocked → 拒绝并记录 check_handoff 轮询 executor.check(ref) —— 终端始终掌控 collect_result 重新校验完整性 → 记录结果 → 把 physical 证据门控进 floor list_handoffs 审计轨迹 —— 每一次调度,包括每一次拒绝
由裁决推导的调度策略,确定性:SUPPORTED → verified · UNKNOWN → exploratory(实验正是未知被解决的方式)· CONFLICTING → blocked(从不交接)。一条没有出处的轨迹边,会在任何调度之前就抛错。
能让机器人吸液的系统很多。难的是当机器人 —— 或驱动它的模型 —— 出错时,仍让记录保持诚实。WetHands 把这件事做成了结构性的。
仿真永远无法变成事实。只有 physical 级环境返回 confirmed/refuted 才会铸造图谱证据;仿真或不确定的结果会被记录,但绝不会被洗成真相。floor 不会把一场哑剧、或一句"说不清",变成一条引用。
每个动作都是带边界的类型化能力,运行前先校验;计划只从台面实际暴露的东西组合。没有"随便试试"的路径。环境缺失的能力会以其确切名称被拒绝 —— 而不是用一个看起来相近的去近似。
交接不是发出即忘。运行时持有契约、轮询执行者、在回来的路上重新校验完整性,并亲自闭合循环。一个与其内容哈希不符的结果会被拒绝 —— 实验无法悄悄改写下达它的那个结论。
护城河不是"我们能开一台吸液器"。而是:一个已验证的结论、一份受限的计划、一次真实的观测、一条图谱边,被焊接进同一份可审计的契约,任何不真实的东西都无法在这次往返中存活。符号控制越过答案,一路延伸到台面。
WetHands 让运行时同时把手放在你所有的工具上 —— 并全程处于监督之下。
终端轮询每个运行中的交接以获取状态,并按需带回部分与最终的观测。你看着实验推进;绝不会在没有证据支撑时被告知"完成"。
WetHands 任务通道以磁盘落地的状态在工作区下运行至多 24 小时的脱离实验。拔掉控制台的电,任务 —— 及其记录 —— 在你回来时仍在。
wetware_job_start · wetware_job_status · wetware_job_output · wetware_job_cancel · wetware_jobs任何任务都可在运行中检视并干净地取消。权限受限、且在可能处可逆 —— 操作者,或者门,永远拥有最后决定权。
实验室写下的一切 —— 协议、结果、记事本 —— 都是同一根目录下工作区内的文件操作,因此一次运行的全部纸面记录同处一地、同行同止。
wetware_write_file · wetware_read_file · wetware_move · wetware_remove · list_workspace那个能搜 PubMed、折叠蛋白、走通路的控制台,也在驱动台面 —— 经由同一份来源契约。WetHands 让一个文献发现、一个结构、一个变异、和一次物理测量,坐进同一张图谱、彼此可达。
十九个公共科学服务 —— 文献、结构、基因组、变异、化学、通路 —— 每个答案都钉定到它的数据库、登录号与 URL,否则就是一个错误。
数据旁的 Python —— biopython、pandas、scipy、RDKit —— 在仪器取回的东西上做序列工作与化学信息学。诚实标注:进程隔离,不是安全沙箱。
类型化能力、可替换的环境、交接终端 —— 把已验证的结论变成实验、把实验变成证据的那条通道。
一次有代表性的交接:一个已验证的结论被立约、依台面规划、被调度,结果被门控回来 —— 或被拒绝。在你的浏览器里实时重放。
出货格式下的代表性会话。步骤名(build_contract、dispatch_handoff、check_handoff、collect_result)与证据门是真实的终端行为;标识符随运行而变。
这里的标准是企业级的诚实。WetHands 是 PILOT-READY:架构、契约、门,以及两个可用的环境,今天即可出货。物理机器人调度架构已就绪、尚未构建 —— 我们把这话写在页面上,而不是脚注里。
完整能力集、确定性执行,针对一个仿真台面(孔位、体积、由浓度推出的吸光度)。evidence_grade = "simulated";collect() 总是报告 inconclusive —— 它验证计划,绝不验证世界。
计划变成一份编号的工单(.md + .json)写入 outbox;由人执行并写回一个结果文件,collect() 解析它。evidence_grade = "physical" —— 一个 confirmed/refuted 的结果可以铸造图谱证据。
任何后端都可经点分路径(pkg.module:ClassName)在同一个四方法协议后面解析 —— 云实验室、机器人桥、注射泵装置。接口已在;针对某台具体仪器的生产适配器,是一次合作构建,而非我们今天做出的宣称。
交接终端随一套聚焦的测试出货,覆盖契约、规划、拒绝、完整性重校验,以及证据门 —— "仿真无法变成事实"这条不变量由测试钉住。
把它说成今天在驱动物理机器人。它还没有 —— 尚未。它做的是更难、更有价值的那部分:让从结论到台面再到证据的路径可审计、不可伪造,好让一台真实仪器接入接口时,记录里没有任何东西需要靠信任来接受。
我们与研究伙伴围绕一个有边界的问题和明确的成功定义搭建试点实验室 —— 知识通道、计算台与 WetHands 终端跑在你的机器上,在同一个门、同一本账本、同一份来源契约之下。若你有一台想接入接口的仪器,告诉我们。
研究原型。不用于诊断、治疗决策,或替代实验验证。