Multiplicity annotations in Orion track how many times a parameter is used directly in the current function's scope. When a parameter is passed to another function, that counts as exactly one use—the called function's internal handling of that parameter is irrelevant to the caller's multiplicity contract.
This enables automatic inference with zero user annotation burden while preserving complete memory safety.