Hey, poser—here is the technical documentation showing exactly how a token’s fixed supply can be minted and allocated at creation.
“Pre-minted” is the more precise term, but your claim that a token cannot be created in advance is still dead wrong.
Read it and weep:
https://docs.openzeppelin.com/contracts-cairo/2.x/guides/erc20-supply
Starknet is not a blockchain currency. It only uses blockchain for trading. There is no Starknet 'coin'. It has no blockchain algorithm, just a blockchain to conduct a transaction. It is an attempt to scale Etherium.
Etherium is a blockchain currency.
It is not possible to 'pre-mint' a 'coin'.
You still don't understand what a blockchain currency is.
BitCoin is a blockchain currency. It also uses blockchain to conduct transactions. The blockchain algorithm of BitCoin is a SHA256 hash with at least 19 leading zeros. This places an inherent limit on the number of 'coins' that can be discovered (known as 'puzzles').
Etherium uses a truncated (modulated) SHA-3 hash for it's blockchain, again creating a limit on the number of 'coins' discoverable.
The source you linked to does not discuss either hash algorithm defining the blockchain. It shows code to create a 'supply' of Starknet linkages (wallets). It does not create a 'coin' or define any blockchain currency at all.
But this reiterates my problem with blockchain currencies. People like you don't understand them, so they will never come into general use.
BitCoin is currently facing another problem...the length of the blockchain, which gets longer and longer with each transaction. There is currently no way to scale it. It's like the old days of the 'host' files before DNS, but there is no DNS for BitCoin or any other blockchain currency.
Starknet is trying to become one, but it won't work. It only adds another layer of transactions an a blockchain that already lengthens with each transaction. Etherium is not as popular, so it's blockchain isn't a big problem yet, but it suffers from the same inherent non-scalability as BitCoin does.