{ "tool_id": "art-621-summa-mst-liability-aggregator", "tool_version": "1.0.0", "display_name": "Summa MST Liability Aggregator", "mcp_name": "aggregate_summa_mst_liabilities", "mandate_type": "cryptographic_mandate", "wave": 100, "gpu": false, "url": "https://ainumbers.co/chaingraph/art-621-summa-mst-liability-aggregator.html", "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.", "input_schema_ref": "manifests/621-summa-mst-liability-aggregator.manifest.json#input_schema", "consumes": [], "feeds": [ "art-620-summa-mst-inclusion-checker" ], "status": "live", "conformance_fixtures": true, "compute_capability": "server", "compute_images": [ { "system": "sha256-source", "image_id": "sha256:f237e50a1552db96450eb52e9c5ba27f461bfa8c8a610a3eb7a4818213080688", "valid_from": "2026-08-14" }, { "system": "risc0", "image_id": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6", "valid_from": "2026-08-20" } ], "export_capability": [ "json" ], "compute_proof_ready": "ready", "standards_basis": "not_applicable", "deferred_reason": "New gpu:false node, art-621, staged 2026-08-14. No GPU proving attempted this session, so GPU-CYCLE-PREFLIGHT-1's exec-cycle check was not run and cycle_preflight stays PENDING; this is a ratchet-visible deferral per the §18 steady-state rule (RIDER-KERNEL.md), never a silent claim of proof. GUEST-BUILTIN-GATE-1's check-guest-builtin-safety.mjs gate is not yet present on origin/main (unmerged branch), so it could not be run either, but this kernel was authored to satisfy it by construction: no TextEncoder/atob/btoa/URL anywhere in compute(), only the validated pure-JS utf8ToBytes encoder and a pure-JS synchronous SHA-256. Proving is a follow-on.", "compute_proof": { "type": "ZkVmReceipt", "system": "risc0", "receiptFormat": "groth16-bn254", "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6", "seal": "Lh6of+8g78m0uUd/BXrezmvtPh+iMTSL7TdZO9PM/60B/PJK/+GJUO5wXwl/iKL/0uBIt5kHLctNIUKoqLY1YArBeQmL13/9u6/5IUKBN2FfFECxkiFVDnEaEynXTB3TA8Wqc0n643maAYeQs9nK2Z4qDdc7HbSuxSTOXF9c8YcCWZxQJ2pCIwU66HPV5xX2nc7m/Dv1IVaezajM3P0YVyUXzxigybq32CrCCTe7qm3tyxgkEybiaHXB3YCmjMp9JTvRyI9GSfTdCcP2yFQ0Y154rn8XkJMAsuFtDe2OiL8JimcMCg+wimt1rNrMjEvhw97u9YJnprCciRZLYf2Udw==", "journal": { "chaingraph_version": "0.4.0", "kernel_digest": "sha256:f237e50a1552db96450eb52e9c5ba27f461bfa8c8a610a3eb7a4818213080688", "output": { "error": null, "error_index": null, "leaf_count": 16, "max_balance": "1000000000000000", "padded_leaf_count": 16, "proofs": [ { "leaf": { "balance": "1000", "id": "acct-00" }, "path": [ { "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", "side": "right" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "2000", "id": "acct-01" }, "path": [ { "sibling_hash": "26f90f9274455a90d0865455ac1010ffa04bd2947abd691ed0345503d076901f", "sibling_sum": "1000", "side": "left" }, { "sibling_hash": "a8eb5672a55283eff37e08eda9ad50d860c879aeda6e54af1357255da514430d", "sibling_sum": "7000", "side": "right" }, { "sibling_hash": "c93a82ae774da7f739d9db8be282825e0b9c9072b891c27952d546e1000c32ae", "sibling_sum": "26000", "side": "right" }, { "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b", "sibling_sum": "100000", "side": "right" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "3000", "id": "acct-02" }, "path": [ { "sibling_hash": "e1030c6a5d7da3f52ffd5f6e1b38c7a79998fa0d78e3c68bf5c664c611c659d6", "sibling_sum": "4000", "side": "right" }, { "sibling_hash": "ebc34b41fec0421485b57cd2d6809a34990f025389561fe18ba054ccec6632f4", "sibling_sum": "3000", "side": "left" }, { "sibling_hash": "c93a82ae774da7f739d9db8be282825e0b9c9072b891c27952d546e1000c32ae", "sibling_sum": "26000", "side": "right" }, { "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b", "sibling_sum": "100000", "side": "right" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "4000", "id": "acct-03" }, "path": [ { "sibling_hash": "d55d4ef54573bcb1a9012d7281027677b140a14b9047eaa58dc4756085f710ce", "sibling_sum": "3000", "side": "left" }, { "sibling_hash": "ebc34b41fec0421485b57cd2d6809a34990f025389561fe18ba054ccec6632f4", "sibling_sum": "3000", "side": "left" }, { "sibling_hash": "c93a82ae774da7f739d9db8be282825e0b9c9072b891c27952d546e1000c32ae", "sibling_sum": "26000", "side": "right" }, { "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b", "sibling_sum": "100000", "side": "right" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "5000", "id": "acct-04" }, "path": [ { "sibling_hash": "abb63932b1c009ce5839a8a9609fc9d45c242ff4c7d57e72cd580a5b86a60067", "sibling_sum": "6000", "side": "right" }, { "sibling_hash": "6d6a305a686190db171b1dd8f0b4436e74aca3a6d0dc72a943f9e3011dae40b9", "sibling_sum": "15000", "side": "right" }, { "sibling_hash": "23322115eb850c405dc1267690b475034bcca242be0a7139e13946bda3feb99c", "sibling_sum": "10000", "side": "left" }, { "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b", "sibling_sum": "100000", "side": "right" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "6000", "id": "acct-05" }, "path": [ { "sibling_hash": "02f61af60d4755ae553b955c8f3878b0bdb24b63a2e6b45ffc6fb5fe0252f839", "sibling_sum": "5000", "side": "left" }, { "sibling_hash": "6d6a305a686190db171b1dd8f0b4436e74aca3a6d0dc72a943f9e3011dae40b9", "sibling_sum": "15000", "side": "right" }, { "sibling_hash": "23322115eb850c405dc1267690b475034bcca242be0a7139e13946bda3feb99c", "sibling_sum": "10000", "side": "left" }, { "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b", "sibling_sum": "100000", "side": "right" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "7000", "id": "acct-06" }, "path": [ { "sibling_hash": "6f856ca5b2dc364d1d6f98e70f340c51f557f821c05fb2019d975504788d7583", "sibling_sum": "8000", "side": "right" }, { "sibling_hash": "10d368942ca3da35b50721ad4a04662ad3118afdd8829578b32728a94bfaffe9", "sibling_sum": "11000", "side": "left" }, { "sibling_hash": "23322115eb850c405dc1267690b475034bcca242be0a7139e13946bda3feb99c", "sibling_sum": "10000", "side": "left" }, { "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b", "sibling_sum": "100000", "side": "right" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "8000", "id": "acct-07" }, "path": [ { "sibling_hash": "b9787d0a390104cd2a5f91a1d0b51a5bcb4e96c867bedcb605cad58b05faecfc", "sibling_sum": "7000", "side": "left" }, { "sibling_hash": "10d368942ca3da35b50721ad4a04662ad3118afdd8829578b32728a94bfaffe9", "sibling_sum": "11000", "side": "left" }, { "sibling_hash": "23322115eb850c405dc1267690b475034bcca242be0a7139e13946bda3feb99c", "sibling_sum": "10000", "side": "left" }, { "sibling_hash": "e46c77b404f5264fc72aaf21be9a4a69f45d42377c076c9cebf5efbeff44ef9b", "sibling_sum": "100000", "side": "right" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "9000", "id": "acct-08" }, "path": [ { "sibling_hash": "1333c8bbb7161367351882897ad94d31ba56094e4bf4c0ae5223d4a99cf9c370", "sibling_sum": "10000", "side": "right" }, { "sibling_hash": "cf16dfb85f8cb989a4af2bc41d6a4bf2a3b703c7c91696c358af7d693e015788", "sibling_sum": "23000", "side": "right" }, { "sibling_hash": "98cbc1d462d8251ca7079dc634e1e9756f668581062429bdd0ff8d1111bf8d2d", "sibling_sum": "58000", "side": "right" }, { "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494", "sibling_sum": "36000", "side": "left" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "10000", "id": "acct-09" }, "path": [ { "sibling_hash": "5093df3c1bf4a1a2ad249e231608c22cc166acfa25d4d341522eec3f2a312bc9", "sibling_sum": "9000", "side": "left" }, { "sibling_hash": "cf16dfb85f8cb989a4af2bc41d6a4bf2a3b703c7c91696c358af7d693e015788", "sibling_sum": "23000", "side": "right" }, { "sibling_hash": "98cbc1d462d8251ca7079dc634e1e9756f668581062429bdd0ff8d1111bf8d2d", "sibling_sum": "58000", "side": "right" }, { "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494", "sibling_sum": "36000", "side": "left" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "11000", "id": "acct-10" }, "path": [ { "sibling_hash": "12ae92d22cb3de6e34527b61bd4925ff07602b876de570f1eaf7e65003bae7c6", "sibling_sum": "12000", "side": "right" }, { "sibling_hash": "2c139ede78426207b54c06d6e9383f40e6524dd9cbda3e84d487ae091e1a7459", "sibling_sum": "19000", "side": "left" }, { "sibling_hash": "98cbc1d462d8251ca7079dc634e1e9756f668581062429bdd0ff8d1111bf8d2d", "sibling_sum": "58000", "side": "right" }, { "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494", "sibling_sum": "36000", "side": "left" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "12000", "id": "acct-11" }, "path": [ { "sibling_hash": "6447cf7bb8c2d86055f464f619bddc56da68c59e368caf991a2dc93f3f3e46c4", "sibling_sum": "11000", "side": "left" }, { "sibling_hash": "2c139ede78426207b54c06d6e9383f40e6524dd9cbda3e84d487ae091e1a7459", "sibling_sum": "19000", "side": "left" }, { "sibling_hash": "98cbc1d462d8251ca7079dc634e1e9756f668581062429bdd0ff8d1111bf8d2d", "sibling_sum": "58000", "side": "right" }, { "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494", "sibling_sum": "36000", "side": "left" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "13000", "id": "acct-12" }, "path": [ { "sibling_hash": "7cd549ee89d3b6a4129fb05152989cc0a6840985cf5b6d9b11c9702a2ed952c1", "sibling_sum": "14000", "side": "right" }, { "sibling_hash": "6e4745f6c54bc6329eba697e6d4c4cd64dc3b35bb2fe1001c6162d22b70011fe", "sibling_sum": "31000", "side": "right" }, { "sibling_hash": "0adbc58d0ba781983ce499bea88f7432503982ed82a9670ed41bde05df546ea5", "sibling_sum": "42000", "side": "left" }, { "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494", "sibling_sum": "36000", "side": "left" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "14000", "id": "acct-13" }, "path": [ { "sibling_hash": "4dde89a39ad699b712e51f8effc76d43e2615763300b83963254c82386514a2a", "sibling_sum": "13000", "side": "left" }, { "sibling_hash": "6e4745f6c54bc6329eba697e6d4c4cd64dc3b35bb2fe1001c6162d22b70011fe", "sibling_sum": "31000", "side": "right" }, { "sibling_hash": "0adbc58d0ba781983ce499bea88f7432503982ed82a9670ed41bde05df546ea5", "sibling_sum": "42000", "side": "left" }, { "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494", "sibling_sum": "36000", "side": "left" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "15000", "id": "acct-14" }, "path": [ { "sibling_hash": "5d5b846d8a93cbea059feafc3ab29ec17251286fd8c0dd90531db5543d1deb97", "sibling_sum": "16000", "side": "right" }, { "sibling_hash": "75dccf06a4797ca841ea17bd789932b233d16620ceb4d265bddf73192fe9971e", "sibling_sum": "27000", "side": "left" }, { "sibling_hash": "0adbc58d0ba781983ce499bea88f7432503982ed82a9670ed41bde05df546ea5", "sibling_sum": "42000", "side": "left" }, { "sibling_hash": "530429042bb551833a0c8817858e961139e1ae9055a001107497521b3e3c9494", "sibling_sum": "36000", "side": "left" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } }, { "leaf": { "balance": "16000", "id": "acct-15" }, "path": [ { "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", "side": "left" } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" } } ], "root": { "hash": "d37ae0460bd302a36043d8bcbbaef1c93361516b539f8ce41db8e77581441834", "sum": "136000" }, "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.", "tree_depth": 4, "valid": true, "verify_note": "tree built; 16 inclusion proof(s) generated over a depth-4 tree (padded to 16 leaves)" } } } }