Expand description
Distributed proof tree construction for TensorLogic backward chaining.
This module defines ProofNode and ProofTree — the data structures
that record how a goal was proved, including which peer resolved each
sub-goal and which rule (CID) was applied.
The structures are designed to be used alongside DistributedBackwardChainer
in remote_reasoning.rs to reconstruct the full derivation path across
multiple IPFRS nodes.