Module correspondence 

Ontology-alignment result types + the human-ratification guardrail.

Hard invariant (identity / out-of-band remainder): this engine proposes correspondences with a degree; it can emit CloseMatch routed to RequiresHumanReview, and is structurally forbidden from asserting ExactMatch. exactMatch requires signed human ratification — the machine proposes, the human disposes. The type system enforces it: there is no constructor here that yields an asserted exact match.

Structs

Alignment

A full alignment: the proposed correspondences plus the total quality earned.

Correspondence

One proposed correspondence between a source entity and a target entity.

Enums

ProposedStatus

The status a machine-proposed correspondence may carry. Note the deliberate absence of an “asserted ExactMatch” — that state is reachable only through the human-ratification layer, never from an alignment solver.