Issue: Union isEmpty() returns incorrect value after update; missing hash corruption detection
Issue: Union isEmpty() returns incorrect value after update; missing hash corruption detection: a task in LegoFlow-SWE (Harbor dataset). Additionally, the sketch update path does not distinguish between genuine data corruption (negative hash values) and the legitimate probabilistic occurrence of a…
The task
Additionally, the sketch update path does not distinguish between genuine data corruption (negative hash values) and the legitimate probabilistic occurrence of a zero hash. Negative hash values silently pass through, and zero hashes are sometimes incorrectly treated as invalid.
Part of Lego-X/LegoFlow-SWE.