Yes. The contract has no mint function beyond the public sale and no owner path to issue more machines. 10,000 is the permanent ceiling.
Two real options exist today: stake it for ongoing output, or load it into Print Cash and run it against six already deployed production tokens. Both are live contract interactions, not simulated.
Robinhood Mainnet, chain ID 4663. The contract address is published on the site's Network page and independently verified on Blockscout check it yourself before minting or approving anything.
Trait categories exist and are fixed, but per unit rarity data hasn't been generated yet it'll populate once real metadata is live.