实验数据库

每条记录先定义假设与方法，再记录结果。尚未运行或无法复现的结论统一标为 UNVERIFIED。