There are several variants of the Haag-Kastler axioms for algebraic quantum field theory. Usually one associates an algebra $\mathcal{A}(O)$ to each open region $O$ of spacetime. An often-suggested axiom is that the algebra associated to a region is the same as the algebra associated to its causal completion. To be precise: Let the causal complement $O'$ of a spacetime region $O$ be the set of points that are spacelike separated from all points in $O$. Then $O''=(O')'$ is called the causal completion, and the axiom in question axiom states $$\mathcal{A}(O'')=\mathcal{A}(O).$$ (For instance, see Haag, "Local Quantum Physics," Equation III.1.10.) Due to inconsistent terminology, I'll just call this the causal shadow axiom.
Can one provide a more elaborate explanation/intuition for the causal shadow axiom or show that it holds for free scalar field theory?
In some presentations -- including, it seems, the original Haag-Kastler paper -- the authors make an alternative statement: $$\mathcal{A}(D(O))=\mathcal{A}(O),$$ where $D(O)$ is the "domain of dependence" or "causal shadow" of $O$, i.e. the set of points $p$ such that every inextendible causal curve through $p$ intersects $O$. This weaker axiom makes more sense to me. (I think the causal completion axiom implies the causal shadow axiom.)
To highlight the difference between the causal shadow and causal completion, consider $O$ as the union of two small balls centered at the points $(1,0)$ and $(-1,0)$ in $(t,x)$ coordinates. Then $O''$ will approximately be the "causal diamond" with vertices at $(\pm 1,0), (0,\pm 1)$, but the causal shadow is much smaller.
In response to comments: Another axiom is the "Haag duality" axiom: $$\mathcal{A}(O')=\mathcal{A}(O)',$$ where $\mathcal{A}'$ is the commutant. Because $\mathcal{A}''=\mathcal{A}$ for von Neumann algebras, you can iterate the duality axiom to see it implies the causal completion axiom. In some places (e.g. Haag and Araki textbooks), I only found the duality axiom stated for the case that $O$ is a causal diamond, but e.g. in "Introduction to Algebraic Quantum Field Theory" by Horuzhy (p21 and p48), Haag duality is discussed for arbitrary regions, thus implying the causal completion axiom for arbitrary regions. Rather than getting lost in a web of claims, I'd rather try to justify/refute the causal completion axiom, perhaps considering the case of a free theory.