PlutusScript

The names of the product elements

The name of the type

Whether the ledger can deserialise script as a language script in majorProtocolVersion, following deserialiseScript in plutus-ledger-api.

The script must start with a definite-length CBOR byte string that holds exactly one flat-encoded program and its padding, and the program may use only the builtins available to the language in that protocol version. Bytes after the byte string are allowed in Plutus V1 and V2 scripts and rejected in later languages.

Not checked yet: the bounds that Plutus sets from protocol version 11 on, of 32 on the size of a constant's type and of 1024 on the fields of a constr.