falsifiability
Make an agent prove its claims with checks it was not allowed to write. The check is frozen before the run, then audited for the ability to fail at all.
kpopper is a checkable knowledge record for AI-assisted projects: decisions linked to their evidence, assumptions and falsifiers.