per a comment at Denninger’s site
https://market-ticker.org/akcs-www?post=254082

“The memo from the White House Office of Management and Budget directs agencies to consider firing employees working on any program that is not funded by another law, such as Republicans One Big Beautiful Bill Act enacted in July, and which does not align with the presidents priorities.

Once government funding is reinstated after a shutdown, agencies should revise their plans to keep only the smallest number of employees necessary to legally operate.”