{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:PD7NYBHDQ2Q4UQBKX6E2K3WDAX","short_pith_number":"pith:PD7NYBHD","canonical_record":{"source":{"id":"2608.02811","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-08-03T19:06:29Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"ba13fae89a3d26efbdebe51c1bad2fc235bf30f575fe07fbca606268e0159c24","abstract_canon_sha256":"e9c86ebd5c779397a8df58c0d45601f93d11352f97c4bd6505a2e59e126d6028"},"schema_version":"1.0"},"canonical_sha256":"78fedc04e386a1ca402abf89a56ec305f3aaad192dd0003c2efcbdd36860ddda","source":{"kind":"arxiv","id":"2608.02811","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.02811","created_at":"2026-08-05T00:40:17Z"},{"alias_kind":"arxiv_version","alias_value":"2608.02811v1","created_at":"2026-08-05T00:40:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.02811","created_at":"2026-08-05T00:40:17Z"},{"alias_kind":"pith_short_12","alias_value":"PD7NYBHDQ2Q4","created_at":"2026-08-05T00:40:17Z"},{"alias_kind":"pith_short_16","alias_value":"PD7NYBHDQ2Q4UQBK","created_at":"2026-08-05T00:40:17Z"},{"alias_kind":"pith_short_8","alias_value":"PD7NYBHD","created_at":"2026-08-05T00:40:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:PD7NYBHDQ2Q4UQBKX6E2K3WDAX","target":"record","payload":{"canonical_record":{"source":{"id":"2608.02811","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-08-03T19:06:29Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"ba13fae89a3d26efbdebe51c1bad2fc235bf30f575fe07fbca606268e0159c24","abstract_canon_sha256":"e9c86ebd5c779397a8df58c0d45601f93d11352f97c4bd6505a2e59e126d6028"},"schema_version":"1.0"},"canonical_sha256":"78fedc04e386a1ca402abf89a56ec305f3aaad192dd0003c2efcbdd36860ddda","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-05T00:40:17.141885Z","signature_b64":"z+0iP60YxXK1y9ieSrxdPQ/sXaCiCPEToKsYNhAhPWcmMhkVqmwwA3jknTzB+VpMXSj14gd+oRfttKlcuw88Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"78fedc04e386a1ca402abf89a56ec305f3aaad192dd0003c2efcbdd36860ddda","last_reissued_at":"2026-08-05T00:40:17.139208Z","signature_status":"signed_v1","first_computed_at":"2026-08-05T00:40:17.139208Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2608.02811","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-08-05T00:40:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Wh8oNtZH/upYpXbXJDmcQMyKLmKqR3Fi/4QpayJrdRM+x9HhRMINmSrYV/HfLMdrIf97kw6rJA1QHS+aMFV9AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:55:14.025614Z"},"content_sha256":"cf7d818c642c21644ccab296d7df7ca3d883506869d8c1aa7850ea05f4d73bbb","schema_version":"1.0","event_id":"sha256:cf7d818c642c21644ccab296d7df7ca3d883506869d8c1aa7850ea05f4d73bbb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:PD7NYBHDQ2Q4UQBKX6E2K3WDAX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Asgeir Johan S{\\o}rensen, Elizabeth Dietrich, Emir Cem Gezer, Hanna Krasowski, Murat Arcak, Roger Skjetne","submitted_at":"2026-08-03T19:06:29Z","abstract_excerpt":"Robotic systems must operate under uncertainty while satisfying complex task and safety specifications. Monitoring such specifications under uncertainty remains challenging, as existing formulations typically require extensive data or explicit uncertainty distributions. In this paper, we propose a real-time monitoring framework that reduces data requirements by leveraging data-driven reachable sets for specification evaluation. We instantiate the framework for maritime navigation, where complex specifications arise from traffic rules. We develop a data-efficient pipeline for constructing reach"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.02811","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/2608.02811/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-08-05T00:40:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M8NC7Y5B29emFNYK7lEQOkWq92SX87clSJZ955DVOfX/KlRNYQVwUi5A66kVTkvnF36mD1vMTzuCh9yYvJ6qDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:55:14.026168Z"},"content_sha256":"4ac3119231e94e9e722f6b7cd82aac169056491397547983d0f81d893c5815db","schema_version":"1.0","event_id":"sha256:4ac3119231e94e9e722f6b7cd82aac169056491397547983d0f81d893c5815db"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/bundle.json","state_url":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/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-08T11:55:14Z","links":{"resolver":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX","bundle":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/bundle.json","state":"https://pith.science/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PD7NYBHDQ2Q4UQBKX6E2K3WDAX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:PD7NYBHDQ2Q4UQBKX6E2K3WDAX","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":"e9c86ebd5c779397a8df58c0d45601f93d11352f97c4bd6505a2e59e126d6028","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-08-03T19:06:29Z","title_canon_sha256":"ba13fae89a3d26efbdebe51c1bad2fc235bf30f575fe07fbca606268e0159c24"},"schema_version":"1.0","source":{"id":"2608.02811","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.02811","created_at":"2026-08-05T00:40:17Z"},{"alias_kind":"arxiv_version","alias_value":"2608.02811v1","created_at":"2026-08-05T00:40:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.02811","created_at":"2026-08-05T00:40:17Z"},{"alias_kind":"pith_short_12","alias_value":"PD7NYBHDQ2Q4","created_at":"2026-08-05T00:40:17Z"},{"alias_kind":"pith_short_16","alias_value":"PD7NYBHDQ2Q4UQBK","created_at":"2026-08-05T00:40:17Z"},{"alias_kind":"pith_short_8","alias_value":"PD7NYBHD","created_at":"2026-08-05T00:40:17Z"}],"graph_snapshots":[{"event_id":"sha256:4ac3119231e94e9e722f6b7cd82aac169056491397547983d0f81d893c5815db","target":"graph","created_at":"2026-08-05T00:40:17Z","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/2608.02811/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Robotic systems must operate under uncertainty while satisfying complex task and safety specifications. Monitoring such specifications under uncertainty remains challenging, as existing formulations typically require extensive data or explicit uncertainty distributions. In this paper, we propose a real-time monitoring framework that reduces data requirements by leveraging data-driven reachable sets for specification evaluation. We instantiate the framework for maritime navigation, where complex specifications arise from traffic rules. We develop a data-efficient pipeline for constructing reach","authors_text":"Asgeir Johan S{\\o}rensen, Elizabeth Dietrich, Emir Cem Gezer, Hanna Krasowski, Murat Arcak, Roger Skjetne","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.02811","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:cf7d818c642c21644ccab296d7df7ca3d883506869d8c1aa7850ea05f4d73bbb","target":"record","created_at":"2026-08-05T00:40:17Z","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":"e9c86ebd5c779397a8df58c0d45601f93d11352f97c4bd6505a2e59e126d6028","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2026-08-03T19:06:29Z","title_canon_sha256":"ba13fae89a3d26efbdebe51c1bad2fc235bf30f575fe07fbca606268e0159c24"},"schema_version":"1.0","source":{"id":"2608.02811","kind":"arxiv","version":1}},"canonical_sha256":"78fedc04e386a1ca402abf89a56ec305f3aaad192dd0003c2efcbdd36860ddda","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"78fedc04e386a1ca402abf89a56ec305f3aaad192dd0003c2efcbdd36860ddda","first_computed_at":"2026-08-05T00:40:17.139208Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-05T00:40:17.139208Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"z+0iP60YxXK1y9ieSrxdPQ/sXaCiCPEToKsYNhAhPWcmMhkVqmwwA3jknTzB+VpMXSj14gd+oRfttKlcuw88Bg==","signature_status":"signed_v1","signed_at":"2026-08-05T00:40:17.141885Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.02811","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cf7d818c642c21644ccab296d7df7ca3d883506869d8c1aa7850ea05f4d73bbb","sha256:4ac3119231e94e9e722f6b7cd82aac169056491397547983d0f81d893c5815db"],"state_sha256":"bb151d9a2d89342f698a15201d9200ab70097222d0119428ce43f87a87aac7f7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zYJ+GfsOiFRbEk7pzqS9CEKdITC0EX95i5Av7cBFsySc2XhNemlY2WAvqPSS6dG+BYKDInjMU35IaVW10oYiCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T11:55:14.031191Z","bundle_sha256":"ead80f7f7e3c19546a653bd363422d8915f441d48954218ef03a12a242d9f350"}}