qualia_core_db/solvers/ontology_align/mod.rs
1//! Ontology alignment (CI-SKM ch 4) — the engine behind "machine proposes
2//! `closeMatch`, signed human ratifies `exactMatch`". Given two ontologies'
3//! entity similarity, it proposes a graded correspondence set as **review-required
4//! `closeMatch`** — never an asserted `exactMatch` (the human-ratification
5//! invariant, enforced by [`correspondence`]).
6//!
7//! - [`correspondence`] — result types + the guardrail.
8//! - [`align`] — alignment-as-optimization (greedy + hill-climbing).
9
10pub mod align;
11pub mod correspondence;
12
13pub use align::align;
14pub use correspondence::{Alignment, Correspondence, ProposedStatus};