THE RUNTIME MODEL
Four stages. Each one is a binding between something abstract and something that actually exists on-chain. Hover a stage to expand it.
EXECUTION
A program is not a document about what should happen. Once it is deployed, running it is the happening.
function execute() {
hook();
captureFee();
updateState();
}CONCEPTUAL UI ONLY — NOT THE DEPLOYED CONTRACT SOURCE
In an ordinary system, a rule is written down and something else carries it out — a job, an operator, a multisig. The gap between the two is where discretion lives, and discretion is where systems drift from their own descriptions.
A Hook removes the gap. The rule and its execution occupy the same transaction. What the code says is what the chain does, in the same block, without an intermediary step in which anyone could choose otherwise.
SYSTEM LOG
The experiment, narrating itself. Each line corresponds to something that happened on-chain.