{"data":{"action_count":14,"asset_class_count":10,"check_count":396,"checks":[{"id":"nominal-robotic-inspection:deterministic","passed":true,"statement":"nominal-robotic-inspection / deterministic"},{"id":"nominal-robotic-inspection:proof","passed":true,"statement":"nominal-robotic-inspection / proof"},{"id":"nominal-robotic-inspection:expected_action","passed":true,"statement":"nominal-robotic-inspection / expected_action"},{"id":"nominal-robotic-inspection:expected_return","passed":true,"statement":"nominal-robotic-inspection / expected_return"},{"id":"nominal-robotic-inspection:event_chain","passed":true,"statement":"nominal-robotic-inspection / event_chain"},{"id":"nominal-robotic-inspection:boundary","passed":true,"statement":"nominal-robotic-inspection / boundary"},{"id":"nominal-robotic-inspection:terminal","passed":true,"statement":"nominal-robotic-inspection / terminal"},{"id":"nominal-robotic-inspection:no_real_change","passed":true,"statement":"nominal-robotic-inspection / no_real_change"},{"id":"early-vibration-degradation:deterministic","passed":true,"statement":"early-vibration-degradation / deterministic"},{"id":"early-vibration-degradation:proof","passed":true,"statement":"early-vibration-degradation / proof"},{"id":"early-vibration-degradation:expected_action","passed":true,"statement":"early-vibration-degradation / expected_action"},{"id":"early-vibration-degradation:expected_return","passed":true,"statement":"early-vibration-degradation / expected_return"},{"id":"early-vibration-degradation:event_chain","passed":true,"statement":"early-vibration-degradation / event_chain"},{"id":"early-vibration-degradation:boundary","passed":true,"statement":"early-vibration-degradation / boundary"},{"id":"early-vibration-degradation:terminal","passed":true,"statement":"early-vibration-degradation / terminal"},{"id":"early-vibration-degradation:no_real_change","passed":true,"statement":"early-vibration-degradation / no_real_change"},{"id":"thermal-anomaly:deterministic","passed":true,"statement":"thermal-anomaly / deterministic"},{"id":"thermal-anomaly:proof","passed":true,"statement":"thermal-anomaly / proof"},{"id":"thermal-anomaly:expected_action","passed":true,"statement":"thermal-anomaly / expected_action"},{"id":"thermal-anomaly:expected_return","passed":true,"statement":"thermal-anomaly / expected_return"},{"id":"thermal-anomaly:event_chain","passed":true,"statement":"thermal-anomaly / event_chain"},{"id":"thermal-anomaly:boundary","passed":true,"statement":"thermal-anomaly / boundary"},{"id":"thermal-anomaly:terminal","passed":true,"statement":"thermal-anomaly / terminal"},{"id":"thermal-anomaly:no_real_change","passed":true,"statement":"thermal-anomaly / no_real_change"},{"id":"intermittent-power-quality-fault:deterministic","passed":true,"statement":"intermittent-power-quality-fault / deterministic"},{"id":"intermittent-power-quality-fault:proof","passed":true,"statement":"intermittent-power-quality-fault / proof"},{"id":"intermittent-power-quality-fault:expected_action","passed":true,"statement":"intermittent-power-quality-fault / expected_action"},{"id":"intermittent-power-quality-fault:expected_return","passed":true,"statement":"intermittent-power-quality-fault / expected_return"},{"id":"intermittent-power-quality-fault:event_chain","passed":true,"statement":"intermittent-power-quality-fault / event_chain"},{"id":"intermittent-power-quality-fault:boundary","passed":true,"statement":"intermittent-power-quality-fault / boundary"},{"id":"intermittent-power-quality-fault:terminal","passed":true,"statement":"intermittent-power-quality-fault / terminal"},{"id":"intermittent-power-quality-fault:no_real_change","passed":true,"statement":"intermittent-power-quality-fault / no_real_change"},{"id":"evidence-stale:deterministic","passed":true,"statement":"evidence-stale / deterministic"},{"id":"evidence-stale:proof","passed":true,"statement":"evidence-stale / proof"},{"id":"evidence-stale:expected_action","passed":true,"statement":"evidence-stale / expected_action"},{"id":"evidence-stale:expected_return","passed":true,"statement":"evidence-stale / expected_return"},{"id":"evidence-stale:event_chain","passed":true,"statement":"evidence-stale / event_chain"},{"id":"evidence-stale:boundary","passed":true,"statement":"evidence-stale / boundary"},{"id":"evidence-stale:terminal","passed":true,"statement":"evidence-stale / terminal"},{"id":"evidence-stale:no_real_change","passed":true,"statement":"evidence-stale / no_real_change"},{"id":"evidence-conflict:deterministic","passed":true,"statement":"evidence-conflict / deterministic"},{"id":"evidence-conflict:proof","passed":true,"statement":"evidence-conflict / proof"},{"id":"evidence-conflict:expected_action","passed":true,"statement":"evidence-conflict / expected_action"},{"id":"evidence-conflict:expected_return","passed":true,"statement":"evidence-conflict / expected_return"},{"id":"evidence-conflict:event_chain","passed":true,"statement":"evidence-conflict / event_chain"},{"id":"evidence-conflict:boundary","passed":true,"statement":"evidence-conflict / boundary"},{"id":"evidence-conflict:terminal","passed":true,"statement":"evidence-conflict / terminal"},{"id":"evidence-conflict:no_real_change","passed":true,"statement":"evidence-conflict / no_real_change"},{"id":"correlated-sensor-failure:deterministic","passed":true,"statement":"correlated-sensor-failure / deterministic"},{"id":"correlated-sensor-failure:proof","passed":true,"statement":"correlated-sensor-failure / proof"},{"id":"correlated-sensor-failure:expected_action","passed":true,"statement":"correlated-sensor-failure / expected_action"},{"id":"correlated-sensor-failure:expected_return","passed":true,"statement":"correlated-sensor-failure / expected_return"},{"id":"correlated-sensor-failure:event_chain","passed":true,"statement":"correlated-sensor-failure / event_chain"},{"id":"correlated-sensor-failure:boundary","passed":true,"statement":"correlated-sensor-failure / boundary"},{"id":"correlated-sensor-failure:terminal","passed":true,"statement":"correlated-sensor-failure / terminal"},{"id":"correlated-sensor-failure:no_real_change","passed":true,"statement":"correlated-sensor-failure / no_real_change"},{"id":"unknown-failure-mode:deterministic","passed":true,"statement":"unknown-failure-mode / deterministic"},{"id":"unknown-failure-mode:proof","passed":true,"statement":"unknown-failure-mode / proof"},{"id":"unknown-failure-mode:expected_action","passed":true,"statement":"unknown-failure-mode / expected_action"},{"id":"unknown-failure-mode:expected_return","passed":true,"statement":"unknown-failure-mode / expected_return"},{"id":"unknown-failure-mode:event_chain","passed":true,"statement":"unknown-failure-mode / event_chain"},{"id":"unknown-failure-mode:boundary","passed":true,"statement":"unknown-failure-mode / boundary"},{"id":"unknown-failure-mode:terminal","passed":true,"statement":"unknown-failure-mode / terminal"},{"id":"unknown-failure-mode:no_real_change","passed":true,"statement":"unknown-failure-mode / no_real_change"},{"id":"software-attestation-failure:deterministic","passed":true,"statement":"software-attestation-failure / deterministic"},{"id":"software-attestation-failure:proof","passed":true,"statement":"software-attestation-failure / proof"},{"id":"software-attestation-failure:expected_action","passed":true,"statement":"software-attestation-failure / expected_action"},{"id":"software-attestation-failure:expected_return","passed":true,"statement":"software-attestation-failure / expected_return"},{"id":"software-attestation-failure:event_chain","passed":true,"statement":"software-attestation-failure / event_chain"},{"id":"software-attestation-failure:boundary","passed":true,"statement":"software-attestation-failure / boundary"},{"id":"software-attestation-failure:terminal","passed":true,"statement":"software-attestation-failure / terminal"},{"id":"software-attestation-failure:no_real_change","passed":true,"statement":"software-attestation-failure / no_real_change"},{"id":"model-attestation-failure:deterministic","passed":true,"statement":"model-attestation-failure / deterministic"},{"id":"model-attestation-failure:proof","passed":true,"statement":"model-attestation-failure / proof"},{"id":"model-attestation-failure:expected_action","passed":true,"statement":"model-attestation-failure / expected_action"},{"id":"model-attestation-failure:expected_return","passed":true,"statement":"model-attestation-failure / expected_return"},{"id":"model-attestation-failure:event_chain","passed":true,"statement":"model-attestation-failure / event_chain"},{"id":"model-attestation-failure:boundary","passed":true,"statement":"model-attestation-failure / boundary"},{"id":"model-attestation-failure:terminal","passed":true,"statement":"model-attestation-failure / terminal"},{"id":"model-attestation-failure:no_real_change","passed":true,"statement":"model-attestation-failure / no_real_change"},{"id":"policy-attestation-failure:deterministic","passed":true,"statement":"policy-attestation-failure / deterministic"},{"id":"policy-attestation-failure:proof","passed":true,"statement":"policy-attestation-failure / proof"},{"id":"policy-attestation-failure:expected_action","passed":true,"statement":"policy-attestation-failure / expected_action"},{"id":"policy-attestation-failure:expected_return","passed":true,"statement":"policy-attestation-failure / expected_return"},{"id":"policy-attestation-failure:event_chain","passed":true,"statement":"policy-attestation-failure / event_chain"},{"id":"policy-attestation-failure:boundary","passed":true,"statement":"policy-attestation-failure / boundary"},{"id":"policy-attestation-failure:terminal","passed":true,"statement":"policy-attestation-failure / terminal"},{"id":"policy-attestation-failure:no_real_change","passed":true,"statement":"policy-attestation-failure / no_real_change"},{"id":"configuration-drift:deterministic","passed":true,"statement":"configuration-drift / deterministic"},{"id":"configuration-drift:proof","passed":true,"statement":"configuration-drift / proof"},{"id":"configuration-drift:expected_action","passed":true,"statement":"configuration-drift / expected_action"},{"id":"configuration-drift:expected_return","passed":true,"statement":"configuration-drift / expected_return"},{"id":"configuration-drift:event_chain","passed":true,"statement":"configuration-drift / event_chain"},{"id":"configuration-drift:boundary","passed":true,"statement":"configuration-drift / boundary"},{"id":"configuration-drift:terminal","passed":true,"statement":"configuration-drift / terminal"},{"id":"configuration-drift:no_real_change","passed":true,"statement":"configuration-drift / no_real_change"},{"id":"tool-calibration-expired:deterministic","passed":true,"statement":"tool-calibration-expired / deterministic"},{"id":"tool-calibration-expired:proof","passed":true,"statement":"tool-calibration-expired / proof"},{"id":"tool-calibration-expired:expected_action","passed":true,"statement":"tool-calibration-expired / expected_action"},{"id":"tool-calibration-expired:expected_return","passed":true,"statement":"tool-calibration-expired / expected_return"},{"id":"tool-calibration-expired:event_chain","passed":true,"statement":"tool-calibration-expired / event_chain"},{"id":"tool-calibration-expired:boundary","passed":true,"statement":"tool-calibration-expired / boundary"},{"id":"tool-calibration-expired:terminal","passed":true,"statement":"tool-calibration-expired / terminal"},{"id":"tool-calibration-expired:no_real_change","passed":true,"statement":"tool-calibration-expired / no_real_change"},{"id":"tool-digest-mismatch:deterministic","passed":true,"statement":"tool-digest-mismatch / deterministic"},{"id":"tool-digest-mismatch:proof","passed":true,"statement":"tool-digest-mismatch / proof"},{"id":"tool-digest-mismatch:expected_action","passed":true,"statement":"tool-digest-mismatch / expected_action"},{"id":"tool-digest-mismatch:expected_return","passed":true,"statement":"tool-digest-mismatch / expected_return"},{"id":"tool-digest-mismatch:event_chain","passed":true,"statement":"tool-digest-mismatch / event_chain"},{"id":"tool-digest-mismatch:boundary","passed":true,"statement":"tool-digest-mismatch / boundary"},{"id":"tool-digest-mismatch:terminal","passed":true,"statement":"tool-digest-mismatch / terminal"},{"id":"tool-digest-mismatch:no_real_change","passed":true,"statement":"tool-digest-mismatch / no_real_change"},{"id":"maintenance-recipe-superseded:deterministic","passed":true,"statement":"maintenance-recipe-superseded / deterministic"},{"id":"maintenance-recipe-superseded:proof","passed":true,"statement":"maintenance-recipe-superseded / proof"},{"id":"maintenance-recipe-superseded:expected_action","passed":true,"statement":"maintenance-recipe-superseded / expected_action"},{"id":"maintenance-recipe-superseded:expected_return","passed":true,"statement":"maintenance-recipe-superseded / expected_return"},{"id":"maintenance-recipe-superseded:event_chain","passed":true,"statement":"maintenance-recipe-superseded / event_chain"},{"id":"maintenance-recipe-superseded:boundary","passed":true,"statement":"maintenance-recipe-superseded / boundary"},{"id":"maintenance-recipe-superseded:terminal","passed":true,"statement":"maintenance-recipe-superseded / terminal"},{"id":"maintenance-recipe-superseded:no_real_change","passed":true,"statement":"maintenance-recipe-superseded / no_real_change"},{"id":"recipe-signature-missing:deterministic","passed":true,"statement":"recipe-signature-missing / deterministic"},{"id":"recipe-signature-missing:proof","passed":true,"statement":"recipe-signature-missing / proof"},{"id":"recipe-signature-missing:expected_action","passed":true,"statement":"recipe-signature-missing / expected_action"},{"id":"recipe-signature-missing:expected_return","passed":true,"statement":"recipe-signature-missing / expected_return"},{"id":"recipe-signature-missing:event_chain","passed":true,"statement":"recipe-signature-missing / event_chain"},{"id":"recipe-signature-missing:boundary","passed":true,"statement":"recipe-signature-missing / boundary"},{"id":"recipe-signature-missing:terminal","passed":true,"statement":"recipe-signature-missing / terminal"},{"id":"recipe-signature-missing:no_real_change","passed":true,"statement":"recipe-signature-missing / no_real_change"},{"id":"maintenance-authority-expired:deterministic","passed":true,"statement":"maintenance-authority-expired / deterministic"},{"id":"maintenance-authority-expired:proof","passed":true,"statement":"maintenance-authority-expired / proof"},{"id":"maintenance-authority-expired:expected_action","passed":true,"statement":"maintenance-authority-expired / expected_action"},{"id":"maintenance-authority-expired:expected_return","passed":true,"statement":"maintenance-authority-expired / expected_return"},{"id":"maintenance-authority-expired:event_chain","passed":true,"statement":"maintenance-authority-expired / event_chain"},{"id":"maintenance-authority-expired:boundary","passed":true,"statement":"maintenance-authority-expired / boundary"},{"id":"maintenance-authority-expired:terminal","passed":true,"statement":"maintenance-authority-expired / terminal"},{"id":"maintenance-authority-expired:no_real_change","passed":true,"statement":"maintenance-authority-expired / no_real_change"},{"id":"maintenance-authority-revoked:deterministic","passed":true,"statement":"maintenance-authority-revoked / deterministic"},{"id":"maintenance-authority-revoked:proof","passed":true,"statement":"maintenance-authority-revoked / proof"},{"id":"maintenance-authority-revoked:expected_action","passed":true,"statement":"maintenance-authority-revoked / expected_action"},{"id":"maintenance-authority-revoked:expected_return","passed":true,"statement":"maintenance-authority-revoked / expected_return"},{"id":"maintenance-authority-revoked:event_chain","passed":true,"statement":"maintenance-authority-revoked / event_chain"},{"id":"maintenance-authority-revoked:boundary","passed":true,"statement":"maintenance-authority-revoked / boundary"},{"id":"maintenance-authority-revoked:terminal","passed":true,"statement":"maintenance-authority-revoked / terminal"},{"id":"maintenance-authority-revoked:no_real_change","passed":true,"statement":"maintenance-authority-revoked / no_real_change"},{"id":"purpose-mismatch:deterministic","passed":true,"statement":"purpose-mismatch / deterministic"},{"id":"purpose-mismatch:proof","passed":true,"statement":"purpose-mismatch / proof"},{"id":"purpose-mismatch:expected_action","passed":true,"statement":"purpose-mismatch / expected_action"},{"id":"purpose-mismatch:expected_return","passed":true,"statement":"purpose-mismatch / expected_return"},{"id":"purpose-mismatch:event_chain","passed":true,"statement":"purpose-mismatch / event_chain"},{"id":"purpose-mismatch:boundary","passed":true,"statement":"purpose-mismatch / boundary"},{"id":"purpose-mismatch:terminal","passed":true,"statement":"purpose-mismatch / terminal"},{"id":"purpose-mismatch:no_real_change","passed":true,"statement":"purpose-mismatch / no_real_change"},{"id":"resource-bound-exceeded:deterministic","passed":true,"statement":"resource-bound-exceeded / deterministic"},{"id":"resource-bound-exceeded:proof","passed":true,"statement":"resource-bound-exceeded / proof"},{"id":"resource-bound-exceeded:expected_action","passed":true,"statement":"resource-bound-exceeded / expected_action"},{"id":"resource-bound-exceeded:expected_return","passed":true,"statement":"resource-bound-exceeded / expected_return"},{"id":"resource-bound-exceeded:event_chain","passed":true,"statement":"resource-bound-exceeded / event_chain"},{"id":"resource-bound-exceeded:boundary","passed":true,"statement":"resource-bound-exceeded / boundary"},{"id":"resource-bound-exceeded:terminal","passed":true,"statement":"resource-bound-exceeded / terminal"},{"id":"resource-bound-exceeded:no_real_change","passed":true,"statement":"resource-bound-exceeded / no_real_change"},{"id":"replacement-module-provenance-gap:deterministic","passed":true,"statement":"replacement-module-provenance-gap / deterministic"},{"id":"replacement-module-provenance-gap:proof","passed":true,"statement":"replacement-module-provenance-gap / proof"},{"id":"replacement-module-provenance-gap:expected_action","passed":true,"statement":"replacement-module-provenance-gap / expected_action"},{"id":"replacement-module-provenance-gap:expected_return","passed":true,"statement":"replacement-module-provenance-gap / expected_return"},{"id":"replacement-module-provenance-gap:event_chain","passed":true,"statement":"replacement-module-provenance-gap / event_chain"},{"id":"replacement-module-provenance-gap:boundary","passed":true,"statement":"replacement-module-provenance-gap / boundary"},{"id":"replacement-module-provenance-gap:terminal","passed":true,"statement":"replacement-module-provenance-gap / terminal"},{"id":"replacement-module-provenance-gap:no_real_change","passed":true,"statement":"replacement-module-provenance-gap / no_real_change"},{"id":"replacement-module-unavailable:deterministic","passed":true,"statement":"replacement-module-unavailable / deterministic"},{"id":"replacement-module-unavailable:proof","passed":true,"statement":"replacement-module-unavailable / proof"},{"id":"replacement-module-unavailable:expected_action","passed":true,"statement":"replacement-module-unavailable / expected_action"},{"id":"replacement-module-unavailable:expected_return","passed":true,"statement":"replacement-module-unavailable / expected_return"},{"id":"replacement-module-unavailable:event_chain","passed":true,"statement":"replacement-module-unavailable / event_chain"},{"id":"replacement-module-unavailable:boundary","passed":true,"statement":"replacement-module-unavailable / boundary"},{"id":"replacement-module-unavailable:terminal","passed":true,"statement":"replacement-module-unavailable / terminal"},{"id":"replacement-module-unavailable:no_real_change","passed":true,"statement":"replacement-module-unavailable / no_real_change"},{"id":"alternate-module-available:deterministic","passed":true,"statement":"alternate-module-available / deterministic"},{"id":"alternate-module-available:proof","passed":true,"statement":"alternate-module-available / proof"},{"id":"alternate-module-available:expected_action","passed":true,"statement":"alternate-module-available / expected_action"},{"id":"alternate-module-available:expected_return","passed":true,"statement":"alternate-module-available / expected_return"},{"id":"alternate-module-available:event_chain","passed":true,"statement":"alternate-module-available / event_chain"},{"id":"alternate-module-available:boundary","passed":true,"statement":"alternate-module-available / boundary"},{"id":"alternate-module-available:terminal","passed":true,"statement":"alternate-module-available / terminal"},{"id":"alternate-module-available:no_real_change","passed":true,"statement":"alternate-module-available / no_real_change"},{"id":"logistics-compartment-partitioned:deterministic","passed":true,"statement":"logistics-compartment-partitioned / deterministic"},{"id":"logistics-compartment-partitioned:proof","passed":true,"statement":"logistics-compartment-partitioned / proof"},{"id":"logistics-compartment-partitioned:expected_action","passed":true,"statement":"logistics-compartment-partitioned / expected_action"},{"id":"logistics-compartment-partitioned:expected_return","passed":true,"statement":"logistics-compartment-partitioned / expected_return"},{"id":"logistics-compartment-partitioned:event_chain","passed":true,"statement":"logistics-compartment-partitioned / event_chain"},{"id":"logistics-compartment-partitioned:boundary","passed":true,"statement":"logistics-compartment-partitioned / boundary"},{"id":"logistics-compartment-partitioned:terminal","passed":true,"statement":"logistics-compartment-partitioned / terminal"},{"id":"logistics-compartment-partitioned:no_real_change","passed":true,"statement":"logistics-compartment-partitioned / no_real_change"},{"id":"local-authority-current:deterministic","passed":true,"statement":"local-authority-current / deterministic"},{"id":"local-authority-current:proof","passed":true,"statement":"local-authority-current / proof"},{"id":"local-authority-current:expected_action","passed":true,"statement":"local-authority-current / expected_action"},{"id":"local-authority-current:expected_return","passed":true,"statement":"local-authority-current / expected_return"},{"id":"local-authority-current:event_chain","passed":true,"statement":"local-authority-current / event_chain"},{"id":"local-authority-current:boundary","passed":true,"statement":"local-authority-current / boundary"},{"id":"local-authority-current:terminal","passed":true,"statement":"local-authority-current / terminal"},{"id":"local-authority-current:no_real_change","passed":true,"statement":"local-authority-current / no_real_change"},{"id":"local-authority-expiring:deterministic","passed":true,"statement":"local-authority-expiring / deterministic"},{"id":"local-authority-expiring:proof","passed":true,"statement":"local-authority-expiring / proof"},{"id":"local-authority-expiring:expected_action","passed":true,"statement":"local-authority-expiring / expected_action"},{"id":"local-authority-expiring:expected_return","passed":true,"statement":"local-authority-expiring / expected_return"},{"id":"local-authority-expiring:event_chain","passed":true,"statement":"local-authority-expiring / event_chain"},{"id":"local-authority-expiring:boundary","passed":true,"statement":"local-authority-expiring / boundary"},{"id":"local-authority-expiring:terminal","passed":true,"statement":"local-authority-expiring / terminal"},{"id":"local-authority-expiring:no_real_change","passed":true,"statement":"local-authority-expiring / no_real_change"},{"id":"local-authority-expired:deterministic","passed":true,"statement":"local-authority-expired / deterministic"},{"id":"local-authority-expired:proof","passed":true,"statement":"local-authority-expired / proof"},{"id":"local-authority-expired:expected_action","passed":true,"statement":"local-authority-expired / expected_action"},{"id":"local-authority-expired:expected_return","passed":true,"statement":"local-authority-expired / expected_return"},{"id":"local-authority-expired:event_chain","passed":true,"statement":"local-authority-expired / event_chain"},{"id":"local-authority-expired:boundary","passed":true,"statement":"local-authority-expired / boundary"},{"id":"local-authority-expired:terminal","passed":true,"statement":"local-authority-expired / terminal"},{"id":"local-authority-expired:no_real_change","passed":true,"statement":"local-authority-expired / no_real_change"},{"id":"communications-restored-reconciliation-required:deterministic","passed":true,"statement":"communications-restored-reconciliation-required / deterministic"},{"id":"communications-restored-reconciliation-required:proof","passed":true,"statement":"communications-restored-reconciliation-required / proof"},{"id":"communications-restored-reconciliation-required:expected_action","passed":true,"statement":"communications-restored-reconciliation-required / expected_action"},{"id":"communications-restored-reconciliation-required:expected_return","passed":true,"statement":"communications-restored-reconciliation-required / expected_return"},{"id":"communications-restored-reconciliation-required:event_chain","passed":true,"statement":"communications-restored-reconciliation-required / event_chain"},{"id":"communications-restored-reconciliation-required:boundary","passed":true,"statement":"communications-restored-reconciliation-required / boundary"},{"id":"communications-restored-reconciliation-required:terminal","passed":true,"statement":"communications-restored-reconciliation-required / terminal"},{"id":"communications-restored-reconciliation-required:no_real_change","passed":true,"statement":"communications-restored-reconciliation-required / no_real_change"},{"id":"reconciliation-failed:deterministic","passed":true,"statement":"reconciliation-failed / deterministic"},{"id":"reconciliation-failed:proof","passed":true,"statement":"reconciliation-failed / proof"},{"id":"reconciliation-failed:expected_action","passed":true,"statement":"reconciliation-failed / expected_action"},{"id":"reconciliation-failed:expected_return","passed":true,"statement":"reconciliation-failed / expected_return"},{"id":"reconciliation-failed:event_chain","passed":true,"statement":"reconciliation-failed / event_chain"},{"id":"reconciliation-failed:boundary","passed":true,"statement":"reconciliation-failed / boundary"},{"id":"reconciliation-failed:terminal","passed":true,"statement":"reconciliation-failed / terminal"},{"id":"reconciliation-failed:no_real_change","passed":true,"statement":"reconciliation-failed / no_real_change"},{"id":"successful-module-swap:deterministic","passed":true,"statement":"successful-module-swap / deterministic"},{"id":"successful-module-swap:proof","passed":true,"statement":"successful-module-swap / proof"},{"id":"successful-module-swap:expected_action","passed":true,"statement":"successful-module-swap / expected_action"},{"id":"successful-module-swap:expected_return","passed":true,"statement":"successful-module-swap / expected_return"},{"id":"successful-module-swap:event_chain","passed":true,"statement":"successful-module-swap / event_chain"},{"id":"successful-module-swap:boundary","passed":true,"statement":"successful-module-swap / boundary"},{"id":"successful-module-swap:terminal","passed":true,"statement":"successful-module-swap / terminal"},{"id":"successful-module-swap:no_real_change","passed":true,"statement":"successful-module-swap / no_real_change"},{"id":"failed-module-swap-test:deterministic","passed":true,"statement":"failed-module-swap-test / deterministic"},{"id":"failed-module-swap-test:proof","passed":true,"statement":"failed-module-swap-test / proof"},{"id":"failed-module-swap-test:expected_action","passed":true,"statement":"failed-module-swap-test / expected_action"},{"id":"failed-module-swap-test:expected_return","passed":true,"statement":"failed-module-swap-test / expected_return"},{"id":"failed-module-swap-test:event_chain","passed":true,"statement":"failed-module-swap-test / event_chain"},{"id":"failed-module-swap-test:boundary","passed":true,"statement":"failed-module-swap-test / boundary"},{"id":"failed-module-swap-test:terminal","passed":true,"statement":"failed-module-swap-test / terminal"},{"id":"failed-module-swap-test:no_real_change","passed":true,"statement":"failed-module-swap-test / no_real_change"},{"id":"synthetic-board-repair-successful:deterministic","passed":true,"statement":"synthetic-board-repair-successful / deterministic"},{"id":"synthetic-board-repair-successful:proof","passed":true,"statement":"synthetic-board-repair-successful / proof"},{"id":"synthetic-board-repair-successful:expected_action","passed":true,"statement":"synthetic-board-repair-successful / expected_action"},{"id":"synthetic-board-repair-successful:expected_return","passed":true,"statement":"synthetic-board-repair-successful / expected_return"},{"id":"synthetic-board-repair-successful:event_chain","passed":true,"statement":"synthetic-board-repair-successful / event_chain"},{"id":"synthetic-board-repair-successful:boundary","passed":true,"statement":"synthetic-board-repair-successful / boundary"},{"id":"synthetic-board-repair-successful:terminal","passed":true,"statement":"synthetic-board-repair-successful / terminal"},{"id":"synthetic-board-repair-successful:no_real_change","passed":true,"statement":"synthetic-board-repair-successful / no_real_change"},{"id":"synthetic-board-repair-inconclusive:deterministic","passed":true,"statement":"synthetic-board-repair-inconclusive / deterministic"},{"id":"synthetic-board-repair-inconclusive:proof","passed":true,"statement":"synthetic-board-repair-inconclusive / proof"},{"id":"synthetic-board-repair-inconclusive:expected_action","passed":true,"statement":"synthetic-board-repair-inconclusive / expected_action"},{"id":"synthetic-board-repair-inconclusive:expected_return","passed":true,"statement":"synthetic-board-repair-inconclusive / expected_return"},{"id":"synthetic-board-repair-inconclusive:event_chain","passed":true,"statement":"synthetic-board-repair-inconclusive / event_chain"},{"id":"synthetic-board-repair-inconclusive:boundary","passed":true,"statement":"synthetic-board-repair-inconclusive / boundary"},{"id":"synthetic-board-repair-inconclusive:terminal","passed":true,"statement":"synthetic-board-repair-inconclusive / terminal"},{"id":"synthetic-board-repair-inconclusive:no_real_change","passed":true,"statement":"synthetic-board-repair-inconclusive / no_real_change"},{"id":"additive-component-metrology-failed:deterministic","passed":true,"statement":"additive-component-metrology-failed / deterministic"},{"id":"additive-component-metrology-failed:proof","passed":true,"statement":"additive-component-metrology-failed / proof"},{"id":"additive-component-metrology-failed:expected_action","passed":true,"statement":"additive-component-metrology-failed / expected_action"},{"id":"additive-component-metrology-failed:expected_return","passed":true,"statement":"additive-component-metrology-failed / expected_return"},{"id":"additive-component-metrology-failed:event_chain","passed":true,"statement":"additive-component-metrology-failed / event_chain"},{"id":"additive-component-metrology-failed:boundary","passed":true,"statement":"additive-component-metrology-failed / boundary"},{"id":"additive-component-metrology-failed:terminal","passed":true,"statement":"additive-component-metrology-failed / terminal"},{"id":"additive-component-metrology-failed:no_real_change","passed":true,"statement":"additive-component-metrology-failed / no_real_change"},{"id":"additive-component-qualified:deterministic","passed":true,"statement":"additive-component-qualified / deterministic"},{"id":"additive-component-qualified:proof","passed":true,"statement":"additive-component-qualified / proof"},{"id":"additive-component-qualified:expected_action","passed":true,"statement":"additive-component-qualified / expected_action"},{"id":"additive-component-qualified:expected_return","passed":true,"statement":"additive-component-qualified / expected_return"},{"id":"additive-component-qualified:event_chain","passed":true,"statement":"additive-component-qualified / event_chain"},{"id":"additive-component-qualified:boundary","passed":true,"statement":"additive-component-qualified / boundary"},{"id":"additive-component-qualified:terminal","passed":true,"statement":"additive-component-qualified / terminal"},{"id":"additive-component-qualified:no_real_change","passed":true,"statement":"additive-component-qualified / no_real_change"},{"id":"calibration-successful:deterministic","passed":true,"statement":"calibration-successful / deterministic"},{"id":"calibration-successful:proof","passed":true,"statement":"calibration-successful / proof"},{"id":"calibration-successful:expected_action","passed":true,"statement":"calibration-successful / expected_action"},{"id":"calibration-successful:expected_return","passed":true,"statement":"calibration-successful / expected_return"},{"id":"calibration-successful:event_chain","passed":true,"statement":"calibration-successful / event_chain"},{"id":"calibration-successful:boundary","passed":true,"statement":"calibration-successful / boundary"},{"id":"calibration-successful:terminal","passed":true,"statement":"calibration-successful / terminal"},{"id":"calibration-successful:no_real_change","passed":true,"statement":"calibration-successful / no_real_change"},{"id":"post-repair-regression-failure:deterministic","passed":true,"statement":"post-repair-regression-failure / deterministic"},{"id":"post-repair-regression-failure:proof","passed":true,"statement":"post-repair-regression-failure / proof"},{"id":"post-repair-regression-failure:expected_action","passed":true,"statement":"post-repair-regression-failure / expected_action"},{"id":"post-repair-regression-failure:expected_return","passed":true,"statement":"post-repair-regression-failure / expected_return"},{"id":"post-repair-regression-failure:event_chain","passed":true,"statement":"post-repair-regression-failure / event_chain"},{"id":"post-repair-regression-failure:boundary","passed":true,"statement":"post-repair-regression-failure / boundary"},{"id":"post-repair-regression-failure:terminal","passed":true,"statement":"post-repair-regression-failure / terminal"},{"id":"post-repair-regression-failure:no_real_change","passed":true,"statement":"post-repair-regression-failure / no_real_change"},{"id":"post-repair-evidence-contradiction:deterministic","passed":true,"statement":"post-repair-evidence-contradiction / deterministic"},{"id":"post-repair-evidence-contradiction:proof","passed":true,"statement":"post-repair-evidence-contradiction / proof"},{"id":"post-repair-evidence-contradiction:expected_action","passed":true,"statement":"post-repair-evidence-contradiction / expected_action"},{"id":"post-repair-evidence-contradiction:expected_return","passed":true,"statement":"post-repair-evidence-contradiction / expected_return"},{"id":"post-repair-evidence-contradiction:event_chain","passed":true,"statement":"post-repair-evidence-contradiction / event_chain"},{"id":"post-repair-evidence-contradiction:boundary","passed":true,"statement":"post-repair-evidence-contradiction / boundary"},{"id":"post-repair-evidence-contradiction:terminal","passed":true,"statement":"post-repair-evidence-contradiction / terminal"},{"id":"post-repair-evidence-contradiction:no_real_change","passed":true,"statement":"post-repair-evidence-contradiction / no_real_change"},{"id":"recovery-baseline-compromised:deterministic","passed":true,"statement":"recovery-baseline-compromised / deterministic"},{"id":"recovery-baseline-compromised:proof","passed":true,"statement":"recovery-baseline-compromised / proof"},{"id":"recovery-baseline-compromised:expected_action","passed":true,"statement":"recovery-baseline-compromised / expected_action"},{"id":"recovery-baseline-compromised:expected_return","passed":true,"statement":"recovery-baseline-compromised / expected_return"},{"id":"recovery-baseline-compromised:event_chain","passed":true,"statement":"recovery-baseline-compromised / event_chain"},{"id":"recovery-baseline-compromised:boundary","passed":true,"statement":"recovery-baseline-compromised / boundary"},{"id":"recovery-baseline-compromised:terminal","passed":true,"statement":"recovery-baseline-compromised / terminal"},{"id":"recovery-baseline-compromised:no_real_change","passed":true,"statement":"recovery-baseline-compromised / no_real_change"},{"id":"successful-attested-restoration:deterministic","passed":true,"statement":"successful-attested-restoration / deterministic"},{"id":"successful-attested-restoration:proof","passed":true,"statement":"successful-attested-restoration / proof"},{"id":"successful-attested-restoration:expected_action","passed":true,"statement":"successful-attested-restoration / expected_action"},{"id":"successful-attested-restoration:expected_return","passed":true,"statement":"successful-attested-restoration / expected_return"},{"id":"successful-attested-restoration:event_chain","passed":true,"statement":"successful-attested-restoration / event_chain"},{"id":"successful-attested-restoration:boundary","passed":true,"statement":"successful-attested-restoration / boundary"},{"id":"successful-attested-restoration:terminal","passed":true,"statement":"successful-attested-restoration / terminal"},{"id":"successful-attested-restoration:no_real_change","passed":true,"statement":"successful-attested-restoration / no_real_change"},{"id":"dependency-concentration-warning:deterministic","passed":true,"statement":"dependency-concentration-warning / deterministic"},{"id":"dependency-concentration-warning:proof","passed":true,"statement":"dependency-concentration-warning / proof"},{"id":"dependency-concentration-warning:expected_action","passed":true,"statement":"dependency-concentration-warning / expected_action"},{"id":"dependency-concentration-warning:expected_return","passed":true,"statement":"dependency-concentration-warning / expected_return"},{"id":"dependency-concentration-warning:event_chain","passed":true,"statement":"dependency-concentration-warning / event_chain"},{"id":"dependency-concentration-warning:boundary","passed":true,"statement":"dependency-concentration-warning / boundary"},{"id":"dependency-concentration-warning:terminal","passed":true,"statement":"dependency-concentration-warning / terminal"},{"id":"dependency-concentration-warning:no_real_change","passed":true,"statement":"dependency-concentration-warning / no_real_change"},{"id":"substitution-plan-available:deterministic","passed":true,"statement":"substitution-plan-available / deterministic"},{"id":"substitution-plan-available:proof","passed":true,"statement":"substitution-plan-available / proof"},{"id":"substitution-plan-available:expected_action","passed":true,"statement":"substitution-plan-available / expected_action"},{"id":"substitution-plan-available:expected_return","passed":true,"statement":"substitution-plan-available / expected_return"},{"id":"substitution-plan-available:event_chain","passed":true,"statement":"substitution-plan-available / event_chain"},{"id":"substitution-plan-available:boundary","passed":true,"statement":"substitution-plan-available / boundary"},{"id":"substitution-plan-available:terminal","passed":true,"statement":"substitution-plan-available / terminal"},{"id":"substitution-plan-available:no_real_change","passed":true,"statement":"substitution-plan-available / no_real_change"},{"id":"minimum-industrial-function-preserved:deterministic","passed":true,"statement":"minimum-industrial-function-preserved / deterministic"},{"id":"minimum-industrial-function-preserved:proof","passed":true,"statement":"minimum-industrial-function-preserved / proof"},{"id":"minimum-industrial-function-preserved:expected_action","passed":true,"statement":"minimum-industrial-function-preserved / expected_action"},{"id":"minimum-industrial-function-preserved:expected_return","passed":true,"statement":"minimum-industrial-function-preserved / expected_return"},{"id":"minimum-industrial-function-preserved:event_chain","passed":true,"statement":"minimum-industrial-function-preserved / event_chain"},{"id":"minimum-industrial-function-preserved:boundary","passed":true,"statement":"minimum-industrial-function-preserved / boundary"},{"id":"minimum-industrial-function-preserved:terminal","passed":true,"statement":"minimum-industrial-function-preserved / terminal"},{"id":"minimum-industrial-function-preserved:no_real_change","passed":true,"statement":"minimum-industrial-function-preserved / no_real_change"},{"id":"safe-asset-withdrawal:deterministic","passed":true,"statement":"safe-asset-withdrawal / deterministic"},{"id":"safe-asset-withdrawal:proof","passed":true,"statement":"safe-asset-withdrawal / proof"},{"id":"safe-asset-withdrawal:expected_action","passed":true,"statement":"safe-asset-withdrawal / expected_action"},{"id":"safe-asset-withdrawal:expected_return","passed":true,"statement":"safe-asset-withdrawal / expected_return"},{"id":"safe-asset-withdrawal:event_chain","passed":true,"statement":"safe-asset-withdrawal / event_chain"},{"id":"safe-asset-withdrawal:boundary","passed":true,"statement":"safe-asset-withdrawal / boundary"},{"id":"safe-asset-withdrawal:terminal","passed":true,"statement":"safe-asset-withdrawal / terminal"},{"id":"safe-asset-withdrawal:no_real_change","passed":true,"statement":"safe-asset-withdrawal / no_real_change"},{"id":"independent-machine-review-unavailable:deterministic","passed":true,"statement":"independent-machine-review-unavailable / deterministic"},{"id":"independent-machine-review-unavailable:proof","passed":true,"statement":"independent-machine-review-unavailable / proof"},{"id":"independent-machine-review-unavailable:expected_action","passed":true,"statement":"independent-machine-review-unavailable / expected_action"},{"id":"independent-machine-review-unavailable:expected_return","passed":true,"statement":"independent-machine-review-unavailable / expected_return"},{"id":"independent-machine-review-unavailable:event_chain","passed":true,"statement":"independent-machine-review-unavailable / event_chain"},{"id":"independent-machine-review-unavailable:boundary","passed":true,"statement":"independent-machine-review-unavailable / boundary"},{"id":"independent-machine-review-unavailable:terminal","passed":true,"statement":"independent-machine-review-unavailable / terminal"},{"id":"independent-machine-review-unavailable:no_real_change","passed":true,"statement":"independent-machine-review-unavailable / no_real_change"},{"id":"independent-machine-review-complete:deterministic","passed":true,"statement":"independent-machine-review-complete / deterministic"},{"id":"independent-machine-review-complete:proof","passed":true,"statement":"independent-machine-review-complete / proof"},{"id":"independent-machine-review-complete:expected_action","passed":true,"statement":"independent-machine-review-complete / expected_action"},{"id":"independent-machine-review-complete:expected_return","passed":true,"statement":"independent-machine-review-complete / expected_return"},{"id":"independent-machine-review-complete:event_chain","passed":true,"statement":"independent-machine-review-complete / event_chain"},{"id":"independent-machine-review-complete:boundary","passed":true,"statement":"independent-machine-review-complete / boundary"},{"id":"independent-machine-review-complete:terminal","passed":true,"statement":"independent-machine-review-complete / terminal"},{"id":"independent-machine-review-complete:no_real_change","passed":true,"statement":"independent-machine-review-complete / no_real_change"},{"id":"multi-asset-correlated-degradation:deterministic","passed":true,"statement":"multi-asset-correlated-degradation / deterministic"},{"id":"multi-asset-correlated-degradation:proof","passed":true,"statement":"multi-asset-correlated-degradation / proof"},{"id":"multi-asset-correlated-degradation:expected_action","passed":true,"statement":"multi-asset-correlated-degradation / expected_action"},{"id":"multi-asset-correlated-degradation:expected_return","passed":true,"statement":"multi-asset-correlated-degradation / expected_return"},{"id":"multi-asset-correlated-degradation:event_chain","passed":true,"statement":"multi-asset-correlated-degradation / event_chain"},{"id":"multi-asset-correlated-degradation:boundary","passed":true,"statement":"multi-asset-correlated-degradation / boundary"},{"id":"multi-asset-correlated-degradation:terminal","passed":true,"statement":"multi-asset-correlated-degradation / terminal"},{"id":"multi-asset-correlated-degradation:no_real_change","passed":true,"statement":"multi-asset-correlated-degradation / no_real_change"},{"id":"campaign-wide-maintenance-hold:deterministic","passed":true,"statement":"campaign-wide-maintenance-hold / deterministic"},{"id":"campaign-wide-maintenance-hold:proof","passed":true,"statement":"campaign-wide-maintenance-hold / proof"},{"id":"campaign-wide-maintenance-hold:expected_action","passed":true,"statement":"campaign-wide-maintenance-hold / expected_action"},{"id":"campaign-wide-maintenance-hold:expected_return","passed":true,"statement":"campaign-wide-maintenance-hold / expected_return"},{"id":"campaign-wide-maintenance-hold:event_chain","passed":true,"statement":"campaign-wide-maintenance-hold / event_chain"},{"id":"campaign-wide-maintenance-hold:boundary","passed":true,"statement":"campaign-wide-maintenance-hold / boundary"},{"id":"campaign-wide-maintenance-hold:terminal","passed":true,"statement":"campaign-wide-maintenance-hold / terminal"},{"id":"campaign-wide-maintenance-hold:no_real_change","passed":true,"statement":"campaign-wide-maintenance-hold / no_real_change"},{"id":"IR-GLOBAL-01","passed":true,"statement":"At least forty-eight deterministic industrial scenarios are published."},{"id":"IR-GLOBAL-02","passed":true,"statement":"At least ten synthetic asset classes are defined."},{"id":"IR-GLOBAL-03","passed":true,"statement":"The reference monitor evaluates at least twenty-four independent gates."},{"id":"IR-GLOBAL-04","passed":true,"statement":"Twelve dependency dimensions remain explicit."},{"id":"IR-GLOBAL-05","passed":true,"statement":"Twelve health-evidence dimensions remain explicit."},{"id":"IR-GLOBAL-06","passed":true,"statement":"Twelve coordinated analytical representations are defined."},{"id":"IR-GLOBAL-07","passed":true,"statement":"No real industrial-control protocol is present."},{"id":"IR-GLOBAL-08","passed":true,"statement":"Return to service cannot be automatic."},{"id":"IR-GLOBAL-09","passed":true,"statement":"The public range terminates at SYNTHETIC_NULL_SINK."},{"id":"IR-GLOBAL-10","passed":true,"statement":"Evidence package export is deterministic."},{"id":"IR-GLOBAL-11","passed":true,"statement":"Deterministic package verification passes."},{"id":"IR-GLOBAL-12","passed":true,"statement":"Counterfactual maintenance cannot mutate canonical history."}],"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":"CONTROLLED UNCLASSIFIED INDUSTRIAL ASSURANCE RANGE","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":"The proof establishes deterministic package behavior, authority conjunction, evidence and dependency separation, append-oriented lineage, counterfactual isolation, bounded synthetic maintenance actions, and non-disclosure controls. It does not establish physical machinery performance, industrial certification, customer-system readiness, legal approval, accreditation, procurement acceptance, or actual-host deployment.","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":"d91b1a94-fe2a-4942-9ab8-c834169db093","scenario_count":48,"synthetic":true,"workbench_version":"2.0.0"},"ok":true}