{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ICYBLDFWWVGB6LEJ2Q3SWEEA5A","short_pith_number":"pith:ICYBLDFW","canonical_record":{"source":{"id":"2506.17275","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-06-12T17:37:29Z","cross_cats_sorted":["cs.AI","cs.LG","cs.SY"],"title_canon_sha256":"ecb5f7a7007ea8db96294eb6e094518acd2c8e3f03bbd59ec2918b90418fbfc4","abstract_canon_sha256":"4c6f56e7c25fbc15f2ca6dd39e4697840927b0c9fbaf4ae80b4bf310f2da0927"},"schema_version":"1.0"},"canonical_sha256":"40b0158cb6b54c1f2c89d4372b1080e8062e857a59de8f3c2ed53190beef0eeb","source":{"kind":"arxiv","id":"2506.17275","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.17275","created_at":"2026-07-05T11:43:32Z"},{"alias_kind":"arxiv_version","alias_value":"2506.17275v2","created_at":"2026-07-05T11:43:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.17275","created_at":"2026-07-05T11:43:32Z"},{"alias_kind":"pith_short_12","alias_value":"ICYBLDFWWVGB","created_at":"2026-07-05T11:43:32Z"},{"alias_kind":"pith_short_16","alias_value":"ICYBLDFWWVGB6LEJ","created_at":"2026-07-05T11:43:32Z"},{"alias_kind":"pith_short_8","alias_value":"ICYBLDFW","created_at":"2026-07-05T11:43:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ICYBLDFWWVGB6LEJ2Q3SWEEA5A","target":"record","payload":{"canonical_record":{"source":{"id":"2506.17275","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-06-12T17:37:29Z","cross_cats_sorted":["cs.AI","cs.LG","cs.SY"],"title_canon_sha256":"ecb5f7a7007ea8db96294eb6e094518acd2c8e3f03bbd59ec2918b90418fbfc4","abstract_canon_sha256":"4c6f56e7c25fbc15f2ca6dd39e4697840927b0c9fbaf4ae80b4bf310f2da0927"},"schema_version":"1.0"},"canonical_sha256":"40b0158cb6b54c1f2c89d4372b1080e8062e857a59de8f3c2ed53190beef0eeb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:43:32.948327Z","signature_b64":"IH0CSd6wNK4fxBZv2kL3TvcfDsHeH1DdasVwMZLUEbR9p+ZzrFLyTCyJx8qXAxeGvfr9nNBsEaKg7a24ndRBDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"40b0158cb6b54c1f2c89d4372b1080e8062e857a59de8f3c2ed53190beef0eeb","last_reissued_at":"2026-07-05T11:43:32.947879Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:43:32.947879Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.17275","source_version":2,"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:43:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oKMe+jZBDYSOARIRFj3/PpoHKO56b5TWfA42KBDYF2VmkW8+PwFd6z18CCImUyUDp44r2iq6WLB/pIRgOLdMDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T00:28:00.784352Z"},"content_sha256":"b2af650f466c42d0138b86786757e4f36177fafd508cd9affd803b0814ab767d","schema_version":"1.0","event_id":"sha256:b2af650f466c42d0138b86786757e4f36177fafd508cd9affd803b0814ab767d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ICYBLDFWWVGB6LEJ2Q3SWEEA5A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Conformal Safety Shielding for Imperfect-Perception Agents","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.SY"],"primary_cat":"eess.SY","authors_text":"Calum Imrie, Corina S. Pasareanu, Kavan Fatehi, Radu Calinescu, Ravi Mangal, Sinem Getir Yaman, William Scarbro","submitted_at":"2025-06-12T17:37:29Z","abstract_excerpt":"We consider the problem of safe control in discrete autonomous agents that use learned components for imperfect perception (or more generally, state estimation) from high-dimensional observations. We propose a shield construction that provides run-time safety guarantees under perception errors by restricting the actions available to an agent, modeled as a Markov decision process, as a function of the state estimates. Our construction uses conformal prediction for the perception component, which guarantees that for each observation, the predicted set of estimates includes the actual state with "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.17275","kind":"arxiv","version":2},"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/2506.17275/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:43:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n4loUgPbWvMbBhyhmyZW/bLa1AWUx3Tet2x6b9y0YuQ2HmEzwLKtGkK8yF7Y2LqTaGg2txkObja2Ts/bkTGTCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T00:28:00.785483Z"},"content_sha256":"9ed977f47ab981711245e7a19931c3559353f99aab9045014875bb322800d939","schema_version":"1.0","event_id":"sha256:9ed977f47ab981711245e7a19931c3559353f99aab9045014875bb322800d939"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ICYBLDFWWVGB6LEJ2Q3SWEEA5A/bundle.json","state_url":"https://pith.science/pith/ICYBLDFWWVGB6LEJ2Q3SWEEA5A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ICYBLDFWWVGB6LEJ2Q3SWEEA5A/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-05T00:28:00Z","links":{"resolver":"https://pith.science/pith/ICYBLDFWWVGB6LEJ2Q3SWEEA5A","bundle":"https://pith.science/pith/ICYBLDFWWVGB6LEJ2Q3SWEEA5A/bundle.json","state":"https://pith.science/pith/ICYBLDFWWVGB6LEJ2Q3SWEEA5A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ICYBLDFWWVGB6LEJ2Q3SWEEA5A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ICYBLDFWWVGB6LEJ2Q3SWEEA5A","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":"4c6f56e7c25fbc15f2ca6dd39e4697840927b0c9fbaf4ae80b4bf310f2da0927","cross_cats_sorted":["cs.AI","cs.LG","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-06-12T17:37:29Z","title_canon_sha256":"ecb5f7a7007ea8db96294eb6e094518acd2c8e3f03bbd59ec2918b90418fbfc4"},"schema_version":"1.0","source":{"id":"2506.17275","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.17275","created_at":"2026-07-05T11:43:32Z"},{"alias_kind":"arxiv_version","alias_value":"2506.17275v2","created_at":"2026-07-05T11:43:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.17275","created_at":"2026-07-05T11:43:32Z"},{"alias_kind":"pith_short_12","alias_value":"ICYBLDFWWVGB","created_at":"2026-07-05T11:43:32Z"},{"alias_kind":"pith_short_16","alias_value":"ICYBLDFWWVGB6LEJ","created_at":"2026-07-05T11:43:32Z"},{"alias_kind":"pith_short_8","alias_value":"ICYBLDFW","created_at":"2026-07-05T11:43:32Z"}],"graph_snapshots":[{"event_id":"sha256:9ed977f47ab981711245e7a19931c3559353f99aab9045014875bb322800d939","target":"graph","created_at":"2026-07-05T11:43:32Z","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/2506.17275/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider the problem of safe control in discrete autonomous agents that use learned components for imperfect perception (or more generally, state estimation) from high-dimensional observations. We propose a shield construction that provides run-time safety guarantees under perception errors by restricting the actions available to an agent, modeled as a Markov decision process, as a function of the state estimates. Our construction uses conformal prediction for the perception component, which guarantees that for each observation, the predicted set of estimates includes the actual state with ","authors_text":"Calum Imrie, Corina S. Pasareanu, Kavan Fatehi, Radu Calinescu, Ravi Mangal, Sinem Getir Yaman, William Scarbro","cross_cats":["cs.AI","cs.LG","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-06-12T17:37:29Z","title":"Conformal Safety Shielding for Imperfect-Perception Agents"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.17275","kind":"arxiv","version":2},"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:b2af650f466c42d0138b86786757e4f36177fafd508cd9affd803b0814ab767d","target":"record","created_at":"2026-07-05T11:43:32Z","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":"4c6f56e7c25fbc15f2ca6dd39e4697840927b0c9fbaf4ae80b4bf310f2da0927","cross_cats_sorted":["cs.AI","cs.LG","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-06-12T17:37:29Z","title_canon_sha256":"ecb5f7a7007ea8db96294eb6e094518acd2c8e3f03bbd59ec2918b90418fbfc4"},"schema_version":"1.0","source":{"id":"2506.17275","kind":"arxiv","version":2}},"canonical_sha256":"40b0158cb6b54c1f2c89d4372b1080e8062e857a59de8f3c2ed53190beef0eeb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"40b0158cb6b54c1f2c89d4372b1080e8062e857a59de8f3c2ed53190beef0eeb","first_computed_at":"2026-07-05T11:43:32.947879Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:43:32.947879Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IH0CSd6wNK4fxBZv2kL3TvcfDsHeH1DdasVwMZLUEbR9p+ZzrFLyTCyJx8qXAxeGvfr9nNBsEaKg7a24ndRBDw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:43:32.948327Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.17275","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b2af650f466c42d0138b86786757e4f36177fafd508cd9affd803b0814ab767d","sha256:9ed977f47ab981711245e7a19931c3559353f99aab9045014875bb322800d939"],"state_sha256":"853c35bef736188de6cfe1f4c7dac1f0f25ff571c92fc6c34b2183979d607ad0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Eoz2t5Jzj4saBr+Qsd85XDlwkYGQqIft7IXPpBUSQctxY/wlIf0HguDUOagAS/kyF4hxl+DZrlEwILeSzgfBAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T00:28:00.791987Z","bundle_sha256":"02d45628afbfbc774b8c3c9f30d42eee7db9926d409f17c19162c72eafd7f591"}}