Module paraconsistent

Enums§

global_saturation: Global inconsistency saturation: the fraction of routed quins that were isolated as contradictory (from route_paraconsistent’s counts). total == 0 → 0.0.
is_saturated: Is inconsistency saturated at or above threshold? Lets a caller draw the line between a tolerable localised contradiction and a context whose consistency has broken down.
local_saturation: Local (per-context) inconsistency saturation: among the quins in context, the fraction that contradict an earlier same-context quin (same subject+predicate, different object — the same contradiction rule route_paraconsistent uses). 0.0 if the context is empty. Zero-heap (nested linear scans, no allocation).
route_paraconsistent: Routes Quins into consistent and isolated (contradictory) sub-contexts