Thiagarajan–Badouel–Darondeau–Raoult conjecture for bounded flat grids

Let $\mathcal E$ be an event structure with event domain. A directed flat square grid is a directed square grid embedded isometrically in the event domain, with adjacent squares not contained in a common 3-cube. Thiagarajan–Badouel–Darondeau–Raoult conjecture. Conjectures Thiagarajan's and Badouel–Darondeau–Raoult's are true for event domains with uniformly bounded sizes of directed flat square grids. The source presents this as a stronger version of the hyperbolic-domain conjecture and gives no resolution.