No save attribute was passed, previous version will only be stored in memory and not written to disk
If a save attribute was passed, and this message still shows, there is a internal server error
The global assurance level is 100
Verifying Requirement R0: not data_value_alternative_eventually_follows (tree, 'not data.authenticated', 'Unlock screen', 'global')
Branch default was found which matches to notdata.authenticated, lower assurance
Activity "Unlock screen" existence was checked but not found
Branch following condition"not data.authenticated was found, however the Activity "Unlock screen" was not found on the branch, since the scope is global, the two elements are compared
branch and "Unlock screen" are on different exclusive branches
Requirement R0 is True with assurance level 90
Verifying Requirement R1: exists (tree, 'activate screen lock')
Requirement R1 is True with assurance level 100
Verifying Requirement R2: exists (tree, 'automatic screen lock') and timed_alternative (tree, 'automatic screen lock', 'user input', 60)
No timeout was found to enforce the timed_alternative requirement
Requirement R2 is False with assurance level 100
Currently required activities for the process are: {'automatic screen lock', 'activate screen lock', 'Unlock screen', 'user input'}
Currently missing activities for the process are: set()
No save attribute was passed, previous version will only be stored in memory and not written to disk
If a save attribute was passed, and this message still shows, there is a internal server error
The global assurance level is 100
Verifying Requirement R0: exists (tree, 'obtain respondent bank annual report') and exists (tree, 'analyze respondent bank annual report')
Requirement R0 is True with assurance level 100
Verifying Requirement R1: data_value_alternative_eventually_follows (tree, 'not data.evaluation', 'add respondent bank to blacklist')
Activity "add respondent bank to blacklist" was found on branch following condition "not data.evaluation"
Requirement R1 is True with assurance level 100
Verifying Requirement R2: data_value_alternative_directly_follows (tree, 'data.risk', 'terminate')
Activity "terminate" directly followed the data_condition "data.risk"
Requirement R2 is True with assurance level 100
Verifying Requirement R3: data_value_alternative_eventually_follows (tree, 'data.evaluation_extra', 'conduct due diligence study')
Branch was found which matches to data.evaluation_extra
Activity "conduct due diligence study" was found on branch following condition "data.evaluation_extra"
Requirement R3 is True with assurance level 100
Verifying Requirement R4: data_value_alternative_eventually_follows (tree, 'data.respondent_bank_rating == "rejected" ' , 'terminate')
Activity "terminate" was found on branch following condition "data.respondent_bank_rating == "rejected" "
Requirement R4 is True with assurance level 100
Verifying Requirement R5: precedence (tree, 'open bank account', 'check respondent bank certificate')
Activity "check respondent bank certificate" was found before "open bank account", so precedence "open bank account" requires "check respondent bank certificate" before is True
Requirement R5 is True with assurance level 100
Currently required activities for the process are: {'open bank account', 'check respondent bank certificate', 'conduct due diligence study', 'add respondent bank to blacklist', 'obtain respondent bank annual report', 'analyze respondent bank annual report'}
Currently missing activities for the process are: set()