Is this written down anywhere?
I only ask because my understanding of property rights is historical and best expressed as:
Cuius est solum, eius est usque ad caelum et ad inferos.
Translated: For whoever owns the soil, it is theirs up to Heaven and down to Hell.
See William Blackstone.
Doesn’t Blackstone recognize the limits of the property line between two properties or the difference between and act and the restraint of an act?