As of 10:05am on September 11 2024, my leaking tap has been repaired, and the potential flooding hazard appears to have been resolved. Since the work has only just been done, I'll keep an eye on it to monitor for issues with the repair. At this time the repair appears to have been done satisfactorily, and the new tap functions normally.