the smooth constrained target coframe Tc, the full derivative Hessian is
TcTdiag(Gaαβ)Tc. Its phase block is (q/b)(U−hA)(U−hA)−qhAA; the
other blocks are positive multiples of UU−ca2P, with ca2=1/4,1/4,W2/[4(1+W2)],cF2,cU2. The
saturation eigenvalues are κ/rA3,κ/rA; both laws have bκ=1/16, giving phase ray speed
below 3/4 in the U rest frame and other speeds at most one. The 3/4 number is not invariant under a
laboratory boost; the physical unit cone remains valid in every inertial frame.
Set βai=Ga0i/Ga00 and gaij=βaiβaj−Gaij/Ga00>0. The simultaneous
first-order symmetrizer on increments is
Here V=Xt, Di=∂iX; the curl constraints propagate under the associated homogeneous transport
system. Thus each fixed finite carrier, fixed εp>0 and compact compatible datum in regular
positive charts has a data-dependent nonlinear lifespan, with relative X∈CHs+1, Xt∈CHs,
Xtt∈CHs−1 for integer s≥7. Smooth positive coefficients must exist on a neighborhood of the
whole first-jet image. Finite large data are allowed; no uniform lifespan is asserted. Symmetrized finite-
collar extension and uniqueness give support inside R+∣t∣. Reconstructed q and 2qe have only
the guaranteed Hs relative regularity because F contains first derivatives.
A separate result gives global linear evolution about one fixed branch. Write h=q0,
k=μ and normalize displacement as u=(hθ/b,hϵcX,hϵcY,kδ(W,Z),hκFf,hκUv). Its 2D+65 real components retain the sum-zero carrier
tangents and all 45 skew-frame components. Let T0 be the finite first-order residual stack of the exact
nonnegative static quadratic form after this substitution, with every weighted derivative retained as
Dh=∇−∇logh or Dk=∇−∇logk. In particular its support squares are