ProofCanonical proof records — a bounded test with an artifact and a buyer-defined acceptance criterion.