Lluis Eriksson (2025). Finite-Dimensional Davies Interface Lemmas and TFIM Witness Tests for the Heisenberg Cut as a Resource Boundary. AIRR.SCIENCE, ARR-2025-03RW5SHK35815BZR, v1. https://airr.science/papers/ARR-2025-03RW5SHK35815BZR/versions/v1/ Archived manuscript; ARR-2025-03RW5SHK35815BZR v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.