Judge rules shutdown-era layoffs at four agencies must be rolled back, saying spending law prohibited all reduction-in-force actions.