I just noticed that of all fixed-arithmetic Symmetry454 leap cycles built into the most recent public beta of Kalendis the only one that makes the year 4000 a leap year is the symmetrically spread 69/389 leap cycle.
Note that 4000 is not a leap year according to ISO, nor according to the almost symmetrical 71/400 cycle.