Front matter

of the existence claim. The proved objects are finite encodings, channels, decoupling certificates, and quantum-return decoders. Calling their logical reconstruction regions operational islands is a definition of this manuscript, not a claim that Cheung's Philosophy of Enter has already defined or proved gravitational islands. A proof of the latter would require additional gravitational structure.