{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:5YY6GCEFMBW3K7VGU7VNUS6MGR","short_pith_number":"pith:5YY6GCEF","canonical_record":{"source":{"id":"2606.30829","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-29T19:00:01Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"14aea4c8e9b6c2d5c9f76c75b9dc88e86b5eec9ee6d01e9697f7dbe6fdc10692","abstract_canon_sha256":"7d87dca04cd06c40900c2b4809dba26ac9343006a7307cbe63ef4c77accd3127"},"schema_version":"1.0"},"canonical_sha256":"ee31e30885606db57ea6a7eada4bcc346969fc59bc0b46f5de6dd86e594dace3","source":{"kind":"arxiv","id":"2606.30829","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.30829","created_at":"2026-07-01T00:17:18Z"},{"alias_kind":"arxiv_version","alias_value":"2606.30829v1","created_at":"2026-07-01T00:17:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.30829","created_at":"2026-07-01T00:17:18Z"},{"alias_kind":"pith_short_12","alias_value":"5YY6GCEFMBW3","created_at":"2026-07-01T00:17:18Z"},{"alias_kind":"pith_short_16","alias_value":"5YY6GCEFMBW3K7VG","created_at":"2026-07-01T00:17:18Z"},{"alias_kind":"pith_short_8","alias_value":"5YY6GCEF","created_at":"2026-07-01T00:17:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:5YY6GCEFMBW3K7VGU7VNUS6MGR","target":"record","payload":{"canonical_record":{"source":{"id":"2606.30829","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-29T19:00:01Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"14aea4c8e9b6c2d5c9f76c75b9dc88e86b5eec9ee6d01e9697f7dbe6fdc10692","abstract_canon_sha256":"7d87dca04cd06c40900c2b4809dba26ac9343006a7307cbe63ef4c77accd3127"},"schema_version":"1.0"},"canonical_sha256":"ee31e30885606db57ea6a7eada4bcc346969fc59bc0b46f5de6dd86e594dace3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-01T00:17:18.644411Z","signature_b64":"0ZQE+Jgx+Q1XgVqApjGnMdYET8nzZO6vfDQzezfvuDqLixrDPDmb9xHo7udgeMC3crUg4xeilEuRkLhFYKxDCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee31e30885606db57ea6a7eada4bcc346969fc59bc0b46f5de6dd86e594dace3","last_reissued_at":"2026-07-01T00:17:18.643936Z","signature_status":"signed_v1","first_computed_at":"2026-07-01T00:17:18.643936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.30829","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-01T00:17:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5tsauZRmlIoJpmTYhaOARk/tXcOg5rSNQqr1WGS19GOoovsQD70aL1wI1bO6xEtD6Kst5+SCFo6Sbeyvb04bBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T22:11:32.284425Z"},"content_sha256":"b88f9360e513842ba256792b63993cb089bf20bf669942f3fc6b38c15ae94500","schema_version":"1.0","event_id":"sha256:b88f9360e513842ba256792b63993cb089bf20bf669942f3fc6b38c15ae94500"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:5YY6GCEFMBW3K7VGU7VNUS6MGR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Joint Chance Constrained Safe-Optimal Control","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"math.OC","authors_text":"Jared Miller, John Lygeros, Marta Fochesato, Niklas Schmid, Tobias Sutter, Tristan Zeller","submitted_at":"2026-06-29T19:00:01Z","abstract_excerpt":"We consider the finite-time optimal control of stochastic systems subject to a probabilistic constraint on the trajectories' safety. Such formulations are known as joint chance constrained optimal control problems. The common practice is to jointly minimise the expected cost of all trajectories, safe and unsafe. This leads to policies which invite constraint violations to exploit low-cost unsafe trajectories. When constraints represent states of critical failure, such behaviour is undesirable. We demonstrate that this behaviour can be overcome by only minimizing the expected cost of safe traje"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.30829","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/2606.30829/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-01T00:17:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"esM50EXSbITscriLftJA65daOTw3CaBv6G00RqzfRwz66VrnBVkZmPamKoSjiMkZ4bxAIF+j/tp9McxFJI3fAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T22:11:32.284803Z"},"content_sha256":"f684a1c11937127b0f51bfa1db0071a64c6e10e533551a89f32dc378c0530bf2","schema_version":"1.0","event_id":"sha256:f684a1c11937127b0f51bfa1db0071a64c6e10e533551a89f32dc378c0530bf2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR/bundle.json","state_url":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR/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-03T22:11:32Z","links":{"resolver":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR","bundle":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR/bundle.json","state":"https://pith.science/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5YY6GCEFMBW3K7VGU7VNUS6MGR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:5YY6GCEFMBW3K7VGU7VNUS6MGR","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":"7d87dca04cd06c40900c2b4809dba26ac9343006a7307cbe63ef4c77accd3127","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-29T19:00:01Z","title_canon_sha256":"14aea4c8e9b6c2d5c9f76c75b9dc88e86b5eec9ee6d01e9697f7dbe6fdc10692"},"schema_version":"1.0","source":{"id":"2606.30829","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.30829","created_at":"2026-07-01T00:17:18Z"},{"alias_kind":"arxiv_version","alias_value":"2606.30829v1","created_at":"2026-07-01T00:17:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.30829","created_at":"2026-07-01T00:17:18Z"},{"alias_kind":"pith_short_12","alias_value":"5YY6GCEFMBW3","created_at":"2026-07-01T00:17:18Z"},{"alias_kind":"pith_short_16","alias_value":"5YY6GCEFMBW3K7VG","created_at":"2026-07-01T00:17:18Z"},{"alias_kind":"pith_short_8","alias_value":"5YY6GCEF","created_at":"2026-07-01T00:17:18Z"}],"graph_snapshots":[{"event_id":"sha256:f684a1c11937127b0f51bfa1db0071a64c6e10e533551a89f32dc378c0530bf2","target":"graph","created_at":"2026-07-01T00:17:18Z","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/2606.30829/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We consider the finite-time optimal control of stochastic systems subject to a probabilistic constraint on the trajectories' safety. Such formulations are known as joint chance constrained optimal control problems. The common practice is to jointly minimise the expected cost of all trajectories, safe and unsafe. This leads to policies which invite constraint violations to exploit low-cost unsafe trajectories. When constraints represent states of critical failure, such behaviour is undesirable. We demonstrate that this behaviour can be overcome by only minimizing the expected cost of safe traje","authors_text":"Jared Miller, John Lygeros, Marta Fochesato, Niklas Schmid, Tobias Sutter, Tristan Zeller","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-29T19:00:01Z","title":"Joint Chance Constrained Safe-Optimal Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.30829","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:b88f9360e513842ba256792b63993cb089bf20bf669942f3fc6b38c15ae94500","target":"record","created_at":"2026-07-01T00:17:18Z","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":"7d87dca04cd06c40900c2b4809dba26ac9343006a7307cbe63ef4c77accd3127","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-06-29T19:00:01Z","title_canon_sha256":"14aea4c8e9b6c2d5c9f76c75b9dc88e86b5eec9ee6d01e9697f7dbe6fdc10692"},"schema_version":"1.0","source":{"id":"2606.30829","kind":"arxiv","version":1}},"canonical_sha256":"ee31e30885606db57ea6a7eada4bcc346969fc59bc0b46f5de6dd86e594dace3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ee31e30885606db57ea6a7eada4bcc346969fc59bc0b46f5de6dd86e594dace3","first_computed_at":"2026-07-01T00:17:18.643936Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-01T00:17:18.643936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0ZQE+Jgx+Q1XgVqApjGnMdYET8nzZO6vfDQzezfvuDqLixrDPDmb9xHo7udgeMC3crUg4xeilEuRkLhFYKxDCA==","signature_status":"signed_v1","signed_at":"2026-07-01T00:17:18.644411Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.30829","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b88f9360e513842ba256792b63993cb089bf20bf669942f3fc6b38c15ae94500","sha256:f684a1c11937127b0f51bfa1db0071a64c6e10e533551a89f32dc378c0530bf2"],"state_sha256":"5fab99be0229ac1cd9220ade12dcb50d0f04f689aa71882f5341b885f2d95693"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mPgB24zFCRTQb4imluO91ceNctHsCAhSNvXCF+esLAYaVNxnFsp/5cUtt8ufFQdlnO+pv6yeKmEpyF7aMznEBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T22:11:32.286740Z","bundle_sha256":"a3d3da85b608265223eb617e86aac2643c1ad5f887b3707a89f82e148c0345b0"}}