Module proof_graph 

Proof Graph for Incremental Caching and TMS Integration

This module provides a global cache of proven facts with dependency tracking, enabling reuse across multiple queries and incremental updates when facts change.

Architecture:

• ProofGraph: maintains mapping from FactKeys to proven facts with justifications
• ProofGraphNode: represents a proven fact with its supporting premises and rules
• Integration with IncrementalEngine for TMS-aware retraction propagation

Structs

FactKey

Canonical key for identifying a fact (type + field values)

Justification

A justification for a proven fact (one way it was derived)

ProofGraph

Global proof graph cache

ProofGraphNode

A node in the proof graph representing a proven fact

ProofGraphStats

Statistics about proof graph usage

Functions

new_shared

Create a new shared proof graph

Type Aliases

SharedProofGraph

Thread-safe wrapper for ProofGraph