Expand description
Public types for the exact-induction engine.
Mirrors the pyxlog ExactInductionResult / ScoredCandidate dataclasses
but speaks RelId instead of relation names — name resolution happens at
the pyxlog boundary in crates/pyxlog/src/ilp_exact.rs.
Structs§
- Exact
Induction Config - Engine configuration for one exact-induction request.
- Exact
Induction Result - Combined result from one
induce_exact()call. - Induced
Rule Provenance - Provenance bundle for a generated or induced rule candidate.
- Induced
Rule Registry - In-memory registry for induced rule provenance records.
- Induction
Alternative - Rejected candidate rule with support and falsification counts.
- Induction
Support Row - One source row supporting a generated rule candidate.
- Scored
Candidate - One scored
(left, right)candidate for a single topology.
Enums§
- Rule
Source Kind - Origin class for a rule known to the induction/provenance surface.
- Topology
- The four canonical 2-body topologies scored by the engine.