Plutus Core spec for Batch 4 inconsistent with conformance tests

[nielstron]

Summary

The plutus core spec of Batch 4, Note 1 contains: "An integer width argument 𝑤 with 0 ≤ 𝑤 < 8192"
The conformance test /builtin/semantics/integerToByteString/big-endian/bounded/max-input-fits-max-width contradicts this by providing width 8192 explicitly.

Also the spec for ByteStringToInteger is [𝚋𝚘𝚘𝚕, 𝚋𝚢𝚝𝚎𝚜𝚝𝚛𝚒𝚗𝚐] → 𝚋𝚢𝚝𝚎𝚜𝚝𝚛𝚒𝚗𝚐 but should be [𝚋𝚘𝚘𝚕, 𝚋𝚢𝚝𝚎𝚜𝚝𝚛𝚒𝚗𝚐] → integer

[kwxm]

Thanks for pointing those out. You're correct about both of them. The width check is done here and indeed it only fails if the length is strictly greater than 8192. We'll fix these shortly.

[kwxm]

I think these should be fixed by #6762.

[effectfully]

I think these should be fixed by #6762.

I'm closing the issue then. Please reopen if something's still off.