用途：Attest 用于验证实现是否符合规格。它从规格中提取全部验收标准，为每条标准生成 BDD 场景，静态比对实现证据，输出逐条判定与可追溯性矩阵，并对实现缺口做对抗性探测。
主要能力：采用 IEEE 1012-2024 的 V&V 分类（inspection、analysis、demonstration、test）与完整性等级（1-4，默认 2）标定验证深度；按 ISO/IEC/IEEE 29148 检查需求质量并标记 QUALITY_DEFECT；用 E0-E6 证据阶梯声明每条标准的证据下限，存在 security_impact 或 data_impact 时下限为 E4；读取预期值源自实现本身的“循环验证”判定为 PARTIAL 而非 PASS；支持 Schemathesis、Tracetest、PactFlow HaloAI、Reqnroll 等工具建议。
使用方式：工作流为 INGEST → EXTRACT → GENERATE → VERIFY → ATTEST。模式自动识别：仅有规格为 EXTRACT，规格加测试为 AUDIT，显式要求对抗性为 ADVERSARIAL，默认 FULL（规格加实现）。子命令包括 verify、bdd、trace、report、gherkin、property、oracle，首个 token 匹配即激活对应 Recipe。
适用场景：SaaS、电商、仪表盘、API 等需严格验收标准一致性核查的交付；也用于可追溯性与覆盖缺口审查。
限制：仅做静态验证；性能阈值、并发行为、视觉渲染、外部 API 集成、UX 质量等运行时项标为 NOT_TESTED。无规格时抛 SPEC_MISSING，不直接改代码，补救交接给 Builder 或 Scribe。BDD 场景不得写成实现后测试脚本。供应链来源字段（sbom_ref、signature_ref、provenance_attestation）仅在具备 Sigstore/Cosign/SBOM 基础设施时附带，否则标记为 skipped。具体收费与价格资料暂未提供。