Documentation · 06
Under the hood.
You do not need this page to hold Diecast. It exists so you can know why the rules hold — which mechanism enforces each one, and which mechanism is conspicuously absent.
Where each rule lives
| Rule | Where it lives | Why it holds |
|---|---|---|
| Supply of 400,000 DIEC | Written at construction. | No function exists that creates DIEC. |
| Trade Fee of 2% | A fixed constant of the contract. | No setter accepts a new value. |
| The struck face | Chosen by the deployer at construction, stored permanently. | No second strike, no restrike authority. |
| The split on every transfer | The transfer logic reads the face each time. | The read is part of the transfer; it cannot be skipped. |
| Retired supply stays retired | Retirement moves DIEC out of circulation. | No reissue path exists for anyone. |
| Your balance is yours | Standard token accounting. | No authority can shift a holder's DIEC. |
| The market cannot be paused | There is no pause switch. | Absence is the enforcement. |
The deployer's powers, in full
The deployer makes the Face Choice at construction. That is the whole list. After construction the deployer is one address among many: unable to shift a balance, unable to halt trading, unable to restrike, unable to reissue. If a capability is not in this table, the contract does not have it.
The struck face is a public reading from block one, so none of this requires trust in this site. The next page shows the verification itself.