Transforms one upstream value without reading live state or performing effects. The value has the upstream's declared type, including null when permitted. Failures propagate to the caller; a runtime must release its acquired observations on failure.