5 层算法层可流片就绪认证协议（P12）
2 例零配合外部审计发现的原作者未知缺陷（F2/F3）
w*=9 / 6对 naive 与 Strassen² 的盈亏平衡位宽（P12）
P9→P12清单 → 证书 → 定价 → 认证，一条链可复算
相关论文（4）
P9 · BILINEAR COMPLEXITY
小尺寸双线性矩阵乘法算法的可验证加法清单与鸽笼下界
Machine-Verified Addition Inventories and a Pigeonhole Lower Bound for Small-Size Bilinear Matrix-Multiplication Algorithms
10.5281/zenodo.23031199 · 可验证加法清单与鸽笼下界
P10 · CERTIFICATE ARCHITECTURE
双线性矩阵乘法算法的机验证书体系与递归成本理论：从加法清单到部署定价
Machine-Checked Certificate Architecture and Recursive Cost Theory for Bilinear Matrix-Multiplication Algorithms: From Addition Inventories to Deployment Pricing
10.5281/zenodo.23031225 · 机验证书体系与递归成本理论
P11 · OPTIMIZATION → CERTIFICATION
从优化到认证：矩阵乘法方案的机验、召回与部署定价
From Optimization to Certification: Machine Verification, Recall, and Deployment Pricing of Matrix-Multiplication Schemes
10.5281/zenodo.23031227 · 机验、召回与部署定价
P12 · TAPE-OUT READINESS
AlphaEvolve 方案的算法层可流片就绪认证：快速矩阵乘法硬件的数学机验、召回审计与部署定价
Algorithm-Level Tape-Out-Readiness Certification of the AlphaEvolve Scheme: Machine Verification, Mutation-Recall Audit, and Deployment Pricing for Fast Matrix-Multiplication Hardware
10.5281/zenodo.23052802 · AlphaEvolve 方案流片就绪认证
边界（如实标注）：认证在唯一公开的秩-48 RTL 实现上完成，是算法层认证——不覆盖物理层（时序/功耗/工艺）；w* 数字依赖门当量模型口径；AlphaEvolve 指其公开方案，非本组复现。