SuperAPI AI 工具集

bulletproof

通用与其它

查看项目

更新于 10-15 22:41

技能介绍

用途:Bulletproof 是一个事实核查与命令证据留存技能,其立场是“可被核查的东西都不可轻信”。

两种模式:一是验证(Verification),需提供明确的声明集,或已完成的评审产物(其声明为目标);diff 只能作为证据,本身不构成声明集。需固定目标与一个稳定状态标识,保持只读,对每条显式声明以及承载结论的隐含声明评为 Supported、Unsupported、Unverified 或 Blocked。实质运行会生成一个产物,type: inspection、method: bulletproof、target: <path-or-stable-identifier>。二是实现证据(Implementation proof),在代码或验证工作后保留决定性的命令事实,无需声明集或评估,也不为此单独创建产物。两种模式都不修改目标、不实现工作、不检查已完成工作是否符合管理要求,也不接受或交付任何东西。

验证方式:提取全部声明,包括结论成立所必需的假设;说明每条声明的支持与证伪条件;优先检查权威本地来源,外部事实检索主要外部来源;在证据缺失、过时或间接时运行安全、非改动式检查;每条声明记录一行 ID | Assessment | Evidence;分歧只依据证据解决,不依据信心、权威、共识或投票;若声明集或边界仍有实质歧义,停止并指出缺失输入,不得臆造声明或边界。

位置:将 ~/.agents/artifacts/<workspace>/ 解析为绝对路径,<workspace> 取自仓库或工作目录 basename,写入该目录;不得写入仓库、厂商存储或操作系统临时目录,不得覆盖无关工作,冲突时选择可读的独立文件名;根目录不可写则报告创建失败并停止。

证据留存:短小决定性输出记录一次;原始输出会主导产物时,写相邻的 evidence-<slug>.md 凭证,含稳定 E-NNN 锚点、确切命令与工作目录、状态标识与退出状态、未经改动的原始输出;将每条被支持声明映射到锚点,一次运行可支持多条声明;检查中只保留决定性原文摘录与凭证链接;不得将命令输出转述为证据、不得按声明重复运行、不得把可重跑的上游输出当作当前证据。实现证据在代码或验证后各记录一次决定性运行,含确切命令、工作目录、状态标识、数字退出状态和决定性未改动原始输出;有任务包时使用,否则在对话中放置精简记录;不单独创建 inspection 或其他产物。该路径只记录运行了什么,不修改目标、不实现工作、不评估实质声明集、不给出裁决。

结束:验证在每条声明都评估后停止;实现证据在每次必需运行都有完整命令记录后停止;无 inspection 产物时在对话中返回一次决定性证据;下游仍需 inspection 时只返回其可点击绝对路径;在真正生命周期关闭时跳过仅路径交接,改为给出处置选择。仅当本技能是最终消费者、存在非空临时产物集、此前未出现处置提示、且没有下游步骤需要由当前工作创建或消费的临时产物或附属文件时提示一次:Delete、Leave 或 Promote,涵盖全部临时路径,绝不替人决定。限制与收费信息暂未提供。