{"data":{"automatic_baseline_activation":false,"automatic_release_promotion":false,"check_count":158,"checks":[{"id":"valid-authority-baseline:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"valid-authority-baseline:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"valid-authority-baseline:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"valid-authority-baseline:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"authority-expired:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"authority-expired:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"authority-expired:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"authority-expired:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"authority-revoked:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"authority-revoked:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"authority-revoked:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"authority-revoked:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"authority-superseded:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"authority-superseded:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"authority-superseded:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"authority-superseded:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"authority-suspended:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"authority-suspended:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"authority-suspended:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"authority-suspended:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"purpose-mismatch:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"purpose-mismatch:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"purpose-mismatch:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"purpose-mismatch:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"prohibited-reuse:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"prohibited-reuse:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"prohibited-reuse:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"prohibited-reuse:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"resource-bound-violation:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"resource-bound-violation:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"resource-bound-violation:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"resource-bound-violation:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"forged-workload-identity:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"forged-workload-identity:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"forged-workload-identity:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"forged-workload-identity:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"cloned-identity:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"cloned-identity:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"cloned-identity:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"cloned-identity:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"stale-credential:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"stale-credential:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"stale-credential:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"stale-credential:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"missing-threshold-authorization:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"missing-threshold-authorization:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"missing-threshold-authorization:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"missing-threshold-authorization:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"software-digest-mismatch:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"software-digest-mismatch:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"software-digest-mismatch:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"software-digest-mismatch:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"model-digest-mismatch:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"model-digest-mismatch:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"model-digest-mismatch:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"model-digest-mismatch:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"policy-digest-mismatch:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"policy-digest-mismatch:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"policy-digest-mismatch:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"policy-digest-mismatch:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"configuration-drift:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"configuration-drift:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"configuration-drift:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"configuration-drift:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"unsigned-update:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"unsigned-update:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"unsigned-update:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"unsigned-update:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"supply-chain-provenance-gap:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"supply-chain-provenance-gap:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"supply-chain-provenance-gap:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"supply-chain-provenance-gap:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"evidence-stale:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"evidence-stale:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"evidence-stale:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"evidence-stale:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"correlated-evidence-failure:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"correlated-evidence-failure:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"correlated-evidence-failure:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"correlated-evidence-failure:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"contradictory-authenticated-evidence:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"contradictory-authenticated-evidence:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"contradictory-authenticated-evidence:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"contradictory-authenticated-evidence:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"high-epistemic-uncertainty:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"high-epistemic-uncertainty:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"high-epistemic-uncertainty:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"high-epistemic-uncertainty:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"unknown-policy-state:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"unknown-policy-state:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"unknown-policy-state:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"unknown-policy-state:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"communications-degraded:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"communications-degraded:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"communications-degraded:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"communications-degraded:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"communications-partition:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"communications-partition:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"communications-partition:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"communications-partition:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"local-authority-current:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"local-authority-current:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"local-authority-current:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"local-authority-current:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"local-authority-expiring:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"local-authority-expiring:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"local-authority-expiring:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"local-authority-expiring:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"local-authority-expired:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"local-authority-expired:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"local-authority-expired:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"local-authority-expired:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"restored-link-reconciliation:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"restored-link-reconciliation:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"restored-link-reconciliation:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"restored-link-reconciliation:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"failed-reconciliation:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"failed-reconciliation:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"failed-reconciliation:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"failed-reconciliation:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"successful-rekey:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"successful-rekey:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"successful-rekey:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"successful-rekey:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"compromised-recovery-baseline:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"compromised-recovery-baseline:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"compromised-recovery-baseline:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"compromised-recovery-baseline:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"successful-attested-recovery:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"successful-attested-recovery:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"successful-attested-recovery:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"successful-attested-recovery:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"industrial-repair-workload-unattested:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"industrial-repair-workload-unattested:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"industrial-repair-workload-unattested:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"industrial-repair-workload-unattested:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"manufacturing-recipe-superseded:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"manufacturing-recipe-superseded:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"manufacturing-recipe-superseded:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"manufacturing-recipe-superseded:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"maintenance-evidence-conflict:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"maintenance-evidence-conflict:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"maintenance-evidence-conflict:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"maintenance-evidence-conflict:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"robotic-cell-resource-exhaustion:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"robotic-cell-resource-exhaustion:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"robotic-cell-resource-exhaustion:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"robotic-cell-resource-exhaustion:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"industrial-baseline-restoration:proof","passed":true,"statement":"ᛈᛖᚱ-ᚱᚢᚾ ᛈᚱᛟᛟᚠ ᚲᛟᚾᛞᛁᛏᛁᛟᚾᛊ ᛈᚨᛊᛊ."},{"id":"industrial-baseline-restoration:determinism","passed":true,"statement":"ᚱᛖᛈᛖᚨᛏᛖᛞ ᚱᚢᚾ ᛁᛊ ᛒᛃᛏᛖ-ᛊᛏᚱᚢᚲᛏᚢᚱᚨᛚᛚᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ."},{"id":"industrial-baseline-restoration:terminal","passed":true,"statement":"ᚱᚢᚾ ᛏᛖᚱᛗᛁᚾᚨᛏᛖᛊ ᚨᛏ ᛊᛃᚾᚦᛖᛏᛁᚲ_ᚾᚢᛚᛚ_ᛊᛁᚾᚲ."},{"id":"industrial-baseline-restoration:nonoperational","passed":true,"statement":"ᚾᛟ ᛟᛈᛖᚱᚨᛏᛁᛟᚾᚨᛚ ᚠᛟᚱᚲᛖ ᛟᚱ ᛖᚲᛊᛏᛖᚱᚾᚨᛚ ᚲᛟᛗᛗᚨᚾᛞ ᛖᚲᛊᛁᛊᛏᛊ."},{"id":"global:scenario-count","passed":true,"statement":"ᚨᛏ ᛚᛖᚨᛊᛏ ᚦᛁᚱᛏᛃ ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ ᛊᚲᛖᚾᚨᚱᛁᛟᛊ ᚨᚱᛖ ᛈᚱᛖᛊᛖᚾᛏ."},{"id":"global:authority-states","passed":true,"statement":"ᛏᛖᚾ ᚨᚢᚦᛟᚱᛁᛏᛃ ᛚᛁᚠᛖᚲᛃᚲᛚᛖ ᛊᛏᚨᛏᛖᛊ ᚨᚱᛖ ᚱᛖᛈᚱᛖᛊᛖᚾᛏᛖᛞ."},{"id":"global:actions-bounded","passed":true,"statement":"ᚨᚲᛏᛁᛟᚾ ᚲᚨᛏᚨᛚᛟᚷ ᛁᛊ ᛒᛟᚢᚾᛞᛖᛞ ᚨᚾᛞ ᛞᛖᚠᛖᚾᛊᛁᚹᛖ."},{"id":"global:package-verifies","passed":true,"statement":"ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ ᛒᚨᛊᛖᛚᛁᚾᛖ ᛖᚹᛁᛞᛖᚾᚲᛖ ᛈᚨᚲᚲᚨᚷᛖ ᚹᛖᚱᛁᚠᛁᛖᛊ."},{"id":"global:comparison","passed":true,"statement":"ᚲᛟᛗᛈᚨᚱᛁᛊᛟᚾ ᛖᚲᛊᛈᛟᛊᛖᛊ ᚠᛁᚱᛊᛏ ᛞᛁᚹᛖᚱᚷᛖᚾᚲᛖ."},{"id":"global:branch-isolated","passed":true,"statement":"ᚲᛟᚢᚾᛏᛖᚱᚠᚨᚲᛏᚢᚨᛚ ᛒᚱᚨᚾᚲᚺ ᚲᚨᚾᚾᛟᛏ ᚨᛚᛏᛖᚱ ᚲᚨᚾᛟᚾᛁᚲᚨᛚ ᚺᛁᛊᛏᛟᚱᛃ."}],"engine_version":"1.0.0","named_invariant_count":20,"passed":true,"proof_sha256":"e7ac17d89e934d09412e36c306719c68b5aa1f9e648d9ba4155429ef9233ac14","public_boundary":{"accepts_arbitrary_files":false,"accepts_arbitrary_urls":false,"accepts_customer_content":false,"automatic_baseline_activation":false,"automatic_release_promotion":false,"external_command_channel":false,"force_authorization":false,"offensive_cyber":false,"operational":false,"payload_control":false,"public_persistence":false,"real_coordinates":false,"real_credentials":false,"real_keys":false,"real_topology":false,"synthetic":true,"target_ranking":false,"target_search":false,"target_selection":false,"terminal":"SYNTHETIC_NULL_SINK","terminal_guidance":false,"vehicle_control":false,"weapon_functions":false,"weapon_target_pairing":false},"release":"2.0.0-rc.24-WIP","scenario_count":38,"schema":"evulgare.autonomous-defense-kernel-proof.v1","source_release":"2.0.0-rc.23-WIP","terminal":"SYNTHETIC_NULL_SINK"},"meta":{"api_version":"v2","automatic_activation":false,"automatic_promotion":false,"check_count":158,"digest":"e7ac17d89e934d09412e36c306719c68b5aa1f9e648d9ba4155429ef9233ac14","operational":false,"passed":true,"persisted":false,"request_id":"93b0741b-4c54-4800-b99b-1588120b58e8","scenario_count":38,"synthetic":true,"workbench_version":"2.0.0"},"ok":true}