{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:SD7RDFZWMAQ35BTBE4GHP52Q35","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"80ab9aabed8156e9c557902d35da1c68901b6e5ef8d2deb5b37b9f4be1889a19","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2024-07-18T23:55:43Z","title_canon_sha256":"5ad0bc5cde1af1b0be229289cd281d4f9cdf26495c9ff25981e75bdda3f2f45c"},"schema_version":"1.0","source":{"id":"2407.13948","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.13948","created_at":"2026-07-05T11:14:24Z"},{"alias_kind":"arxiv_version","alias_value":"2407.13948v3","created_at":"2026-07-05T11:14:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.13948","created_at":"2026-07-05T11:14:24Z"},{"alias_kind":"pith_short_12","alias_value":"SD7RDFZWMAQ3","created_at":"2026-07-05T11:14:24Z"},{"alias_kind":"pith_short_16","alias_value":"SD7RDFZWMAQ35BTB","created_at":"2026-07-05T11:14:24Z"},{"alias_kind":"pith_short_8","alias_value":"SD7RDFZW","created_at":"2026-07-05T11:14:24Z"}],"graph_snapshots":[{"event_id":"sha256:1de7687c5d3cc06ef7da4db02c30fe752414b2dbf25576f9e641c1e15059d3fe","target":"graph","created_at":"2026-07-05T11:14:24Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2407.13948/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We outline the principles of classical assurance for computer-based systems that pose significant risks. We then consider application of these principles to systems that employ Artificial Intelligence (AI) and Machine Learning (ML).\n  A key element in this \"dependability\" perspective is a requirement for thorough understanding of the behavior of critical components, and this is considered infeasible for AI and ML. Hence the dependability perspective aims to minimize trust in AI and ML elements by using \"defense in depth\" with a hierarchy of less complex systems, some of which may be highly ass","authors_text":"John Rushby, Robin Bloomfield","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2024-07-18T23:55:43Z","title":"Assurance of AI Systems From a Dependability Perspective"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.13948","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:a8595ab1d51979886f9ed65fb46950f8f795ad507549bce89c3622edcf485532","target":"record","created_at":"2026-07-05T11:14:24Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"80ab9aabed8156e9c557902d35da1c68901b6e5ef8d2deb5b37b9f4be1889a19","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2024-07-18T23:55:43Z","title_canon_sha256":"5ad0bc5cde1af1b0be229289cd281d4f9cdf26495c9ff25981e75bdda3f2f45c"},"schema_version":"1.0","source":{"id":"2407.13948","kind":"arxiv","version":3}},"canonical_sha256":"90ff1197366021be8661270c77f750df72f4d959f863b8dd6ee7b8810bcfa0cc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"90ff1197366021be8661270c77f750df72f4d959f863b8dd6ee7b8810bcfa0cc","first_computed_at":"2026-07-05T11:14:24.032824Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:14:24.032824Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8wgauqii8dvF7+b4iRY6e71HzWN6QzxUQlAcoL7XHUDX9S2uz0GQxKrdE6G36xe4XIH5cqw5V8pDNcxT0dvNBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:14:24.033264Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.13948","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a8595ab1d51979886f9ed65fb46950f8f795ad507549bce89c3622edcf485532","sha256:1de7687c5d3cc06ef7da4db02c30fe752414b2dbf25576f9e641c1e15059d3fe"],"state_sha256":"ba87b612c6e62c0cd516549298bd7d29ae8244de2d034255ace8102b0eca18b3"}