关于typescript中父子类型的疑问

最近在学阮一峰老师的typescript教程，关于父子类型有些疑问。
阮一峰老师教程中说readonly number[]是父类型，但是普通数组我觉得是包含只读数组的，所以普通数组才应该是父，而这里为什么不能把只读赋值给普通数组，我觉得这个情况是例外。

这里好理解，就是b包含了a，b是父类型，a是子类型。

到后面number[]和readonly number[]时有点疑惑。
如果说ts中字义了，100%子类型可以赋值给父类型，那在这里说readonly number[]是父类型还可以，但是普通数组我觉得是包含只读数组的，所以普通数组才应该是父，而这里为什么不能把只读赋值给普通数组，我觉得这个情况是例外。
之后我又问了chartgpt，也说的是普通数组才是父。

不知道这里该怎么解释？