EICPS 的神经-符号接口协议要求每条执行指令附带形式化证明。
本工具演示完整的三步流程：
① Proposal（VLA 大脑生成语义指令）→
② ActionPlan（Φ 接口物理投影）→
③ EvidencePack（STL 时间逻辑自动验证）。
只有 verdict = ACCEPTED 的指令才会下发给脊髓执行。
① Proposal — VLA 语义指令
STL 规约配置
G[0,T] (d_obstacle > 2.0m) — 全程障碍距离 > 2m F[0,30s] (dist_to_goal < 0.5m) — 30s 内到达目标 G[0,T] (speed < v_max) — 全程速度合规 正在加载 Pyodide…
流程追踪
Proposal
→
ActionPlan
→
STL 验证
→
EvidencePack
仿真轨迹与 STL 信号
上图：机器人与目标距离（蓝）及障碍物距离（橙），下图：速度（紫）。 红色阴影区域 = STL 规约违反时段。