Una gran decisión de diseño que tomamos al construir Herd ha sido cómo comunicar estados válidos a un llm Comenzando de manera simple, para una transferencia de USDC, podemos decirle "la función balanceOf se puede usar para mostrar el valor máximo de transferencia y si es válido" sin que nosotros codifiquemos estas verificaciones.