Guia d'autoria de condicions

Objecte de condició

Una condició de forma permanent conté només:

ConditionDefinition
    ConditionId
    ClosedObservationDomain
    TypedPredicate
    EvidenceUsePolicy

No conté un ID de proveïdor, un ID de comprovació, una consulta, un carril de confiança, un error d’adquisició, o un estat semàntic autoritzat pel cridant.

Ordre d’autoria

1. Nommeu un ConditionId canònic limitat.
2. Seleccioneu un domini d’observació tancat amb límits exactes i llei d’encoding.
3. Seleccioneu la variant de predicat específica del comparador legal per a aquest domini.
4. Indiqueu la política d’ús d’evidències com a fonts factoritzades, integritat, frescor, autorització, abast, independència i fets de retenció.
5. Afegiu zero o més vinculacions d’operació d’adquisició separades.
6. Referència a la condició d’una llei RET satisfactòria proposicionalment.

La presentació de la crida no necessita cap vinculació de proveïdor fictici. Cada valor presentat és encara admès contra el domini de condició exacte i la política d’ús. L’adquisició local o registrada utilitza un vincle separat que prova la seva operació i relació de projecció.

Domini inicials

• enters exactes signats i no signats limitats;
• decimals exactes amb precisió i escala declarades;
• booleans;
• cadenes i bytes limitats;
• dates i instants amb semàntica nomenada;
• arrays i registres tancats limitats;
• unions tancades per les quals el predicat és legal per a cada membre.

No hi ha coerció implícita, comparació genèrica de punt flotant binari, col·locació de llenguatge humà sense nom, contains sobrecarregat, o domini JSON arbitrari acceptat.

Forma del predicat

Els predicats validades mantenen la seva relació en la variant, per exemple:

Exists
ObservedAbsent
Equals(ValidatedComparableValue)
IntegerGreaterThan(ValidatedInteger)
IntegerClosedRange(InclusiveMinimum, InclusiveMaximum)
DecimalGreaterThan(ValidatedDecimal)
DecimalClosedRange(InclusiveMinimum, InclusiveMaximum)
DateClosedRange(InclusiveMinimum, InclusiveMaximum)
InstantClosedRange(InclusiveMinimum, InclusiveMaximum)
StringContains(ValidatedString)
CollectionContains(ValidatedComparableValue)
InSet(ValidatedNonEmptyCompatibleSet)

La representació segellada actual implementa la relació específica del comparador; no hi ha cap forma de compatibilitat comparator + optional expected JSON. Els constructors d’intervals inclusius admeten ambdós extrems a través del domini propietari exacte i rebutgen límits invertits durant l’admissió de l’escenari.

Víncles d’adquisició

Un nom vinculant designa la condició objectiu, l’operació/font exacta o la identitat del contracte del proveïdor immutable, els paràmetres vinculats a l’esquema validades, i la projecció dins del domini de la condició. El text de consulta igual mai fusiona identitats de condició. Una condició pot admetre diversos camins legals quan la seva política ho permet.

Els vincles del proveïdor de xarxa no es seleccionen per al perfil objectiu inicial.

Contracte de cable actual

L’esquema dag-v3 representa dominis tipats, predicats específics del comparador, política d’ús d’evidència obligatòria, i vinculacions d’adquisició per separat. La sintaxi de predicat antiga vinculada a proveïdors i aplanada és rebutjada; no existeix cap camp de compatibilitat o ruta de migració.