TY - RPRT TI - PL Recognition After Two $S^2\times S^2$ Stabilisations is PSPACE-Hard AU - Rhuaidi Antonio Burke PY - 2026 UR - https://arxiv.org/abs/2609.15890 ID - 2609.15890 ER -