Hallo Blörn,
in dem Moment, wo Galenit weitgehend in Cerussit umgewandelt ist, wird rot durchscheinender Proustit vollständig der Oxidation zum Opfer gefallen und nicht mehr als solches vorhanden sein (es gibt irgendwo auf der Welt sicherlich eine exotiche Ausnahme, aber auf die würde ich mich in so einem Falle niht berufen wollen). Proustit ist übrigens auch kein typisches Mineral der Zementationszone, dort finden sich als silberreiche Mineralien eher Argentit, ged. Silber, Chlorargyrit etc. Rotgültigerze dagegen sind typisch primäre Silberverbindungen, so auch in der Grube Clara, wo das Mineral gelegentlich im Fluorit auftritt
Was Deine Stufe von der Grube Michael abgeht, so liegt mit Sicherheit kein Rotgültigerz als Einschlüsse in Cerussit vor. Ohne Foto ist wenig Konkretes zu sagen, denkbar wäre jedoch Cuprit oder eventuell (weniger wahrcheinlich) sogar Realgar, falls sich der Cerussit in der Umgebung von arsenführendem Hornsteinquarz gebldet hat. Es kommen aber auch eine ganze Reihe weiterer, möglicherweise rötlich erscheinender Sekundärmineralien in Frage.
Viele Grüße,
Helge