{
  "tool_id": "art-620-summa-mst-inclusion-checker",
  "kernel_id": "art-620-summa-mst-inclusion-checker",
  "display_name": "Summa MST Inclusion Checker",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_mandate",
  "purpose": "Paste a published Merkle-sum-tree root (hash + sum) and an inclusion proof for one leaf; verifies membership AND local balance-sum-chain consistency entirely offline, client-side. Independently recomputes both the hash chain and the sum chain from the leaf to the root over the pasted proof path -- never trusting the pasted root as an oracle for itself -- and rejects any negative balance or any balance/sum exceeding a declared MAX_BALANCE domain bound anywhere in the path, closing the Maxwell eprint 2022/043 'broken MST' negative-balance-cancellation hazard the same way Summa's own circuit does with a RangeCheckChip, applied here at the application layer instead of inside a ZK circuit. Verify-only: reports leaf inclusion and local range-consistency, never a solvency or reserve-sufficiency claim.",
  "control_description": "Paste a published Merkle-sum-tree root (hash + sum) and an inclusion proof for one leaf; verifies membership AND local balance-sum-chain consistency entirely offline, client-side. Independently recomputes both the hash chain and the sum chain from the leaf to the root over the pasted proof path -- never trusting the pasted root as an oracle for itself -- and rejects any negative balance or any balance/sum exceeding a declared MAX_BALANCE domain bound anywhere in the path, closing the Maxwell eprint 2022/043 'broken MST' negative-balance-cancellation hazard the same way Summa's own circuit does with a RangeCheckChip, applied here at the application layer instead of inside a ZK circuit. Verify-only: reports leaf inclusion and local range-consistency, never a solvency or reserve-sufficiency claim.",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:2dc3bf8bb1f5ae7c1d3c1023fdd8c19a1abd94fae7105f93541303cf0f9c77a6",
  "trust_label": "independently verified: zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-08-16",
  "last_validated": "2026-08-16",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 100,
  "source_url": "https://ainumbers.co/chaingraph/art-620-summa-mst-inclusion-checker.html",
  "generated_at": "2026-08-17T10:59:55.390Z"
}