从计算报告到推导证书[#81]

推导、搜索与独立核验复用同一报告模型，搜索目标、检查手写链并独立验证derivation。