Progress towards SeqProducer state change stream