As you rightly point out, PSPC has been supporting the stand up of the Defence Investment Agency as a special operating agency within PSPC as a department.
We had funding allocated to the agency. We provided some funding through our joint transition office funding, which was provided to PSPC previously to review regulations and the procurement process in order to streamline the defence procurement. That funding was allocated to the agency.
We also allocated, internally, up to $5 million for this fiscal year from our departmental reserve funds to support the agency as it starts up. Budget 2025 announced some additional funding for the agency starting in 2026-27. That was supplemented through the funding that was announced in the spring economic update recently.