A four-face certificate and its supported 3+1 lift

This section supplies an illustration independently of the general observation proofs. The numerical transverse family is the one recorded in VII-E CheungVIIE; its required properties are proved here.

Specialize the prescribed deficit to $\mu =\pi /2$. Use a regular developed patch in the first quadrant, centered at developed spatial coordinates $(20,20)$, and write its local coordinates as $(x,y,z)$. Set $t=c(T-T_{\ast })$. Numerical lengths below use one fixed length unit.