{
  "tool_id": "art-676-proxy-voting-record",
  "kernel_id": "art-676-proxy-voting-record",
  "display_name": "Proxy Voting Record",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_control",
  "purpose": "Deterministic proxy-voting record arithmetic over caller-declared synthetic inputs. From a declared meeting record date and vote deadline, declared record-date positions, and a declared voting instruction, it computes: entitled_shares as the sum of record-date position shares; days_before_deadline as whole UTC calendar days from the declared instruction received date to the declared deadline; instruction_within_deadline as whether received is not after the deadline; and an overall execution-confirm verdict of VOTE_RECORDED when the instruction is within the deadline or INSTRUCTION_LATE when it is not, with the late instruction still reported rather than dropped. No registrar, no share register, no SSR tape, no borrow list, no cutoff feed, no network, no clock: every date, position, and instruction is a caller-declared input, never fetched or inferred. This is a record-keeping calculator, NOT voting advice, NOT a recommendation on how to vote, NOT a proxy solicitation, and NOT a submission channel: no instruction is transmitted anywhere. An absent or malformed date, position list, or instruction resolves to a fail-closed payload naming each rejected input, never a silently repaired record. Settled calendar and quantity arithmetic; it cites no external standard.",
  "control_description": "Deterministic proxy-voting record arithmetic over caller-declared synthetic inputs. From a declared meeting record date and vote deadline, declared record-date positions, and a declared voting instruction, it computes: entitled_shares as the sum of record-date position shares; days_before_deadline as whole UTC calendar days from the declared instruction received date to the declared deadline; instruction_within_deadline as whether received is not after the deadline; and an overall execution-confirm verdict of VOTE_RECORDED when the instruction is within the deadline or INSTRUCTION_LATE when it is not, with the late instruction still reported rather than dropped. No registrar, no share register, no SSR tape, no borrow list, no cutoff feed, no network, no clock: every date, position, and instruction is a caller-declared input, never fetched or inferred. This is a record-keeping calculator, NOT voting advice, NOT a recommendation on how to vote, NOT a proxy solicitation, and NOT a submission channel: no instruction is transmitted anywhere. An absent or malformed date, position list, or instruction resolves to a fail-closed payload naming each rejected input, never a silently repaired record. Settled calendar and quantity arithmetic; it cites no external standard.",
  "declared_inputs": [],
  "declared_outputs": [],
  "kernel_digest": "sha256:45fb986ebd356f1f484f421129638e61a898c1cc3efe8aa4d9f15f8bedf95994",
  "trust_label": "independently verified: zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-09-04",
  "last_validated": "2026-09-04",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 114,
  "source_url": "https://ainumbers.co/tools/676-proxy-voting-record.html",
  "generated_at": "2026-09-04T13:58:29.589Z"
}