Remark: Exact scope of the interface conclusion

The interface theorem below concerns Contract contract:G and Definition def:objects. It is not an admission theorem for a separate calculus that imposes additional restrictions, such as trivalent regular vertices, elementary four-face exchanges, convex faces only, or equal proper-time increments in every face frame. Compatibility with such an additional restriction would require a separate check.

Thus the geometric existence theorem is unconditional for the objects defined here; its use in any frozen external framework is conditional only on that framework admitting these explicitly described germs. No unprovided admission predicate is silently enlarged.