pub type Derived = (Vec<Operation>, BTreeMap<Sha256, Vec<u8>>);
Every write one target state implies, with the bytes each one lands.