Standard HR insurance documentation shared with a government?
Whatever information HR has can be shared with governments.