"Theorem S.1" (Emergent Relativity) has no proof text
Gravity as a Temporally Closed Dynamical Phase — Appendix S
Original criticism
The theorem claims the admissible frame transformations preserving maximum coherence speed are exactly the Lorentz group, closed with a QED mark — but there is no proof text of any kind between the statement and the mark. As defined, the admissible set (all transformations preserving one scalar) is almost certainly larger than the Lorentz group; deriving the Lorentz group specifically requires linearity, homogeneity, isotropy, and a reciprocity/group-closure property, none of which are stated.
Response & evidence
The single highest-risk item in the entire audit. Four bridge lemmas were drafted (restricting to linear/homogeneous reparametrizations, forcing uniform motion to map to uniform motion, isotropy, and the standard group-theoretic closure argument) — explicitly framed as added assumptions, not consequences of what's given. The theorem itself remains unproven in the source.