Observation compatibility, continuity, and one parameter

This proposition does not prove that a descended carrier-level binary map satisfies any additional configuration-derivative identity. The three operations remain distinct:

1. differentiation of observation tests or their joint distribution;

2. fixed smooth configuration-direction differentiation in IX-A;

3. exposed functional derivative slots in a new contraction graph.