Interface DerivedFilePushProducer