Railo

Railo 将安全修复定位为确定性的 AST 补丁，并以 Z3 SMT 检查补丁满足约束。把补丁生成交给可重复的求解器，意味着每个 pull request 都能留下形式化的安全证据，而不是依赖审阅者对自然语言改动的直觉判断。