Function service_normal_form 

pub fn service_normal_form(
    svc: &CrossContextService,
    types: &HashMap<String, Arc<TypeDecl>>,
) -> String

The canonical normal form of one on call service contract.

Shape: <service>(<param>: <type>, …) -> <type>. Parameter names and order are both included, and both are load-bearing rather than cosmetic: a multi-argument call sends an object keyed by parameter name, and a single-argument call sends the bare value — so a rename or a reorder is a genuine wire change, not a refactor.