Enum FinalCoreResult 

pub enum FinalCoreResult {
    Discover(ServerDiscoverResult),
    Completion {
        result: CompleteResult<FinalCompletionResult>,
        diagnostic: Option<ResultPeerDiagnostic>,
    },
    ToolsList {
        result: CompleteResult<FinalListToolsResult>,
        diagnostic: Option<ResultPeerDiagnostic>,
    },
    ToolsCall {
        result: CompleteResult<FinalCallToolResult>,
        diagnostic: Option<ResultPeerDiagnostic>,
    },
    ToolsCallInputRequired {
        result: InputRequiredResult,
        diagnostic: Option<ResultPeerDiagnostic>,
    },
    ResourcesList {
        result: CompleteResult<FinalListResourcesResult>,
        diagnostic: Option<ResultPeerDiagnostic>,
    },
    ResourceTemplatesList {
        result: CompleteResult<FinalListResourceTemplatesResult>,
        diagnostic: Option<ResultPeerDiagnostic>,
    },
    ResourcesRead {
        result: CompleteResult<FinalReadResourceResult>,
        diagnostic: Option<ResultPeerDiagnostic>,
    },
    ResourcesReadInputRequired {
        result: InputRequiredResult,
        diagnostic: Option<ResultPeerDiagnostic>,
    },
    PromptsList {
        result: CompleteResult<FinalListPromptsResult>,
        diagnostic: Option<ResultPeerDiagnostic>,
    },
    PromptsGet {
        result: CompleteResult<FinalGetPromptResult>,
        diagnostic: Option<ResultPeerDiagnostic>,
    },
    PromptsGetInputRequired {
        result: InputRequiredResult,
        diagnostic: Option<ResultPeerDiagnostic>,
    },
    SubscriptionsListen {
        result: CompleteResult<FinalSubscriptionsListenResult>,
        subscription_id: RequestId,
        diagnostic: Option<ResultPeerDiagnostic>,
    },
}

Final result dispatch for the currently supported core methods.

Every complete branch carries the bounded final complete-result algebra. tools/call, resources/read, and prompts/get additionally carry the final MRTR input_required branch. An absent resultType is accepted only by the separately selected legacy result decoder.

Variants

Discover(ServerDiscoverResult)

server/discover.

Completion

completion/complete.

Fields

result: CompleteResult<FinalCompletionResult>

diagnostic: Option<ResultPeerDiagnostic>

ToolsList

tools/list.

Fields

result: CompleteResult<FinalListToolsResult>

diagnostic: Option<ResultPeerDiagnostic>

ToolsCall

tools/call.

Fields

result: CompleteResult<FinalCallToolResult>

diagnostic: Option<ResultPeerDiagnostic>

ToolsCallInputRequired

tools/call requires client input before a retry.

Fields

result: InputRequiredResult

diagnostic: Option<ResultPeerDiagnostic>

ResourcesList

resources/list.

Fields

result: CompleteResult<FinalListResourcesResult>

diagnostic: Option<ResultPeerDiagnostic>

ResourceTemplatesList

resources/templates/list.

Fields

result: CompleteResult<FinalListResourceTemplatesResult>

diagnostic: Option<ResultPeerDiagnostic>

ResourcesRead

resources/read.

Fields

result: CompleteResult<FinalReadResourceResult>

diagnostic: Option<ResultPeerDiagnostic>

ResourcesReadInputRequired

resources/read requires client input before a retry.

Fields

result: InputRequiredResult

diagnostic: Option<ResultPeerDiagnostic>

PromptsList

prompts/list.

Fields

result: CompleteResult<FinalListPromptsResult>

diagnostic: Option<ResultPeerDiagnostic>

PromptsGet

prompts/get.

Fields

result: CompleteResult<FinalGetPromptResult>

diagnostic: Option<ResultPeerDiagnostic>

PromptsGetInputRequired

prompts/get requires client input before a retry.

Fields

result: InputRequiredResult

diagnostic: Option<ResultPeerDiagnostic>

SubscriptionsListen

subscriptions/listen graceful termination.

Fields

result: CompleteResult<FinalSubscriptionsListenResult>

subscription_id: RequestId

The required subscription ID extracted from the result metadata.

diagnostic: Option<ResultPeerDiagnostic>

Implementations

impl FinalCoreResult

pub const fn method(&self) -> &'static str

Returns the exact method literal that selected this final result.

pub fn protected_metadata_seal( &self, ) -> Result<FinalResultMetadataSeal, CoreDispatchError>

Returns the server-owned metadata that middleware must preserve for this selected final result family.

The returned seal includes absence, so middleware cannot introduce a reserved server identity where the server did not emit one. It omits every open metadata member by design.

Trait Implementations

impl Clone for FinalCoreResult

fn clone(&self) -> FinalCoreResult

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FinalCoreResult

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.