Supplied-data audit and decision

The outstanding request is specific: provide the defining Cauchy equation and initial conditions, or the equivalent boundary-trace formula, for the inherited ${\mathsf{E}}_0$. If it is (eq:E-flat), the proof above completes the bridge without reopening the kernel evaluation.