{
  "tool_id": "art-388-tempo-fee-amm-converter",
  "kernel_id": "art-388-tempo-fee-amm-converter",
  "display_name": "Tempo Fee-AMM Conversion Calculator",
  "tool_version": "1.0.0",
  "mandate_type": "treasury_mandate",
  "purpose": "Converts a supplied fee-token amount to the validator's token through Tempo's enshrined protocol Fee AMM (Tempo has no native gas token): validatorTokenOut = userTokenIn x 0.9970, 30bps to LPs. Checks the conversion against declared pool reserves for liquidity sufficiency and returns output-or-failure, never a silent overdraw. Fixed-point BigInt math at attodollar scale; calculator only, zero egress.",
  "control_description": "Converts a supplied fee-token amount to the validator's token through Tempo's enshrined protocol Fee AMM (Tempo has no native gas token): validatorTokenOut = userTokenIn x 0.9970, 30bps to LPs. Checks the conversion against declared pool reserves for liquidity sufficiency and returns output-or-failure, never a silent overdraw. Fixed-point BigInt math at attodollar scale; calculator only, zero egress.",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:2d03df3ee9d7450686eb4fb59512bb3e13c77915d6a1e96c27354725185e0ca2",
  "trust_label": "independently verified -- zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-07-10",
  "last_validated": "2026-07-10",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 65,
  "source_url": "https://ainumbers.co/chaingraph/art-388-tempo-fee-amm-converter.html",
  "generated_at": "2026-07-25T20:02:55.601Z"
}