Actual
Els predicats bruts actuals utilitzen variants específiques del comparador. L’admissió de l’escenari construeix el domini d’observació tancat, admet cada operand en aquest domini exacte, valida la legalitat a nivell d’unió, tanca la política d’ús d’evidències i vincula l’adquisició per separat. La representació validada preserva aquesta relació directament; no conté cap comparador genèric, operand opcional, ni valor JSON dinàmic.
Objectiu
ValidatedTypedPredicate manté la seva variant tipada específica del comparador tancat. ConditionDefinition conté només la identitat de la condició, el domini d’observació tancat, el predicat tipat i la política d’ús d’evidències. Les vinculacions d’adquisició demostren per separat com una operació de proveïdor local o futur es projecta en aquest domini.
Els enters/decimals exactes, booleans, cadenes/bytes limitats, dates/instants, arrays/registre tancats, i unions tancades tenen semàntica explícita. No hi ha coerció implícita, flotant genèric, col·locació sense nom, ni contenció sobrecarregada que entri a través de JSON. Els enters signats, enters sense signe, decimals exactes, dates i instants suporten rangs tancats inclusius exactes, la construcció segellada dels quals demostra que ambdós punts finals pertanyen al domini propietari i minimum <= maximum.
Límits actuals i residuals
PF-01 implementa l’objectiu. La discrepància de tipus post-validació és un fracàs d’integritat, mai un Unknown semàntic. Les projeccions dag-v3 generades descriuen la relació tipada. Els dominis especialitzats IEEE-754 i de col·locació local romanen famílies matemàtiques futures separades; el comportament del protocol d’execució acceptada és propietat de l’autoritat PF-04 implementada en lloc de la validació del comparador.