The profiling campaign's round-4 `pareto_front` change adds a `dominated` bitset that is pure skip-bookkeeping — deleting the mark write or the skip check leaves the returned front bit-identical. A future mutation run will report those as MISSED; record here that they are genuine equivalent mutants, not test gaps, so nobody chases them with new tests.