用途:proof-composer 是工程工作流中的最终部署门禁,用于验证整条工程证明链是否有效,并据此授权部署。资料称没有任何内容可在缺少有效组合证明的情况下部署。
主要能力:收集架构、后端、前端、基础设施四类证明;校验所有证明是否引用同一规范版本,防止不同技能使用不同版本导致竞态;验证证明链是否正确组合(架构→后端映射→后端代码→标准化→前端→基础设施);检查缺口,如缺失后端映射、缺失实现、缺失部署配置、缺失前端类型;进行端到端组合校验;生成系统证明证书,其中包含状态、时间戳、规范版本与哈希、组合链、验证摘要、各项证明结果、检测到的缺口、部署授权与错误列表。
使用方式:该技能期望存在 artifacts/engineering/ 下的证明与产物目录,包括 proofs/architecture、proofs/backend、proofs/frontend、proofs/infrastructure,以及 specifications/manifest.json、maps/backend、code/backend、code/frontend、configs 等。资料给出了收集证明、校验版本一致性、验证证明链、检查缺口、端到端组合校验与生成证书的函数示例,这些为内部流程示意,未提供独立安装或调用命令。
适用场景:处于由 system-architect、backend-prover、standardization-layer、frontend-prover、infrastructure-prover 组成的六步工程链末端,作为部署前的最终校验环节;输出为 JSON 证书,成功时 deploy_authorized 为 true,失败时列出错误与修复建议。
限制:资料未提供具体的安装命令、外部调用方式、平台要求、收费或价格信息,也未说明其在真实项目中如何被触发执行。上述内容均暂未提供。