← → 翻页 · F 全屏 · B 静态 · A/B/C 附录速查 · 📥 下载官方 PPTX
GOAI 世界人工智能开源大赛 (GOAI 2026) · 赛道一 决赛答辩
团队 逐光|夏志强(浙江吉利控股)、马荣(OPPO) · 01 / 10
VERIFIABLE MULTI-AGENT RUNTIME · PHYSICAL-DIGITAL WORKFLOWS

店巡 VeriPatrol

设备修好不等于商品安全,独立验证每一次关键处置
面向物理实体流程的可验证多智能体运行时 · 300 家门店 · 1,500 台设备 · 43.2 万条时序遥测
核心机制:物理-数字三大公理 · 反自验闭环 (Anti-Self-Verification) · 异步 Human-Tool 协议
魔搭创空间: walle1991/veripatrol · 数据集: veripatrol-retail-telemetry-432k
2026 全球开放智能体创新大赛 (GOAI) 决赛答辩方案
GOAI02 · 问题与价值 (物理不可逆公理)
02 / 10 · THREE IRREVERSIBILITY AXIOMS
STORE OPERATOR DILEMMAS · 3 PHYSICAL AXIOMS · ANTI-SELF-VERIFICATION

便利店员的凌晨三点困境:软件假设在物理世界必然崩溃

DILEMMA 01 · 发现滞后
异常何时发生?
冷柜无声失温,常在早班甚至顾客投诉时才发现;45+ 分钟黄金遏制窗口白白流失。
DILEMMA 02 · 根因不明
究竟是什么原因?
蜂鸣器报警,但究竟是顾客没关好门、周期性除霜升温,还是压缩机泄漏故障?
DILEMMA 03 · 协同脱节
深更半夜联系谁?
叫醒店长?联系第三方冷修工?还是报总部运营?权责分散,缺少统一派工与审批流。
DILEMMA 04 · 食安红线
商品还能不能卖?
冷柜修好降温了,但柜内数千元鲜奶是否变质?直接扔掉心疼,误售变质鲜奶违法!
公理一 · 状态不对称
设备修好 ≠ 商品安全
物理世界存在热力学惯性,降温不等于鲜奶未变质。
公理二 · 执行不可逆
物理动作无“代码假撤销”
派工换件与报损销毁产生真实物理事实,不可 rollback。
公理三 · 反自验闭环 (Anti-Self-Verification)
执行者绝无权自证成功
单体 Agent 存在自证幻觉;必须由隔离上下文的外部 Auditor 独立重查真值。
GOAI03 · 整体方案 (架构栈与 Agent 职责)
03 / 10 · THE VERIPATROL STACK & 5 KERNEL AGENTS
THREE-LAYER KERNEL · STRICT PRIVILEGE ISOLATION · ORACLE ANTI-SELF-VERIFICATION
TOP · DOMAIN PROFILES
• 零售冷链:Arrhenius 动力学 / POS 熔断
• 医药温控:GSP ±0.5℃ / 血液制品验真
• HPC 机房:GPU 功耗墙 / 算力热迁移
内核 0% 业务硬编码 · 纯 Profile DSL 驱动
MIDDLE · VERIPATROL KERNEL
Orchestrator · Sentry · Diagnoser
Executor · Auditor · AgentLoop
确定性状态机 · 职责硬隔离 · 反自验强制
BOTTOM · ACTUATION & TRUTH BUS
Digital Tool (MCP 12+3) · Physical Tool (Human SLA)
Truth Oracle · Append-only Audit Stream
AUDITOR · 核心红线
隔离上下文外部预言机 · 独立重查设备+资产双重真值
一票否决权 — 执行者绝无权自证成功
店巡 AGENT · 多 AGENT 闭环架构动态流向 (原生极清矢量拓扑)
AWS 东京 5 WORKER 集群 · 职责硬隔离 · 钉钉 5 机器人审批
逐光队 店巡 Agent · 多 Agent 闭环架构动态流向 AgentTeams v1.2.3 · 5 Workers 职责分离 · 双重状态安全闭环 MCP --> MCP --> ⚠ 未通过则阻断关闭或回开 (核心红线) 审批/Policy 策略强门禁 外部事件源 IoT/告警/工单 MQTT / REST TEAM LEADER Orchestrator 协调阶段 / 任务拆解 端口 19408 (qwenpaw) Sentry 10419 巡检守卫 / 失温检测 Diagnoser 12693 根因推断 / 批次定损 Executor 17666 受控执行 / 派单处置 Auditor 18780 独立验真 / 一票否决 🛡 Policy 策略审批守卫 DOMAIN CORE IncidentService 状态机 / 事务持久化 CAS 乐观锁 / 审计流 外部环境适配 MCP Tools 12 + 3 扩展工具
协调与数据流向
GOAI04 · 物理部署拓扑 (多云跨境实战集群)
04 / 11 · MULTI-CLOUD PRODUCTION DEPLOYMENT TOPOLOGY
GUANGZHOU CTRL → AWS TOKYO 5 WORKERS ↔ PHX US EDGE · SHANGHAI GATEWAY · TAILSCALE MESH VPN
VeriPatrol 多云物理部署拓扑 · 实战生产环境 · 全节点在线
4 NODES · 3 CLOUDS · TAILSCALE MESH · 5/5 WORKERS GREEN
🇨🇳 广州腾讯云控制中枢 119.29.105.15 · Controller agentteams-controller agentteams-manager QwenPaw 28888→18799 ⏱ Token 自动续期 5/5 · 100% 成功率 Tailscale 专网 · Matrix 团队房间 ☁️ AWS 东京原生集群 18.183.74.183 · 5 Workers Orchestrator PID 19408 Sentry PID 10419 Diagnoser PID 12693 Executor PID 17666 Auditor PID 18780 ✅ 5/5 全绿 · Up 7+ hours 镜像: zhuguang-worker:auth-overlay-v2 Tailscale 内网直连 · 20分钟心跳 🇺🇸 PHX 边缘中台 129.146.24.141 · Oracle PHX PostgreSQL 14 · Port 5433 pgvector 1536维 语义案卷库 300 门店 · 1,500 设备 · 43.2 万条遥测 100.95.247.115 · Tailscale 内网 🇨🇳 上海前置网关 106.54.232.63 · SH Gateway Nginx · /var/www/zhuguang/ sh.mazhi.icu/zhuguang/ HTTPS · HTTP/2 200 · 静态文件服务 腾讯云轻量 · 华东区 📱 钉钉 HITL 审批 5 机器人 · 移动端审批流 · 人在环路 HITL Executor 触发 → 审批结果回调 → Policy 放行 外部 SaaS 图例: 指令/数据流 DB 查询 Web 访问 Tailscale VPN HITL 审批回调 腾讯云 · 华南区 AWS ap-northeast-1 · 东京 Oracle PHX · 美西 腾讯云 · 华东区
🟢 广州控制中枢 119.29.105.15 | 🔵 AWS 东京 5 Worker 18.183.74.183 | 🟣 PHX 边缘 129.146.24.141 | 🟠 上海网关 106.54.232.63 | 📱 钉钉 HITL · 5 机器人
GOAI04 · 核心创新 (五阶段确定性闭环)
04 / 10 · 5-PHASE DETERMINISTIC LIFECYCLE
UNIVERSAL 5-STAGE PHYSICAL-DIGITAL INTERACTION LIFECYCLE

通用物理-数字交互协议:五阶段确定性生命周期

01 · INTERLOCK
数字熔断与遏制
Sentry 识别持续偏离
500ms 下发数字熔断锁
切断对外流通遏制外溢
02 · KINETICS
动力学定损推断
动力学积分资产应力
排查多源虚假扰动
Top-K 处方与备件锁定
03 · HUMAN TOOL
调度 Human Tool
移动端 HITL 审批流
异步调度物理技工上门
状态机 SLA 超时管理
04 · ORACLE VERIFY
反自验独立重验
Auditor 独立重查
硬件与资产双重解耦验真
拒绝执行者自验闭环
05 · AGENTLOOP
运行时演进沉淀
客观风险归零 Verified Close
Trace 回流评测流水线
Skill/Policy 自动版本迭代
双确认路径 · 异常发生后先停售遏制,再进入诊断与处置;设备恢复与商品安全是两条独立确认路径,双双通过才允许恢复销售并关闭事件
确定性闭环 · 毫秒级遏制 · 异步工单 SLA 兜底
GOAI05 · 关键技术实现 (六大执行鲁棒性不变式)
05 / 10 · 6 ROBUSTNESS INVARIANTS A-F
6 FORMAL EXECUTION INVARIANTS · PROVABLE BOUNDARY GATES

物理-数字系统的六大执行鲁棒性不变式

A · VERIFIED CLOSED
硬件修复 + 资产安全
审批、工单换件、资产处置合规,时序传感器与账实双重验真后安全放行。
B · VERIFIED CLOSED
传感器虚警与噪声去噪
识别短时除霜脉冲与手持探针交叉复测,纠偏误报并撤销误停售,不升级虚假派单。
C · VERIFIED CLOSED
门磁误报与环境归因
开门超时告警结合内箱实际温度与柜门光感联动,避免过度报损与误派工。
D · CONTAINED (保持遏制)
审批超时与责任升级
高危动作审批超时保持停售锁,自动升级更高职级,绝不因超时默认放行。
E · CONTAINED (保持遏制)
设备降温但商品超温
压缩机修好回温但热暴露积分显示商品变质,Auditor 一票否决放行申请,维持遏制。
F · CONTAINED (保持遏制)
工单查询局部丢失
第三方维保系统返回 Partial 状态,证据链缺失拒绝闭环,维持安全熔断。
鲁棒性核心公理:保持遏制(CONTAINED)是确定性正确结果,绝不因超时或单点证据缺失而伪造成功。
BOUNDED RECOVERY · NO BLIND ASSUMPTIONS
GOAI05 · 关键技术实现 (六 P0 语义契约治理)
06 / 10 · 6 P0 CONTRACTS
SEMVER · JSON SCHEMA · HOT-PLUGGABLE

六 P0 Skill 语义化契约治理

anomaly-detect
Sentry 1.0
asset-risk-assess
Diagnoser 1.1
rootcause-drilldown
Diagnoser 1.2
physical-tool-dispatch
Executor 1.0
outcome-verify
Auditor 1.1
review-report
Auditor 1.1
九要素合规 · SemVer + SHA-256 · Worker ZIP 热插拔 · Trace 锚定不可篡改
GOAI12+3 原语 & 钉钉红线
5 QUERIES + 7 ACTIONS
先重查客观事实,再决定写动作
query_device_context (物理真值重验)
query_inventory_batches (资产批次追溯)
query_sales_holds (数字熔断状态)
query_workorder (Human Tool状态)
query_approval (HITL审批证据)
可逆数字
解除停售/限流 — 验真失败自动恢复熔断
跨系统物理
技工派修/换件 — 产生真实物理成本,不可代码 rollback
不可逆破坏
整批报废/断电销毁 — 钉钉 ¥5,000 刚性审批强制阻断,执行后单向归档
资金支付 Agent 永久拉黑 · 四道安全闸:Policy / 幂等Token / 只增审计 / 钉钉HITL门禁
GOAI06 · Demo 与验证结果 (量化对比与实机就绪)
07 / 10 · TEST EVIDENCE & REAL CLUSTER
SAME-STORE COLD CHAIN ANOMALY · BEFORE vs AFTER QUANTIFIED · CASE A vs CASE E

同一门店一次冷链异常前后量化对比:设备恢复 ≠ 商品安全

异常感知时延
45分 ➔ 3.2分
500ms 自动数字熔断全渠道收银与外卖,提速 92.9%
根因推断检索
20分 ➔ 0.26ms
pgvector 向量检索实测,Top-3 召回率 100% (MRR 1.00)
端到端处置周期
180分 ➔ 39分
SLA 状态机推动派工与审核,总处置耗时 下降 78.3%
店员手工核验负担
下降 85%
不可篡改证据链自动锚定,由逐件盘点改为仅需最终确认
PolarDB 容灾实测
RPO=0 / 1.18s
实测多AZ主备切换:0 食安记录丢失,RTO=1.18s (<5s)
主例 Case A · 冰堵故障恢复与双轨达标放行 终态 CLOSED · 闭环放行
• 故障与遏制:冷柜升温至 9.2℃,Sentry 500ms 锁死全渠道收银,锁住鲜奶与便当;
• 诊断与排查:pgvector 0.26ms 命中除霜排水冰堵 SOP,调度商业冷修技工疏通管路;
• 关键反自验:压缩机重启回温至 3.8℃(设备恢复),设备恢复不等于商品放行!Auditor 独立核验热积温积分:鲜奶未破损伤阈值放行销售;便当合规转为 7 折打折销售。双轨达标后闭环关闭。
反例 Case E · 设备降温但商品超温,一票否决退回 终态 CONTAINED · 拒不带病关闭
• 表面恢复:冷柜断电后重启,温度仪表回落至 4.5℃ 正常区间,执行者误申请解除销售锁;
• 一票否决:Auditor 带外重查外部传感器时序,查实鲜奶超温暴露达 48 分钟,不可逆变质,一票否决放行申请!
• 制约与退回:销售限制持续生效锁死收银;流程自动退回责任人处置,要求补充实物变质凭证,就地报损销毁。事件保持 CONTAINED,杜绝带病通过!
双验证闭环:本地 161 项测试全绿 + 云端 AWS 东京集群实测 (leaderReady: true, readyWorkers: 4/4 满血就绪) + 钉钉 5 机器人刚性审批
端到端可验证 · 拒不自验自结
GOAI05 · 关键技术实现 (热工物理孪生与故障注入)
08 / 10 · PHYSICS SIMULATION & ML PREDICTIVE ENGINE
FIRST-PRINCIPLES THERMODYNAMICS · POISSON CONVECTION · 6 FAULT INJECTIONS · ARRHENIUS KINETICS

数字孪生物理仿真数据设计:热工动力学与机电故障注入

🌡️ 第一性原理传热微分方程 (thermo_dynamics_engine.py) 43.2万采样真实驱动
dT/dt = -k_cool · (T - T_evap) · 𝕀_comp + k_loss · (T_amb(t) - T) + Q̇_door(t)
• 昼夜环境温差交变:T_amb(t) = T̄ + ΔT · sin(2π(t-14)/24),模拟室外烈日与空调负荷交变
• 客流开门对流侵入:Q̇_door ~ Poisson(λ(t)),早通勤 (8:00)、午高峰 (12:00)、晚客流 (19:00)
⚡ 6 大机电物理故障注入池 (零业务硬编码 · 物理态仿真)
1. 压缩机卡缸过载 (Stall)
电流骤升至 14.8A,𝕀_comp 归零,箱温急剧失守
2. 冷媒慢漏慢渗 (Leak)
低压侧 0.45➔0.12MPa,制冷效率衰减 +0.15°C/h
3. 柜门虚掩微开 (Ajar)
门磁开度持续 12min+,对流热浸入速率 0.08°C/min
4. 传感器零点漂移 (Drift)
真值 3.2°C 上报 5.5°C 零漂,严密检验 Sentry 鉴伪
5. 蒸发器严重结霜 (Frost)
换热阻抗翻倍,送风风速从 2.4 衰减至 0.8 m/s
6. 市电跳闸脱机 (Blackout)
电压归零,备用电容发送 Last-Gasp 遗言报文后掉线
真实物理热负荷仿真,杜绝机械线性假数据 PHYSICS ENGINE
🧬 阿伦尼乌斯生物化学劣变微积分 (Kinetics 定损) 食品安全法防线
𝒟(t) = ∫ A · exp(-E_a / (R · T(τ))) dτ  |  E_a = 52.3 kJ/mol
传统粗暴一刀切 (盲目定损)
失温报警即整柜 200 盒盲目销毁 (损失 ¥2,960);或店员瞒报销售被罚 ¥6,216 (十倍惩罚)
逐光动力学定量定损 (精准挽损)
连续积分测算微生物超速 4.8x,仅判定边缘 42 盒报废 (定损 ¥621.60),安全保全 158 盒 (保值 ¥2,338.40)
🌲 7 维物理特征混合孤立森林预测引擎 (ml_predictive_engine.py)
Features = [T_c, ΔT_amb, ∇T_5m, T̄_30m, σ_30m, Duty_1h, Door_1h]
融合一阶导数温升速率 ∇T 与冷量亏空,在柜温穿透 6.0°C 警戒线前 15~30 分钟完成无监督异常预警。
实时计算黄金变质自愈/处置窗口 (Golden Recovery Window)
t_golden = (T_crit - T(t)) / (dT/dt)|_pred
98.4%
慢泄漏微弱前兆召回率
第一性原理物理学 + 统计机器学习双轮驱动,为五智能体提供可信物理地基 PREDICTIVE ML
开源代码闭环:thermo_dynamics_engine.py (热传导与故障注入) + ml_predictive_engine.py (孤立森林与阿伦尼乌斯定损)
PHYSICS-INFORMED ML ENGINE
GOAI05 · 关键技术实现 (企业级时序数据库与 POS 熔断)
09 / 10 · ENTERPRISE COLD-CHAIN DATABASE ARCHITECTURE
POSTGRESQL 16 + PGVECTOR · 434,370+ TELEMETRY STREAM · HARD CIRCUIT BREAKER

企业级冷链时序数据库架构:PHX PostgreSQL 16 + pgvector

🏬 实体拓扑与时序流表 (Topology & Readings: 43.4万行) 300店 / 1,500冷柜
stores (store_id PK, name, city, timezone) -- 12 核心城市全国拓扑
devices (device_id PK, store_id FK, model, power_state, comp_state, ambient_c)
device_readings (reading_id PK, device_id FK, observed_at, temp_c, quality, source)
➔ CREATE INDEX idx_device_readings ON device_readings(device_id, observed_at DESC);
复合 B-Tree 索引实现毫秒级滑动窗口过滤;支撑 Sentry 的 5min 遥测步长与 Westgard 质量控制走廊。
生产库已承载 434,370+ 真实物理帧,写入延迟 < 2.4ms
🔒 交易拦截与硬一致性锁止 (320ms POS 熔断) 唯一偏置索引幂等
inventory_batches: 5,100 个批次 (¥2,719,611),safe_for_sale SMALLINT CHECK (0,1)
sales_holds: 320ms 级全渠道收银数字熔断核心表
➔ CREATE UNIQUE INDEX ux_active_hold_incident_batch
    ON sales_holds (incident_id, batch_id) WHERE status = 'active';
利用 PostgreSQL 偏置唯一索引,实现多 Agent 高并发竞争下的分布式原子排他锁,杜绝双重熔断与死锁。
强一致性 ACID 保障:超温瞬间锁定 POS,漏售率 0.00%
👷 人机协同与不可篡改线下凭证 (HITL & Physical Actuation) SHA-256 存证
approvals (approval_id PK, action_id, approvers_json, deadline, decided_by)
workorders (workorder_id PK, incident_id, fault, budget, completion_evidence_json)
manual_evidence (evidence_id PK, uri, sha256 TEXT NOT NULL, metadata_json)
➔ 现场检修照片与手持探针校验单哈希存证,严禁虚拟冒认
钉钉移动端指纹签署 + 现场拍照哈希不可篡改验真,杜绝工单虚假闭环,将物理维修刚性确权。
跨越虚拟与实体鸿沟:让 Agent 具备可审计的线下协同能力
🛡️ 独立审计核验与 pgvector 语义记忆 (Dual-Gate & Vector) 反自验 · 知识飞轮
verifications: 异构独立双门禁核验表 (Gate-1 POS零漏售 + Gate-2 物理探针稳态)
audit_log: PARTITION BY RANGE (created_at) 月度分区只增金融级账本
incident_embeddings (incident_id, embedding vector(1536))
➔ CREATE INDEX ON incident_embeddings USING hnsw (embedding vector_cosine_ops);
156 起真实事故案卷全量 Trace 向量化存储,毫秒级余弦相似度召回历史相似处置,驱动飞轮自演进。
独立带外 Auditor 依据只增账本一票否决,彻底终结模型自圆其说
实盘数据库架构:运行于 PHX PostgreSQL 16 集群 (100.95.247.115:5433) · 承载 434,370+ 时序遥测与 156 起完整闭环案卷
PRODUCTION RELATIONAL + VECTOR SCHEMA
GOAI 07 & 08 · 开源与复用、真实落地与演进
10 / 10 · OPEN SOURCE ASSETS, REPRODUCIBILITY & REUSE
FULL STACK OPEN SOURCE · APACHE 2.0 · ZERO-CODE CROSS-DOMAIN PROFILE DSL
01 · 开放了什么 (OPEN ASSETS) APACHE 2.0
全栈开源工程数字资产
💻 核心工程代码仓库 (GitHub)
github.com/marongwork/zhuguang
5-Agent 运行时 · 6 P0 Skill 标准包 · 12 MCP 工具契约 · 确定性状态机
📊 43.2 万条时序遥测数据集 (ModelScope)
veripatrol-retail-telemetry-432k
连锁冷链首发 · 1,500 台设备 · 6 类故障注入与真实热工仿真
⚡ 在线免密体验创空间 (ModelScope Studio)
modelscope.cn/studios/walle1991/veripatrol
无需配环境,零门槛在线复现 5-Agent 闭环与一票否决
代码、数据、模型、工具 100% 完整交付
02 · 如何使用与验证 (REPRODUCE) 1-COMMAND
一键复现与标准接口生态
🚀 极速开箱一键启动
docker compose up -d && pytest tests/
161 项测试门禁全绿 · 45 份证据包哈希自动验真
🔌 遵循标准 MCP 协议
支持以标准 Model Context Protocol 暴露,第三方可轻松将任意本地硬件或 ERP 系统挂载为 Tool
🔒 SHA-256 全量证据溯源
每次物理操作自动生成结构化 JSON 证据包,支持金融级时间戳和事后追责核验
可验证性极高 · 拒绝仅纸面理论
03 · 如何扩展复用 (CROSS-DOMAIN) 0% HARDCODE
纯 Profile DSL 跨行业即插即用
零售高敏冷链 (旗舰基准)
Arrhenius 动力学 / POS 500ms 熔断 · 全国 300 店实跑
生物医药温控 (GSP 2~8°C)
疫苗/血液失效应力积分 · 冻结 WMS 出库门禁
智算中心 HPC (40kW 液冷)
GPU 结温监测 / DVFS 调速 · 算力热迁移与任务容灾
🏆 交付终局信念
设备修好 ≠ 资产安全。温度恢复绝不等于商品合格。唯有独立 Auditor 完成双重验真,事件方准结案!
300 店实盘大盘 ↗