pub fn check( kind: Kind, schema: u32, decls: &[ValueDecl], bytes: &[u8], ) -> Result<Vec<Values>, PayloadError>
Decode and check a payload: structure, finiteness and bounds. This is the host’s whole validity rule.