Hasty Briefsbeta

双语

Jev in practice: typed decisions, scoped authority

3 hours ago
  • safe-upgrade 是一个基于 Jev、LangGraph 和 Tenuo 构建的开源依赖升级代理,用于自动化和安全地进行依赖升级。
  • Jev 通过 Choice API 将仓库证据转化为类型化的概率决策,返回所选选项、置信度和概率,可用于程序化路由。
  • 可信的确定性代码首先计算符合条件的操作;然后 Jev 在其中进行选择,而低置信度或无效响应则回退到确定性路由。
  • LangGraph 通过带有检查点的持久化工作流传递决策,在运行过程中保留仓库事实、发现、尝试和证据。
  • Tenuo 提供任务范围的权限:父运行授权设置最大上限,子会话为每个工作器缩小工具、路径、参数、生命周期和委托能力。
  • 职责被分离并强制执行:测试作者编写测试,实现者编写源代码,验证者阅读并运行检查;未经授权的工具调用在执行前被拒绝。
  • 在 CI 中,GitHub Actions 权限限制工作流身份,而 Tenuo 授权将每个委托任务绑定到特定的包、版本、分支和生命周期。
  • 安全性来自于封闭的决策、有范围的执行、分离的职责、独立的证据、受控的过程以及明确的不确定性,形成了一种超越升级的可复用模式。