delete_verify.py

import re

with open("src/wal.rs", "r") as f:
    content = f.read()

content = re.sub(r'/// Verifies the trailing checksum on a decoded record buffer\.\n/// `record_bytes` is everything BEFORE the checksum trailer\.\n/// `file_tail` is the remaining file data starting at the checksum position\.\n/// Returns `true` if the checksum matches \(or is too short to read → treated as\n/// corruption: returns `false`\)\.\nfn verify_checksum\(record_bytes: &\[u8\], file_tail: &\[u8\]\) -> bool \{\n    if file_tail\.len\(\) < CHECKSUM_LEN \{\n        return false;\n    \}\n    let expected = compute_checksum\(record_bytes\);\n    expected == file_tail\[\.\.CHECKSUM_LEN\]\n\}\n', '', content, flags=re.DOTALL)

with open("src/wal.rs", "w") as f:
    f.write(content)