Add check to collated data builder

SpyCheese · SpyCheese · commit e3c1a7dd30ba · 2025-10-10T15:12:35.000+03:00
diff --git a/crypto/vm/boc.cpp b/crypto/vm/boc.cpp
@@ -1369,6 +1369,7 @@ std::vector<Ref<Cell>> ProofStorageStat::build_collated_data(std::vector<Ref<Cel
     }
     Cache& entry2 = cache[hash];
     entry2.result = cb.finalize(info.cell->is_special());
+    CHECK(entry2.result->get_hash(std::min<int>(info.cell->get_level(), info.cell_max_level)) == hash);
     return entry2;
   };
   for (auto& [hash, info] : cells_) {

Original file line number	Diff line number	Diff line change
`@@ -1369,6 +1369,7 @@ std::vector<Ref<Cell>> ProofStorageStat::build_collated_data(std::vector<Ref<Cel`
`1369`	`1369`	`}`
`1370`	`1370`	`Cache& entry2 = cache[hash];`
`1371`	`1371`	`entry2.result = cb.finalize(info.cell->is_special());`
	`1372`	`+ CHECK(entry2.result->get_hash(std::min<int>(info.cell->get_level(), info.cell_max_level)) == hash);`
`1372`	`1373`	`return entry2;`
`1373`	`1374`	`};`
`1374`	`1375`	`for (auto& [hash, info] : cells_) {`