Final Network-Compliance State

This section is the state-reconstruction proof.

Given a valid initial condition and a complete txid boundary, the final network_compliance UTxO set must be computable from graph topology: outputs at the address minus outputs later consumed by loaded transactions.

The live UTxO snapshot is not used to compute the graph answer. It is used as an independent end-boundary check.

What Must Hold

The graph-derived terminal set must match the live terminal set at the chosen block and slot boundary. If it does not, one of these inputs is wrong:

• the opening state,
• the selected txid set,
• the emitted graph,
• the state query.

Query Roles

• Query 14 - Network compliance terminal state computes the terminal UTxOs from graph topology only.
• Query 15 - Network compliance live diff performs the row-level diff against the live snapshot.
• Query 16 - Network compliance live summary checks the aggregate ADA and USDM gaps.
• Query 11 - Terminal USDM summary isolates the USDM-carrying terminal UTxOs.
• Query 20 - Terminal USDM provenance explains where the remaining USDM came from.

flowchart LR
  lattice[85-tx graph]
  terminal[Graph terminal UTxOs]
  live[Live UTxO snapshot]
  diff[Row and summary diff]
  provenance[Terminal USDM provenance]

  lattice --> terminal
  terminal --> diff
  live --> diff
  terminal --> provenance