defseed_clock(clock:HybridLogicalClock,models:list[type[SyncableMixin]],)->None:high_water=0formodelinmodels:result=model.objects.aggregate(max_ts=Max('sync_field_last_modified'))timestamp=result['max_ts']or0high_water=max(high_water,timestamp)ifhigh_water:clock.receive(high_water)logger.info('Seeded HLC from database: %d',high_water)