{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:BLEJVZLUWRQXI4UZ7PTYY62UHE","short_pith_number":"pith:BLEJVZLU","canonical_record":{"source":{"id":"2405.19414","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-29T18:00:21Z","cross_cats_sorted":[],"title_canon_sha256":"b3b65ab077d6f9ea604d052bdfe114199f7dcb1c680371a2afc17c3323b25552","abstract_canon_sha256":"f63929d55974dd4477a854a706b7d9bfbb6080b7130e83d729228f345567d7f4"},"schema_version":"1.0"},"canonical_sha256":"0ac89ae574b461747299fbe78c7b543939edee0f3f924ade16c9db000c0695cd","source":{"kind":"arxiv","id":"2405.19414","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.19414","created_at":"2026-07-05T08:25:07Z"},{"alias_kind":"arxiv_version","alias_value":"2405.19414v1","created_at":"2026-07-05T08:25:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.19414","created_at":"2026-07-05T08:25:07Z"},{"alias_kind":"pith_short_12","alias_value":"BLEJVZLUWRQX","created_at":"2026-07-05T08:25:07Z"},{"alias_kind":"pith_short_16","alias_value":"BLEJVZLUWRQXI4UZ","created_at":"2026-07-05T08:25:07Z"},{"alias_kind":"pith_short_8","alias_value":"BLEJVZLU","created_at":"2026-07-05T08:25:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:BLEJVZLUWRQXI4UZ7PTYY62UHE","target":"record","payload":{"canonical_record":{"source":{"id":"2405.19414","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-29T18:00:21Z","cross_cats_sorted":[],"title_canon_sha256":"b3b65ab077d6f9ea604d052bdfe114199f7dcb1c680371a2afc17c3323b25552","abstract_canon_sha256":"f63929d55974dd4477a854a706b7d9bfbb6080b7130e83d729228f345567d7f4"},"schema_version":"1.0"},"canonical_sha256":"0ac89ae574b461747299fbe78c7b543939edee0f3f924ade16c9db000c0695cd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:25:07.252566Z","signature_b64":"fFDCSXHJ7+EEQmgKQzXujIbrV2iAB/7lx6wugVbtlQoRbjar1w+pAW03/wY3a0L9JjIwa13CEFCOAPW7YL5CDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0ac89ae574b461747299fbe78c7b543939edee0f3f924ade16c9db000c0695cd","last_reissued_at":"2026-07-05T08:25:07.252134Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:25:07.252134Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.19414","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-05T08:25:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GHtauA2buiZSzPJ2klT/3Md3R/BeP39a7cRmyJRORZUGilPCgaYlsRIylTmDp/WgNitWlIjvKk9NN/X1rCiBCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:52:50.966059Z"},"content_sha256":"c7440e91136c127adeac1380bab4e0b7ed7f5cee22286c8554b8fe5a4cfafbf5","schema_version":"1.0","event_id":"sha256:c7440e91136c127adeac1380bab4e0b7ed7f5cee22286c8554b8fe5a4cfafbf5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:BLEJVZLUWRQXI4UZ7PTYY62UHE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safety through Permissibility: Shield Construction for Fast and Safe Reinforcement Learning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Alexander Politowicz, Bing Liu, Sahisnu Mazumder","submitted_at":"2024-05-29T18:00:21Z","abstract_excerpt":"Designing Reinforcement Learning (RL) solutions for real-life problems remains a significant challenge. A major area of concern is safety. \"Shielding\" is a popular technique to enforce safety in RL by turning user-defined safety specifications into safe agent behavior. However, these methods either suffer from extreme learning delays, demand extensive human effort in designing models and safe domains in the problem, or require pre-computation. In this paper, we propose a new permissibility-based framework to deal with safety and shield construction. Permissibility was originally designed for e"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.19414","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/2405.19414/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-05T08:25:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Do0SaBFZni9yuygNLX/Rgms7KJv1c+bv/4+Ig6UJRTFN6w/Ga4oyd3no5rkd/SXmaY3rlxvoOIPxzgKVM3QTDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:52:50.966718Z"},"content_sha256":"c4415c8422f6f89c51c604bc09d1eac6d944e21672a86708c593b79be6626c3c","schema_version":"1.0","event_id":"sha256:c4415c8422f6f89c51c604bc09d1eac6d944e21672a86708c593b79be6626c3c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BLEJVZLUWRQXI4UZ7PTYY62UHE/bundle.json","state_url":"https://pith.science/pith/BLEJVZLUWRQXI4UZ7PTYY62UHE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BLEJVZLUWRQXI4UZ7PTYY62UHE/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-07-07T04:52:50Z","links":{"resolver":"https://pith.science/pith/BLEJVZLUWRQXI4UZ7PTYY62UHE","bundle":"https://pith.science/pith/BLEJVZLUWRQXI4UZ7PTYY62UHE/bundle.json","state":"https://pith.science/pith/BLEJVZLUWRQXI4UZ7PTYY62UHE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BLEJVZLUWRQXI4UZ7PTYY62UHE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:BLEJVZLUWRQXI4UZ7PTYY62UHE","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":"f63929d55974dd4477a854a706b7d9bfbb6080b7130e83d729228f345567d7f4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-29T18:00:21Z","title_canon_sha256":"b3b65ab077d6f9ea604d052bdfe114199f7dcb1c680371a2afc17c3323b25552"},"schema_version":"1.0","source":{"id":"2405.19414","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.19414","created_at":"2026-07-05T08:25:07Z"},{"alias_kind":"arxiv_version","alias_value":"2405.19414v1","created_at":"2026-07-05T08:25:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.19414","created_at":"2026-07-05T08:25:07Z"},{"alias_kind":"pith_short_12","alias_value":"BLEJVZLUWRQX","created_at":"2026-07-05T08:25:07Z"},{"alias_kind":"pith_short_16","alias_value":"BLEJVZLUWRQXI4UZ","created_at":"2026-07-05T08:25:07Z"},{"alias_kind":"pith_short_8","alias_value":"BLEJVZLU","created_at":"2026-07-05T08:25:07Z"}],"graph_snapshots":[{"event_id":"sha256:c4415c8422f6f89c51c604bc09d1eac6d944e21672a86708c593b79be6626c3c","target":"graph","created_at":"2026-07-05T08:25:07Z","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/2405.19414/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Designing Reinforcement Learning (RL) solutions for real-life problems remains a significant challenge. A major area of concern is safety. \"Shielding\" is a popular technique to enforce safety in RL by turning user-defined safety specifications into safe agent behavior. However, these methods either suffer from extreme learning delays, demand extensive human effort in designing models and safe domains in the problem, or require pre-computation. In this paper, we propose a new permissibility-based framework to deal with safety and shield construction. Permissibility was originally designed for e","authors_text":"Alexander Politowicz, Bing Liu, Sahisnu Mazumder","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-29T18:00:21Z","title":"Safety through Permissibility: Shield Construction for Fast and Safe Reinforcement Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.19414","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:c7440e91136c127adeac1380bab4e0b7ed7f5cee22286c8554b8fe5a4cfafbf5","target":"record","created_at":"2026-07-05T08:25:07Z","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":"f63929d55974dd4477a854a706b7d9bfbb6080b7130e83d729228f345567d7f4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-05-29T18:00:21Z","title_canon_sha256":"b3b65ab077d6f9ea604d052bdfe114199f7dcb1c680371a2afc17c3323b25552"},"schema_version":"1.0","source":{"id":"2405.19414","kind":"arxiv","version":1}},"canonical_sha256":"0ac89ae574b461747299fbe78c7b543939edee0f3f924ade16c9db000c0695cd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0ac89ae574b461747299fbe78c7b543939edee0f3f924ade16c9db000c0695cd","first_computed_at":"2026-07-05T08:25:07.252134Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:25:07.252134Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fFDCSXHJ7+EEQmgKQzXujIbrV2iAB/7lx6wugVbtlQoRbjar1w+pAW03/wY3a0L9JjIwa13CEFCOAPW7YL5CDg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:25:07.252566Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.19414","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c7440e91136c127adeac1380bab4e0b7ed7f5cee22286c8554b8fe5a4cfafbf5","sha256:c4415c8422f6f89c51c604bc09d1eac6d944e21672a86708c593b79be6626c3c"],"state_sha256":"07123e6f68f333a7805abefdec69a0e210c8ad9e0a47f0dfdacdfba2006578a4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R2L1OwaUTSU3vWlSNFReZZ519tiCvDqG0oQcOMU1lIErf/GqJ825wX771Dt/6tLDAVnWHIfL4RbPmw8IoWcoCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T04:52:50.969734Z","bundle_sha256":"e4d51fbf39564cc63714eb0e2ab2dd1323c2f591f1ce207d7e48496e9f595682"}}