Deakstadieđáhus: Semantic acyclicity under constraints