Deferred Execution Semantics
Kind: constraint
Layer: Execution Core
Record: lexicon:deferred-execution-semantics
Canonical: Lexicon
The requirement that a computation's semantics defer its work until the result is demanded.
Listed in Lexicon terms, after Debuggability/Resource Lifetime and before Eager Full Materialization.