Yes, that Boolean logic. The one you probably first encountered as a student: True or False, AND, OR, NOT. The kind of rigid, ...
A useful name for what accumulates in the mismatch is verification debt. It is the gap between what you released and what you have demonstrated, with evidence gathered under conditions that resemble ...