TypeScript readonly arrays: shallow safety, deep pitfalls

TypeScript's readonly modifier only prevents top-level mutations, leaving nested objects mutable. Type widening can strip readonly from literals unless using as const. Deep immutability requires recursive types or as const, with tradeoffs in ergonomics and inference.