{
  "tool_id": "art-621-summa-mst-liability-aggregator",
  "note": "golden_hash values computed via buildArtifact() at build time.",
  "vectors": [
    {
      "name": "single-leaf-no-padding",
      "policy_parameters": {
        "leaves": [
          {
            "id": "acct-0001",
            "balance": "5000000"
          }
        ]
      },
      "output_payload": {
        "valid": true,
        "error": null,
        "error_index": null,
        "leaf_count": 1,
        "padded_leaf_count": 1,
        "tree_depth": 0,
        "max_balance": "1000000000000000",
        "root": {
          "hash": "7c867548a10dd7d3b4e06bba3a693dfc2ad96ae779979e5738db2a15ccaff9ef",
          "sum": "5000000"
        },
        "proofs": [
          {
            "leaf": {
              "id": "acct-0001",
              "balance": "5000000"
            },
            "path": [],
            "root": {
              "hash": "7c867548a10dd7d3b4e06bba3a693dfc2ad96ae779979e5738db2a15ccaff9ef",
              "sum": "5000000"
            }
          }
        ],
        "verify_note": "tree built; 1 inclusion proof(s) generated over a depth-0 tree (padded to 1 leaves)",
        "scope_note": "This kernel commits to whatever leaf balances it is given. It never claims those balances reflect real reserves. Inclusion and local range-check passing means the emitted proofs are internally consistent, non-negative, and chain to the emitted root; it is not a statement that a reserve is solvent, that the leaf set is complete, or that any identifier corresponds to a real account."
      },
      "golden_hash": "c41571ccb57cf7957da65325205b029910cbf7686c0a9ca31328c341b3d482ea"
    },
    {
      "name": "three-leaves-pad-to-4",
      "policy_parameters": {
        "leaves": [
          {
            "id": "acct-a1",
            "balance": "100"
          },
          {
            "id": "acct-a2",
            "balance": "200"
          },
          {
            "id": "acct-a3",
            "balance": "300"
          }
        ]
      },
      "output_payload": {
        "valid": true,
        "error": null,
        "error_index": null,
        "leaf_count": 3,
        "padded_leaf_count": 4,
        "tree_depth": 2,
        "max_balance": "1000000000000000",
        "root": {
          "hash": "b9692984438d39343527f34803eaadd8e6f9c0dcd1d6291af214d06a75752384",
          "sum": "600"
        },
        "proofs": [
          {
            "leaf": {
              "id": "acct-a1",
              "balance": "100"
            },
            "path": [
              {
                "side": "right",
                "sibling_hash": "0fcb78cf624c73b4535ea711a120299ccb47128e48c616cb56e40ec80b33ad6a",
                "sibling_sum": "200"
              },
              {
                "side": "right",
                "sibling_hash": "3474f335675a367e0e9049b78fd3b45005eee7c26683e35886ecc9aae98fcc8a",
                "sibling_sum": "300"
              }
            ],
            "root": {
              "hash": "b9692984438d39343527f34803eaadd8e6f9c0dcd1d6291af214d06a75752384",
              "sum": "600"
            }
          },
          {
            "leaf": {
              "id": "acct-a2",
              "balance": "200"
            },
            "path": [
              {
                "side": "left",
                "sibling_hash": "3c3e37ddfdbf106dedfc07b2961c0f7a7420f05cb3d64d315fc165fd20e42489",
                "sibling_sum": "100"
              },
              {
                "side": "right",
                "sibling_hash": "3474f335675a367e0e9049b78fd3b45005eee7c26683e35886ecc9aae98fcc8a",
                "sibling_sum": "300"
              }
            ],
            "root": {
              "hash": "b9692984438d39343527f34803eaadd8e6f9c0dcd1d6291af214d06a75752384",
              "sum": "600"
            }
          },
          {
            "leaf": {
              "id": "acct-a3",
              "balance": "300"
            },
            "path": [
              {
                "side": "right",
                "sibling_hash": "6a4deed42be79b7a95921aa954d3575b3e9c53b9764044459f8436828995d2bb",
                "sibling_sum": "0"
              },
              {
                "side": "left",
                "sibling_hash": "751d06e2eb3eca10bfdb2bb96fa0e920bcabca5175c132b1c5c7b4166c2c5ea9",
                "sibling_sum": "300"
              }
            ],
            "root": {
              "hash": "b9692984438d39343527f34803eaadd8e6f9c0dcd1d6291af214d06a75752384",
              "sum": "600"
            }
          }
        ],
        "verify_note": "tree built; 3 inclusion proof(s) generated over a depth-2 tree (padded to 4 leaves)",
        "scope_note": "This kernel commits to whatever leaf balances it is given. It never claims those balances reflect real reserves. Inclusion and local range-check passing means the emitted proofs are internally consistent, non-negative, and chain to the emitted root; it is not a statement that a reserve is solvent, that the leaf set is complete, or that any identifier corresponds to a real account."
      },
      "golden_hash": "10d5d74af97916fc5eec08e5ec76c9a3c4e71b1d115e0cb9bd9e3f8c77a75ab3"
    },
    {
      "name": "sixteen-leaves-full-no-padding",
      "policy_parameters": {
        "leaves": [
          {
            "id": "acct-00",
            "balance": "1000"
          },
          {
            "id": "acct-01",
            "balance": "2000"
          },
          {
            "id": "acct-02",
            "balance": "3000"
          },
          {
            "id": "acct-03",
            "balance": "4000"
          },
          {
            "id": "acct-04",
            "balance": "5000"
          },
          {
            "id": "acct-05",
            "balance": "6000"
          },
          {
            "id": "acct-06",
            "balance": "7000"
          },
          {
            "id": "acct-07",
            "balance": "8000"
          },
          {
            "id": "acct-08",
            "balance": "9000"
          },
          {
            "id": "acct-09",
            "balance": "10000"
          },
          {
            "id": "acct-10",
            "balance": "11000"
          },
          {
            "id": "acct-11",
            "balance": "12000"
          },
          {
            "id": "acct-12",
            "balance": "13000"
          },
          {
            "id": "acct-13",
            "balance": "14000"
          },
          {
            "id": "acct-14",
            "balance": "15000"
          },
          {
            "id": "acct-15",
            "balance": "16000"
          }
        ]
      },
      "output_payload": {
        "valid": true,
        "error": null,
        "error_index": null,
        "leaf_count": 16,
        "padded_leaf_count": 16,
        "tree_depth": 4,
        "max_balance": "1000000000000000",
        "root": {
          "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
          "sum": "136000"
        },
        "proofs": [
          {
            "leaf": {
              "id": "acct-00",
              "balance": "1000"
            },
            "path": [
              {
                "side": "right",
                "sibling_hash": "4e375c3271bb1f48ec923e77eac52c326c9ea2c11c9f7656efb6c1aae12ac70c",
                "sibling_sum": "2000"
              },
              {
                "side": "right",
                "sibling_hash": "a8eb5672a55283eff37e08eda9ad50d860c879aeda6e54af1357255da514430d",
                "sibling_sum": "7000"
              },
              {
                "side": "right",
                "sibling_hash": "c93a82ae774da7f739d9db8be282825e0b9c9072b891c27952d546e1000c32ae",
                "sibling_sum": "26000"
              },
              {
                "side": "right",
                "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b",
                "sibling_sum": "100000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-01",
              "balance": "2000"
            },
            "path": [
              {
                "side": "left",
                "sibling_hash": "26f90f9274455a90d0865455ac1010ffa04bd2947abd691ed0345503d076901f",
                "sibling_sum": "1000"
              },
              {
                "side": "right",
                "sibling_hash": "a8eb5672a55283eff37e08eda9ad50d860c879aeda6e54af1357255da514430d",
                "sibling_sum": "7000"
              },
              {
                "side": "right",
                "sibling_hash": "c93a82ae774da7f739d9db8be282825e0b9c9072b891c27952d546e1000c32ae",
                "sibling_sum": "26000"
              },
              {
                "side": "right",
                "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b",
                "sibling_sum": "100000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-02",
              "balance": "3000"
            },
            "path": [
              {
                "side": "right",
                "sibling_hash": "e1030c6a5d7da3f52ffd5f6e1b38c7a79998fa0d78e3c68bf5c664c611c659d6",
                "sibling_sum": "4000"
              },
              {
                "side": "left",
                "sibling_hash": "ebc34b41fec0421485b57cd2d6809a34990f025389561fe18ba054ccec6632f4",
                "sibling_sum": "3000"
              },
              {
                "side": "right",
                "sibling_hash": "c93a82ae774da7f739d9db8be282825e0b9c9072b891c27952d546e1000c32ae",
                "sibling_sum": "26000"
              },
              {
                "side": "right",
                "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b",
                "sibling_sum": "100000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-03",
              "balance": "4000"
            },
            "path": [
              {
                "side": "left",
                "sibling_hash": "d55d4ef54573bcb1a9012d7281027677b140a14b9047eaa58dc4756085f710ce",
                "sibling_sum": "3000"
              },
              {
                "side": "left",
                "sibling_hash": "ebc34b41fec0421485b57cd2d6809a34990f025389561fe18ba054ccec6632f4",
                "sibling_sum": "3000"
              },
              {
                "side": "right",
                "sibling_hash": "c93a82ae774da7f739d9db8be282825e0b9c9072b891c27952d546e1000c32ae",
                "sibling_sum": "26000"
              },
              {
                "side": "right",
                "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b",
                "sibling_sum": "100000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-04",
              "balance": "5000"
            },
            "path": [
              {
                "side": "right",
                "sibling_hash": "abb63932b1c009ce5839a8a9609fc9d45c242ff4c7d57e72cd580a5b86a60067",
                "sibling_sum": "6000"
              },
              {
                "side": "right",
                "sibling_hash": "6d6a305a686190db171b1dd8f0b4436e74aca3a6d0dc72a943f9e3011dae40b9",
                "sibling_sum": "15000"
              },
              {
                "side": "left",
                "sibling_hash": "23322115eb850c405dc1267690b475034bcca242be0a7139e13946bda3feb99c",
                "sibling_sum": "10000"
              },
              {
                "side": "right",
                "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b",
                "sibling_sum": "100000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-05",
              "balance": "6000"
            },
            "path": [
              {
                "side": "left",
                "sibling_hash": "02f61af60d4755ae553b955c8f3878b0bdb24b63a2e6b45ffc6fb5fe0252f839",
                "sibling_sum": "5000"
              },
              {
                "side": "right",
                "sibling_hash": "6d6a305a686190db171b1dd8f0b4436e74aca3a6d0dc72a943f9e3011dae40b9",
                "sibling_sum": "15000"
              },
              {
                "side": "left",
                "sibling_hash": "23322115eb850c405dc1267690b475034bcca242be0a7139e13946bda3feb99c",
                "sibling_sum": "10000"
              },
              {
                "side": "right",
                "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b",
                "sibling_sum": "100000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-06",
              "balance": "7000"
            },
            "path": [
              {
                "side": "right",
                "sibling_hash": "6f856ca5b2dc364d1d6f98e70f340c51f557f821c05fb2019d975504788d7583",
                "sibling_sum": "8000"
              },
              {
                "side": "left",
                "sibling_hash": "10d368942ca3da35b50721ad4a04662ad3118afdd8829578b32728a94bfaffe9",
                "sibling_sum": "11000"
              },
              {
                "side": "left",
                "sibling_hash": "23322115eb850c405dc1267690b475034bcca242be0a7139e13946bda3feb99c",
                "sibling_sum": "10000"
              },
              {
                "side": "right",
                "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b",
                "sibling_sum": "100000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-07",
              "balance": "8000"
            },
            "path": [
              {
                "side": "left",
                "sibling_hash": "b9787d0a390104cd2a5f91a1d0b51a5bcb4e96c867bedcb605cad58b05faecfc",
                "sibling_sum": "7000"
              },
              {
                "side": "left",
                "sibling_hash": "10d368942ca3da35b50721ad4a04662ad3118afdd8829578b32728a94bfaffe9",
                "sibling_sum": "11000"
              },
              {
                "side": "left",
                "sibling_hash": "23322115eb850c405dc1267690b475034bcca242be0a7139e13946bda3feb99c",
                "sibling_sum": "10000"
              },
              {
                "side": "right",
                "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b",
                "sibling_sum": "100000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-08",
              "balance": "9000"
            },
            "path": [
              {
                "side": "right",
                "sibling_hash": "1333c8bbb7161367351882897ad94d31ba56094e4bf4c0ae5223d4a99cf9c370",
                "sibling_sum": "10000"
              },
              {
                "side": "right",
                "sibling_hash": "cf16dfb85f8cb989a4af2bc41d6a4bf2a3b703c7c91696c358af7d693e015788",
                "sibling_sum": "23000"
              },
              {
                "side": "right",
                "sibling_hash": "98cbc1d462d8251ca7079dc634e1e9756f668581062429bdd0ff8d1111bf8d2d",
                "sibling_sum": "58000"
              },
              {
                "side": "left",
                "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494",
                "sibling_sum": "36000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-09",
              "balance": "10000"
            },
            "path": [
              {
                "side": "left",
                "sibling_hash": "5093df3c1bf4a1a2ad249e231608c22cc166acfa25d4d341522eec3f2a312bc9",
                "sibling_sum": "9000"
              },
              {
                "side": "right",
                "sibling_hash": "cf16dfb85f8cb989a4af2bc41d6a4bf2a3b703c7c91696c358af7d693e015788",
                "sibling_sum": "23000"
              },
              {
                "side": "right",
                "sibling_hash": "98cbc1d462d8251ca7079dc634e1e9756f668581062429bdd0ff8d1111bf8d2d",
                "sibling_sum": "58000"
              },
              {
                "side": "left",
                "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494",
                "sibling_sum": "36000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-10",
              "balance": "11000"
            },
            "path": [
              {
                "side": "right",
                "sibling_hash": "12ae92d22cb3de6e34527b61bd4925ff07602b876de570f1eaf7e65003bae7c6",
                "sibling_sum": "12000"
              },
              {
                "side": "left",
                "sibling_hash": "2c139ede78426207b54c06d6e9383f40e6524dd9cbda3e84d487ae091e1a7459",
                "sibling_sum": "19000"
              },
              {
                "side": "right",
                "sibling_hash": "98cbc1d462d8251ca7079dc634e1e9756f668581062429bdd0ff8d1111bf8d2d",
                "sibling_sum": "58000"
              },
              {
                "side": "left",
                "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494",
                "sibling_sum": "36000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-11",
              "balance": "12000"
            },
            "path": [
              {
                "side": "left",
                "sibling_hash": "6447cf7bb8c2d86055f464f619bddc56da68c59e368caf991a2dc93f3f3e46c4",
                "sibling_sum": "11000"
              },
              {
                "side": "left",
                "sibling_hash": "2c139ede78426207b54c06d6e9383f40e6524dd9cbda3e84d487ae091e1a7459",
                "sibling_sum": "19000"
              },
              {
                "side": "right",
                "sibling_hash": "98cbc1d462d8251ca7079dc634e1e9756f668581062429bdd0ff8d1111bf8d2d",
                "sibling_sum": "58000"
              },
              {
                "side": "left",
                "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494",
                "sibling_sum": "36000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-12",
              "balance": "13000"
            },
            "path": [
              {
                "side": "right",
                "sibling_hash": "7cd549ee89d3b6a4129fb05152989cc0a6840985cf5b6d9b11c9702a2ed952c1",
                "sibling_sum": "14000"
              },
              {
                "side": "right",
                "sibling_hash": "6e4745f6c54bc6329eba697e6d4c4cd64dc3b35bb2fe1001c6162d22b70011fe",
                "sibling_sum": "31000"
              },
              {
                "side": "left",
                "sibling_hash": "0adbc58d0ba781983ce499bea88f7432503982ed82a9670ed41bde05df546ea5",
                "sibling_sum": "42000"
              },
              {
                "side": "left",
                "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494",
                "sibling_sum": "36000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-13",
              "balance": "14000"
            },
            "path": [
              {
                "side": "left",
                "sibling_hash": "4dde89a39ad699b712e51f8effc76d43e2615763300b83963254c82386514a2a",
                "sibling_sum": "13000"
              },
              {
                "side": "right",
                "sibling_hash": "6e4745f6c54bc6329eba697e6d4c4cd64dc3b35bb2fe1001c6162d22b70011fe",
                "sibling_sum": "31000"
              },
              {
                "side": "left",
                "sibling_hash": "0adbc58d0ba781983ce499bea88f7432503982ed82a9670ed41bde05df546ea5",
                "sibling_sum": "42000"
              },
              {
                "side": "left",
                "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494",
                "sibling_sum": "36000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-14",
              "balance": "15000"
            },
            "path": [
              {
                "side": "right",
                "sibling_hash": "5d5b846d8a93cbea059feafc3ab29ec17251286fd8c0dd90531db5543d1deb97",
                "sibling_sum": "16000"
              },
              {
                "side": "left",
                "sibling_hash": "75dccf06a4797ca841ea17bd789932b233d16620ceb4d265bddf73192fe9971e",
                "sibling_sum": "27000"
              },
              {
                "side": "left",
                "sibling_hash": "0adbc58d0ba781983ce499bea88f7432503982ed82a9670ed41bde05df546ea5",
                "sibling_sum": "42000"
              },
              {
                "side": "left",
                "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494",
                "sibling_sum": "36000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          },
          {
            "leaf": {
              "id": "acct-15",
              "balance": "16000"
            },
            "path": [
              {
                "side": "left",
                "sibling_hash": "ff6b8177fe7f1fdd421d0d5bf135a4bfde19ad8f83e065174582295894b94a05",
                "sibling_sum": "15000"
              },
              {
                "side": "left",
                "sibling_hash": "75dccf06a4797ca841ea17bd789932b233d16620ceb4d265bddf73192fe9971e",
                "sibling_sum": "27000"
              },
              {
                "side": "left",
                "sibling_hash": "0adbc58d0ba781983ce499bea88f7432503982ed82a9670ed41bde05df546ea5",
                "sibling_sum": "42000"
              },
              {
                "side": "left",
                "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494",
                "sibling_sum": "36000"
              }
            ],
            "root": {
              "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834",
              "sum": "136000"
            }
          }
        ],
        "verify_note": "tree built; 16 inclusion proof(s) generated over a depth-4 tree (padded to 16 leaves)",
        "scope_note": "This kernel commits to whatever leaf balances it is given. It never claims those balances reflect real reserves. Inclusion and local range-check passing means the emitted proofs are internally consistent, non-negative, and chain to the emitted root; it is not a statement that a reserve is solvent, that the leaf set is complete, or that any identifier corresponds to a real account."
      },
      "golden_hash": "f60901958550c709e4f9764185a89bb2dc74d9642994f35e5229f87258d149bb"
    },
    {
      "name": "seventeen-leaves-too-many-rejected",
      "policy_parameters": {
        "leaves": [
          {
            "id": "acct-0",
            "balance": "1"
          },
          {
            "id": "acct-1",
            "balance": "1"
          },
          {
            "id": "acct-2",
            "balance": "1"
          },
          {
            "id": "acct-3",
            "balance": "1"
          },
          {
            "id": "acct-4",
            "balance": "1"
          },
          {
            "id": "acct-5",
            "balance": "1"
          },
          {
            "id": "acct-6",
            "balance": "1"
          },
          {
            "id": "acct-7",
            "balance": "1"
          },
          {
            "id": "acct-8",
            "balance": "1"
          },
          {
            "id": "acct-9",
            "balance": "1"
          },
          {
            "id": "acct-10",
            "balance": "1"
          },
          {
            "id": "acct-11",
            "balance": "1"
          },
          {
            "id": "acct-12",
            "balance": "1"
          },
          {
            "id": "acct-13",
            "balance": "1"
          },
          {
            "id": "acct-14",
            "balance": "1"
          },
          {
            "id": "acct-15",
            "balance": "1"
          },
          {
            "id": "acct-16",
            "balance": "1"
          }
        ]
      },
      "output_payload": {
        "valid": false,
        "error": "too_many_leaves",
        "error_index": null,
        "leaf_count": 17,
        "max_balance": "1000000000000000",
        "root": null,
        "proofs": [],
        "verify_note": "invalid input: no tree was built (reason: too_many_leaves)",
        "scope_note": "This kernel commits to whatever leaf balances it is given. It never claims those balances reflect real reserves. Inclusion and local range-check passing means the emitted proofs are internally consistent, non-negative, and chain to the emitted root; it is not a statement that a reserve is solvent, that the leaf set is complete, or that any identifier corresponds to a real account."
      },
      "golden_hash": "3724c8f62f9008ab337cf50cdd3e702485a54fdd56af1ca34e6ab10dc7c5593c"
    },
    {
      "name": "negative-balance-rejected",
      "policy_parameters": {
        "leaves": [
          {
            "id": "acct-x",
            "balance": "-1"
          }
        ]
      },
      "output_payload": {
        "valid": false,
        "error": "negative_balance",
        "error_index": 0,
        "leaf_count": 1,
        "max_balance": "1000000000000000",
        "root": null,
        "proofs": [],
        "verify_note": "invalid input: no tree was built (reason: negative_balance)",
        "scope_note": "This kernel commits to whatever leaf balances it is given. It never claims those balances reflect real reserves. Inclusion and local range-check passing means the emitted proofs are internally consistent, non-negative, and chain to the emitted root; it is not a statement that a reserve is solvent, that the leaf set is complete, or that any identifier corresponds to a real account."
      },
      "golden_hash": "e4f4139c70ec0805cea5399f92af601c9e37094d2871fa900dac2a47ce129973"
    },
    {
      "name": "balance-exceeds-max-balance-rejected",
      "policy_parameters": {
        "leaves": [
          {
            "id": "acct-y",
            "balance": "2000"
          }
        ],
        "max_balance": "1000"
      },
      "output_payload": {
        "valid": false,
        "error": "balance_exceeds_max_balance",
        "error_index": 0,
        "leaf_count": 1,
        "max_balance": "1000",
        "root": null,
        "proofs": [],
        "verify_note": "invalid input: no tree was built (reason: balance_exceeds_max_balance)",
        "scope_note": "This kernel commits to whatever leaf balances it is given. It never claims those balances reflect real reserves. Inclusion and local range-check passing means the emitted proofs are internally consistent, non-negative, and chain to the emitted root; it is not a statement that a reserve is solvent, that the leaf set is complete, or that any identifier corresponds to a real account."
      },
      "golden_hash": "cdb4f7ce2b5a8cfe44f7d1df7b4f776ac0aea97b92199c7b2c5573c94f94ad74"
    },
    {
      "name": "custom-max-balance-accepted",
      "policy_parameters": {
        "leaves": [
          {
            "id": "acct-z",
            "balance": "999"
          }
        ],
        "max_balance": "1000"
      },
      "output_payload": {
        "valid": true,
        "error": null,
        "error_index": null,
        "leaf_count": 1,
        "padded_leaf_count": 1,
        "tree_depth": 0,
        "max_balance": "1000",
        "root": {
          "hash": "2f58041e7e8e9b612c2a497b860f409d3dd51f5e8f15946fba6a328de63cb7f1",
          "sum": "999"
        },
        "proofs": [
          {
            "leaf": {
              "id": "acct-z",
              "balance": "999"
            },
            "path": [],
            "root": {
              "hash": "2f58041e7e8e9b612c2a497b860f409d3dd51f5e8f15946fba6a328de63cb7f1",
              "sum": "999"
            }
          }
        ],
        "verify_note": "tree built; 1 inclusion proof(s) generated over a depth-0 tree (padded to 1 leaves)",
        "scope_note": "This kernel commits to whatever leaf balances it is given. It never claims those balances reflect real reserves. Inclusion and local range-check passing means the emitted proofs are internally consistent, non-negative, and chain to the emitted root; it is not a statement that a reserve is solvent, that the leaf set is complete, or that any identifier corresponds to a real account."
      },
      "golden_hash": "2f72f4bedf437ebf67fe0ee56310fd53ce7fc3d1464b02b79e40fb9c6f6eca03"
    },
    {
      "name": "malformed-leaf-id-rejected",
      "policy_parameters": {
        "leaves": [
          {
            "id": 42,
            "balance": "1"
          }
        ]
      },
      "output_payload": {
        "valid": false,
        "error": "invalid_leaf_id",
        "error_index": 0,
        "leaf_count": 1,
        "max_balance": "1000000000000000",
        "root": null,
        "proofs": [],
        "verify_note": "invalid input: no tree was built (reason: invalid_leaf_id)",
        "scope_note": "This kernel commits to whatever leaf balances it is given. It never claims those balances reflect real reserves. Inclusion and local range-check passing means the emitted proofs are internally consistent, non-negative, and chain to the emitted root; it is not a statement that a reserve is solvent, that the leaf set is complete, or that any identifier corresponds to a real account."
      },
      "golden_hash": "c60718f3e9b3ed813685e6479c8750f576b715b194c7d52ea067980511b3e66f"
    },
    {
      "name": "malformed-balance-rejected",
      "policy_parameters": {
        "leaves": [
          {
            "id": "acct-w",
            "balance": "12.5"
          }
        ]
      },
      "output_payload": {
        "valid": false,
        "error": "invalid_leaf_balance",
        "error_index": 0,
        "leaf_count": 1,
        "max_balance": "1000000000000000",
        "root": null,
        "proofs": [],
        "verify_note": "invalid input: no tree was built (reason: invalid_leaf_balance)",
        "scope_note": "This kernel commits to whatever leaf balances it is given. It never claims those balances reflect real reserves. Inclusion and local range-check passing means the emitted proofs are internally consistent, non-negative, and chain to the emitted root; it is not a statement that a reserve is solvent, that the leaf set is complete, or that any identifier corresponds to a real account."
      },
      "golden_hash": "34b01fe48e05c90d0a76ea87c11c7f20e946197f7a1155671e158070ff18dc2e"
    },
    {
      "name": "no-leaves-rejected",
      "policy_parameters": {
        "leaves": []
      },
      "output_payload": {
        "valid": false,
        "error": "no_leaves",
        "error_index": null,
        "leaf_count": 0,
        "max_balance": "1000000000000000",
        "root": null,
        "proofs": [],
        "verify_note": "invalid input: no tree was built (reason: no_leaves)",
        "scope_note": "This kernel commits to whatever leaf balances it is given. It never claims those balances reflect real reserves. Inclusion and local range-check passing means the emitted proofs are internally consistent, non-negative, and chain to the emitted root; it is not a statement that a reserve is solvent, that the leaf set is complete, or that any identifier corresponds to a real account."
      },
      "golden_hash": "9eeb4615acc0ba1cafec3223be6dfff4b9ad2b1da4164d284c23c3a12a911db4"
    }
  ]
}