pva-spec
pva-spec 是 NVIDIA 技能库中的一个技能,用于在实现之前为 NVIDIA PVA 算子创建并验证行为规范、测试矩阵、证据清单,并生成确定性的 OpGen 交接文件。它只负责定义行为契约与测试矩阵,不实现算子,也不调用 OpGen。该技能接受自然语言描述、需求文件、公开需求 URL、部分或完整规范、参考实现或已有算子名称等输入,解析任务模式(新建、变更、修复)、PVA 代际(GEN2、GEN3 或两者)、SDK 与 Solutions 版本、宿主 API(C、C++ 或两者)、EMU 策略以及工作目录与项目根目录。它要求 Doctor 的公开参考语料检查为 PASS,并校验 SDK 参考索引与锁文件的一致性,否则返回 BLOCKED。技能按优先级收集需求,输出 operator-spec.json、test-matrix.json 和 evidence.json 三个严格 JSON 文件,要求每条需求有稳定 ID、来源与权威标注,并至少有一个带独立预期结果的正确性用例。最后通过 finalize_opgen_inputs.py 脚本生成并校验 opgen-inputs.json,只有两次命令均通过后才将文件交给 OpGen。