Restricted sharp separation and degree-four descent

The surviving factor $2$ in slot isolation is compatible with recovery of the completely symmetric coefficient by three metric derivatives with factor $3!$. This is not the false general principle that products of injective generating maps are automatically tensor-injective IXFreeTwo ({:pinjective}).