Lam's positive-geometry conjecture for electroid spaces

Let $\chi_n$ be the electroid space, let closed electroid varieties be its closed electroid subvarieties, and let the electroids be partially ordered by their poset of electroids. A positive geometry is understood in the sense used for canonical forms and iterative boundary components. Lam's positive-geometry conjecture. The electroid space $\chi_n$ is a normal positive geometry. The iterative boundary components are exactly the closed electroid varieties and boundary relations are exactly covering relations in the poset of electroids. Furthermore, on any closed electroid variety, its canonical form is given by pushing-forward the canonical form on the dense torus, via any grove measurement embedding given by Theorem 7. The conjecture identifies the geometric boundary stratification with the electroid poset and predicts a canonical-form description through grove measurement embeddings. The source provides no resolution of these assertions.