Smart contract
Code deployed to a network that executes rules automatically when it receives a transaction.
Token behaviour, transfer restrictions and reserve logic are implemented in contracts whose addresses are published on the asset page.
Audited code can still contain defects, and upgrade paths are part of what an audit examines.