Conservative Dilation of a Contractive Finite-Memory Registration Update: Exact Results and the Boundary of the Lorentzian Bridge

Proves that a strictly contractive finite-memory registration update admits an explicit conservative dilation on a doubled trace-zero operator space, and isolates the extra assumptions needed to promote that identity to a Lorentzian-form interval.