The scalar-only admission actually used

The scalar test support lies in $K_f$, while dependence on classical backgrounds can extend through $D_f$. Neither inclusion is asserted to be an equality for every configuration. Joint admission and Proposition prop:linear are separate statements.