Concept
Verification Contracts
Pre-registered, machine-evaluable assertions about generated output.
mnemehq.com/concepts/verification-contracts