Query 12 - Lattice Input Coverage

Result

edgeKind	coverage	edges
collateral	external-to-lattice	54
collateral	resolved-in-lattice	31
reference	external-to-lattice	284
spending	external-to-lattice	245
spending	resolved-in-lattice	177

What

This query states which input references resolve to outputs inside the 85-transaction lattice and which references point outside it.

It covers spending inputs, reference inputs, and collateral inputs.

Why

The 85-tx report is not a generic ancestry closure to genesis. It is a network_compliance state proof over the selected transaction set.

This query makes that boundary explicit. Some spending and collateral references resolve inside the lattice because the parent output is part of the selected network_compliance history. Other inputs and all reference inputs can point outside the selected set without breaking the treasury final-state proof.

Diagram

flowchart LR
  txs[85 transaction nodes]
  edges[input/reference/collateral edges]
  inside[resolved in lattice]
  outside[external to lattice]

  txs --> edges
  edges --> inside
  edges --> outside

How

The query unions the three edge predicates: cardano:hasInput, cardano:hasReferenceInput, and cardano:hasCollateralInput.

For each edge it extracts the referenced (txid, index) and asks whether the loaded graph contains a transaction with that id and an output at that index. The answer becomes resolved-in-lattice or external-to-lattice.

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/lattice-boundary-and-shape/12-lattice-input-coverage.rq

SPARQL

PREFIX cardano: <https://lambdasistemi.github.io/cardano-knowledge-maps/vocab/cardano#>

# Input-reference coverage inside the 85-tx lattice.
#
# This does not require every external parent to be present. It states exactly
# which input references resolve inside the selected lattice and which point
# outside it.
SELECT ?edgeKind ?coverage (COUNT(?edge) AS ?edges)
WHERE {
  {
    ?tx cardano:hasInput ?edge .
    BIND("spending" AS ?edgeKind)
  }
  UNION
  {
    ?tx cardano:hasReferenceInput ?edge .
    BIND("reference" AS ?edgeKind)
  }
  UNION
  {
    ?tx cardano:hasCollateralInput ?edge .
    BIND("collateral" AS ?edgeKind)
  }
  ?edge cardano:fromTxOutRef ?ref .
  ?ref cardano:hasTxId/cardano:bytesHex ?parentTxId ;
       cardano:hasIndex ?ix .
  BIND(EXISTS {
    ?parent cardano:hasTxId/cardano:bytesHex ?parentTxId ;
            cardano:hasOutput ?parentOut .
    ?parentOut cardano:hasIndex ?ix .
  } AS ?resolved)
  BIND(IF(?resolved, "resolved-in-lattice", "external-to-lattice") AS ?coverage)
}
GROUP BY ?edgeKind ?coverage
ORDER BY ?edgeKind ?coverage