Function dispatch_tool_invocations_bounded 

pub async fn dispatch_tool_invocations_bounded(
    tools: &ToolRegistry,
    invocations: &[ToolInvocation],
    config: &ToolResultEnvelopeConfig,
) -> Result<Vec<BoundedToolInvocationResult>, KernelError>

Dispatch normalized tool invocations and bound every result with config.

Existing dispatch helpers intentionally return raw tool output so hosts can decide where and how to preserve full results. This helper is for the prompt/model boundary: it applies ToolResultEnvelope after successful dispatch and returns the bounded, replayable result records.