Valuative independence for Calabi--Yau varieties

We construct valuatively independent bases for the space of sections of an ample line bundle on a log Calabi–Yau pair over a discretely valued field and the space of regular functions on an affine CY pair with maximal boundary. While the bases are not in general unique, they induce canonical functions on the respective skeletons and are expected to agree with tropicalizations of theta functions when they exist. The proof uses techniques from the study of higher rank degenerations in K-stability.