x
PETDC: A Mechanical Audit Framework for Trust-Dependent Claims — LessWrong