Government departments in the UK are using secret algorithms (implemented by nonfree software) to decide how to treat people.

This is inherently unjust regardless of the details. The mere fact that a decision was made this way should count as grounds to invalidate it.