Operacions
SAV admet un conjunt ampli d’operacions d’avaluació:- Resolució de referències d’Accord en instantànies CURRENT derivades immutables
- Avaluació en tres eixos, comparació i explicació
- Grafs de composició i projeccions d’un sol ús
- Validació i diferències de Named Version
- Comprovacions d’Extension Capsule
- Planificació d’Installation Blueprint
- Negociació de compatibilitat entre components declarats
Què no fa SAV
- SAV no assumeix la propietat semàntica dels components que compon.
- SAV no tria un disseny per vosaltres; avalua el que heu declarat.
- SAV no muta fitxers canònics. La seva sortida és evidència i propostes.
- SAV no és l’autoritat d’addició de STAV. Vegeu el productor STAV d’Accordare per a la gestió de la intenció prèvia a la mutació.
SAV és només de lectura, consulta, validació i proposta. L’aplicació canònica programàtica continua desactivada a tota la família de motors SKV.
Superfícies relacionades
Visió general de SKV
El marc general i el model del Contract Quad.
Productor d'Accordare
Circuit d’auditoria acotat de les Named Versions de SAV.
SEV
Casos d’evolució que desencadenen l’avaluació per part de SAV dels canvis de composició.
Ordres de vectors de qxctl
La gramàtica ratificada d’Accordare arribarà com a
qxctl accord ... un cop s’implementi.