D 2026-07-20T04:45:27.956
T +comment 464b82c888084e65fec7bea9864e4abaa8f68acaac73c13da4904d2e91876547 Prove\ssync\sliveness\sunder\sa\sdegraded,\snever-healed\swire\n\nThe\ssync\ssweep\sproved\sconvergence\sonly\safter\sthe\snetwork\sfully\shealed,\nso\sa\sprotocol\sthat\sconverges\son\sa\sperfect\swire\sbut\slivelocks\sunder\nsustained\sloss\swould\sstill\spass.\n\nPhase\s2b\sruns\sa\sfresh\ssession\sover\sa\swire\sheld\sat\sa\sfixed\sdrop/dup\nrate,\snever\shealed,\sasserting\sthe\ssame\sconvergence\sand\stermination\noracles\swithin\sa\swindow\sscaled\sfrom\sthe\sloss\srate:\sexpected\srounds\sare\nthe\sclean\swindow\sover\s(1\s-\sp_loss)\ssquared\sper\sdirection,\stimes\sa\nsafety\sfactor,\srecomputed\sin\sa\scomment\srather\sthan\sa\smagic\snumber.\sNo\ncorruption\sis\sinjected\s--\sa\scorrupted\sbody\sis\salready\sa\slost\sround.\n\nThe\sprotocol\sconverges\scomfortably:\sover\s200\sseeds\sthe\sworst\srun\stook\n7,\s13,\sand\s18\srounds\sat\s10,\s25,\sand\s40\spercent\sloss,\sagainst\swindows\sof\n160,\s228,\sand\s356\s--\sno\slivelock.\sThe\sgate\sjoins\sat\s10\spercent;\sthe\nsoak\ssweeps\sthe\swider\srate\sset.\sPinning\sthe\swindow\sbelow\sthe\sreal\sneed\ntrips\sthe\sliveness\soracle,\sso\sthe\scheck\sis\snot\svacuous.\sThe\nliveness-under-faults\sdiscipline\sfollows\sTigerBeetle's\sVOPR.\n
U dmestas
Z cb2d25584fb9b112b7ac7ee12185c790