debug_executionWitness sometimes misses a sibling node in state causing post-state root mismatch.
Attached script reproducing the problem on mainnet block 25335936:
DIR=/tmp/witness ./check_execution_witness.sh --keep-dir --block 25335936 --rlp ./blockRlp25335936.json --witness ./executionWitness25335936.json
Using project dir: /tmp/witness
Checking block 25335936 (0x1829880) from local files
[blinded-trace] storage_write addr_hash=0xbce40b27c7eda1446c8c0fd6dbe588a346ebcaddff076c38d46d97d6a1765e0b slot_hash=0x43cb6efd6db65bcc6df8df63b4dbfa69489464915594a9e4d63bcaaa38ed2f2c value=0x0 err=SparseTrieError(BlindedNode(Nibbles(0x43cd)))
INVALID -> mismatched post-state root: 0x25a677fba1ed309d7bf702d642d04755bd96e545d848cbd2af2b5dc9a8489fca
0xd27056cabbc928f497698530f86c6a35c338cac6d6e81c9b9b2fd301a8092585
blockRlp25335936.json
executionWitness25335936.json
check_execution_witness.sh
debug_executionWitnesssometimes misses a sibling node instatecausing post-state root mismatch.Attached script reproducing the problem on mainnet block 25335936:
blockRlp25335936.json
executionWitness25335936.json
check_execution_witness.sh