Bản ghi email: Modular verification of chemical reaction network encodings via serializability analysis