These must always remain true:
INVARIANT 1
NearFun quote asset is always:
3ZLekZYq2qkZiSpnSvabjit34tUkjSwD1JFuW9as9wBG
INVARIANT 2
NearFun does not custody user private keys.
INVARIANT 3
Raw financial values use bigint.
INVARIANT 4
On-chain state is authoritative.
INVARIANT 5
Fee allocations are disclosed before signature.
INVARIANT 6
NearFun never claims creator-fee share is a percentage of total trading volume.
INVARIANT 7
Transactions are not considered successful until confirmed and expected state is verified.
INVARIANT 8
Graduated coins do not continue using the bonding-curve trade path.
INVARIANT 9
Runtime token properties are read from authoritative state rather than guessed.
INVARIANT 10
A failed fee-sharing step must not cause a successfully created token to be lost from NearFun recovery state.