A SEMNA aici a simțit ca automatizarea verificărilor de conformitate, dar este mai aproape de încorporarea regulilor direct în execuție. Ceea ce observ este dacă constrângerile declanșează de fapt repetat sau doar stau ca niște balustrade.
Dacă conformitatea devine impusă la fiecare interacțiune, obții o cerere continuă. Dacă doar semnalează margini, rămâne procedural. Designul are sens, dar utilizarea încă necesită dovezi.