Function verify_audit_pack 

pub fn verify_audit_pack(
    workspace: &Path,
    session_id: &str,
    pack: &SessionAuditPack,
) -> Result<AuditVerification, SessionStoreError>

Verify a pack against the session’s current contents.

A false verified means the store drifted from the pack: files changed (mismatches), disappeared (missing), or — informationally — appeared after the pack (unaccounted). Traversal-style entry paths are rejected outright.

Errors

Returns SessionStoreError::InvalidPack for unsafe entry paths and SessionStoreError for walk/digest IO failures.