Matches the LogLifted demote from 0.4.0 — per-constraint workaround
logs stay at diagnostic verbosity so they don't drown the higher-
signal compare/save events.