Prerequisites
#1018
What to do
In store_state_main_from_inner, after saving the state main part, take all root cells of parts from split_at and read the hashes of their child cells. Compare those child-cell hashes with store_res.absent_cells_hashes.
This check will verify that the persistent file of the state main part was formed correctly and that the child cells of the parts' root cells were replaced with absent cells in the persistent state main part file.
Prerequisites
#1018
What to do
In
store_state_main_from_inner, after saving the state main part, take all root cells of parts fromsplit_atand read the hashes of their child cells. Compare those child-cell hashes withstore_res.absent_cells_hashes.This check will verify that the persistent file of the state main part was formed correctly and that the child cells of the parts' root cells were replaced with absent cells in the persistent state main part file.