用途:检查一批 ***plain 功能规格之间是否存在成对冲突,替代逐对调用 analyze-2-func-specs 的流程。若尚未获取 ***plain 语法规则,应先使用 load-plain-reference。
输入:两个及以上的功能规格,常见来源包括整段 functional specs 段落自检、新增规格与同文件既有规格及 requires 模块、或调用方明确列出待比较的规格片段;还需 definitions 段及导入定义以解析 :Concept:。规格需可识别,调用方未标注时按出现顺序赋 S1、S2、S3…;调用方提供 ID 或引用片段时须原样保留。
工作方式:读取全部规格与相关定义,确立批次内的时间顺序(较早规格视为先渲染,较晚规格在较早规格的上下文中评估;调用方已给顺序则保留);枚举全部 i<j 的无序对,跳过既不共享 :Concept: 也无重叠主题的对;对剩余对套用同一冲突清单,一次批量完成而非要求逐对调用。任一清单问题答案为“是”即判为冲突。清单涵盖直接矛盾、状态或数据冲突、行为覆盖、范围歧义、同概念不同约束(条件细化不算冲突)。
输出:无冲突对时仅输出 COMPATIBLE;有冲突时输出 CONFLICTING,随后按字典序逐行列出冲突对,形如 S1 x S4。仅列冲突对,不列兼容对,不给理由、类别或解决建议;输入少于两个规格时输出 COMPATIBLE。标识符须与调用方提供的一致,否则使用回退编号。
限制:该技能不解析冲突原因、不提出修复方案,后续处理由调用方决定(通常对每个冲突对调用 resolve-spec-conflict)。未提供时,具体语法细节、安装命令与运行环境暂未提供。