Kernaut 开放带构造契约验证的科学核函数发现框架

MIT框架提供Python 3.11命令入口和无需API密钥的离线例子；离线例子重放预定义模型回复，真实探索需另配模型。Agent提出特征映射或输入变换，可信后端以保持半正定性的构造规则组装核函数，记录验证、评分和发现历史。只有契约认证候选进入接受档案，归档还可保留拒绝历史。数值样本检查不是对所有输入的证明，契约保证依赖可信解释器正确性；子进程、资源限制与受限导入也不构成敌对代码的安全沙箱。