An analytic differentiated-slot check

This is a hand-derived check of differentiated slots and their signs. It does not verify all general component entries.

The general coefficient list and numerical regressions are documented in Appendix app:script as computational verification. They are not premises of the analytic existence theorem.