This supertopo thread details a rope breaking when a lead climbing takes a fall from the top of a climb at an indoor gym. Also, a statement from the gym. They’ve checked everything in question and found no abormalities. The rope’s at the manufacturers for testing, so hopefully the results will let us know if we need to change how often we retire ropes.