SuperAPI AI 工具集

claim-safety

通用与其它

查看项目

更新于 10-15 22:12

技能介绍

用途:claim-safety 用于 Forge 多智能体/多工作者环境下的领取安全。核心观点是“claiming is not owning(领取不等于拥有)”:同一 actor 的重复领取会以相同幂等键重放并返回 ok:true,因此 ok:true 本身不能证明独占所有权;租约过期后还会被下一个领取者接管。任何要修改已领取 issue 的技能或智能体都应嵌入此验证步骤,它不被折叠进单一编排器,可独立使用。

主要能力:提供所有权验证原语 forge issue owns <id>,当且仅当你持有唯一未过期租约时退出码为 0,否则非零(冲突,代码 4),并给出“you do not own the lease for <id> (held by <actor>)”提示。该命令是严格只读,不修改内核状态。JSON 形式为 forge issue owns <id> --json,返回 ok、owned、claimed_by、expired、actor、expires_at。actor 解析顺序与内核一致:FORGE_ACTOR → FORGE_SESSION_ID → 默认 forge。

使用方式:先选工作 forge issue ready --json(不要领取史诗/决策或延迟窗口项);领取 FORGE_ACTOR=<your-actor> forge claim <id>,务必使用不同的 actor;改动前运行 forge issue owns <id>,退出 0 才继续;工作后、关闭或释放前再次验证;仍持有时运行 forge release check --target <release-ref> --json,再执行 forge close <id> --reason "…" 或 forge release <id>。若 ok:false 或非零,应重新选工作并重来,绝不改动、关闭或释放他人的租约。

限制:完整的多智能体安全依赖 actor 身份内核修复(每个智能体使用不同 actor,内核 d71a824b);若无不同 actor,两个智能体会共享同一幂等键,owns 无法区分。无可用时钟或状态时应按失败关闭处理,视为所有权未获证明。租约到期、TTL、重复验证频率与重新选择策略属于可配置的 fork 点。具体安装方式、收费与平台支持等信息暂未提供。