{
  "tool_id": "art-621-summa-mst-liability-aggregator",
  "kernel_id": "art-621-summa-mst-liability-aggregator",
  "display_name": "Summa MST Liability Aggregator",
  "tool_version": "1.0.0",
  "mandate_type": "cryptographic_mandate",
  "purpose": "Given up to 16 (id, balance) leaf entries, deterministically builds a SHA-256 Merkle-sum-tree (Summa's node layout: hash=H(id,balance) and sum=balance at each leaf; hash=H(left.sum+right.sum,left.hash,right.hash) and sum=left.sum+right.sum at each middle node, pattern-borrowed from Summa/PSE's proof-of-reserves design, no code vendored) and emits the root commitment plus every leaf's full inclusion proof. Applies Maxwell's (eprint 2022/043 §4.1) mandatory range-check mitigation on the input side: rejects any negative balance or balance exceeding the declared MAX_BALANCE before building the tree. The generator counterpart to the MST inclusion checker (art-620), whose output_payload proofs are consumable directly as that tool's input. Verify-only perimeter: commits to whatever balances it is given, never asserts those balances reflect real reserves.",
  "control_description": "Given up to 16 (id, balance) leaf entries, deterministically builds a SHA-256 Merkle-sum-tree (Summa's node layout: hash=H(id,balance) and sum=balance at each leaf; hash=H(left.sum+right.sum,left.hash,right.hash) and sum=left.sum+right.sum at each middle node, pattern-borrowed from Summa/PSE's proof-of-reserves design, no code vendored) and emits the root commitment plus every leaf's full inclusion proof. Applies Maxwell's (eprint 2022/043 §4.1) mandatory range-check mitigation on the input side: rejects any negative balance or balance exceeding the declared MAX_BALANCE before building the tree. The generator counterpart to the MST inclusion checker (art-620), whose output_payload proofs are consumable directly as that tool's input. Verify-only perimeter: commits to whatever balances it is given, never asserts those balances reflect real reserves.",
  "declared_inputs": [],
  "declared_outputs": [
    "art-620-summa-mst-inclusion-checker"
  ],
  "kernel_digest": "sha256:f237e50a1552db96450eb52e9c5ba27f461bfa8c8a610a3eb7a4818213080688",
  "trust_label": "independently verified: zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-08-20",
  "last_validated": "2026-08-20",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 100,
  "source_url": "https://ainumbers.co/chaingraph/art-621-summa-mst-liability-aggregator.html",
  "generated_at": "2026-08-22T17:52:19.663Z"
}