Order of operations, when to throw or silently do nothing?

• Should sliceToImmutable with reversed start and end throw an exception even though slice with the same arguments would not?

• Should trying to write data in an immutable ArrayBuffer via a TypedArray element set throw, even though trying to write out-of-bounds or to a detached ArrayBuffer does not?

• Should TypedArray write methods (copyWithin, fill, reverse, set, etc.) throw when their backing ArrayBuffer is immutable but the targeted range is zero-length? If so, how early or late in the algorithm? The methods currently inspect arguments after ValidateTypedArray.

Similarly,

• How early or late in SetViewValue against an immutable ArrayBuffer should an exception be thrown? It currently inspects arguments before IsViewOutOfBounds.

• Likewise for abstract operations such as ArrayBufferCopyAndDetach (which currently checks IsSharedArrayBuffer, then newLength, then IsDetachedBuffer).

• And also for Atomics functions.

Revisa las operaciones enumeradas—sliceToImmutable, TypedArray write methods, SetViewValue, ArrayBufferCopyAndDetach y Atomics—y compara su orden actual de validación. El issue solo estará completo cuando la propuesta resuelva cuándo deben producirse los errores de buffers inmutables en relación con las comprobaciones de argumentos, límites, desvinculación y longitud cero.