Qué detecta, mostrado de tres maneras
La demostración recorre un BLOCK, un PASS y una escalada, todos sobre posiciones sintéticas. Las capturas de pantalla siguientes son tomas reales de la aplicación en ejecución.
El ancla: una posición OBBBA de intereses de préstamo de automóvil redactada como por encima de la línea
Una declaración redactada dice: «La nueva deducción OBBBA de intereses de préstamo de automóvil es una deducción por encima de la línea que reduce el AGI del cliente». Es plausible, está bien escrita y es incorrecta. Los intereses cualificados de préstamos para vehículos de pasajeros son una deducción por debajo de la línea bajo el §63(b)(7); no reducen el AGI. Según el propio README de la demostración, la guía general de preparación fiscal (incluido el sitio de H&R Block) la ha etiquetado erróneamente como por encima de la línea. StatuteGuard devuelve BLOCK: DO NOT FILE, anima la cadena de citas §163(h)(1) → §163(h)(4)(A) → §63(b)(7) → §62/§63, y señala una cascada posterior de 5 vías de lo que se rompe si se presenta tal como se redactó: AGI, impuesto estatal acoplado al AGI, primas Medicare IRMAA, el suelo de la deducción de gastos médicos, y el reembolso de préstamos estudiantiles basado en los ingresos.
El paso de extracción tardó 5.93s; el anclaje determinista emitió su veredicto en microsegundos.
Un intercambio limpio del §1031 pasa
Un intercambio conforme de bienes de igual naturaleza de inmuebles de inversión devuelve CLEARED: safe to file as drafted, con su propia cadena de citas de dos nodos (§1031(a)(1) y §1031(a)(2)-TCJA). Esta es la disciplina que importa: una posición correcta nunca se marca por error. La precisión de la puerta es del 100% con 0 bloqueos falsos en el conjunto dorado.
Una zona gris del §280A escala
Una posición de oficina en casa en la que el expediente no establece el uso exclusivo para negocios es una prueba de hechos y circunstancias, fuera de la cobertura determinista. StatuteGuard devuelve NEEDS HUMAN REVIEW en lugar de farolear. El LLM propone una afirmación comprobable e informa la confianza; por debajo del umbral, la posición se escala, nunca la resuelve el modelo.
Puedes leer las políticas tú mismo
El visor Policy Rules muestra la lógica estatutaria determinista como tablas de decisión legibles junto al código fuente OPA/Rego real. Este es el sentido de una capa de verificación que puedes defender: confirmas que el código coincide con el estatuto, en lugar de confiar en el resumen de un modelo.
Cada veredicto escribe un registro presentable
La etapa de auditoría produce un papel de trabajo de diligencia debida Form SG-6662: la fuente, la autoridad estatutaria primaria, la afirmación extraída, la narración de la determinación y la cadena de citas completa, listo para imprimir o guardar como PDF y conservar en el expediente del cliente. Sustenta una posición de causa razonable del §6662; no es asesoramiento.
Medido sobre un conjunto dorado etiquetado, evaluado en local
Run Benchmark reproduce un conjunto dorado etiquetado de 42 posiciones (14 limpias, 16 con error, 12 a escalar). El marcador informa 71.4% de cobertura determinista, 100% de precisión de la puerta con 0 bloqueos falsos, 100% de completitud de captura de errores y 100% de escalada correcta de zonas grises, con cada veredicto coincidiendo con su etiqueta. Estas cifras describen la capa de verificación, no una tasa de error del modelo, por lo que se sostienen a medida que mejoran los modelos base. Durante la construcción, los veredictos se contrastaron con OPA 1.17.1 y coincidieron con el gemelo en Python puro exactamente en los 42 casos.
Estas cifras se miden sobre un conjunto dorado etiquetado fijo de 42 casos de las disposiciones codificadas, no una garantía de mundo abierto.