ALTER TABLE axiom_violations

DROP CONSTRAINT axiom_violations_kind_check,

ADD CONSTRAINT axiom_violations_kind_check CHECK (kind IN (

'self_loop', 'asymmetry', 'cycle', 'functional', 'inverse_functional',

'signature', 'derived_contradiction'

));

DELETE FROM axiom_violations

WHERE kind IN ('asymmetry', 'functional') AND status = 'open';

UPDATE axiom_violations v

SET kind = 'inverse_functional'

FROM facts l, facts r

WHERE v.kind = 'functional'

AND l.id = v.left_fact AND r.id = v.right_fact

AND l.object_id = r.object_id AND l.subject_id <> r.subject_id;

CREATE TEMP TABLE clash_canon ON COMMIT DROP AS

SELECT id, kb_id, kind, detected_at,

LEAST(left_fact, right_fact) AS lo,

GREATEST(left_fact, right_fact) AS hi

FROM axiom_violations

WHERE kind IN ('asymmetry', 'functional', 'inverse_functional') AND status <> 'open';

DELETE FROM axiom_violations WHERE id IN (

SELECT id FROM (

SELECT id,

row_number() OVER (

PARTITION BY kb_id, kind, lo, hi

ORDER BY detected_at, id) AS rn

FROM clash_canon) t

WHERE t.rn > 1);

UPDATE axiom_violations v

SET left_fact = c.lo,

right_fact = c.hi,

path = ARRAY[c.lo, c.hi]

FROM clash_canon c

WHERE v.id = c.id;