{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:K5U5KIPU5IXNOBFRYAQPPERJS7","short_pith_number":"pith:K5U5KIPU","canonical_record":{"source":{"id":"2507.08848","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-07-08T15:01:51Z","cross_cats_sorted":["cs.AI","cs.RO","cs.SE"],"title_canon_sha256":"9a9a192f91cf6e262f2420fc2ee2400d2022f22ce97531ed9c30a0938a11221a","abstract_canon_sha256":"2ffac77dbe404f42c6f39b9852745dba13b3f344e505214715915da01d9a8fa2"},"schema_version":"1.0"},"canonical_sha256":"5769d521f4ea2ed704b1c020f7922997da8e9f7dbdf60d615ecdee263f595b6f","source":{"kind":"arxiv","id":"2507.08848","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.08848","created_at":"2026-07-05T11:35:59Z"},{"alias_kind":"arxiv_version","alias_value":"2507.08848v1","created_at":"2026-07-05T11:35:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.08848","created_at":"2026-07-05T11:35:59Z"},{"alias_kind":"pith_short_12","alias_value":"K5U5KIPU5IXN","created_at":"2026-07-05T11:35:59Z"},{"alias_kind":"pith_short_16","alias_value":"K5U5KIPU5IXNOBFR","created_at":"2026-07-05T11:35:59Z"},{"alias_kind":"pith_short_8","alias_value":"K5U5KIPU","created_at":"2026-07-05T11:35:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:K5U5KIPU5IXNOBFRYAQPPERJS7","target":"record","payload":{"canonical_record":{"source":{"id":"2507.08848","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-07-08T15:01:51Z","cross_cats_sorted":["cs.AI","cs.RO","cs.SE"],"title_canon_sha256":"9a9a192f91cf6e262f2420fc2ee2400d2022f22ce97531ed9c30a0938a11221a","abstract_canon_sha256":"2ffac77dbe404f42c6f39b9852745dba13b3f344e505214715915da01d9a8fa2"},"schema_version":"1.0"},"canonical_sha256":"5769d521f4ea2ed704b1c020f7922997da8e9f7dbdf60d615ecdee263f595b6f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:35:59.178994Z","signature_b64":"5b4/dbekNRwzMBE5eIAdGgZ1lCV2ES/EBHzXtGD/sNYWROzlqLslBFZ+XSHPDYM6aS2qSoxReuVAd6ZAHwL6Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5769d521f4ea2ed704b1c020f7922997da8e9f7dbdf60d615ecdee263f595b6f","last_reissued_at":"2026-07-05T11:35:59.178585Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:35:59.178585Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.08848","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:35:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W+CFdy8KSxvabEn90sSVHIX3ycdJoV+lh03PPheAgFPwUxffJ49Yyf/Ey7qnh9QVTvmPJYZlHrpUYWEDIOo1CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T17:29:15.260062Z"},"content_sha256":"8aeab1260c2db57ecde16745b638f9a604a8d5c87e1fe2399fcc01c73767bbcd","schema_version":"1.0","event_id":"sha256:8aeab1260c2db57ecde16745b638f9a604a8d5c87e1fe2399fcc01c73767bbcd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:K5U5KIPU5IXNOBFRYAQPPERJS7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Assuring the Safety of Reinforcement Learning Components: AMLAS-RL","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.RO","cs.SE"],"primary_cat":"cs.LG","authors_text":"Calum Corrie Imrie, Ioannis Stefanakos, Richard Hawkins, Sepeedeh Shahbeigi, Simon Burton","submitted_at":"2025-07-08T15:01:51Z","abstract_excerpt":"The rapid advancement of machine learning (ML) has led to its increasing integration into cyber-physical systems (CPS) across diverse domains. While CPS offer powerful capabilities, incorporating ML components introduces significant safety and assurance challenges. Among ML techniques, reinforcement learning (RL) is particularly suited for CPS due to its capacity to handle complex, dynamic environments where explicit models of interaction between system and environment are unavailable or difficult to construct. However, in safety-critical applications, this learning process must not only be ef"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.08848","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.08848/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:35:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8X80km3TbrmWxHq+L5jToIeB7OiF3LU2y2QHQs9y8HYwatX6JMF3blCJ6V1G8uC+wyZ/rrpJeg4BHSF6GgceCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T17:29:15.261815Z"},"content_sha256":"366a1a9fda42532a017d8e568736e9410faf42af8a1dd65af78461769d0282a9","schema_version":"1.0","event_id":"sha256:366a1a9fda42532a017d8e568736e9410faf42af8a1dd65af78461769d0282a9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K5U5KIPU5IXNOBFRYAQPPERJS7/bundle.json","state_url":"https://pith.science/pith/K5U5KIPU5IXNOBFRYAQPPERJS7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K5U5KIPU5IXNOBFRYAQPPERJS7/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-08T17:29:15Z","links":{"resolver":"https://pith.science/pith/K5U5KIPU5IXNOBFRYAQPPERJS7","bundle":"https://pith.science/pith/K5U5KIPU5IXNOBFRYAQPPERJS7/bundle.json","state":"https://pith.science/pith/K5U5KIPU5IXNOBFRYAQPPERJS7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K5U5KIPU5IXNOBFRYAQPPERJS7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:K5U5KIPU5IXNOBFRYAQPPERJS7","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":"2ffac77dbe404f42c6f39b9852745dba13b3f344e505214715915da01d9a8fa2","cross_cats_sorted":["cs.AI","cs.RO","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-07-08T15:01:51Z","title_canon_sha256":"9a9a192f91cf6e262f2420fc2ee2400d2022f22ce97531ed9c30a0938a11221a"},"schema_version":"1.0","source":{"id":"2507.08848","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.08848","created_at":"2026-07-05T11:35:59Z"},{"alias_kind":"arxiv_version","alias_value":"2507.08848v1","created_at":"2026-07-05T11:35:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.08848","created_at":"2026-07-05T11:35:59Z"},{"alias_kind":"pith_short_12","alias_value":"K5U5KIPU5IXN","created_at":"2026-07-05T11:35:59Z"},{"alias_kind":"pith_short_16","alias_value":"K5U5KIPU5IXNOBFR","created_at":"2026-07-05T11:35:59Z"},{"alias_kind":"pith_short_8","alias_value":"K5U5KIPU","created_at":"2026-07-05T11:35:59Z"}],"graph_snapshots":[{"event_id":"sha256:366a1a9fda42532a017d8e568736e9410faf42af8a1dd65af78461769d0282a9","target":"graph","created_at":"2026-07-05T11:35:59Z","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/2507.08848/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The rapid advancement of machine learning (ML) has led to its increasing integration into cyber-physical systems (CPS) across diverse domains. While CPS offer powerful capabilities, incorporating ML components introduces significant safety and assurance challenges. Among ML techniques, reinforcement learning (RL) is particularly suited for CPS due to its capacity to handle complex, dynamic environments where explicit models of interaction between system and environment are unavailable or difficult to construct. However, in safety-critical applications, this learning process must not only be ef","authors_text":"Calum Corrie Imrie, Ioannis Stefanakos, Richard Hawkins, Sepeedeh Shahbeigi, Simon Burton","cross_cats":["cs.AI","cs.RO","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-07-08T15:01:51Z","title":"Assuring the Safety of Reinforcement Learning Components: AMLAS-RL"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.08848","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:8aeab1260c2db57ecde16745b638f9a604a8d5c87e1fe2399fcc01c73767bbcd","target":"record","created_at":"2026-07-05T11:35:59Z","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":"2ffac77dbe404f42c6f39b9852745dba13b3f344e505214715915da01d9a8fa2","cross_cats_sorted":["cs.AI","cs.RO","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-07-08T15:01:51Z","title_canon_sha256":"9a9a192f91cf6e262f2420fc2ee2400d2022f22ce97531ed9c30a0938a11221a"},"schema_version":"1.0","source":{"id":"2507.08848","kind":"arxiv","version":1}},"canonical_sha256":"5769d521f4ea2ed704b1c020f7922997da8e9f7dbdf60d615ecdee263f595b6f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5769d521f4ea2ed704b1c020f7922997da8e9f7dbdf60d615ecdee263f595b6f","first_computed_at":"2026-07-05T11:35:59.178585Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:35:59.178585Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5b4/dbekNRwzMBE5eIAdGgZ1lCV2ES/EBHzXtGD/sNYWROzlqLslBFZ+XSHPDYM6aS2qSoxReuVAd6ZAHwL6Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:35:59.178994Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.08848","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8aeab1260c2db57ecde16745b638f9a604a8d5c87e1fe2399fcc01c73767bbcd","sha256:366a1a9fda42532a017d8e568736e9410faf42af8a1dd65af78461769d0282a9"],"state_sha256":"459daff2e4aac31f55d81f47b45ee22435a2e78bdfb2ed96b679e6fe3bcff1f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OWsrYUIur7vMvXRA2pWoDy2L5za87CBsgxm6Dby7S1HbNJFZokM6OD9kH88TIfftow4cK16wNK39+tQ0hb3wCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T17:29:15.269389Z","bundle_sha256":"08c41a272923230fe4a063b0c32042a8aa2044620a57a216afa784c4e65c5173"}}