{
  "tool_id": "art-663-apy-earned-recompute",
  "kernel_id": "art-663-apy-earned-recompute",
  "display_name": "APY-Earned Recompute",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_control",
  "purpose": "Recomputes the annual percentage yield earned for a periodic statement from caller-declared inputs: the interest actually earned for the period, the average daily balance (supplied directly or derived as the days-weighted mean of caller-declared balance spans), and the actual days in the period, using the compound general formula of the cited rule text (100*((1+I/B)^(365/D)-1)), and diffs the recomputed yield against the caller-supplied disclosed figure within a declared accuracy band whose 0.05pp default is the rule text's own accuracy statement. Returns MATCHES, DIVERGES with the exact difference, or INDETERMINATE when inputs are outside the declared domain or no disclosed figure exists to diff against. The statement-more-often-than-compounding special formula is declared unsupported and refused, never approximated. An independent recompute-and-receipt over caller-declared contract inputs, not an audit of or substitution for any core platform, and not a claim about what any institution should have disclosed. NOTE: the build spec's simple-annualization variant does not reproduce the cited text's own worked examples and was not implemented; the divergence is recorded in the row check-off.",
  "control_description": "Recomputes the annual percentage yield earned for a periodic statement from caller-declared inputs: the interest actually earned for the period, the average daily balance (supplied directly or derived as the days-weighted mean of caller-declared balance spans), and the actual days in the period, using the compound general formula of the cited rule text (100*((1+I/B)^(365/D)-1)), and diffs the recomputed yield against the caller-supplied disclosed figure within a declared accuracy band whose 0.05pp default is the rule text's own accuracy statement. Returns MATCHES, DIVERGES with the exact difference, or INDETERMINATE when inputs are outside the declared domain or no disclosed figure exists to diff against. The statement-more-often-than-compounding special formula is declared unsupported and refused, never approximated. An independent recompute-and-receipt over caller-declared contract inputs, not an audit of or substitution for any core platform, and not a claim about what any institution should have disclosed. NOTE: the build spec's simple-annualization variant does not reproduce the cited text's own worked examples and was not implemented; the divergence is recorded in the row check-off.",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:8f873b59228d5260e6aaaf4c82cf1f455e515ad601dd4133e74517741edd7608",
  "trust_label": "independently verified: zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-09-06",
  "last_validated": "2026-09-06",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 112,
  "source_url": "https://ainumbers.co/tools/663-apy-earned-recompute.html",
  "generated_at": "2026-09-08T00:40:33.191Z"
}
