First Aid says:
Running First Aid on “TARDIS” (disk5s2)
Checking file system and repairing if necessary and if possible.
Volume was successfully unmounted.
Performing fsck_apfs -y -x /dev/rdisk5s2
Checking the container superblock.
Checking the checkpoint with transaction ID 2407143.
Checking the space manager.
warning: spaceman main free count 1023602502 does not match sum of free counts 1023606363
Checking the space manager free queue trees.
Checking the object map.
Checking volume /dev/rdisk5s2.
Checking the APFS volume superblock.
The volume TARDIS was formatted by diskmanagementd (2142.120.7) and last modified by apfs_kext (2235.80.4.0.1).
Checking the object map.
error: btn: oid (185678764), xid (2392679), type (0x40000003), subtype (0xb), flags (0x6) level (0)
error: btn: invalid key order: index 59 is greater than maxkey (should be less than)
index 58 key : 72 50 07 00 00 00 00 00 fc 37 0e 00 00 00 00 00
index 59 key : 72 50 07 00 00 00 00 00 95 46 0e 00 00 00 00 00
maxkey : b6 31 06 00 00 00 00 00 45 0e 0f 00 00 00 00 00
Object map is invalid.
The volume /dev/rdisk5s2 with UUID D2721CD7-6260-4850-81CB-9CB20C228187 was found to be corrupt and cannot be repaired.
Verifying allocated space.
error: cib: ci_free_count (4210) is not valid (349) (ci_addr 0xbf30000)
The volume /dev/rdisk5s2 with UUID D2721CD7-6260-4850-81CB-9CB20C228187 could not be verified completely.
File system check exit code is 8.
Restoring the original state found as mounted.
File system verify or repair failed. : (-69845)
Operation failed…
--------
So, do you think I can reformat this drive and use it again, or should it be disposed of?