{"data":{"automatic_baseline_activation":false,"automatic_release_promotion":false,"check_count":158,"checks":[{"id":"valid-authority-baseline:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"valid-authority-baseline:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"valid-authority-baseline:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"valid-authority-baseline:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"authority-expired:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"authority-expired:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"authority-expired:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"authority-expired:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"authority-revoked:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"authority-revoked:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"authority-revoked:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"authority-revoked:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"authority-superseded:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"authority-superseded:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"authority-superseded:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"authority-superseded:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"authority-suspended:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"authority-suspended:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"authority-suspended:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"authority-suspended:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"purpose-mismatch:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"purpose-mismatch:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"purpose-mismatch:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"purpose-mismatch:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"prohibited-reuse:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"prohibited-reuse:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"prohibited-reuse:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"prohibited-reuse:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"resource-bound-violation:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"resource-bound-violation:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"resource-bound-violation:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"resource-bound-violation:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"forged-workload-identity:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"forged-workload-identity:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"forged-workload-identity:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"forged-workload-identity:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"cloned-identity:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"cloned-identity:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"cloned-identity:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"cloned-identity:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"stale-credential:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"stale-credential:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"stale-credential:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"stale-credential:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"missing-threshold-authorization:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"missing-threshold-authorization:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"missing-threshold-authorization:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"missing-threshold-authorization:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"software-digest-mismatch:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"software-digest-mismatch:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"software-digest-mismatch:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"software-digest-mismatch:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"model-digest-mismatch:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"model-digest-mismatch:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"model-digest-mismatch:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"model-digest-mismatch:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"policy-digest-mismatch:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"policy-digest-mismatch:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"policy-digest-mismatch:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"policy-digest-mismatch:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"configuration-drift:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"configuration-drift:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"configuration-drift:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"configuration-drift:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"unsigned-update:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"unsigned-update:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"unsigned-update:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"unsigned-update:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"supply-chain-provenance-gap:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"supply-chain-provenance-gap:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"supply-chain-provenance-gap:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"supply-chain-provenance-gap:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"evidence-stale:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"evidence-stale:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"evidence-stale:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"evidence-stale:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"correlated-evidence-failure:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"correlated-evidence-failure:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"correlated-evidence-failure:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"correlated-evidence-failure:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"contradictory-authenticated-evidence:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"contradictory-authenticated-evidence:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"contradictory-authenticated-evidence:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"contradictory-authenticated-evidence:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"high-epistemic-uncertainty:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"high-epistemic-uncertainty:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"high-epistemic-uncertainty:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"high-epistemic-uncertainty:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"unknown-policy-state:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"unknown-policy-state:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"unknown-policy-state:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"unknown-policy-state:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"communications-degraded:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"communications-degraded:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"communications-degraded:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"communications-degraded:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"communications-partition:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"communications-partition:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"communications-partition:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"communications-partition:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"local-authority-current:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"local-authority-current:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"local-authority-current:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"local-authority-current:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"local-authority-expiring:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"local-authority-expiring:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"local-authority-expiring:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"local-authority-expiring:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"local-authority-expired:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"local-authority-expired:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"local-authority-expired:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"local-authority-expired:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"restored-link-reconciliation:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"restored-link-reconciliation:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"restored-link-reconciliation:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"restored-link-reconciliation:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"failed-reconciliation:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"failed-reconciliation:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"failed-reconciliation:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"failed-reconciliation:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"successful-rekey:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"successful-rekey:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"successful-rekey:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"successful-rekey:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"compromised-recovery-baseline:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"compromised-recovery-baseline:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"compromised-recovery-baseline:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"compromised-recovery-baseline:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"successful-attested-recovery:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"successful-attested-recovery:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"successful-attested-recovery:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"successful-attested-recovery:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"industrial-repair-workload-unattested:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"industrial-repair-workload-unattested:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"industrial-repair-workload-unattested:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"industrial-repair-workload-unattested:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"manufacturing-recipe-superseded:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"manufacturing-recipe-superseded:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"manufacturing-recipe-superseded:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"manufacturing-recipe-superseded:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"maintenance-evidence-conflict:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"maintenance-evidence-conflict:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"maintenance-evidence-conflict:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"maintenance-evidence-conflict:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"robotic-cell-resource-exhaustion:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"robotic-cell-resource-exhaustion:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"robotic-cell-resource-exhaustion:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"robotic-cell-resource-exhaustion:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"industrial-baseline-restoration:proof","passed":true,"statement":"Per-run proof conditions pass."},{"id":"industrial-baseline-restoration:determinism","passed":true,"statement":"Repeated run is byte-structurally deterministic."},{"id":"industrial-baseline-restoration:terminal","passed":true,"statement":"Run terminates at SYNTHETIC_NULL_SINK."},{"id":"industrial-baseline-restoration:nonoperational","passed":true,"statement":"No operational force or external command exists."},{"id":"global:scenario-count","passed":true,"statement":"At least thirty deterministic scenarios are present."},{"id":"global:authority-states","passed":true,"statement":"Ten authority lifecycle states are represented."},{"id":"global:actions-bounded","passed":true,"statement":"Action catalog is bounded and defensive."},{"id":"global:package-verifies","passed":true,"statement":"Deterministic baseline evidence package verifies."},{"id":"global:comparison","passed":true,"statement":"Comparison exposes first divergence."},{"id":"global:branch-isolated","passed":true,"statement":"Counterfactual branch cannot alter canonical history."}],"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":"f1913ce3-011c-4dc6-9fb3-b372d3214ef6","scenario_count":38,"synthetic":true,"workbench_version":"2.0.0"},"ok":true}