The no-silent-drops check: every harvested export either appears in the declarations or is the subject of a finding this pass adds. Passes that drop already say so, so overlap is possible - this is the safety net, not the reporter of record.