Treasury USDM Movement

This section is the USDM conservation proof for the audited interval.

The report treats the opening USDM state as an explicit initial condition. For this May lattice, the opening state is 0 USDM. The queries then integrate all in-interval inflows, outflows, and terminal state from the graph.

opening USDM + incoming USDM - outgoing USDM = terminal USDM

What Must Hold

The accounting gap must be zero, and the semantic classes must agree:

• incoming USDM is produced by SundaeSwap V3 order consumers returning USDM to network_compliance,
• outgoing USDM is paid by network_compliance to the CAG payee bridge,
• terminal USDM is held by unspent network_compliance outputs.

Query Roles

• Query 17 - Network compliance USDM accounting is the one-row conservation statement.
• Query 21 - Treasury USDM payers identifies who paid USDM into the treasury.
• Query 07 - Network compliance USDM output classes separates incoming receipts from internal continuity/change outputs.
• Query 02 - Treasury USDM payees identifies who the treasury paid.
• Query 18 - Beneficiary USDM payments lists the beneficiary payment outputs.
• Query 05 - Vendor attestations connects the CAG bridge to the operator-declared vendor attestations.

flowchart LR
  opening[Opening USDM]
  incoming[Swap receipts]
  outgoing[CAG payments]
  terminal[Terminal USDM]
  gap[Accounting gap]

  opening --> equation[Conservation equation]
  incoming --> equation
  outgoing --> equation
  terminal --> equation
  equation --> gap