Verification and Assurance in PDFSanitize

This section explains the post-sanitization verification model, result states, SHA-256 fingerprints, and the boundary between a verified software result and broader information-disclosure assurance.