{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:NMGWC3KH4F22753QV3JAIX7JNW","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":"182d2c4916014bedbe2fe278fc5d3ef6705b0424c7e0fc8048e9bc46d0129425","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-03-18T11:12:19Z","title_canon_sha256":"2b675725f4e5424dee0f14b5ef07d6180547be6f86b0fb92e77d48f3389276c1"},"schema_version":"1.0","source":{"id":"2403.12114","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.12114","created_at":"2026-07-05T07:57:55Z"},{"alias_kind":"arxiv_version","alias_value":"2403.12114v1","created_at":"2026-07-05T07:57:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.12114","created_at":"2026-07-05T07:57:55Z"},{"alias_kind":"pith_short_12","alias_value":"NMGWC3KH4F22","created_at":"2026-07-05T07:57:55Z"},{"alias_kind":"pith_short_16","alias_value":"NMGWC3KH4F22753Q","created_at":"2026-07-05T07:57:55Z"},{"alias_kind":"pith_short_8","alias_value":"NMGWC3KH","created_at":"2026-07-05T07:57:55Z"}],"graph_snapshots":[{"event_id":"sha256:1a79f85ccdd46633c61e8f8ebbc5ba3e449b5c81f9943af4291ff8d703cfcde2","target":"graph","created_at":"2026-07-05T07:57:55Z","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/2403.12114/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As the railway industry increasingly seeks to introduce autonomy and machine learning (ML), several questions arise. How can safety be assured for such systems and technologies? What is the applicability of current safety standards within this new technological landscape? What are the key metrics to classify a system as safe? Currently, safety analysis for the railway reflects the failure modes of existing technology; in contrast, the primary concern of analysis of automation is typically average performance. Such purely statistical approaches to measuring ML performance are limited, as they m","authors_text":"John McDermid, Josh Hunter, Simon Burton","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-03-18T11:12:19Z","title":"Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.12114","kind":"arxiv","version":1},"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:7d5d3f1e02cc905dfee27c9a758d4711b2ec89e7bc42038b5d2f370d58212724","target":"record","created_at":"2026-07-05T07:57:55Z","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":"182d2c4916014bedbe2fe278fc5d3ef6705b0424c7e0fc8048e9bc46d0129425","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-03-18T11:12:19Z","title_canon_sha256":"2b675725f4e5424dee0f14b5ef07d6180547be6f86b0fb92e77d48f3389276c1"},"schema_version":"1.0","source":{"id":"2403.12114","kind":"arxiv","version":1}},"canonical_sha256":"6b0d616d47e175aff770aed2045fe96d8833c4c2f6f19124669e998339a73cf0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6b0d616d47e175aff770aed2045fe96d8833c4c2f6f19124669e998339a73cf0","first_computed_at":"2026-07-05T07:57:55.526755Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:57:55.526755Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9yhYxlTu+qac42yboKw0lYYRrwQU//y3qXKwsc+y3Z09gnLjzXtpdAQ8ehhwLMkOrqzni5yRFS51qo6xdJT/Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T07:57:55.527207Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.12114","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7d5d3f1e02cc905dfee27c9a758d4711b2ec89e7bc42038b5d2f370d58212724","sha256:1a79f85ccdd46633c61e8f8ebbc5ba3e449b5c81f9943af4291ff8d703cfcde2"],"state_sha256":"cf5b12ed50625e313cb55c6f740d505c4052146adc2dfc0b69f864bd681f431a"}