Noema：用 LLM 提案、Z3 验证 + 沙箱执行的神神经符号工程系统

GitHub 上的开源项目 Noema 是一个神经符号系统：由 LLM 提出方案，用 Z3 对形式化契约进行验证（不可用即 fail-closed 拒绝），再经 Docker 沙箱执行，全程留下可审计的推理记录。其 Phase 1（Architect）已生产就绪，Phase 2 自主自愈和 Phase 3 多节点 grid 联邦仍在开发中，支持 Python 3.11+，12 个演示无需 API key。