synthesizedState

Zero-values per declaration, overridden by supplied values. The zero is the contract's own (zeroValueOf), so a synthesized value is the same value an invalid function result of that type would produce. Enums are why that matters: this once took the alphabetically first member while the contract takes the first declared, so a preview could differ from the engine over the same declaration. Every value satisfies its declaration, so a provider built on this never fails the gate's data check. The quick path uses it; it is public for providers that have nothing better than a zero-value for some keys. The same function on every engine.