{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:T4AQYK5IMKUBELIYDS7O7AXQT5","short_pith_number":"pith:T4AQYK5I","canonical_record":{"source":{"id":"2506.17927","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-06-22T07:40:05Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"29bea51bbfd3f57b1103a561ca5a00563d80fb1001c1365f716f6b723fee5e35","abstract_canon_sha256":"ec1d2c3bcdec04ba8e4bd228c88824e962e93b7c1c93492bdba4fffed3a9973d"},"schema_version":"1.0"},"canonical_sha256":"9f010c2ba862a8122d181cbeef82f09f7723f0f157c3b59f9c3c1c2c8db39672","source":{"kind":"arxiv","id":"2506.17927","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.17927","created_at":"2026-07-05T11:25:25Z"},{"alias_kind":"arxiv_version","alias_value":"2506.17927v1","created_at":"2026-07-05T11:25:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.17927","created_at":"2026-07-05T11:25:25Z"},{"alias_kind":"pith_short_12","alias_value":"T4AQYK5IMKUB","created_at":"2026-07-05T11:25:25Z"},{"alias_kind":"pith_short_16","alias_value":"T4AQYK5IMKUBELIY","created_at":"2026-07-05T11:25:25Z"},{"alias_kind":"pith_short_8","alias_value":"T4AQYK5I","created_at":"2026-07-05T11:25:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:T4AQYK5IMKUBELIYDS7O7AXQT5","target":"record","payload":{"canonical_record":{"source":{"id":"2506.17927","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-06-22T07:40:05Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"29bea51bbfd3f57b1103a561ca5a00563d80fb1001c1365f716f6b723fee5e35","abstract_canon_sha256":"ec1d2c3bcdec04ba8e4bd228c88824e962e93b7c1c93492bdba4fffed3a9973d"},"schema_version":"1.0"},"canonical_sha256":"9f010c2ba862a8122d181cbeef82f09f7723f0f157c3b59f9c3c1c2c8db39672","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:25:25.670602Z","signature_b64":"eImsYqzjMFl4XBKIEGJ9IOkKxu0H9a9a9S5CZxieFwkvXs2jGCXSmRxwUL9/55CExkdHC+vuADO5D+Qyb/VSBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f010c2ba862a8122d181cbeef82f09f7723f0f157c3b59f9c3c1c2c8db39672","last_reissued_at":"2026-07-05T11:25:25.670128Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:25:25.670128Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.17927","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:25:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zjIg8yMrGQFKO7Xe8cIUdHBWToVLM6cXa3FSgjzQ1ayWNcGIQ706N8O5J2lDTKQ8oSyHSRmbu6dx5N0VGXuqCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T14:43:18.438586Z"},"content_sha256":"17d9fc62b5199b4e21417650c8a0bf9640d68a18c97b655c011046f95b5c0dcd","schema_version":"1.0","event_id":"sha256:17d9fc62b5199b4e21417650c8a0bf9640d68a18c97b655c011046f95b5c0dcd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:T4AQYK5IMKUBELIYDS7O7AXQT5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safety Certificate against Latent Variables with Partially Unidentifiable Dynamics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Haoming Jing, Yorie Nakahira","submitted_at":"2025-06-22T07:40:05Z","abstract_excerpt":"Many systems contain latent variables that make their dynamics partially unidentifiable or cause distribution shifts in the observed statistics between offline and online data. However, existing control techniques often assume access to complete dynamics or perfect simulators with fully observable states, which are necessary to verify whether the system remains within a safe set (forward invariance) or safe actions are consistently feasible at all times. To address this limitation, we propose a technique for designing probabilistic safety certificates for systems with latent variables. A key t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.17927","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/2506.17927/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:25:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BLnjlmxZ5XNL+/gzgtXww1UxMXPKWqxfg424gj3bzJFQirLD3leC+u7JKbC44kbpWD5DwZpKTgFLSpJRp6HuDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T14:43:18.439093Z"},"content_sha256":"835ac0f4157afa39cc3d1efaa559e47cbb323d2eae12ba46155c79a7f5c9ad82","schema_version":"1.0","event_id":"sha256:835ac0f4157afa39cc3d1efaa559e47cbb323d2eae12ba46155c79a7f5c9ad82"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T4AQYK5IMKUBELIYDS7O7AXQT5/bundle.json","state_url":"https://pith.science/pith/T4AQYK5IMKUBELIYDS7O7AXQT5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T4AQYK5IMKUBELIYDS7O7AXQT5/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-16T14:43:18Z","links":{"resolver":"https://pith.science/pith/T4AQYK5IMKUBELIYDS7O7AXQT5","bundle":"https://pith.science/pith/T4AQYK5IMKUBELIYDS7O7AXQT5/bundle.json","state":"https://pith.science/pith/T4AQYK5IMKUBELIYDS7O7AXQT5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T4AQYK5IMKUBELIYDS7O7AXQT5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:T4AQYK5IMKUBELIYDS7O7AXQT5","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":"ec1d2c3bcdec04ba8e4bd228c88824e962e93b7c1c93492bdba4fffed3a9973d","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-06-22T07:40:05Z","title_canon_sha256":"29bea51bbfd3f57b1103a561ca5a00563d80fb1001c1365f716f6b723fee5e35"},"schema_version":"1.0","source":{"id":"2506.17927","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.17927","created_at":"2026-07-05T11:25:25Z"},{"alias_kind":"arxiv_version","alias_value":"2506.17927v1","created_at":"2026-07-05T11:25:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.17927","created_at":"2026-07-05T11:25:25Z"},{"alias_kind":"pith_short_12","alias_value":"T4AQYK5IMKUB","created_at":"2026-07-05T11:25:25Z"},{"alias_kind":"pith_short_16","alias_value":"T4AQYK5IMKUBELIY","created_at":"2026-07-05T11:25:25Z"},{"alias_kind":"pith_short_8","alias_value":"T4AQYK5I","created_at":"2026-07-05T11:25:25Z"}],"graph_snapshots":[{"event_id":"sha256:835ac0f4157afa39cc3d1efaa559e47cbb323d2eae12ba46155c79a7f5c9ad82","target":"graph","created_at":"2026-07-05T11:25:25Z","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.17927/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many systems contain latent variables that make their dynamics partially unidentifiable or cause distribution shifts in the observed statistics between offline and online data. However, existing control techniques often assume access to complete dynamics or perfect simulators with fully observable states, which are necessary to verify whether the system remains within a safe set (forward invariance) or safe actions are consistently feasible at all times. To address this limitation, we propose a technique for designing probabilistic safety certificates for systems with latent variables. A key t","authors_text":"Haoming Jing, Yorie Nakahira","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-06-22T07:40:05Z","title":"Safety Certificate against Latent Variables with Partially Unidentifiable Dynamics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.17927","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:17d9fc62b5199b4e21417650c8a0bf9640d68a18c97b655c011046f95b5c0dcd","target":"record","created_at":"2026-07-05T11:25:25Z","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":"ec1d2c3bcdec04ba8e4bd228c88824e962e93b7c1c93492bdba4fffed3a9973d","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-06-22T07:40:05Z","title_canon_sha256":"29bea51bbfd3f57b1103a561ca5a00563d80fb1001c1365f716f6b723fee5e35"},"schema_version":"1.0","source":{"id":"2506.17927","kind":"arxiv","version":1}},"canonical_sha256":"9f010c2ba862a8122d181cbeef82f09f7723f0f157c3b59f9c3c1c2c8db39672","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9f010c2ba862a8122d181cbeef82f09f7723f0f157c3b59f9c3c1c2c8db39672","first_computed_at":"2026-07-05T11:25:25.670128Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:25:25.670128Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eImsYqzjMFl4XBKIEGJ9IOkKxu0H9a9a9S5CZxieFwkvXs2jGCXSmRxwUL9/55CExkdHC+vuADO5D+Qyb/VSBw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:25:25.670602Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.17927","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:17d9fc62b5199b4e21417650c8a0bf9640d68a18c97b655c011046f95b5c0dcd","sha256:835ac0f4157afa39cc3d1efaa559e47cbb323d2eae12ba46155c79a7f5c9ad82"],"state_sha256":"3bffe1795ffdd6327ab2a90adc08db2827724827025fa06b5366838077054205"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cn3LwYd8TWnrLlgiW2b/QMMMK9OmCLvYL0HqIhHcP2zPE0BxHhu0uh1kB21TlpyS3gsd1ukFSmhkdK5nS1yXAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T14:43:18.449373Z","bundle_sha256":"48a81b27c8e70b82bb96a5c4de69f24951d5a84db98362d7c9fbadcd7fc21487"}}