{"data":{"action_count":14,"asset_class_count":10,"check_count":396,"checks":[{"id":"nominal-robotic-inspection:deterministic","passed":true,"statement":"ᚾᛟᛗᛁᚾᚨᛚ-ᚱᛟᛒᛟᛏᛁᚲ-ᛁᚾᛊᛈᛖᚲᛏᛁᛟᚾ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"nominal-robotic-inspection:proof","passed":true,"statement":"ᚾᛟᛗᛁᚾᚨᛚ-ᚱᛟᛒᛟᛏᛁᚲ-ᛁᚾᛊᛈᛖᚲᛏᛁᛟᚾ / ᛈᚱᛟᛟᚠ"},{"id":"nominal-robotic-inspection:expected_action","passed":true,"statement":"ᚾᛟᛗᛁᚾᚨᛚ-ᚱᛟᛒᛟᛏᛁᚲ-ᛁᚾᛊᛈᛖᚲᛏᛁᛟᚾ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"nominal-robotic-inspection:expected_return","passed":true,"statement":"ᚾᛟᛗᛁᚾᚨᛚ-ᚱᛟᛒᛟᛏᛁᚲ-ᛁᚾᛊᛈᛖᚲᛏᛁᛟᚾ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"nominal-robotic-inspection:event_chain","passed":true,"statement":"ᚾᛟᛗᛁᚾᚨᛚ-ᚱᛟᛒᛟᛏᛁᚲ-ᛁᚾᛊᛈᛖᚲᛏᛁᛟᚾ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"nominal-robotic-inspection:boundary","passed":true,"statement":"ᚾᛟᛗᛁᚾᚨᛚ-ᚱᛟᛒᛟᛏᛁᚲ-ᛁᚾᛊᛈᛖᚲᛏᛁᛟᚾ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"nominal-robotic-inspection:terminal","passed":true,"statement":"ᚾᛟᛗᛁᚾᚨᛚ-ᚱᛟᛒᛟᛏᛁᚲ-ᛁᚾᛊᛈᛖᚲᛏᛁᛟᚾ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"nominal-robotic-inspection:no_real_change","passed":true,"statement":"ᚾᛟᛗᛁᚾᚨᛚ-ᚱᛟᛒᛟᛏᛁᚲ-ᛁᚾᛊᛈᛖᚲᛏᛁᛟᚾ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"early-vibration-degradation:deterministic","passed":true,"statement":"ᛖᚨᚱᛚᛃ-ᚹᛁᛒᚱᚨᛏᛁᛟᚾ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"early-vibration-degradation:proof","passed":true,"statement":"ᛖᚨᚱᛚᛃ-ᚹᛁᛒᚱᚨᛏᛁᛟᚾ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛈᚱᛟᛟᚠ"},{"id":"early-vibration-degradation:expected_action","passed":true,"statement":"ᛖᚨᚱᛚᛃ-ᚹᛁᛒᚱᚨᛏᛁᛟᚾ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"early-vibration-degradation:expected_return","passed":true,"statement":"ᛖᚨᚱᛚᛃ-ᚹᛁᛒᚱᚨᛏᛁᛟᚾ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"early-vibration-degradation:event_chain","passed":true,"statement":"ᛖᚨᚱᛚᛃ-ᚹᛁᛒᚱᚨᛏᛁᛟᚾ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"early-vibration-degradation:boundary","passed":true,"statement":"ᛖᚨᚱᛚᛃ-ᚹᛁᛒᚱᚨᛏᛁᛟᚾ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"early-vibration-degradation:terminal","passed":true,"statement":"ᛖᚨᚱᛚᛃ-ᚹᛁᛒᚱᚨᛏᛁᛟᚾ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"early-vibration-degradation:no_real_change","passed":true,"statement":"ᛖᚨᚱᛚᛃ-ᚹᛁᛒᚱᚨᛏᛁᛟᚾ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"thermal-anomaly:deterministic","passed":true,"statement":"ᚦᛖᚱᛗᚨᛚ-ᚨᚾᛟᛗᚨᛚᛃ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"thermal-anomaly:proof","passed":true,"statement":"ᚦᛖᚱᛗᚨᛚ-ᚨᚾᛟᛗᚨᛚᛃ / ᛈᚱᛟᛟᚠ"},{"id":"thermal-anomaly:expected_action","passed":true,"statement":"ᚦᛖᚱᛗᚨᛚ-ᚨᚾᛟᛗᚨᛚᛃ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"thermal-anomaly:expected_return","passed":true,"statement":"ᚦᛖᚱᛗᚨᛚ-ᚨᚾᛟᛗᚨᛚᛃ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"thermal-anomaly:event_chain","passed":true,"statement":"ᚦᛖᚱᛗᚨᛚ-ᚨᚾᛟᛗᚨᛚᛃ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"thermal-anomaly:boundary","passed":true,"statement":"ᚦᛖᚱᛗᚨᛚ-ᚨᚾᛟᛗᚨᛚᛃ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"thermal-anomaly:terminal","passed":true,"statement":"ᚦᛖᚱᛗᚨᛚ-ᚨᚾᛟᛗᚨᛚᛃ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"thermal-anomaly:no_real_change","passed":true,"statement":"ᚦᛖᚱᛗᚨᛚ-ᚨᚾᛟᛗᚨᛚᛃ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"intermittent-power-quality-fault:deterministic","passed":true,"statement":"ᛁᚾᛏᛖᚱᛗᛁᛏᛏᛖᚾᛏ-ᛈᛟᚹᛖᚱ-ᚲᚹᚨᛚᛁᛏᛃ-ᚠᚨᚢᛚᛏ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"intermittent-power-quality-fault:proof","passed":true,"statement":"ᛁᚾᛏᛖᚱᛗᛁᛏᛏᛖᚾᛏ-ᛈᛟᚹᛖᚱ-ᚲᚹᚨᛚᛁᛏᛃ-ᚠᚨᚢᛚᛏ / ᛈᚱᛟᛟᚠ"},{"id":"intermittent-power-quality-fault:expected_action","passed":true,"statement":"ᛁᚾᛏᛖᚱᛗᛁᛏᛏᛖᚾᛏ-ᛈᛟᚹᛖᚱ-ᚲᚹᚨᛚᛁᛏᛃ-ᚠᚨᚢᛚᛏ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"intermittent-power-quality-fault:expected_return","passed":true,"statement":"ᛁᚾᛏᛖᚱᛗᛁᛏᛏᛖᚾᛏ-ᛈᛟᚹᛖᚱ-ᚲᚹᚨᛚᛁᛏᛃ-ᚠᚨᚢᛚᛏ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"intermittent-power-quality-fault:event_chain","passed":true,"statement":"ᛁᚾᛏᛖᚱᛗᛁᛏᛏᛖᚾᛏ-ᛈᛟᚹᛖᚱ-ᚲᚹᚨᛚᛁᛏᛃ-ᚠᚨᚢᛚᛏ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"intermittent-power-quality-fault:boundary","passed":true,"statement":"ᛁᚾᛏᛖᚱᛗᛁᛏᛏᛖᚾᛏ-ᛈᛟᚹᛖᚱ-ᚲᚹᚨᛚᛁᛏᛃ-ᚠᚨᚢᛚᛏ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"intermittent-power-quality-fault:terminal","passed":true,"statement":"ᛁᚾᛏᛖᚱᛗᛁᛏᛏᛖᚾᛏ-ᛈᛟᚹᛖᚱ-ᚲᚹᚨᛚᛁᛏᛃ-ᚠᚨᚢᛚᛏ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"intermittent-power-quality-fault:no_real_change","passed":true,"statement":"ᛁᚾᛏᛖᚱᛗᛁᛏᛏᛖᚾᛏ-ᛈᛟᚹᛖᚱ-ᚲᚹᚨᛚᛁᛏᛃ-ᚠᚨᚢᛚᛏ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"evidence-stale:deterministic","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᛊᛏᚨᛚᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"evidence-stale:proof","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᛊᛏᚨᛚᛖ / ᛈᚱᛟᛟᚠ"},{"id":"evidence-stale:expected_action","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᛊᛏᚨᛚᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"evidence-stale:expected_return","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᛊᛏᚨᛚᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"evidence-stale:event_chain","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᛊᛏᚨᛚᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"evidence-stale:boundary","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᛊᛏᚨᛚᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"evidence-stale:terminal","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᛊᛏᚨᛚᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"evidence-stale:no_real_change","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᛊᛏᚨᛚᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"evidence-conflict:deterministic","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᚠᛚᛁᚲᛏ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"evidence-conflict:proof","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᚠᛚᛁᚲᛏ / ᛈᚱᛟᛟᚠ"},{"id":"evidence-conflict:expected_action","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᚠᛚᛁᚲᛏ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"evidence-conflict:expected_return","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᚠᛚᛁᚲᛏ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"evidence-conflict:event_chain","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᚠᛚᛁᚲᛏ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"evidence-conflict:boundary","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᚠᛚᛁᚲᛏ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"evidence-conflict:terminal","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᚠᛚᛁᚲᛏ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"evidence-conflict:no_real_change","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᚠᛚᛁᚲᛏ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"correlated-sensor-failure:deterministic","passed":true,"statement":"ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛊᛖᚾᛊᛟᚱ-ᚠᚨᛁᛚᚢᚱᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"correlated-sensor-failure:proof","passed":true,"statement":"ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛊᛖᚾᛊᛟᚱ-ᚠᚨᛁᛚᚢᚱᛖ / ᛈᚱᛟᛟᚠ"},{"id":"correlated-sensor-failure:expected_action","passed":true,"statement":"ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛊᛖᚾᛊᛟᚱ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"correlated-sensor-failure:expected_return","passed":true,"statement":"ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛊᛖᚾᛊᛟᚱ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"correlated-sensor-failure:event_chain","passed":true,"statement":"ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛊᛖᚾᛊᛟᚱ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"correlated-sensor-failure:boundary","passed":true,"statement":"ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛊᛖᚾᛊᛟᚱ-ᚠᚨᛁᛚᚢᚱᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"correlated-sensor-failure:terminal","passed":true,"statement":"ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛊᛖᚾᛊᛟᚱ-ᚠᚨᛁᛚᚢᚱᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"correlated-sensor-failure:no_real_change","passed":true,"statement":"ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛊᛖᚾᛊᛟᚱ-ᚠᚨᛁᛚᚢᚱᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"unknown-failure-mode:deterministic","passed":true,"statement":"ᚢᚾᚲᚾᛟᚹᚾ-ᚠᚨᛁᛚᚢᚱᛖ-ᛗᛟᛞᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"unknown-failure-mode:proof","passed":true,"statement":"ᚢᚾᚲᚾᛟᚹᚾ-ᚠᚨᛁᛚᚢᚱᛖ-ᛗᛟᛞᛖ / ᛈᚱᛟᛟᚠ"},{"id":"unknown-failure-mode:expected_action","passed":true,"statement":"ᚢᚾᚲᚾᛟᚹᚾ-ᚠᚨᛁᛚᚢᚱᛖ-ᛗᛟᛞᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"unknown-failure-mode:expected_return","passed":true,"statement":"ᚢᚾᚲᚾᛟᚹᚾ-ᚠᚨᛁᛚᚢᚱᛖ-ᛗᛟᛞᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"unknown-failure-mode:event_chain","passed":true,"statement":"ᚢᚾᚲᚾᛟᚹᚾ-ᚠᚨᛁᛚᚢᚱᛖ-ᛗᛟᛞᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"unknown-failure-mode:boundary","passed":true,"statement":"ᚢᚾᚲᚾᛟᚹᚾ-ᚠᚨᛁᛚᚢᚱᛖ-ᛗᛟᛞᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"unknown-failure-mode:terminal","passed":true,"statement":"ᚢᚾᚲᚾᛟᚹᚾ-ᚠᚨᛁᛚᚢᚱᛖ-ᛗᛟᛞᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"unknown-failure-mode:no_real_change","passed":true,"statement":"ᚢᚾᚲᚾᛟᚹᚾ-ᚠᚨᛁᛚᚢᚱᛖ-ᛗᛟᛞᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"software-attestation-failure:deterministic","passed":true,"statement":"ᛊᛟᚠᛏᚹᚨᚱᛖ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"software-attestation-failure:proof","passed":true,"statement":"ᛊᛟᚠᛏᚹᚨᚱᛖ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛈᚱᛟᛟᚠ"},{"id":"software-attestation-failure:expected_action","passed":true,"statement":"ᛊᛟᚠᛏᚹᚨᚱᛖ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"software-attestation-failure:expected_return","passed":true,"statement":"ᛊᛟᚠᛏᚹᚨᚱᛖ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"software-attestation-failure:event_chain","passed":true,"statement":"ᛊᛟᚠᛏᚹᚨᚱᛖ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"software-attestation-failure:boundary","passed":true,"statement":"ᛊᛟᚠᛏᚹᚨᚱᛖ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"software-attestation-failure:terminal","passed":true,"statement":"ᛊᛟᚠᛏᚹᚨᚱᛖ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"software-attestation-failure:no_real_change","passed":true,"statement":"ᛊᛟᚠᛏᚹᚨᚱᛖ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"model-attestation-failure:deterministic","passed":true,"statement":"ᛗᛟᛞᛖᛚ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"model-attestation-failure:proof","passed":true,"statement":"ᛗᛟᛞᛖᛚ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛈᚱᛟᛟᚠ"},{"id":"model-attestation-failure:expected_action","passed":true,"statement":"ᛗᛟᛞᛖᛚ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"model-attestation-failure:expected_return","passed":true,"statement":"ᛗᛟᛞᛖᛚ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"model-attestation-failure:event_chain","passed":true,"statement":"ᛗᛟᛞᛖᛚ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"model-attestation-failure:boundary","passed":true,"statement":"ᛗᛟᛞᛖᛚ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"model-attestation-failure:terminal","passed":true,"statement":"ᛗᛟᛞᛖᛚ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"model-attestation-failure:no_real_change","passed":true,"statement":"ᛗᛟᛞᛖᛚ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"policy-attestation-failure:deterministic","passed":true,"statement":"ᛈᛟᛚᛁᚲᛃ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"policy-attestation-failure:proof","passed":true,"statement":"ᛈᛟᛚᛁᚲᛃ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛈᚱᛟᛟᚠ"},{"id":"policy-attestation-failure:expected_action","passed":true,"statement":"ᛈᛟᛚᛁᚲᛃ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"policy-attestation-failure:expected_return","passed":true,"statement":"ᛈᛟᛚᛁᚲᛃ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"policy-attestation-failure:event_chain","passed":true,"statement":"ᛈᛟᛚᛁᚲᛃ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"policy-attestation-failure:boundary","passed":true,"statement":"ᛈᛟᛚᛁᚲᛃ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"policy-attestation-failure:terminal","passed":true,"statement":"ᛈᛟᛚᛁᚲᛃ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"policy-attestation-failure:no_real_change","passed":true,"statement":"ᛈᛟᛚᛁᚲᛃ-ᚨᛏᛏᛖᛊᛏᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"configuration-drift:deterministic","passed":true,"statement":"ᚲᛟᚾᚠᛁᚷᚢᚱᚨᛏᛁᛟᚾ-ᛞᚱᛁᚠᛏ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"configuration-drift:proof","passed":true,"statement":"ᚲᛟᚾᚠᛁᚷᚢᚱᚨᛏᛁᛟᚾ-ᛞᚱᛁᚠᛏ / ᛈᚱᛟᛟᚠ"},{"id":"configuration-drift:expected_action","passed":true,"statement":"ᚲᛟᚾᚠᛁᚷᚢᚱᚨᛏᛁᛟᚾ-ᛞᚱᛁᚠᛏ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"configuration-drift:expected_return","passed":true,"statement":"ᚲᛟᚾᚠᛁᚷᚢᚱᚨᛏᛁᛟᚾ-ᛞᚱᛁᚠᛏ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"configuration-drift:event_chain","passed":true,"statement":"ᚲᛟᚾᚠᛁᚷᚢᚱᚨᛏᛁᛟᚾ-ᛞᚱᛁᚠᛏ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"configuration-drift:boundary","passed":true,"statement":"ᚲᛟᚾᚠᛁᚷᚢᚱᚨᛏᛁᛟᚾ-ᛞᚱᛁᚠᛏ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"configuration-drift:terminal","passed":true,"statement":"ᚲᛟᚾᚠᛁᚷᚢᚱᚨᛏᛁᛟᚾ-ᛞᚱᛁᚠᛏ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"configuration-drift:no_real_change","passed":true,"statement":"ᚲᛟᚾᚠᛁᚷᚢᚱᚨᛏᛁᛟᚾ-ᛞᚱᛁᚠᛏ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"tool-calibration-expired:deterministic","passed":true,"statement":"ᛏᛟᛟᛚ-ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"tool-calibration-expired:proof","passed":true,"statement":"ᛏᛟᛟᛚ-ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"tool-calibration-expired:expected_action","passed":true,"statement":"ᛏᛟᛟᛚ-ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"tool-calibration-expired:expected_return","passed":true,"statement":"ᛏᛟᛟᛚ-ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"tool-calibration-expired:event_chain","passed":true,"statement":"ᛏᛟᛟᛚ-ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"tool-calibration-expired:boundary","passed":true,"statement":"ᛏᛟᛟᛚ-ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"tool-calibration-expired:terminal","passed":true,"statement":"ᛏᛟᛟᛚ-ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"tool-calibration-expired:no_real_change","passed":true,"statement":"ᛏᛟᛟᛚ-ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"tool-digest-mismatch:deterministic","passed":true,"statement":"ᛏᛟᛟᛚ-ᛞᛁᚷᛖᛊᛏ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"tool-digest-mismatch:proof","passed":true,"statement":"ᛏᛟᛟᛚ-ᛞᛁᚷᛖᛊᛏ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛈᚱᛟᛟᚠ"},{"id":"tool-digest-mismatch:expected_action","passed":true,"statement":"ᛏᛟᛟᛚ-ᛞᛁᚷᛖᛊᛏ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"tool-digest-mismatch:expected_return","passed":true,"statement":"ᛏᛟᛟᛚ-ᛞᛁᚷᛖᛊᛏ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"tool-digest-mismatch:event_chain","passed":true,"statement":"ᛏᛟᛟᛚ-ᛞᛁᚷᛖᛊᛏ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"tool-digest-mismatch:boundary","passed":true,"statement":"ᛏᛟᛟᛚ-ᛞᛁᚷᛖᛊᛏ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"tool-digest-mismatch:terminal","passed":true,"statement":"ᛏᛟᛟᛚ-ᛞᛁᚷᛖᛊᛏ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"tool-digest-mismatch:no_real_change","passed":true,"statement":"ᛏᛟᛟᛚ-ᛞᛁᚷᛖᛊᛏ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"maintenance-recipe-superseded:deterministic","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚱᛖᚲᛁᛈᛖ-ᛊᚢᛈᛖᚱᛊᛖᛞᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"maintenance-recipe-superseded:proof","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚱᛖᚲᛁᛈᛖ-ᛊᚢᛈᛖᚱᛊᛖᛞᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"maintenance-recipe-superseded:expected_action","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚱᛖᚲᛁᛈᛖ-ᛊᚢᛈᛖᚱᛊᛖᛞᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"maintenance-recipe-superseded:expected_return","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚱᛖᚲᛁᛈᛖ-ᛊᚢᛈᛖᚱᛊᛖᛞᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"maintenance-recipe-superseded:event_chain","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚱᛖᚲᛁᛈᛖ-ᛊᚢᛈᛖᚱᛊᛖᛞᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"maintenance-recipe-superseded:boundary","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚱᛖᚲᛁᛈᛖ-ᛊᚢᛈᛖᚱᛊᛖᛞᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"maintenance-recipe-superseded:terminal","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚱᛖᚲᛁᛈᛖ-ᛊᚢᛈᛖᚱᛊᛖᛞᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"maintenance-recipe-superseded:no_real_change","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚱᛖᚲᛁᛈᛖ-ᛊᚢᛈᛖᚱᛊᛖᛞᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"recipe-signature-missing:deterministic","passed":true,"statement":"ᚱᛖᚲᛁᛈᛖ-ᛊᛁᚷᚾᚨᛏᚢᚱᛖ-ᛗᛁᛊᛊᛁᛜ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"recipe-signature-missing:proof","passed":true,"statement":"ᚱᛖᚲᛁᛈᛖ-ᛊᛁᚷᚾᚨᛏᚢᚱᛖ-ᛗᛁᛊᛊᛁᛜ / ᛈᚱᛟᛟᚠ"},{"id":"recipe-signature-missing:expected_action","passed":true,"statement":"ᚱᛖᚲᛁᛈᛖ-ᛊᛁᚷᚾᚨᛏᚢᚱᛖ-ᛗᛁᛊᛊᛁᛜ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"recipe-signature-missing:expected_return","passed":true,"statement":"ᚱᛖᚲᛁᛈᛖ-ᛊᛁᚷᚾᚨᛏᚢᚱᛖ-ᛗᛁᛊᛊᛁᛜ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"recipe-signature-missing:event_chain","passed":true,"statement":"ᚱᛖᚲᛁᛈᛖ-ᛊᛁᚷᚾᚨᛏᚢᚱᛖ-ᛗᛁᛊᛊᛁᛜ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"recipe-signature-missing:boundary","passed":true,"statement":"ᚱᛖᚲᛁᛈᛖ-ᛊᛁᚷᚾᚨᛏᚢᚱᛖ-ᛗᛁᛊᛊᛁᛜ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"recipe-signature-missing:terminal","passed":true,"statement":"ᚱᛖᚲᛁᛈᛖ-ᛊᛁᚷᚾᚨᛏᚢᚱᛖ-ᛗᛁᛊᛊᛁᛜ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"recipe-signature-missing:no_real_change","passed":true,"statement":"ᚱᛖᚲᛁᛈᛖ-ᛊᛁᚷᚾᚨᛏᚢᚱᛖ-ᛗᛁᛊᛊᛁᛜ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"maintenance-authority-expired:deterministic","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"maintenance-authority-expired:proof","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"maintenance-authority-expired:expected_action","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"maintenance-authority-expired:expected_return","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"maintenance-authority-expired:event_chain","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"maintenance-authority-expired:boundary","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"maintenance-authority-expired:terminal","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"maintenance-authority-expired:no_real_change","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"maintenance-authority-revoked:deterministic","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚱᛖᚹᛟᚲᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"maintenance-authority-revoked:proof","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚱᛖᚹᛟᚲᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"maintenance-authority-revoked:expected_action","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚱᛖᚹᛟᚲᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"maintenance-authority-revoked:expected_return","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚱᛖᚹᛟᚲᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"maintenance-authority-revoked:event_chain","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚱᛖᚹᛟᚲᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"maintenance-authority-revoked:boundary","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚱᛖᚹᛟᚲᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"maintenance-authority-revoked:terminal","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚱᛖᚹᛟᚲᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"maintenance-authority-revoked:no_real_change","passed":true,"statement":"ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚱᛖᚹᛟᚲᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"purpose-mismatch:deterministic","passed":true,"statement":"ᛈᚢᚱᛈᛟᛊᛖ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"purpose-mismatch:proof","passed":true,"statement":"ᛈᚢᚱᛈᛟᛊᛖ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛈᚱᛟᛟᚠ"},{"id":"purpose-mismatch:expected_action","passed":true,"statement":"ᛈᚢᚱᛈᛟᛊᛖ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"purpose-mismatch:expected_return","passed":true,"statement":"ᛈᚢᚱᛈᛟᛊᛖ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"purpose-mismatch:event_chain","passed":true,"statement":"ᛈᚢᚱᛈᛟᛊᛖ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"purpose-mismatch:boundary","passed":true,"statement":"ᛈᚢᚱᛈᛟᛊᛖ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"purpose-mismatch:terminal","passed":true,"statement":"ᛈᚢᚱᛈᛟᛊᛖ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"purpose-mismatch:no_real_change","passed":true,"statement":"ᛈᚢᚱᛈᛟᛊᛖ-ᛗᛁᛊᛗᚨᛏᚲᚺ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"resource-bound-exceeded:deterministic","passed":true,"statement":"ᚱᛖᛊᛟᚢᚱᚲᛖ-ᛒᛟᚢᚾᛞ-ᛖᚲᛊᚲᛖᛖᛞᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"resource-bound-exceeded:proof","passed":true,"statement":"ᚱᛖᛊᛟᚢᚱᚲᛖ-ᛒᛟᚢᚾᛞ-ᛖᚲᛊᚲᛖᛖᛞᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"resource-bound-exceeded:expected_action","passed":true,"statement":"ᚱᛖᛊᛟᚢᚱᚲᛖ-ᛒᛟᚢᚾᛞ-ᛖᚲᛊᚲᛖᛖᛞᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"resource-bound-exceeded:expected_return","passed":true,"statement":"ᚱᛖᛊᛟᚢᚱᚲᛖ-ᛒᛟᚢᚾᛞ-ᛖᚲᛊᚲᛖᛖᛞᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"resource-bound-exceeded:event_chain","passed":true,"statement":"ᚱᛖᛊᛟᚢᚱᚲᛖ-ᛒᛟᚢᚾᛞ-ᛖᚲᛊᚲᛖᛖᛞᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"resource-bound-exceeded:boundary","passed":true,"statement":"ᚱᛖᛊᛟᚢᚱᚲᛖ-ᛒᛟᚢᚾᛞ-ᛖᚲᛊᚲᛖᛖᛞᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"resource-bound-exceeded:terminal","passed":true,"statement":"ᚱᛖᛊᛟᚢᚱᚲᛖ-ᛒᛟᚢᚾᛞ-ᛖᚲᛊᚲᛖᛖᛞᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"resource-bound-exceeded:no_real_change","passed":true,"statement":"ᚱᛖᛊᛟᚢᚱᚲᛖ-ᛒᛟᚢᚾᛞ-ᛖᚲᛊᚲᛖᛖᛞᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"replacement-module-provenance-gap:deterministic","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᛈᚱᛟᚹᛖᚾᚨᚾᚲᛖ-ᚷᚨᛈ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"replacement-module-provenance-gap:proof","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᛈᚱᛟᚹᛖᚾᚨᚾᚲᛖ-ᚷᚨᛈ / ᛈᚱᛟᛟᚠ"},{"id":"replacement-module-provenance-gap:expected_action","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᛈᚱᛟᚹᛖᚾᚨᚾᚲᛖ-ᚷᚨᛈ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"replacement-module-provenance-gap:expected_return","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᛈᚱᛟᚹᛖᚾᚨᚾᚲᛖ-ᚷᚨᛈ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"replacement-module-provenance-gap:event_chain","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᛈᚱᛟᚹᛖᚾᚨᚾᚲᛖ-ᚷᚨᛈ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"replacement-module-provenance-gap:boundary","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᛈᚱᛟᚹᛖᚾᚨᚾᚲᛖ-ᚷᚨᛈ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"replacement-module-provenance-gap:terminal","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᛈᚱᛟᚹᛖᚾᚨᚾᚲᛖ-ᚷᚨᛈ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"replacement-module-provenance-gap:no_real_change","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᛈᚱᛟᚹᛖᚾᚨᚾᚲᛖ-ᚷᚨᛈ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"replacement-module-unavailable:deterministic","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"replacement-module-unavailable:proof","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛈᚱᛟᛟᚠ"},{"id":"replacement-module-unavailable:expected_action","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"replacement-module-unavailable:expected_return","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"replacement-module-unavailable:event_chain","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"replacement-module-unavailable:boundary","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"replacement-module-unavailable:terminal","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"replacement-module-unavailable:no_real_change","passed":true,"statement":"ᚱᛖᛈᛚᚨᚲᛖᛗᛖᚾᛏ-ᛗᛟᛞᚢᛚᛖ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"alternate-module-available:deterministic","passed":true,"statement":"ᚨᛚᛏᛖᚱᚾᚨᛏᛖ-ᛗᛟᛞᚢᛚᛖ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"alternate-module-available:proof","passed":true,"statement":"ᚨᛚᛏᛖᚱᚾᚨᛏᛖ-ᛗᛟᛞᚢᛚᛖ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛈᚱᛟᛟᚠ"},{"id":"alternate-module-available:expected_action","passed":true,"statement":"ᚨᛚᛏᛖᚱᚾᚨᛏᛖ-ᛗᛟᛞᚢᛚᛖ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"alternate-module-available:expected_return","passed":true,"statement":"ᚨᛚᛏᛖᚱᚾᚨᛏᛖ-ᛗᛟᛞᚢᛚᛖ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"alternate-module-available:event_chain","passed":true,"statement":"ᚨᛚᛏᛖᚱᚾᚨᛏᛖ-ᛗᛟᛞᚢᛚᛖ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"alternate-module-available:boundary","passed":true,"statement":"ᚨᛚᛏᛖᚱᚾᚨᛏᛖ-ᛗᛟᛞᚢᛚᛖ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"alternate-module-available:terminal","passed":true,"statement":"ᚨᛚᛏᛖᚱᚾᚨᛏᛖ-ᛗᛟᛞᚢᛚᛖ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"alternate-module-available:no_real_change","passed":true,"statement":"ᚨᛚᛏᛖᚱᚾᚨᛏᛖ-ᛗᛟᛞᚢᛚᛖ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"logistics-compartment-partitioned:deterministic","passed":true,"statement":"ᛚᛟᚷᛁᛊᛏᛁᚲᛊ-ᚲᛟᛗᛈᚨᚱᛏᛗᛖᚾᛏ-ᛈᚨᚱᛏᛁᛏᛁᛟᚾᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"logistics-compartment-partitioned:proof","passed":true,"statement":"ᛚᛟᚷᛁᛊᛏᛁᚲᛊ-ᚲᛟᛗᛈᚨᚱᛏᛗᛖᚾᛏ-ᛈᚨᚱᛏᛁᛏᛁᛟᚾᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"logistics-compartment-partitioned:expected_action","passed":true,"statement":"ᛚᛟᚷᛁᛊᛏᛁᚲᛊ-ᚲᛟᛗᛈᚨᚱᛏᛗᛖᚾᛏ-ᛈᚨᚱᛏᛁᛏᛁᛟᚾᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"logistics-compartment-partitioned:expected_return","passed":true,"statement":"ᛚᛟᚷᛁᛊᛏᛁᚲᛊ-ᚲᛟᛗᛈᚨᚱᛏᛗᛖᚾᛏ-ᛈᚨᚱᛏᛁᛏᛁᛟᚾᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"logistics-compartment-partitioned:event_chain","passed":true,"statement":"ᛚᛟᚷᛁᛊᛏᛁᚲᛊ-ᚲᛟᛗᛈᚨᚱᛏᛗᛖᚾᛏ-ᛈᚨᚱᛏᛁᛏᛁᛟᚾᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"logistics-compartment-partitioned:boundary","passed":true,"statement":"ᛚᛟᚷᛁᛊᛏᛁᚲᛊ-ᚲᛟᛗᛈᚨᚱᛏᛗᛖᚾᛏ-ᛈᚨᚱᛏᛁᛏᛁᛟᚾᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"logistics-compartment-partitioned:terminal","passed":true,"statement":"ᛚᛟᚷᛁᛊᛏᛁᚲᛊ-ᚲᛟᛗᛈᚨᚱᛏᛗᛖᚾᛏ-ᛈᚨᚱᛏᛁᛏᛁᛟᚾᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"logistics-compartment-partitioned:no_real_change","passed":true,"statement":"ᛚᛟᚷᛁᛊᛏᛁᚲᛊ-ᚲᛟᛗᛈᚨᚱᛏᛗᛖᚾᛏ-ᛈᚨᚱᛏᛁᛏᛁᛟᚾᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"local-authority-current:deterministic","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚲᚢᚱᚱᛖᚾᛏ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"local-authority-current:proof","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚲᚢᚱᚱᛖᚾᛏ / ᛈᚱᛟᛟᚠ"},{"id":"local-authority-current:expected_action","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚲᚢᚱᚱᛖᚾᛏ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"local-authority-current:expected_return","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚲᚢᚱᚱᛖᚾᛏ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"local-authority-current:event_chain","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚲᚢᚱᚱᛖᚾᛏ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"local-authority-current:boundary","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚲᚢᚱᚱᛖᚾᛏ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"local-authority-current:terminal","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚲᚢᚱᚱᛖᚾᛏ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"local-authority-current:no_real_change","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᚲᚢᚱᚱᛖᚾᛏ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"local-authority-expiring:deterministic","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛁᛜ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"local-authority-expiring:proof","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛁᛜ / ᛈᚱᛟᛟᚠ"},{"id":"local-authority-expiring:expected_action","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛁᛜ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"local-authority-expiring:expected_return","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛁᛜ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"local-authority-expiring:event_chain","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛁᛜ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"local-authority-expiring:boundary","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛁᛜ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"local-authority-expiring:terminal","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛁᛜ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"local-authority-expiring:no_real_change","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛁᛜ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"local-authority-expired:deterministic","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"local-authority-expired:proof","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"local-authority-expired:expected_action","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"local-authority-expired:expected_return","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"local-authority-expired:event_chain","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"local-authority-expired:boundary","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"local-authority-expired:terminal","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"local-authority-expired:no_real_change","passed":true,"statement":"ᛚᛟᚲᚨᛚ-ᚨᚢᚦᛟᚱᛁᛏᛃ-ᛖᚲᛊᛈᛁᚱᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"communications-restored-reconciliation-required:deterministic","passed":true,"statement":"ᚲᛟᛗᛗᚢᚾᛁᚲᚨᛏᛁᛟᚾᛊ-ᚱᛖᛊᛏᛟᚱᛖᛞ-ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚱᛖᚲᚹᛁᚱᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"communications-restored-reconciliation-required:proof","passed":true,"statement":"ᚲᛟᛗᛗᚢᚾᛁᚲᚨᛏᛁᛟᚾᛊ-ᚱᛖᛊᛏᛟᚱᛖᛞ-ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚱᛖᚲᚹᛁᚱᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"communications-restored-reconciliation-required:expected_action","passed":true,"statement":"ᚲᛟᛗᛗᚢᚾᛁᚲᚨᛏᛁᛟᚾᛊ-ᚱᛖᛊᛏᛟᚱᛖᛞ-ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚱᛖᚲᚹᛁᚱᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"communications-restored-reconciliation-required:expected_return","passed":true,"statement":"ᚲᛟᛗᛗᚢᚾᛁᚲᚨᛏᛁᛟᚾᛊ-ᚱᛖᛊᛏᛟᚱᛖᛞ-ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚱᛖᚲᚹᛁᚱᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"communications-restored-reconciliation-required:event_chain","passed":true,"statement":"ᚲᛟᛗᛗᚢᚾᛁᚲᚨᛏᛁᛟᚾᛊ-ᚱᛖᛊᛏᛟᚱᛖᛞ-ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚱᛖᚲᚹᛁᚱᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"communications-restored-reconciliation-required:boundary","passed":true,"statement":"ᚲᛟᛗᛗᚢᚾᛁᚲᚨᛏᛁᛟᚾᛊ-ᚱᛖᛊᛏᛟᚱᛖᛞ-ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚱᛖᚲᚹᛁᚱᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"communications-restored-reconciliation-required:terminal","passed":true,"statement":"ᚲᛟᛗᛗᚢᚾᛁᚲᚨᛏᛁᛟᚾᛊ-ᚱᛖᛊᛏᛟᚱᛖᛞ-ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚱᛖᚲᚹᛁᚱᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"communications-restored-reconciliation-required:no_real_change","passed":true,"statement":"ᚲᛟᛗᛗᚢᚾᛁᚲᚨᛏᛁᛟᚾᛊ-ᚱᛖᛊᛏᛟᚱᛖᛞ-ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚱᛖᚲᚹᛁᚱᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"reconciliation-failed:deterministic","passed":true,"statement":"ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"reconciliation-failed:proof","passed":true,"statement":"ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"reconciliation-failed:expected_action","passed":true,"statement":"ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"reconciliation-failed:expected_return","passed":true,"statement":"ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"reconciliation-failed:event_chain","passed":true,"statement":"ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"reconciliation-failed:boundary","passed":true,"statement":"ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"reconciliation-failed:terminal","passed":true,"statement":"ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"reconciliation-failed:no_real_change","passed":true,"statement":"ᚱᛖᚲᛟᚾᚲᛁᛚᛁᚨᛏᛁᛟᚾ-ᚠᚨᛁᛚᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"successful-module-swap:deterministic","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"successful-module-swap:proof","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ / ᛈᚱᛟᛟᚠ"},{"id":"successful-module-swap:expected_action","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"successful-module-swap:expected_return","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"successful-module-swap:event_chain","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"successful-module-swap:boundary","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"successful-module-swap:terminal","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"successful-module-swap:no_real_change","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"failed-module-swap-test:deterministic","passed":true,"statement":"ᚠᚨᛁᛚᛖᛞ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ-ᛏᛖᛊᛏ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"failed-module-swap-test:proof","passed":true,"statement":"ᚠᚨᛁᛚᛖᛞ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ-ᛏᛖᛊᛏ / ᛈᚱᛟᛟᚠ"},{"id":"failed-module-swap-test:expected_action","passed":true,"statement":"ᚠᚨᛁᛚᛖᛞ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ-ᛏᛖᛊᛏ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"failed-module-swap-test:expected_return","passed":true,"statement":"ᚠᚨᛁᛚᛖᛞ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ-ᛏᛖᛊᛏ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"failed-module-swap-test:event_chain","passed":true,"statement":"ᚠᚨᛁᛚᛖᛞ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ-ᛏᛖᛊᛏ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"failed-module-swap-test:boundary","passed":true,"statement":"ᚠᚨᛁᛚᛖᛞ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ-ᛏᛖᛊᛏ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"failed-module-swap-test:terminal","passed":true,"statement":"ᚠᚨᛁᛚᛖᛞ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ-ᛏᛖᛊᛏ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"failed-module-swap-test:no_real_change","passed":true,"statement":"ᚠᚨᛁᛚᛖᛞ-ᛗᛟᛞᚢᛚᛖ-ᛊᚹᚨᛈ-ᛏᛖᛊᛏ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"synthetic-board-repair-successful:deterministic","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"synthetic-board-repair-successful:proof","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛈᚱᛟᛟᚠ"},{"id":"synthetic-board-repair-successful:expected_action","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"synthetic-board-repair-successful:expected_return","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"synthetic-board-repair-successful:event_chain","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"synthetic-board-repair-successful:boundary","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"synthetic-board-repair-successful:terminal","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"synthetic-board-repair-successful:no_real_change","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"synthetic-board-repair-inconclusive:deterministic","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛁᚾᚲᛟᚾᚲᛚᚢᛊᛁᚹᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"synthetic-board-repair-inconclusive:proof","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛁᚾᚲᛟᚾᚲᛚᚢᛊᛁᚹᛖ / ᛈᚱᛟᛟᚠ"},{"id":"synthetic-board-repair-inconclusive:expected_action","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛁᚾᚲᛟᚾᚲᛚᚢᛊᛁᚹᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"synthetic-board-repair-inconclusive:expected_return","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛁᚾᚲᛟᚾᚲᛚᚢᛊᛁᚹᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"synthetic-board-repair-inconclusive:event_chain","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛁᚾᚲᛟᚾᚲᛚᚢᛊᛁᚹᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"synthetic-board-repair-inconclusive:boundary","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛁᚾᚲᛟᚾᚲᛚᚢᛊᛁᚹᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"synthetic-board-repair-inconclusive:terminal","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛁᚾᚲᛟᚾᚲᛚᚢᛊᛁᚹᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"synthetic-board-repair-inconclusive:no_real_change","passed":true,"statement":"ᛊᛃᚾᚦᛖᛏᛁᚲ-ᛒᛟᚨᚱᛞ-ᚱᛖᛈᚨᛁᚱ-ᛁᚾᚲᛟᚾᚲᛚᚢᛊᛁᚹᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"additive-component-metrology-failed:deterministic","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᛗᛖᛏᚱᛟᛚᛟᚷᛃ-ᚠᚨᛁᛚᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"additive-component-metrology-failed:proof","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᛗᛖᛏᚱᛟᛚᛟᚷᛃ-ᚠᚨᛁᛚᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"additive-component-metrology-failed:expected_action","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᛗᛖᛏᚱᛟᛚᛟᚷᛃ-ᚠᚨᛁᛚᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"additive-component-metrology-failed:expected_return","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᛗᛖᛏᚱᛟᛚᛟᚷᛃ-ᚠᚨᛁᛚᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"additive-component-metrology-failed:event_chain","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᛗᛖᛏᚱᛟᛚᛟᚷᛃ-ᚠᚨᛁᛚᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"additive-component-metrology-failed:boundary","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᛗᛖᛏᚱᛟᛚᛟᚷᛃ-ᚠᚨᛁᛚᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"additive-component-metrology-failed:terminal","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᛗᛖᛏᚱᛟᛚᛟᚷᛃ-ᚠᚨᛁᛚᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"additive-component-metrology-failed:no_real_change","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᛗᛖᛏᚱᛟᛚᛟᚷᛃ-ᚠᚨᛁᛚᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"additive-component-qualified:deterministic","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᚲᚹᚨᛚᛁᚠᛁᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"additive-component-qualified:proof","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᚲᚹᚨᛚᛁᚠᛁᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"additive-component-qualified:expected_action","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᚲᚹᚨᛚᛁᚠᛁᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"additive-component-qualified:expected_return","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᚲᚹᚨᛚᛁᚠᛁᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"additive-component-qualified:event_chain","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᚲᚹᚨᛚᛁᚠᛁᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"additive-component-qualified:boundary","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᚲᚹᚨᛚᛁᚠᛁᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"additive-component-qualified:terminal","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᚲᚹᚨᛚᛁᚠᛁᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"additive-component-qualified:no_real_change","passed":true,"statement":"ᚨᛞᛞᛁᛏᛁᚹᛖ-ᚲᛟᛗᛈᛟᚾᛖᚾᛏ-ᚲᚹᚨᛚᛁᚠᛁᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"calibration-successful:deterministic","passed":true,"statement":"ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"calibration-successful:proof","passed":true,"statement":"ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛈᚱᛟᛟᚠ"},{"id":"calibration-successful:expected_action","passed":true,"statement":"ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"calibration-successful:expected_return","passed":true,"statement":"ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"calibration-successful:event_chain","passed":true,"statement":"ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"calibration-successful:boundary","passed":true,"statement":"ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"calibration-successful:terminal","passed":true,"statement":"ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"calibration-successful:no_real_change","passed":true,"statement":"ᚲᚨᛚᛁᛒᚱᚨᛏᛁᛟᚾ-ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"post-repair-regression-failure:deterministic","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᚱᛖᚷᚱᛖᛊᛊᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"post-repair-regression-failure:proof","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᚱᛖᚷᚱᛖᛊᛊᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛈᚱᛟᛟᚠ"},{"id":"post-repair-regression-failure:expected_action","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᚱᛖᚷᚱᛖᛊᛊᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"post-repair-regression-failure:expected_return","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᚱᛖᚷᚱᛖᛊᛊᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"post-repair-regression-failure:event_chain","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᚱᛖᚷᚱᛖᛊᛊᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"post-repair-regression-failure:boundary","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᚱᛖᚷᚱᛖᛊᛊᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"post-repair-regression-failure:terminal","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᚱᛖᚷᚱᛖᛊᛊᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"post-repair-regression-failure:no_real_change","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᚱᛖᚷᚱᛖᛊᛊᛁᛟᚾ-ᚠᚨᛁᛚᚢᚱᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"post-repair-evidence-contradiction:deterministic","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᛏᚱᚨᛞᛁᚲᛏᛁᛟᚾ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"post-repair-evidence-contradiction:proof","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᛏᚱᚨᛞᛁᚲᛏᛁᛟᚾ / ᛈᚱᛟᛟᚠ"},{"id":"post-repair-evidence-contradiction:expected_action","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᛏᚱᚨᛞᛁᚲᛏᛁᛟᚾ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"post-repair-evidence-contradiction:expected_return","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᛏᚱᚨᛞᛁᚲᛏᛁᛟᚾ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"post-repair-evidence-contradiction:event_chain","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᛏᚱᚨᛞᛁᚲᛏᛁᛟᚾ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"post-repair-evidence-contradiction:boundary","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᛏᚱᚨᛞᛁᚲᛏᛁᛟᚾ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"post-repair-evidence-contradiction:terminal","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᛏᚱᚨᛞᛁᚲᛏᛁᛟᚾ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"post-repair-evidence-contradiction:no_real_change","passed":true,"statement":"ᛈᛟᛊᛏ-ᚱᛖᛈᚨᛁᚱ-ᛖᚹᛁᛞᛖᚾᚲᛖ-ᚲᛟᚾᛏᚱᚨᛞᛁᚲᛏᛁᛟᚾ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"recovery-baseline-compromised:deterministic","passed":true,"statement":"ᚱᛖᚲᛟᚹᛖᚱᛃ-ᛒᚨᛊᛖᛚᛁᚾᛖ-ᚲᛟᛗᛈᚱᛟᛗᛁᛊᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"recovery-baseline-compromised:proof","passed":true,"statement":"ᚱᛖᚲᛟᚹᛖᚱᛃ-ᛒᚨᛊᛖᛚᛁᚾᛖ-ᚲᛟᛗᛈᚱᛟᛗᛁᛊᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"recovery-baseline-compromised:expected_action","passed":true,"statement":"ᚱᛖᚲᛟᚹᛖᚱᛃ-ᛒᚨᛊᛖᛚᛁᚾᛖ-ᚲᛟᛗᛈᚱᛟᛗᛁᛊᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"recovery-baseline-compromised:expected_return","passed":true,"statement":"ᚱᛖᚲᛟᚹᛖᚱᛃ-ᛒᚨᛊᛖᛚᛁᚾᛖ-ᚲᛟᛗᛈᚱᛟᛗᛁᛊᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"recovery-baseline-compromised:event_chain","passed":true,"statement":"ᚱᛖᚲᛟᚹᛖᚱᛃ-ᛒᚨᛊᛖᛚᛁᚾᛖ-ᚲᛟᛗᛈᚱᛟᛗᛁᛊᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"recovery-baseline-compromised:boundary","passed":true,"statement":"ᚱᛖᚲᛟᚹᛖᚱᛃ-ᛒᚨᛊᛖᛚᛁᚾᛖ-ᚲᛟᛗᛈᚱᛟᛗᛁᛊᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"recovery-baseline-compromised:terminal","passed":true,"statement":"ᚱᛖᚲᛟᚹᛖᚱᛃ-ᛒᚨᛊᛖᛚᛁᚾᛖ-ᚲᛟᛗᛈᚱᛟᛗᛁᛊᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"recovery-baseline-compromised:no_real_change","passed":true,"statement":"ᚱᛖᚲᛟᚹᛖᚱᛃ-ᛒᚨᛊᛖᛚᛁᚾᛖ-ᚲᛟᛗᛈᚱᛟᛗᛁᛊᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"successful-attested-restoration:deterministic","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᚨᛏᛏᛖᛊᛏᛖᛞ-ᚱᛖᛊᛏᛟᚱᚨᛏᛁᛟᚾ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"successful-attested-restoration:proof","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᚨᛏᛏᛖᛊᛏᛖᛞ-ᚱᛖᛊᛏᛟᚱᚨᛏᛁᛟᚾ / ᛈᚱᛟᛟᚠ"},{"id":"successful-attested-restoration:expected_action","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᚨᛏᛏᛖᛊᛏᛖᛞ-ᚱᛖᛊᛏᛟᚱᚨᛏᛁᛟᚾ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"successful-attested-restoration:expected_return","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᚨᛏᛏᛖᛊᛏᛖᛞ-ᚱᛖᛊᛏᛟᚱᚨᛏᛁᛟᚾ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"successful-attested-restoration:event_chain","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᚨᛏᛏᛖᛊᛏᛖᛞ-ᚱᛖᛊᛏᛟᚱᚨᛏᛁᛟᚾ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"successful-attested-restoration:boundary","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᚨᛏᛏᛖᛊᛏᛖᛞ-ᚱᛖᛊᛏᛟᚱᚨᛏᛁᛟᚾ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"successful-attested-restoration:terminal","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᚨᛏᛏᛖᛊᛏᛖᛞ-ᚱᛖᛊᛏᛟᚱᚨᛏᛁᛟᚾ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"successful-attested-restoration:no_real_change","passed":true,"statement":"ᛊᚢᚲᚲᛖᛊᛊᚠᚢᛚ-ᚨᛏᛏᛖᛊᛏᛖᛞ-ᚱᛖᛊᛏᛟᚱᚨᛏᛁᛟᚾ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"dependency-concentration-warning:deterministic","passed":true,"statement":"ᛞᛖᛈᛖᚾᛞᛖᚾᚲᛃ-ᚲᛟᚾᚲᛖᚾᛏᚱᚨᛏᛁᛟᚾ-ᚹᚨᚱᚾᛁᛜ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"dependency-concentration-warning:proof","passed":true,"statement":"ᛞᛖᛈᛖᚾᛞᛖᚾᚲᛃ-ᚲᛟᚾᚲᛖᚾᛏᚱᚨᛏᛁᛟᚾ-ᚹᚨᚱᚾᛁᛜ / ᛈᚱᛟᛟᚠ"},{"id":"dependency-concentration-warning:expected_action","passed":true,"statement":"ᛞᛖᛈᛖᚾᛞᛖᚾᚲᛃ-ᚲᛟᚾᚲᛖᚾᛏᚱᚨᛏᛁᛟᚾ-ᚹᚨᚱᚾᛁᛜ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"dependency-concentration-warning:expected_return","passed":true,"statement":"ᛞᛖᛈᛖᚾᛞᛖᚾᚲᛃ-ᚲᛟᚾᚲᛖᚾᛏᚱᚨᛏᛁᛟᚾ-ᚹᚨᚱᚾᛁᛜ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"dependency-concentration-warning:event_chain","passed":true,"statement":"ᛞᛖᛈᛖᚾᛞᛖᚾᚲᛃ-ᚲᛟᚾᚲᛖᚾᛏᚱᚨᛏᛁᛟᚾ-ᚹᚨᚱᚾᛁᛜ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"dependency-concentration-warning:boundary","passed":true,"statement":"ᛞᛖᛈᛖᚾᛞᛖᚾᚲᛃ-ᚲᛟᚾᚲᛖᚾᛏᚱᚨᛏᛁᛟᚾ-ᚹᚨᚱᚾᛁᛜ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"dependency-concentration-warning:terminal","passed":true,"statement":"ᛞᛖᛈᛖᚾᛞᛖᚾᚲᛃ-ᚲᛟᚾᚲᛖᚾᛏᚱᚨᛏᛁᛟᚾ-ᚹᚨᚱᚾᛁᛜ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"dependency-concentration-warning:no_real_change","passed":true,"statement":"ᛞᛖᛈᛖᚾᛞᛖᚾᚲᛃ-ᚲᛟᚾᚲᛖᚾᛏᚱᚨᛏᛁᛟᚾ-ᚹᚨᚱᚾᛁᛜ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"substitution-plan-available:deterministic","passed":true,"statement":"ᛊᚢᛒᛊᛏᛁᛏᚢᛏᛁᛟᚾ-ᛈᛚᚨᚾ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"substitution-plan-available:proof","passed":true,"statement":"ᛊᚢᛒᛊᛏᛁᛏᚢᛏᛁᛟᚾ-ᛈᛚᚨᚾ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛈᚱᛟᛟᚠ"},{"id":"substitution-plan-available:expected_action","passed":true,"statement":"ᛊᚢᛒᛊᛏᛁᛏᚢᛏᛁᛟᚾ-ᛈᛚᚨᚾ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"substitution-plan-available:expected_return","passed":true,"statement":"ᛊᚢᛒᛊᛏᛁᛏᚢᛏᛁᛟᚾ-ᛈᛚᚨᚾ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"substitution-plan-available:event_chain","passed":true,"statement":"ᛊᚢᛒᛊᛏᛁᛏᚢᛏᛁᛟᚾ-ᛈᛚᚨᚾ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"substitution-plan-available:boundary","passed":true,"statement":"ᛊᚢᛒᛊᛏᛁᛏᚢᛏᛁᛟᚾ-ᛈᛚᚨᚾ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"substitution-plan-available:terminal","passed":true,"statement":"ᛊᚢᛒᛊᛏᛁᛏᚢᛏᛁᛟᚾ-ᛈᛚᚨᚾ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"substitution-plan-available:no_real_change","passed":true,"statement":"ᛊᚢᛒᛊᛏᛁᛏᚢᛏᛁᛟᚾ-ᛈᛚᚨᚾ-ᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"minimum-industrial-function-preserved:deterministic","passed":true,"statement":"ᛗᛁᚾᛁᛗᚢᛗ-ᛁᚾᛞᚢᛊᛏᚱᛁᚨᛚ-ᚠᚢᚾᚲᛏᛁᛟᚾ-ᛈᚱᛖᛊᛖᚱᚹᛖᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"minimum-industrial-function-preserved:proof","passed":true,"statement":"ᛗᛁᚾᛁᛗᚢᛗ-ᛁᚾᛞᚢᛊᛏᚱᛁᚨᛚ-ᚠᚢᚾᚲᛏᛁᛟᚾ-ᛈᚱᛖᛊᛖᚱᚹᛖᛞ / ᛈᚱᛟᛟᚠ"},{"id":"minimum-industrial-function-preserved:expected_action","passed":true,"statement":"ᛗᛁᚾᛁᛗᚢᛗ-ᛁᚾᛞᚢᛊᛏᚱᛁᚨᛚ-ᚠᚢᚾᚲᛏᛁᛟᚾ-ᛈᚱᛖᛊᛖᚱᚹᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"minimum-industrial-function-preserved:expected_return","passed":true,"statement":"ᛗᛁᚾᛁᛗᚢᛗ-ᛁᚾᛞᚢᛊᛏᚱᛁᚨᛚ-ᚠᚢᚾᚲᛏᛁᛟᚾ-ᛈᚱᛖᛊᛖᚱᚹᛖᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"minimum-industrial-function-preserved:event_chain","passed":true,"statement":"ᛗᛁᚾᛁᛗᚢᛗ-ᛁᚾᛞᚢᛊᛏᚱᛁᚨᛚ-ᚠᚢᚾᚲᛏᛁᛟᚾ-ᛈᚱᛖᛊᛖᚱᚹᛖᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"minimum-industrial-function-preserved:boundary","passed":true,"statement":"ᛗᛁᚾᛁᛗᚢᛗ-ᛁᚾᛞᚢᛊᛏᚱᛁᚨᛚ-ᚠᚢᚾᚲᛏᛁᛟᚾ-ᛈᚱᛖᛊᛖᚱᚹᛖᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"minimum-industrial-function-preserved:terminal","passed":true,"statement":"ᛗᛁᚾᛁᛗᚢᛗ-ᛁᚾᛞᚢᛊᛏᚱᛁᚨᛚ-ᚠᚢᚾᚲᛏᛁᛟᚾ-ᛈᚱᛖᛊᛖᚱᚹᛖᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"minimum-industrial-function-preserved:no_real_change","passed":true,"statement":"ᛗᛁᚾᛁᛗᚢᛗ-ᛁᚾᛞᚢᛊᛏᚱᛁᚨᛚ-ᚠᚢᚾᚲᛏᛁᛟᚾ-ᛈᚱᛖᛊᛖᚱᚹᛖᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"safe-asset-withdrawal:deterministic","passed":true,"statement":"ᛊᚨᚠᛖ-ᚨᛊᛊᛖᛏ-ᚹᛁᚦᛞᚱᚨᚹᚨᛚ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"safe-asset-withdrawal:proof","passed":true,"statement":"ᛊᚨᚠᛖ-ᚨᛊᛊᛖᛏ-ᚹᛁᚦᛞᚱᚨᚹᚨᛚ / ᛈᚱᛟᛟᚠ"},{"id":"safe-asset-withdrawal:expected_action","passed":true,"statement":"ᛊᚨᚠᛖ-ᚨᛊᛊᛖᛏ-ᚹᛁᚦᛞᚱᚨᚹᚨᛚ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"safe-asset-withdrawal:expected_return","passed":true,"statement":"ᛊᚨᚠᛖ-ᚨᛊᛊᛖᛏ-ᚹᛁᚦᛞᚱᚨᚹᚨᛚ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"safe-asset-withdrawal:event_chain","passed":true,"statement":"ᛊᚨᚠᛖ-ᚨᛊᛊᛖᛏ-ᚹᛁᚦᛞᚱᚨᚹᚨᛚ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"safe-asset-withdrawal:boundary","passed":true,"statement":"ᛊᚨᚠᛖ-ᚨᛊᛊᛖᛏ-ᚹᛁᚦᛞᚱᚨᚹᚨᛚ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"safe-asset-withdrawal:terminal","passed":true,"statement":"ᛊᚨᚠᛖ-ᚨᛊᛊᛖᛏ-ᚹᛁᚦᛞᚱᚨᚹᚨᛚ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"safe-asset-withdrawal:no_real_change","passed":true,"statement":"ᛊᚨᚠᛖ-ᚨᛊᛊᛖᛏ-ᚹᛁᚦᛞᚱᚨᚹᚨᛚ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"independent-machine-review-unavailable:deterministic","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"independent-machine-review-unavailable:proof","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛈᚱᛟᛟᚠ"},{"id":"independent-machine-review-unavailable:expected_action","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"independent-machine-review-unavailable:expected_return","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"independent-machine-review-unavailable:event_chain","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"independent-machine-review-unavailable:boundary","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"independent-machine-review-unavailable:terminal","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"independent-machine-review-unavailable:no_real_change","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚢᚾᚨᚹᚨᛁᛚᚨᛒᛚᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"independent-machine-review-complete:deterministic","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚲᛟᛗᛈᛚᛖᛏᛖ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"independent-machine-review-complete:proof","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚲᛟᛗᛈᛚᛖᛏᛖ / ᛈᚱᛟᛟᚠ"},{"id":"independent-machine-review-complete:expected_action","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚲᛟᛗᛈᛚᛖᛏᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"independent-machine-review-complete:expected_return","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚲᛟᛗᛈᛚᛖᛏᛖ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"independent-machine-review-complete:event_chain","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚲᛟᛗᛈᛚᛖᛏᛖ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"independent-machine-review-complete:boundary","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚲᛟᛗᛈᛚᛖᛏᛖ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"independent-machine-review-complete:terminal","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚲᛟᛗᛈᛚᛖᛏᛖ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"independent-machine-review-complete:no_real_change","passed":true,"statement":"ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ-ᛗᚨᚲᚺᛁᚾᛖ-ᚱᛖᚹᛁᛖᚹ-ᚲᛟᛗᛈᛚᛖᛏᛖ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"multi-asset-correlated-degradation:deterministic","passed":true,"statement":"ᛗᚢᛚᛏᛁ-ᚨᛊᛊᛖᛏ-ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"multi-asset-correlated-degradation:proof","passed":true,"statement":"ᛗᚢᛚᛏᛁ-ᚨᛊᛊᛖᛏ-ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛈᚱᛟᛟᚠ"},{"id":"multi-asset-correlated-degradation:expected_action","passed":true,"statement":"ᛗᚢᛚᛏᛁ-ᚨᛊᛊᛖᛏ-ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"multi-asset-correlated-degradation:expected_return","passed":true,"statement":"ᛗᚢᛚᛏᛁ-ᚨᛊᛊᛖᛏ-ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"multi-asset-correlated-degradation:event_chain","passed":true,"statement":"ᛗᚢᛚᛏᛁ-ᚨᛊᛊᛖᛏ-ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"multi-asset-correlated-degradation:boundary","passed":true,"statement":"ᛗᚢᛚᛏᛁ-ᚨᛊᛊᛖᛏ-ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"multi-asset-correlated-degradation:terminal","passed":true,"statement":"ᛗᚢᛚᛏᛁ-ᚨᛊᛊᛖᛏ-ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"multi-asset-correlated-degradation:no_real_change","passed":true,"statement":"ᛗᚢᛚᛏᛁ-ᚨᛊᛊᛖᛏ-ᚲᛟᚱᚱᛖᛚᚨᛏᛖᛞ-ᛞᛖᚷᚱᚨᛞᚨᛏᛁᛟᚾ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"campaign-wide-maintenance-hold:deterministic","passed":true,"statement":"ᚲᚨᛗᛈᚨᛁᚷᚾ-ᚹᛁᛞᛖ-ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚺᛟᛚᛞ / ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ"},{"id":"campaign-wide-maintenance-hold:proof","passed":true,"statement":"ᚲᚨᛗᛈᚨᛁᚷᚾ-ᚹᛁᛞᛖ-ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚺᛟᛚᛞ / ᛈᚱᛟᛟᚠ"},{"id":"campaign-wide-maintenance-hold:expected_action","passed":true,"statement":"ᚲᚨᛗᛈᚨᛁᚷᚾ-ᚹᛁᛞᛖ-ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚺᛟᛚᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚨᚲᛏᛁᛟᚾ"},{"id":"campaign-wide-maintenance-hold:expected_return","passed":true,"statement":"ᚲᚨᛗᛈᚨᛁᚷᚾ-ᚹᛁᛞᛖ-ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚺᛟᛚᛞ / ᛖᚲᛊᛈᛖᚲᛏᛖᛞ_ᚱᛖᛏᚢᚱᚾ"},{"id":"campaign-wide-maintenance-hold:event_chain","passed":true,"statement":"ᚲᚨᛗᛈᚨᛁᚷᚾ-ᚹᛁᛞᛖ-ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚺᛟᛚᛞ / ᛖᚹᛖᚾᛏ_ᚲᚺᚨᛁᚾ"},{"id":"campaign-wide-maintenance-hold:boundary","passed":true,"statement":"ᚲᚨᛗᛈᚨᛁᚷᚾ-ᚹᛁᛞᛖ-ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚺᛟᛚᛞ / ᛒᛟᚢᚾᛞᚨᚱᛃ"},{"id":"campaign-wide-maintenance-hold:terminal","passed":true,"statement":"ᚲᚨᛗᛈᚨᛁᚷᚾ-ᚹᛁᛞᛖ-ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚺᛟᛚᛞ / ᛏᛖᚱᛗᛁᚾᚨᛚ"},{"id":"campaign-wide-maintenance-hold:no_real_change","passed":true,"statement":"ᚲᚨᛗᛈᚨᛁᚷᚾ-ᚹᛁᛞᛖ-ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ-ᚺᛟᛚᛞ / ᚾᛟ_ᚱᛖᚨᛚ_ᚲᚺᚨᛜᛖ"},{"id":"IR-GLOBAL-01","passed":true,"statement":"ᚨᛏ ᛚᛖᚨᛊᛏ ᚠᛟᚱᛏᛃ-ᛖᛁᚷᚺᛏ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ ᛁᚾᛞᚢᛊᛏᚱᛁᚨᛚ ᛊᚲᛖᚾᚨᚱᛁᛟᛊ ᚨᚱᛖ ᛈᚢᛒᛚᛁᛊᚺᛖᛞ."},{"id":"IR-GLOBAL-02","passed":true,"statement":"ᚨᛏ ᛚᛖᚨᛊᛏ ᛏᛖᚾ ᛊᛃᚾᚦᛖᛏᛁᚲ ᚨᛊᛊᛖᛏ ᚲᛚᚨᛊᛊᛖᛊ ᚨᚱᛖ ᛞᛖᚠᛁᚾᛖᛞ."},{"id":"IR-GLOBAL-03","passed":true,"statement":"ᚦᛖ ᚱᛖᚠᛖᚱᛖᚾᚲᛖ ᛗᛟᚾᛁᛏᛟᚱ ᛖᚹᚨᛚᚢᚨᛏᛖᛊ ᚨᛏ ᛚᛖᚨᛊᛏ ᛏᚹᛖᚾᛏᛃ-ᚠᛟᚢᚱ ᛁᚾᛞᛖᛈᛖᚾᛞᛖᚾᛏ ᚷᚨᛏᛖᛊ."},{"id":"IR-GLOBAL-04","passed":true,"statement":"ᛏᚹᛖᛚᚹᛖ ᛞᛖᛈᛖᚾᛞᛖᚾᚲᛃ ᛞᛁᛗᛖᚾᛊᛁᛟᚾᛊ ᚱᛖᛗᚨᛁᚾ ᛖᚲᛊᛈᛚᛁᚲᛁᛏ."},{"id":"IR-GLOBAL-05","passed":true,"statement":"ᛏᚹᛖᛚᚹᛖ ᚺᛖᚨᛚᚦ-ᛖᚹᛁᛞᛖᚾᚲᛖ ᛞᛁᛗᛖᚾᛊᛁᛟᚾᛊ ᚱᛖᛗᚨᛁᚾ ᛖᚲᛊᛈᛚᛁᚲᛁᛏ."},{"id":"IR-GLOBAL-06","passed":true,"statement":"ᛏᚹᛖᛚᚹᛖ ᚲᛟᛟᚱᛞᛁᚾᚨᛏᛖᛞ ᚨᚾᚨᛚᛃᛏᛁᚲᚨᛚ ᚱᛖᛈᚱᛖᛊᛖᚾᛏᚨᛏᛁᛟᚾᛊ ᚨᚱᛖ ᛞᛖᚠᛁᚾᛖᛞ."},{"id":"IR-GLOBAL-07","passed":true,"statement":"ᚾᛟ ᚱᛖᚨᛚ ᛁᚾᛞᚢᛊᛏᚱᛁᚨᛚ-ᚲᛟᚾᛏᚱᛟᛚ ᛈᚱᛟᛏᛟᚲᛟᛚ ᛁᛊ ᛈᚱᛖᛊᛖᚾᛏ."},{"id":"IR-GLOBAL-08","passed":true,"statement":"ᚱᛖᛏᚢᚱᚾ ᛏᛟ ᛊᛖᚱᚹᛁᚲᛖ ᚲᚨᚾᚾᛟᛏ ᛒᛖ ᚨᚢᛏᛟᛗᚨᛏᛁᚲ."},{"id":"IR-GLOBAL-09","passed":true,"statement":"ᚦᛖ ᛈᚢᛒᛚᛁᚲ ᚱᚨᛜᛖ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"IR-GLOBAL-10","passed":true,"statement":"ᛖᚹᛁᛞᛖᚾᚲᛖ ᛈᚨᚲᚲᚨᚷᛖ ᛖᚲᛊᛈᛟᚱᛏ ᛁᛊ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"IR-GLOBAL-11","passed":true,"statement":"ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ ᛈᚨᚲᚲᚨᚷᛖ ᚹᛖᚱᛁᚠᛁᚲᚨᛏᛁᛟᚾ ᛈᚨᛊᛊᛖᛊ."},{"id":"IR-GLOBAL-12","passed":true,"statement":"ᚲᛟᚢᚾᛏᛖᚱᚠᚨᚲᛏᚢᚨᛚ ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ ᚲᚨᚾᚾᛟᛏ ᛗᚢᛏᚨᛏᛖ ᚲᚨᚾᛟᚾᛁᚲᚨᛚ ᚺᛁᛊᛏᛟᚱᛃ."}],"engine_version":"1.0.0","named_invariant_count":26,"operational":false,"passed":true,"proof_sha256":"0587bfc59ee9448d840158fb40a39698afdc0ab29f20a3c4434a7890acfc5a07","protected_strategy_disclosed":false,"public_boundary":{"accepts_arbitrary_files":false,"accepts_arbitrary_urls":false,"accepts_customer_content":false,"accepts_real_credentials":false,"accepts_real_keys":false,"automatic_baseline_activation":false,"automatic_release_promotion":false,"automatic_return_to_service":false,"force_authorization":false,"hazardous_chemical_recipes":false,"name":"ᚲᛟᚾᛏᚱᛟᛚᛚᛖᛞ ᚢᚾᚲᛚᚨᛊᛊᛁᚠᛁᛖᛞ ᛁᚾᛞᚢᛊᛏᚱᛁᚨᛚ ᚨᛊᛊᚢᚱᚨᚾᚲᛖ ᚱᚨᛜᛖ","offensive_cyber":false,"operational":false,"payload_control":false,"public_persistence":false,"real_coordinates":false,"real_facility_topology":false,"real_high_voltage_instructions":false,"real_industrial_control_protocols":false,"real_plc_commands":false,"real_reactor_control":false,"real_semiconductor_recipes":false,"synthetic":true,"target_selection":false,"terminal":"SYNTHETIC_NULL_SINK","vendor_specific_maintenance_commands":false,"weapon_functions":false,"weapon_target_pairing":false},"public_persistence":false,"qualification":"ᚦᛖ ᛈᚱᛟᛟᚠ ᛖᛊᛏᚨᛒᛚᛁᛊᚺᛖᛊ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ ᛈᚨᚲᚲᚨᚷᛖ ᛒᛖᚺᚨᚹᛁᛟᚱ, ᚨᚢᚦᛟᚱᛁᛏᛃ ᚲᛟᚾᛃᚢᚾᚲᛏᛁᛟᚾ, ᛖᚹᛁᛞᛖᚾᚲᛖ ᚨᚾᛞ ᛞᛖᛈᛖᚾᛞᛖᚾᚲᛃ ᛊᛖᛈᚨᚱᚨᛏᛁᛟᚾ, ᚨᛈᛈᛖᚾᛞ-ᛟᚱᛁᛖᚾᛏᛖᛞ ᛚᛁᚾᛖᚨᚷᛖ, ᚲᛟᚢᚾᛏᛖᚱᚠᚨᚲᛏᚢᚨᛚ ᛁᛊᛟᛚᚨᛏᛁᛟᚾ, ᛒᛟᚢᚾᛞᛖᛞ ᛊᛃᚾᚦᛖᛏᛁᚲ ᛗᚨᛁᚾᛏᛖᚾᚨᚾᚲᛖ ᚨᚲᛏᛁᛟᚾᛊ, ᚨᚾᛞ ᚾᛟᚾ-ᛞᛁᛊᚲᛚᛟᛊᚢᚱᛖ ᚲᛟᚾᛏᚱᛟᛚᛊ. ᛁᛏ ᛞᛟᛖᛊ ᚾᛟᛏ ᛖᛊᛏᚨᛒᛚᛁᛊᚺ ᚠᛃᛊᛁᚲᚨᛚ ᛗᚨᚲᚺᛁᚾᛖᚱᛃ ᛈᛖᚱᚠᛟᚱᛗᚨᚾᚲᛖ, ᛁᚾᛞᚢᛊᛏᚱᛁᚨᛚ ᚲᛖᚱᛏᛁᚠᛁᚲᚨᛏᛁᛟᚾ, ᚲᚢᛊᛏᛟᛗᛖᚱ-ᛊᛃᛊᛏᛖᛗ ᚱᛖᚨᛞᛁᚾᛖᛊᛊ, ᛚᛖᚷᚨᛚ ᚨᛈᛈᚱᛟᚹᚨᛚ, ᚨᚲᚲᚱᛖᛞᛁᛏᚨᛏᛁᛟᚾ, ᛈᚱᛟᚲᚢᚱᛖᛗᛖᚾᛏ ᚨᚲᚲᛖᛈᛏᚨᚾᚲᛖ, ᛟᚱ ᚨᚲᛏᚢᚨᛚ-ᚺᛟᛊᛏ ᛞᛖᛈᛚᛟᛃᛗᛖᚾᛏ.","reference_monitor_gate_count":24,"release":"2.0.0-rc.25-WIP","representation_count":12,"scenario_count":48,"scenario_results":[{"applied_action":"CONTINUE_OBSERVATION","passed":true,"return_decision":"CONTINUE_ATTESTED_OPERATION","run_sha256":"8481f89320b7295839f4616efadb43dfaa9fc2a284a566e2cce68ca47d9ae92c","scenario_id":"nominal-robotic-inspection"},{"applied_action":"REDUCE_SYNTHETIC_LOAD","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"9ed50c760cf7e56cd22f472f5914d9e257c07220abf0220335cdd9d8cc6a893c","scenario_id":"early-vibration-degradation"},{"applied_action":"ISOLATE_ASSET","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"9a3701af79cda83468e157bc831f581314b3f10a2e2a13f26b7f3c0d2aa5ad54","scenario_id":"thermal-anomaly"},{"applied_action":"COLLECT_MORE_EVIDENCE","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"3b16d42889162709bfc157558829ca7011922efbf965168474b3a8363f9ff7a4","scenario_id":"intermittent-power-quality-fault"},{"applied_action":"COLLECT_MORE_EVIDENCE","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"facc0c266e740d4d71141aef559db34e6064472db1fcc595fc8b52dc100d2780","scenario_id":"evidence-stale"},{"applied_action":"COLLECT_MORE_EVIDENCE","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"a8cd64895fae4c08a8ca1ed970d63b65afea81931a226af722cd36da57c2afa5","scenario_id":"evidence-conflict"},{"applied_action":"COLLECT_MORE_EVIDENCE","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"46b826000758b727d5a7ba0271bcf94952e35fdd14d4842acaf553d587cae238","scenario_id":"correlated-sensor-failure"},{"applied_action":"ABSTAIN","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"e599dcd4ee557f5dc72444f72bf224bed3dcb00a8d394eb205ea63ac62ec8584","scenario_id":"unknown-failure-mode"},{"applied_action":"ISOLATE_ASSET","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"bd66f0f70e5376ade2d9fed38cf22bc1926b0738aa859665a79a7f32366dbd10","scenario_id":"software-attestation-failure"},{"applied_action":"ISOLATE_ASSET","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"bd2ab996b2db1ce8499893dfe1e0c2480cd855f5c98edbe03b89c0ddfa1de2da","scenario_id":"model-attestation-failure"},{"applied_action":"INTEGRITY_HOLD","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"4a014d8e3a9d7bec905de7c86c3e66c1ea5759ba257bc6f73283f836ec8369b5","scenario_id":"policy-attestation-failure"},{"applied_action":"RECONCILE_CONFIGURATION","passed":true,"return_decision":"RECONCILIATION_REQUIRED","run_sha256":"758cbb701ddd8088d5501944df0e84c558181d9c3d8e9bb67ca4537b2c0add87","scenario_id":"configuration-drift"},{"applied_action":"RECALIBRATE_SYNTHETIC_TOOL","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"f4ad2f4b3b77f039e9a404ea36722993d3352604a253e05485824a97e51941fd","scenario_id":"tool-calibration-expired"},{"applied_action":"INTEGRITY_HOLD","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"bbd0d5355013ff6840f61d3ae4d890b30d1e0cdc177b19141a7a1db0ba1dc4b6","scenario_id":"tool-digest-mismatch"},{"applied_action":"RECONCILE_CONFIGURATION","passed":true,"return_decision":"RECONCILIATION_REQUIRED","run_sha256":"d5ddd8d6986cea301a7e120c836fd6c80e651556f0faf933ab6651b93958550e","scenario_id":"maintenance-recipe-superseded"},{"applied_action":"INTEGRITY_HOLD","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"f9dd5d77c2105c4578b9e4b629af4ceae3bdcba9b603777836157229e25a6ce8","scenario_id":"recipe-signature-missing"},{"applied_action":"INTEGRITY_HOLD","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"05a83998b61587284b5df12715487cfe1340c3b51afe900e878cbb694f1f9589","scenario_id":"maintenance-authority-expired"},{"applied_action":"WITHDRAW_ASSET","passed":true,"return_decision":"ASSET_WITHDRAWN","run_sha256":"e647c6e500a03bc93cb4709252d52054cc52c1110ad7f7521142d655457f5c53","scenario_id":"maintenance-authority-revoked"},{"applied_action":"INTEGRITY_HOLD","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"4f1edcb75c801e1c606281431933385e0b9e7938b1ae99c6789877df4ec744f7","scenario_id":"purpose-mismatch"},{"applied_action":"INTEGRITY_HOLD","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"f8618f8f63a39384faee09288ff27e3575a00d4998119b86aff38d721b9cd1ef","scenario_id":"resource-bound-exceeded"},{"applied_action":"COLLECT_MORE_EVIDENCE","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"8402e87c65f35f3664dc5649719b1fdd96b89bb523e022e295ef39b218124813","scenario_id":"replacement-module-provenance-gap"},{"applied_action":"REDUCE_SYNTHETIC_LOAD","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"d8fc3eaaf65894b1a4c70993a6d61ce3f88161ee47e9dda32a4fb8a75723816c","scenario_id":"replacement-module-unavailable"},{"applied_action":"SWAP_SYNTHETIC_MODULE","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"928aa5a9286cc70914728f2f9272e48f3b467d2a779dc5a26256874e3889129c","scenario_id":"alternate-module-available"},{"applied_action":"REDUCE_SYNTHETIC_LOAD","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"dfc3fc9963ff3e392d72e5dd66efab9afb76fc8fb1f8a24041b6e2eb9acdf657","scenario_id":"logistics-compartment-partitioned"},{"applied_action":"CONTINUE_OBSERVATION","passed":true,"return_decision":"CONTINUE_ATTESTED_OPERATION","run_sha256":"0120df8b4f255e1ad44b220931cdfb5cfd3e0f49f5f910a87b80915ea452f7ce","scenario_id":"local-authority-current"},{"applied_action":"REDUCE_SYNTHETIC_LOAD","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"b318b1aef11598c22c92b540c93c32091389f5e45097ec8f3aa8e1112da88d1e","scenario_id":"local-authority-expiring"},{"applied_action":"INTEGRITY_HOLD","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"f21aa3bdd2d215a01cfdf9d38504547a30e7a562702b1d8639f821a1b493e6aa","scenario_id":"local-authority-expired"},{"applied_action":"RECONCILE_CONFIGURATION","passed":true,"return_decision":"RECONCILIATION_REQUIRED","run_sha256":"32f0a627a6da08257cc9cee6f8325ec8923050f061a5b6d98b9918cecabf0b9d","scenario_id":"communications-restored-reconciliation-required"},{"applied_action":"INTEGRITY_HOLD","passed":true,"return_decision":"RECONCILIATION_REQUIRED","run_sha256":"4c7206c46ce020d36f85955dc3b4b6aa917a2cfe49cbd8d8b364624d31a517a7","scenario_id":"reconciliation-failed"},{"applied_action":"SWAP_SYNTHETIC_MODULE","passed":true,"return_decision":"RETURN_TO_SERVICE_AUTHORIZED","run_sha256":"9f7336f03dcd37809375e9736e1d506e21718146290c1e322a6f93bae2c96807","scenario_id":"successful-module-swap"},{"applied_action":"SWAP_SYNTHETIC_MODULE","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"5fe0b1f67dd2c8916002e0b15d2e1ee4cf534323b26744aa0a4137afdff28eb8","scenario_id":"failed-module-swap-test"},{"applied_action":"REPAIR_SYNTHETIC_BOARD","passed":true,"return_decision":"RETURN_TO_SERVICE_AUTHORIZED","run_sha256":"d0ed79c323be103362a030a286924a91cdd3d56c5f821cc7016e9559d72a75fd","scenario_id":"synthetic-board-repair-successful"},{"applied_action":"REPAIR_SYNTHETIC_BOARD","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"39b0b07a9b36d01df7e1f5a212e4b80aed8f0d536e3fcd21b1005469e5322419","scenario_id":"synthetic-board-repair-inconclusive"},{"applied_action":"REPRINT_SYNTHETIC_COMPONENT","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"ec47027aa610da81ea18e0d0898eca3b3ed7e23ed939bafe478fc094adb0f7d9","scenario_id":"additive-component-metrology-failed"},{"applied_action":"REPRINT_SYNTHETIC_COMPONENT","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"2a79ecc76c2c82d2ec0742c24758805407265bd09ad6299685255397f2f58c20","scenario_id":"additive-component-qualified"},{"applied_action":"RECALIBRATE_SYNTHETIC_TOOL","passed":true,"return_decision":"RETURN_TO_SERVICE_AUTHORIZED","run_sha256":"3c2e2ab1ee6858c43faff5dde7496232d9c0b7234d1ea657a0bc3170be76599b","scenario_id":"calibration-successful"},{"applied_action":"RESTORE_ATTESTED_BASELINE","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"c71d848ca72a9a861249bfe01648f46c93836605701988b066571e3783836e63","scenario_id":"post-repair-regression-failure"},{"applied_action":"COLLECT_MORE_EVIDENCE","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"4e5c509f4149c68589d4735cc48c31a7a9565bb44d69b1b5314d9ef8d4ed3176","scenario_id":"post-repair-evidence-contradiction"},{"applied_action":"WITHDRAW_ASSET","passed":true,"return_decision":"ASSET_WITHDRAWN","run_sha256":"14c59f1b7a86147f9d0d24db3d0851099b750e5108ec50dde537834dfcc226f7","scenario_id":"recovery-baseline-compromised"},{"applied_action":"RESTORE_ATTESTED_BASELINE","passed":true,"return_decision":"RETURN_TO_SERVICE_AUTHORIZED","run_sha256":"f913ba59ace7ab448ac2b2c03e32b2e603637c7110d4609bf61f255c50f9b68a","scenario_id":"successful-attested-restoration"},{"applied_action":"COLLECT_MORE_EVIDENCE","passed":true,"return_decision":"CONTINUE_ATTESTED_OPERATION","run_sha256":"13f6e45a9632970845661a2adb27220347a5264a630bfa3e40aaff5221c75450","scenario_id":"dependency-concentration-warning"},{"applied_action":"CONTINUE_OBSERVATION","passed":true,"return_decision":"CONTINUE_ATTESTED_OPERATION","run_sha256":"45d35df3acfeb1d3cba8062e4ed8d4734521d2ba07a00909ac6b215c52c9c647","scenario_id":"substitution-plan-available"},{"applied_action":"REDUCE_SYNTHETIC_LOAD","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"7587e429fe7dfe82e0244abcdc627b5e7135709aed885a355eb7436767101118","scenario_id":"minimum-industrial-function-preserved"},{"applied_action":"WITHDRAW_ASSET","passed":true,"return_decision":"ASSET_WITHDRAWN","run_sha256":"a9db93b63ceb4fecfce2defb119e4c544625b8ddf90322d2c4f411d0cb3bfae1","scenario_id":"safe-asset-withdrawal"},{"applied_action":"INTEGRITY_HOLD","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"145672f43e3e28f94cef7874b138fa691849b507b3b9b0567e88cc7a46791181","scenario_id":"independent-machine-review-unavailable"},{"applied_action":"CONTINUE_OBSERVATION","passed":true,"return_decision":"CONTINUE_ATTESTED_OPERATION","run_sha256":"74c02499bf95919a9d7c549ebe226aa06278b03ac77c8b6e11a1937432b1398b","scenario_id":"independent-machine-review-complete"},{"applied_action":"ISOLATE_ASSET","passed":true,"return_decision":"RETURN_TO_SERVICE_PENDING","run_sha256":"36141b38cab2ebf80a8477e22dc36d0de304c5f8bb47614bc5cfdc0233dbcf52","scenario_id":"multi-asset-correlated-degradation"},{"applied_action":"INTEGRITY_HOLD","passed":true,"return_decision":"RETURN_TO_SERVICE_DENIED","run_sha256":"b945be6d5d63c259a9c4917110e8142966b5f583c9dcd2f04580fa033a168ff5","scenario_id":"campaign-wide-maintenance-hold"}],"schema":"evulgare.industrial-resilience-proof.v1","source_release":"2.0.0-rc.24-WIP","terminal":"SYNTHETIC_NULL_SINK"},"meta":{"api_version":"v2","automatic_activation":false,"automatic_promotion":false,"check_count":396,"digest":"0587bfc59ee9448d840158fb40a39698afdc0ab29f20a3c4434a7890acfc5a07","operational":false,"passed":true,"persisted":false,"request_id":"c9cd0b40-0695-47d8-9afd-c987c70ee0d6","scenario_count":48,"synthetic":true,"workbench_version":"2.0.0"},"ok":true}