Query 03 - Network Compliance ADA Accounting

Result

ADA quantities are decimal ADA.

producedOutputs	producedAda	spentOutputs	spentAda	terminalOutputs	terminalAda	adaGap
88	16621674.531828	83	16621545.314556	5	129.217272	0.000000

16,621,674.531828 - 16,621,545.314556 - 129.217272 = 0

What

This is the ADA-side state equation for network_compliance outputs in the lattice.

It totals ADA produced at the address, subtracts ADA from produced outputs that are later spent inside the same graph, and compares the remainder with the terminal ADA still present at the address.

Why

The USDM proof is the user-facing question, but the same UTxOs also carry ADA. A broken terminal-state computation can hide in the ADA side even when the token arithmetic looks right.

The zero adaGap shows that the graph topology also recomputes the ADA state of the treasury address.

Diagram

flowchart LR
  produced[Produced network_compliance ADA]
  spent[Spent network_compliance ADA]
  terminal[Terminal network_compliance ADA]
  gap[ADA gap]

  produced --> equation[produced - spent - terminal]
  spent --> equation
  terminal --> equation
  equation --> gap

How

The query runs three subqueries over outputs at the network_compliance address.

The produced subquery sums every emitted output at the address. The spent subquery keeps only those outputs whose (txid, index) is referenced by another loaded transaction input. The terminal subquery keeps the complement: outputs at the address with no matching spender in the loaded graph.

The final projection subtracts those totals in base ADA units and displays decimal ADA.

Run

From the repository root, run this query through the tutorial setup script:

bash docs/may-2026-amaru-lattice/setup.sh \
  docs/may-2026-amaru-lattice/ada-signers-and-references/03-network-compliance-ada-accounting.rq

SPARQL

PREFIX cardano: <https://lambdasistemi.github.io/cardano-knowledge-maps/vocab/cardano#>
PREFIX rdfs:    <http://www.w3.org/2000/01/rdf-schema#>
PREFIX xsd:     <http://www.w3.org/2001/XMLSchema#>

# ADA state accounting for network_compliance inside the 85-tx lattice.
#
# This is the ADA counterpart of the terminal-state proof: treasury outputs
# produced by the lattice, minus those consumed by later lattice transactions,
# equals terminal ADA.
SELECT ?producedOutputs ((xsd:decimal(?producedLovelace) / 1000000) AS ?producedAda)
       ?spentOutputs ((xsd:decimal(?spentLovelace) / 1000000) AS ?spentAda)
       ?terminalOutputs ((xsd:decimal(?terminalLovelace) / 1000000) AS ?terminalAda)
       ((xsd:decimal(?producedLovelace - ?spentLovelace - ?terminalLovelace) / 1000000) AS ?adaGap)
WHERE {
  {
    SELECT (COUNT(?out) AS ?producedOutputs) (SUM(?lovelace) AS ?producedLovelace)
    WHERE {
      ?networkCompliance rdfs:label "amaru-treasury.network_compliance" ;
                         cardano:bech32 ?networkComplianceBech32 .
      ?tx cardano:hasOutput ?out .
      ?out cardano:atAddress/cardano:bech32 ?networkComplianceBech32 ;
           cardano:lovelace ?lovelace .
    }
  }
  {
    SELECT (COUNT(?out) AS ?spentOutputs) (SUM(?lovelace) AS ?spentLovelace)
    WHERE {
      ?networkCompliance rdfs:label "amaru-treasury.network_compliance" ;
                         cardano:bech32 ?networkComplianceBech32 .
      ?tx cardano:hasTxId/cardano:bytesHex ?txId ;
          cardano:hasOutput ?out .
      ?out cardano:hasIndex ?ix ;
           cardano:atAddress/cardano:bech32 ?networkComplianceBech32 ;
           cardano:lovelace ?lovelace .
      ?spendingTx cardano:hasInput ?input .
      ?input cardano:fromTxOutRef ?ref .
      ?ref cardano:hasTxId/cardano:bytesHex ?txId ;
           cardano:hasIndex ?ix .
    }
  }
  {
    SELECT (COUNT(?out) AS ?terminalOutputs) (SUM(?lovelace) AS ?terminalLovelace)
    WHERE {
      ?networkCompliance rdfs:label "amaru-treasury.network_compliance" ;
                         cardano:bech32 ?networkComplianceBech32 .
      ?tx cardano:hasTxId/cardano:bytesHex ?txId ;
          cardano:hasOutput ?out .
      ?out cardano:hasIndex ?ix ;
           cardano:atAddress/cardano:bech32 ?networkComplianceBech32 ;
           cardano:lovelace ?lovelace .
      FILTER NOT EXISTS {
        ?spendingTx cardano:hasInput ?input .
        ?input cardano:fromTxOutRef ?ref .
        ?ref cardano:hasTxId/cardano:bytesHex ?txId ;
             cardano:hasIndex ?ix .
      }
    }
  }
}