I think the alternative here is to fingerprint input products and optionally double check/invalidate/raise an error if they weren't deterministically produced