EIP-712 domain

Domain separator and Claim type hash.

Domain separator is read on-chain via DOMAIN_SEPARATOR(). The type hash:

claim-types.sol

keccak256(
  "Claim(address recipient,uint256 amount,bytes32 claimRef,uint256 nonce,uint256 deadline)"
);

claimRef is derived as keccak256(recipient, nonce, random salt) and is consumed once on-chain via usedClaimRef[ref] = true. Each recipient's nonces counter increments with every successful claim.

Claim with signature

Submit an EIP-712 signed claim on-chain.

AI plan verifier

Have an LLM generate a verification plan for a CTA task.