Module provenance 

Compatibility aliases for generated induction provenance.

v0.8.7 introduced InductionProvenanceRegistry; v0.8.8 generalized the same surface as InducedRuleRegistry. Keep the older name as an alias so Project 1 reproducers and consumers do not lose their validated API.

Re-exports

pub use crate::types::InducedRuleProvenance;

pub use crate::types::InductionAlternative;

pub use crate::types::InductionSupportRow;

pub use crate::types::RuleSourceKind;

Type Aliases

InductionProvenanceRegistry

Backwards-compatible registry name for induced rule provenance.