suv11235/autokernel-PBT：为 Agent 生成的计算内核构建 PBT 正确性层

GitHub 新仓库 autokernel-PBT 用 property-based testing（PBT）决定内核编写 Agent 能保留哪些优化，再用形式化验证（FV）认证 PBT 接受的结果。实验显示，省略 max-subtraction 等错误优化可带来 1.11–2.40× 提速，恒定填充"softmax"快 52–54×；廉价 gate 使优化循环 val_bpb 提升 −21.2%、吞吐 +27.7%，并捕获 6 个更快但错误的优化。PBT laws 在 NumPy → Triton 迁移中无需第二实现即可复用，形式化证书核心已在 Lean 4 机器验证；translation 段目前仍为提议、尚未运行。