Aakit

aakit 记录代理的静默假设、证据、反证和 entrenchment，在证据冲突时只重生成受影响的代码与结论。它把假设管理写成三个可被数据否证的实验指标；README 明说当前运行规模很小，尚未产生可发表数字，反而把“允许得到负结果”作为工具设计的一部分。