I know that the array is there, but that doesn't convince me that those 100k scalars are built at compile time

I showed the array is created at compile-time.

I showed that once the list is built, it's not freed.

I showed through memory usage monitoring that the list is built at compile-time.

Not sure what else you want.

No matter how big I chose the number in the range, I can't see increased memory consumption at compile time, which is why i suspect they aren't created at compile time.

What's your test? Are you mistakenly using for (CONST..CONST) instead of the range operator?