Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering (ArXiv cs.LO Recent Papers, 2026)