Multiple times in talks about Condensed Mathematics (e.g. the Masterclass talks, Clausen's RAMpAGe talk), it is stated that the derived structure sheaf given by the condensed formalism "fixes" the non-sheafiness of non-sheafy adic spaces, and if the space is sheafy then "rational localizations are what you would expect" and the structure sheaf should be "concentrated in degree zero" in some infinity-categorical sense.

I am wondering about the opposite direction: could the condensed formalism be used as a criterion (or even characterization) of when an adic space is sheafy?

If the derived nature of the condensed formalism truly "fixes" the structure sheaf, then it seems to me like there should be some precises statement of the following form:

Conjecture. If the "condensed version" of the Huber pair $(A,A^+)$ is "concentrated in degree zero", then $(A,A^+)$ is sheafy.

Does such a statement exist? Is it trivial once one understands the construction? Or does it take work to prove, or is it even open?

Multiple times in talks about condensed mathematics (e.g. the Masterclass talks, Clausen's RAMpAGe talk), it is stated that the derived structure sheaf given by the condensed formalism "fixes" the non-sheafiness of non-sheafy adic spaces, and if the space is sheafy then "rational localizations are what you would expect" and the structure sheaf should be "concentrated in degree zero" in some infinity-categorical sense.

I am wondering about the opposite direction: could the condensed formalism be used as a criterion (or even characterization) of when an adic space is sheafy?

If the derived nature of the condensed formalism truly "fixes" the structure sheaf, then it seems to me like there should be some precises statement of the following form:

Conjecture. If the "condensed version" of the Huber pair $(A,A^+)$ is "concentrated in degree zero", then $(A,A^+)$ is sheafy.

Does such a statement exist? Is it trivial once one understands the construction? Or does it take work to prove, or is it even open?