Environments using restatable do not work

### Description

Theorems, Lemmas, etc using the restatable environment do not work properly.

---
HTML id location: S1.p8.12

### (Optional:) Please add any files, screenshots, or other information here.

_No response_

### (Required) What is this issue most closely related to? Select one.

Other

### Internal issue ID

cfc025ec-edc8-430e-9779-77c5ddeb5b4f

### Paper URL

https://arxiv.org/html/2605.06511v1

### Browser

Safari/605.1.15

### Device Type

Desktop

Open the paper URL and inspect the rendered element identified as S1.p8.12, reproducing the restatable theorem or lemma issue in Safari. Trace how that rendered environment is handled and compare it with a working theorem; done means restatable environments render and behave properly in the HTML output.

Written by the indexing model from the issue text.