{"id":"payload-only-crc-leaves-metadata-unprotected","text":"All three storage engine WAL implementations share a systematic integrity blind spot: CRC checksums cover only data payloads, leaving routing metadata (sequence numbers, page numbers) unprotected against silent corruption.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["wal-crc-does-not-cover-seqnum","btree-wal-checksum-excludes-page-num","all-three-implementations-use-payload-only-crc"],"outlist":[],"label":"Three independent observations converge on the same architectural gap — metadata fields that control WHERE data is applied are never integrity-checked"}],"dependents":["integrity-checking-is-both-incomplete-and-unrecoverable","storage-crash-recovery-has-no-safe-path"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"payload-only-crc-leaves-metadata-unprotected","truth_value":"IN","reason":"SL justification valid","antecedents":["wal-crc-does-not-cover-seqnum","btree-wal-checksum-excludes-page-num","all-three-implementations-use-payload-only-crc"],"label":"Three independent observations converge on the same architectural gap — metadata fields that control WHERE data is applied are never integrity-checked"},{"node":"wal-crc-does-not-cover-seqnum","truth_value":"IN","reason":"premise"},{"node":"btree-wal-checksum-excludes-page-num","truth_value":"IN","reason":"premise"},{"node":"all-three-implementations-use-payload-only-crc","truth_value":"IN","reason":"premise"}]}}