Module session 

Session management for distributed backward-chaining inference (v2).

This sub-module contains:

• Wire-format types (RemoteResult, InferenceRequest, InferenceResponse)
• Session tracking (DistributedInferenceSession)
• High-level reasoner (DistributedReasonerV2) with caching and metrics
• Streaming result delivery (InferenceResultStream, PartialResult)

Structs

DistributedInferenceSession

Tracks a single distributed inference run from start to finish.

DistributedReasonerConfig

Tuning parameters for DistributedReasonerV2.

DistributedReasonerV2

Enhanced distributed reasoner with real session management, result caching, and cycle-safe peer tracking.

InferenceRequest

Wire format sent to a remote peer asking it to prove a goal.

InferenceResponse

Wire format sent back by a remote peer in response to an InferenceRequest.

InferenceResultStream

A streaming view of an incremental distributed inference session.

PartialResult

A partial result produced by a single peer during a streaming inference session.

RemoteResult

A single result contributed by a remote peer during a distributed inference session.

SessionMetrics

Metrics snapshot for DistributedReasonerV2 monitoring.

SessionStats

Aggregate statistics over all live sessions managed by a DistributedReasonerV2.

Enums

ReasoningError

Errors specific to DistributedReasonerV2 operations.