Vigil

摘要

Vigil 是 MIT 许可的 mobile GUI agent symbolic-verification runtime：从 Android observations 构建 EFSM，让神经模型只提出 guard/invariant 候选，再以确定性 admission 与 runtime shield 决定动作能否执行。（来源：2026-10-20 CUA 开源项目审计）

核心内容

基本信息

• 实体类别：mobile CUA verifier/runtime。
• 关键名称或版本：open-vigil 0.1.0；提交 e9064a5dbdba。
• 时间范围：2026-10-20 首次公开。

重要事实

• action 与 frozen intent、activity/package、source state 与 expected successor 绑定；证据不足返回 UNCERTAIN 而不是允许。（来源：2026-10-20 CUA 开源项目审计）
• 仓库没有 tests/CI，且不含论文 benchmark/experiment assets；本地只确认源码可编译。（来源：2026-10-20 CUA 开源项目审计）

关系与影响

它把 Computer-Use Agent 的安全检查从自然语言提醒变成可拒绝执行的模型外 contract，并为 Execution-Based Agent Evaluation 提供 successor/invariant evidence。

分歧与变化

源码存在不等于论文结果可复现；完整 rebuild/evolution loop 仍由外层 Agent 调度，不构成严格 RSI。

相关页面

• 概念：Computer-Use Agent、Execution-Based Agent Evaluation、Harness Engineering
• 实体：SolveBind
• 主题：Browser and Computer-Use Agents

来源

• 2026-10-20 CUA 开源项目审计

待核实问题

• 需公开 tests、benchmark artifacts，并在真实 Android device/emulator 复现 false allow/deny 与恢复行为。