SuperAPI AI 工具集

audit-verify

安全与审计

查看项目

更新于 10-23 23:07

技能介绍

用途

audit-verify 用于验证本地 CocoPlus 产物中 CocoAudit 事件的完整性与合约证据,对应命令 $audit verify [--full]。

主要能力

  • 读取 .cocoplus/audit/、生命周期审计记录以及合约证明产物。
  • 校验仅追加(append-only)顺序、必填字段、时间戳是否存在、执行者/来源溯源,以及在存在哈希时校验哈希链连续性。
  • 使用 --full 时,额外重新检查 CocoContract 证明产物,并报告归档的可证伪检查是否仍能从已提交输入复现。

使用方式

执行 $audit verify [--full]。在继续之前,技能会先确认 .cocoplus/ 是否存在;如果不存在,则输出:"CocoPlus not initialized in this directory. Run $pod init to begin." 然后停止。

输出内容包括:

  • 已验证产物数量
  • 断裂或缺失的链接
  • 合约证明状态
  • 最高严重级别的发现
  • 建议的下一步命令

退出标准

  • 缺失审计产物时,产生明确的 "no audit artifacts found" 结果。
  • 哈希或顺序失败被报告为确定性的审计失败。
  • 合约证明漂移与证明缺失被区分开来。
  • 该命令从不静默修复审计历史。

适用场景

适用于需要验证本地 CocoPlus 审计记录与合约证据完整性的场景,尤其是需要确认审计链未被破坏、合约证明仍可复现的情况。

限制

  • 需要 .cocoplus/ 目录已存在,否则直接停止并提示初始化。
  • 不会自动修复审计历史。
  • 关于收费、价格、平台支持范围等信息暂未提供。