{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:OSJTE54GTZZ2QHFJDHP35P2WUQ","short_pith_number":"pith:OSJTE54G","canonical_record":{"source":{"id":"2505.14001","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-20T06:54:19Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"7d79dce08f57ddef505140a5059bc85b5e997789b6ef18a352d48bb939268636","abstract_canon_sha256":"2136fed84bbcc98354247874e3d205e3d2de69735e1b00db255d20b540456db9"},"schema_version":"1.0"},"canonical_sha256":"74933277869e73a81ca919dfbebf56a4266c84cfd4db09de3449bfedc1382d3c","source":{"kind":"arxiv","id":"2505.14001","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.14001","created_at":"2026-07-05T11:05:54Z"},{"alias_kind":"arxiv_version","alias_value":"2505.14001v1","created_at":"2026-07-05T11:05:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.14001","created_at":"2026-07-05T11:05:54Z"},{"alias_kind":"pith_short_12","alias_value":"OSJTE54GTZZ2","created_at":"2026-07-05T11:05:54Z"},{"alias_kind":"pith_short_16","alias_value":"OSJTE54GTZZ2QHFJ","created_at":"2026-07-05T11:05:54Z"},{"alias_kind":"pith_short_8","alias_value":"OSJTE54G","created_at":"2026-07-05T11:05:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:OSJTE54GTZZ2QHFJDHP35P2WUQ","target":"record","payload":{"canonical_record":{"source":{"id":"2505.14001","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-20T06:54:19Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"7d79dce08f57ddef505140a5059bc85b5e997789b6ef18a352d48bb939268636","abstract_canon_sha256":"2136fed84bbcc98354247874e3d205e3d2de69735e1b00db255d20b540456db9"},"schema_version":"1.0"},"canonical_sha256":"74933277869e73a81ca919dfbebf56a4266c84cfd4db09de3449bfedc1382d3c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:05:54.572002Z","signature_b64":"mggTOYm8M0YaV7Xi+j7nhQpCwTwpa1h/FnIKDhyQDYWU92Lr91/YP21tWdI2YG6ZCMcnM4LKBu+sKf6uohd5CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"74933277869e73a81ca919dfbebf56a4266c84cfd4db09de3449bfedc1382d3c","last_reissued_at":"2026-07-05T11:05:54.571586Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:05:54.571586Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.14001","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:05:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xpWsPsFPpv88B+6RSSIV09YoM1Epp5Lzaiy1k2H+LoahCniWKVyhYh/A+Ff30a7KpMUHOQH9QE8YrXGbc333Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T10:16:27.490183Z"},"content_sha256":"21510403a49195160ced6cc26745e4fadeb064c9d8dcdcb076684c1fdef000dd","schema_version":"1.0","event_id":"sha256:21510403a49195160ced6cc26745e4fadeb064c9d8dcdcb076684c1fdef000dd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:OSJTE54GTZZ2QHFJDHP35P2WUQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.AI","authors_text":"Anna Lukina, Matthijs T.J. Spaan, Sterre Lutz","submitted_at":"2025-05-20T06:54:19Z","abstract_excerpt":"Autonomous systems operating in the real world encounter a range of uncertainties. Probabilistic neural Lyapunov certification is a powerful approach to proving safety of nonlinear stochastic dynamical systems. When faced with changes beyond the modeled uncertainties, e.g., unidentified obstacles, probabilistic certificates must be transferred to the new system dynamics. However, even when the changes are localized in a known part of the state space, state-of-the-art requires complete re-certification, which is particularly costly for neural certificates. We introduce VeRecycle, the first fram"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.14001","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/2505.14001/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:05:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WxbLF404f/I/ZCK0fwIQRQ7dQkqo/tSRbU0icXPWEk5bMNgDn1JzBvrda1tIuGQbyehzr+nvvBX+AiqA7/2NCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T10:16:27.490684Z"},"content_sha256":"cc183a4629c871e34d45a6670d392478b813de1936131007f69a5fc890038b24","schema_version":"1.0","event_id":"sha256:cc183a4629c871e34d45a6670d392478b813de1936131007f69a5fc890038b24"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OSJTE54GTZZ2QHFJDHP35P2WUQ/bundle.json","state_url":"https://pith.science/pith/OSJTE54GTZZ2QHFJDHP35P2WUQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OSJTE54GTZZ2QHFJDHP35P2WUQ/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-09T10:16:27Z","links":{"resolver":"https://pith.science/pith/OSJTE54GTZZ2QHFJDHP35P2WUQ","bundle":"https://pith.science/pith/OSJTE54GTZZ2QHFJDHP35P2WUQ/bundle.json","state":"https://pith.science/pith/OSJTE54GTZZ2QHFJDHP35P2WUQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OSJTE54GTZZ2QHFJDHP35P2WUQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:OSJTE54GTZZ2QHFJDHP35P2WUQ","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":"2136fed84bbcc98354247874e3d205e3d2de69735e1b00db255d20b540456db9","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-20T06:54:19Z","title_canon_sha256":"7d79dce08f57ddef505140a5059bc85b5e997789b6ef18a352d48bb939268636"},"schema_version":"1.0","source":{"id":"2505.14001","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.14001","created_at":"2026-07-05T11:05:54Z"},{"alias_kind":"arxiv_version","alias_value":"2505.14001v1","created_at":"2026-07-05T11:05:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.14001","created_at":"2026-07-05T11:05:54Z"},{"alias_kind":"pith_short_12","alias_value":"OSJTE54GTZZ2","created_at":"2026-07-05T11:05:54Z"},{"alias_kind":"pith_short_16","alias_value":"OSJTE54GTZZ2QHFJ","created_at":"2026-07-05T11:05:54Z"},{"alias_kind":"pith_short_8","alias_value":"OSJTE54G","created_at":"2026-07-05T11:05:54Z"}],"graph_snapshots":[{"event_id":"sha256:cc183a4629c871e34d45a6670d392478b813de1936131007f69a5fc890038b24","target":"graph","created_at":"2026-07-05T11:05:54Z","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/2505.14001/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Autonomous systems operating in the real world encounter a range of uncertainties. Probabilistic neural Lyapunov certification is a powerful approach to proving safety of nonlinear stochastic dynamical systems. When faced with changes beyond the modeled uncertainties, e.g., unidentified obstacles, probabilistic certificates must be transferred to the new system dynamics. However, even when the changes are localized in a known part of the state space, state-of-the-art requires complete re-certification, which is particularly costly for neural certificates. We introduce VeRecycle, the first fram","authors_text":"Anna Lukina, Matthijs T.J. Spaan, Sterre Lutz","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-20T06:54:19Z","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.14001","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:21510403a49195160ced6cc26745e4fadeb064c9d8dcdcb076684c1fdef000dd","target":"record","created_at":"2026-07-05T11:05:54Z","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":"2136fed84bbcc98354247874e3d205e3d2de69735e1b00db255d20b540456db9","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-20T06:54:19Z","title_canon_sha256":"7d79dce08f57ddef505140a5059bc85b5e997789b6ef18a352d48bb939268636"},"schema_version":"1.0","source":{"id":"2505.14001","kind":"arxiv","version":1}},"canonical_sha256":"74933277869e73a81ca919dfbebf56a4266c84cfd4db09de3449bfedc1382d3c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"74933277869e73a81ca919dfbebf56a4266c84cfd4db09de3449bfedc1382d3c","first_computed_at":"2026-07-05T11:05:54.571586Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:05:54.571586Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mggTOYm8M0YaV7Xi+j7nhQpCwTwpa1h/FnIKDhyQDYWU92Lr91/YP21tWdI2YG6ZCMcnM4LKBu+sKf6uohd5CA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:05:54.572002Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.14001","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:21510403a49195160ced6cc26745e4fadeb064c9d8dcdcb076684c1fdef000dd","sha256:cc183a4629c871e34d45a6670d392478b813de1936131007f69a5fc890038b24"],"state_sha256":"7a974b6ed739d2f07cc0f58c9d12c3c65eed38587c2bc41e4cafeb17ebc98f31"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rxx4hYdk7jyNIjRbJ+ISoRGWtrnO3nXVPM4ey/6wQZURixDKbEdBGRPGt5E+4UGvreG5Sa+QES+uC/UL0svvBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T10:16:27.495801Z","bundle_sha256":"f538a2606c4c4e59e10a426109ac32858f9aa6e96e6a2b5e0e6c93533dd03340"}}