Involution and quantum presentation independence

Parent symmetry does not establish reversal for the nonconstant second-stage coefficient maps. Those maps would have to satisfy

on their conjugate reverse domains, together with the overlap conditions of Lemma lem:gluing.

Observation differentiation exchanges first and third observations under dagger; a descendant is not generally individually self-adjoint.