Actual
Los predicados crudos actuales utilizan variantes específicas de comparador. La admisión de escenarios construye el dominio de observación cerrado, admite cada operando en ese exacto dominio, valida la legalidad a nivel de unión, cierra la política de uso de evidencia y vincula la adquisición por separado. La representación validada preserva esa relación directamente; no contiene ningún comparador genérico, operando opcional, o valor JSON dinámico.
Objetivo
ValidatedTypedPredicate retiene su variante tipada específica de comparador cerrada. ConditionDefinition contiene solo la identidad de la condición, el dominio de observación cerrado, la predicación tipada y la política de uso de evidencia. Los enlaces de adquisición prueban por separado cómo una operación de proveedor local o futura se proyecta en ese dominio.
Los enteros/decimales exactos, booleanos, cadenas/bytes acotados, fechas/instantes, arrays/registros cerrados y uniones cerradas tienen semánticas explícitas. No hay coerción implícita, flotante genérico, colación sin nombre, o contención sobrecargada que entre por JSON. Los enteros firmados, enteros no firmados, decimales exactos, fechas, y instantes soportan rangos cerrados inclusivos exactos cuya construcción sellada prueba que ambos extremos pertenecen al dominio propietario y minimum <= maximum.
Límite actual y residual
PF-01 implementa el objetivo. La discrepancia de tipo post-validación es un fallo de integridad, nunca semántico Unknown. Las proyecciones dag-v3 generadas describen la relación tipada. Los dominios especializados de IEEE-754 y colación local permanecen como familias matemáticas futuras separadas; el comportamiento del protocolo de ejecución aceptada es propiedad de la autoridad implementada PF-04 en lugar de la validación de comparador.