The shared mobile runtime over a platform layer. R is the userland
surface: exactly the services the runtime's publicly runnable effects
require — the facades' MobileRuntimeRequirements plus whatever the
platform's own public flows and screens require. Each member is required by
at least one such effect, and nothing else is accepted: the layer's output
is not the surface, so the raw Transport — ready bytes, around the session
headers, the signature and the host policy — stays out. A platform passes
its set explicitly (createMobileRuntime<AndroidRuntimeServices>(layer, …))
and a type test pins the set.
The shared mobile runtime over a platform layer.
Ris the userland surface: exactly the services the runtime's publicly runnable effects require — the facades'MobileRuntimeRequirementsplus whatever the platform's own public flows and screens require. Each member is required by at least one such effect, and nothing else is accepted: the layer's output is not the surface, so the rawTransport— ready bytes, around the session headers, the signature and the host policy — stays out. A platform passes its set explicitly (createMobileRuntime<AndroidRuntimeServices>(layer, …)) and a type test pins the set.