Function record_handler_failure 

fn record_handler_failure(
    failure_dir: &Path,
    reverter: Address,
    selector: Selector,
    fingerprint: B256,
    call_sequence: &[BaseCounterExample],
    settings: &InvariantSettings,
    storage: &[SymbolicStorageAssignment],
)

Persists a handler-side assertion bug with symbolic replay storage.