GWAYA（Gwen-Laya Open Model）：面向代码生成模型的 fail-closed 验证层开源仓库

GitHub 仓库 GWAYA（Gwen-Laya Open Model）是一个零信任、fail-closed 的验证层，只有真实编译器和沙箱执行确认成功才接受代码生成模型（如 Qwen / Gwen 系列）的候选代码，无法验证时标记 UNVERIFIED。在 MBPP-sanitized 基准上对 qwen2.5-coder:1.5b，A3（Best-of-3 + 3 轮自修复）在 n=257 复现中 pass@1 提升 +7.78 个百分点（McNemar p<0.001），但未达到预注册的 +8.0 门槛，如实报告为 FAIL；仓库已撤回早期未经核实的 +8.0 以上声明。