A smart contract is a program deployed on a blockchain that executes automatically when its conditions are met: funds release on delivery, a token transfers on payment, a vote closes at the deadline. No party can alter the outcome once deployed — which is the point, and the risk: the code is the contract, including its bugs.
That immutability is why audits and testing carry more weight here than anywhere else in software — a discipline built into our Web3 work.