In our previous article [arXiv:2307.12552], we introduced local topological order (LTO) axioms for abstract quantum spin systems which allow one to access topological order via a boundary algebra construction. Using the LTO axioms, we produced a canonical pure state on the quasi-local algebra, which gives a net of von Neumann algebras associated to a poset of cones in Rⁿ. In this article, motivated by [arXiv:2509.23734], we introduce an axiom for LTOs which ensures Haag duality for cone-like regions using Tomita-Takesaki theory. We prove this axiom is satisfied for all known topologically ordered commuting projector models. We thus get an independent proof of Haag duality for the Levin-Wen string net models originally proved in [arXiv:2509.23734]. We also give a reflection positivity axiom for LTOs, connecting to the recent article [arXiv:2510.20662]. We again prove this axiom is satisfied for all known topologically ordered commuting projector models about some Z/2-reflection symmetry.