AgentLock 首跑不要先测“能否拦截”：先验证 ALLOW、DENY、DEFER 与版本边界-北京尧图网络

很多 Agent 安全测试一上来就塞一段提示注入然后看工具有没有被拦住。这个顺序不可靠如果你没有记录安装的版本、策略文件、上下文来源和最终决策测试结果无法复现。我在 AgentLock 的首跑里先做四件事。第一分清证据版本。Doramagic manual 当前写的是 AgentLock v1.2.1说明了 ALLOW、DENY、DEFER 三态、签名 receipt 和 hash-chained contextupstream README 当前已经列到 v1.5.0并新增 grant basis、execution confirmation、provenance on denials 和 deferred-resolution logging。两者不能混成一个版本结论。先执行~~~bashpython -m pip install agentlockpython -m pip show agentlock~~~把版本、安装来源和 extras 记录下来。需要 Ed25519 receipt 时再安装~~~bashpython -m pip install agentlock[crypto]~~~第二先验证三态决策而不是只验证拒绝。ALLOW 表示策略允许动作DENY 表示动作被拒绝DEFER 表示风险信号无法由当前策略自动决定需要人工或更高等级处理。一个好的最小测试矩阵至少包含明确允许的低风险工具、命中 deny 规则的工具、第一次调用中风险工具以及策略无法判断的参数。第三给上下文来源做标记。upstream README 把来源分成 authoritative、derived 和 untrusted并用 session write-gate、parameter lineage、deferred commit 约束后续动作。同一个 send_email 调用如果参数看起来完全相同但它是在用户指令之后还是网页内容之后形成的决策应该分别回读。测试时不要只比较字符串。第四验证 receipt 是否真的能解释结果。至少保存 request hash、policy hash、verdict、session ID 和异常类型。DENY 不等于系统崩溃如果调用方把 AuthorizationDenied、RateLimitExceeded 和 ContextIntegrityError 都吞成一个“失败”后续审计仍然无法定位原因。AgentLock 的关键价值不是“让模型变得更安全”而是把工具调用前的授权变成可重放的规则判断。它也有明确边界模型只在文本里完成了说服不产生工具调用时write-gate 无法拦截只读操作造成的风险也不是写门可以全部覆盖工具的 authority 标记错误时策略会建立在错误输入上。因此首跑验收的结论应该写成安装了哪个版本、哪些来源被标记为 untrusted、哪些动作进入了 DEFER、receipt 能否重放以及 benign workflow 的通过率是多少。不要只写“成功拦截提示注入”。来源- Doramagic manualhttps://doramagic.ai/en/projects/agentlock/manual/- upstream READMEhttps://github.com/webpro255/agentlock

AgentLock 首跑不要先测“能否拦截”：先验证 ALLOW、DENY、DEFER 与版本边界

相关推荐

【免费赠书活动】吃透大模型底层数学，从公式原理到产业实战，打通AI进阶全链路

TVA驱动的具身智能迭代逻辑（3）

AI大模型与数学第7课：复合函数求导、链式法则（AI梯度反向传播核心）

更多资讯

高压LDO选型实战：24V转5V低噪声稳压与工业控制板设计

pytorch-seq2seq深度评测：教学型代码到工程化的跨越

Node.js项目实战课件：环境基线、npm ci与自检验收

SA组网下4G/5G互操作参数优化：空闲态重选与连接态切换实战

轴承设计寿命计算公式详解：L10、C/P与修正系数实战

Spring BeanDefinition解析失败排查与解决方案

今日更新

AWS无服务器应用开发指南：从Lambda到SAM的架构与实践

SpringBoot+Vue人事系统实战：解决HR数据断点与事务一致性

MATLAB手写紧束缚模型计算石墨烯能带结构

本周精选

AI驱动的自动化专利分析平台技术解析

LeetCode-Go 题解：1252. Cells with Odd Values in a Matrix（奇数值单元格计数）双解法剖析

在线答疑系统Java毕设实战：Spring Boot前后端分离与状态流转

本月热门

基于YOLO的焊缝缺陷检测：从数据标注到工业部署全流程实践

分布式服务的决策记录

创业产品的首版范围

读完文章，想聊聊您的网站？