SuperAPI AI 工具集

analyze-2-func-specs

编程与开发

查看项目

更新于 10-16 03:43

技能介绍

用途:分析来自 ***plain 规范文件(或跨 requires 模块)的两个功能规范,判断二者是否冲突。适用于用户想检查两个特定功能规范是否相互矛盾时。

主要能力:读取两个功能规范及 definitions 部分以理解所有引用的 :Concepts:;判断时间顺序(哪个规范先渲染,后一个规范在包含前一个的上下文中渲染);按检查清单执行冲突分析。检查项包括:直接矛盾、状态或数据冲突、行为覆盖、范围歧义、共享概念但约束不同。任一问题答案为“是”则可能冲突。

使用方式:用户直接提供两个功能规范,或指出其在文件中的位置。若尚未加载,应先使用 load-plain-reference 技能获取 ***plain 语法规则。

输出:仅输出 COMPATIBLE 或 CONFLICTING 之一,无其他文本、解释、分类标签或解决建议。内部分析不体现在输出中。调用方决定后续处理:COMPATIBLE 则继续,CONFLICTING 则调用 resolve-spec-conflict 生成修复。

限制:仅做冲突判定,不提供修复方案;输出格式固定为单一字符串。