Clarify the idea that this is about the chain integration

schoen · schoen · commit 3b9fa9b30599 · 2026-01-21T13:49:52.000-08:00
diff --git a/docs/documentation/execution-model.md b/docs/documentation/execution-model.md
@@ -1,4 +1,4 @@
-# Simplicity execution model
+# On-chain Simplicity execution model
 
 Simplicity is a special-purpose language. It works in the context of the Bitcoin transaction model on Bitcoin-like blockchains. This is sometimes also called the "<glossary:UTXO> model." If you're already familiar with Bitcoin Script and the role it plays in the logic of Bitcoin transactions, you can think of Simplicity as a more expressive alternative to Bitcoin Script, useful for writing more complex conditions (such as recursive <glossary:covenant>s that can propagate conditions across multiple subsequent transactions).
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# Simplicity execution model`
	`1`	`+# On-chain Simplicity execution model`
`2`	`2`
`3`	`3`	Simplicity is a special-purpose language. It works in the context of the Bitcoin transaction model on Bitcoin-like blockchains. This is sometimes also called the "<glossary:UTXO> model." If you're already familiar with Bitcoin Script and the role it plays in the logic of Bitcoin transactions, you can think of Simplicity as a more expressive alternative to Bitcoin Script, useful for writing more complex conditions (such as recursive <glossary:covenant>s that can propagate conditions across multiple subsequent transactions).
`4`	`4`