Kern 推出面向 AI 生成代码的零信任验证网关

Kern 是一款面向 AI 编程智能体的零信任验证网关，通过 Z3 SMT 求解器与形式化证明替代传统 CI 的测试通过判定。该系统由 Zig 编写并在 Lean 4 中完成 32 项定理验证，引入 Belnap B₄ 四值逻辑（已证明、已驳回、无证据、冲突），防止无断言测试或未覆盖边界条件的幻觉修复绕过 CI。