Compile-Time Inputs
Kind: constraint
Layer: Declarative Core
Record: lexicon:compile-time-inputs
Canonical: Lexicon
The requirement that the inputs a computation needs be known at compile time so it can run then.
Listed in Lexicon terms, after Build Complexity and before Early Error Detection.