SuperAPI AI 工具集

ddd-controls

写作与研究

查看项目

更新于 10-16 08:08

技能介绍

用途:ddd-controls 用于把 ddd-ground 提取出的控制义务编译为可执行控制,并在义务变更或 ddd-drift 检测到控制漂移时重新编译。核心原则是:文档规则只有编译为自动化门禁后才可执行,未编译的义务只是配方而非控制。

主要能力:按义务选择可信适配器并生成可执行控制;适配器覆盖架构边界(dependency-cruiser、eslint-plugin-boundaries、import-linter)、安全模式(eslint-plugin-security、semgrep)、API 契约(openapi-validator、pact)、数据不变量(运行时断言、属性测试)、性能(lighthouse、基准 CI)、代码风格(eslint、prettier)以及形式化验证(Dafny、TLA+、模型检查器)。

使用方式:对 .ddd/obligations/ 中每条义务调用 compile(obligation_id, adapter) 生成控制;随后执行三步验证协议:合规夹具必须通过、违规夹具必须以引用义务 ID 的消息失败、变异测试必须捕获故意引入的违规。再设定执行等级:1 文档理由、2 评审清单、3 可执行断言、4 阻塞式自动化门禁、5 形式化/模型检查属性。blocking 对应 4 或 5,warning 对应 2,advisory 对应 1。最后登记编译状态,Level 4 以上控制必须在 CI 中运行并在失败时阻塞,且失败信息须引用义务 ID。

限制:义务尚未提取时应先走 ddd-ground;没有可信适配器时只能输出精确实现配方并标记为 uncompiled,不得声称已强制执行。适配器升级后需重新验证。未在 CI 中运行的控制只能算 Level 1,不能标为 Level 4。资料未提供具体安装命令、价格或平台信息。