{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HTQVUEMHSSTUMFPBDICJ6ORSCV","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":"4d48c4934c505cd8935fe33ccbb3c8ab14f46efda034c6e8dc19580153ac93c7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-10-07T18:12:29Z","title_canon_sha256":"37f9c0e83ec94e4c5de9b50a3beb7aaf62afaecf83580588d8972004bfad8424"},"schema_version":"1.0","source":{"id":"2510.06351","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2510.06351","created_at":"2026-05-26T02:03:57Z"},{"alias_kind":"arxiv_version","alias_value":"2510.06351v2","created_at":"2026-05-26T02:03:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.06351","created_at":"2026-05-26T02:03:57Z"},{"alias_kind":"pith_short_12","alias_value":"HTQVUEMHSSTU","created_at":"2026-05-26T02:03:57Z"},{"alias_kind":"pith_short_16","alias_value":"HTQVUEMHSSTUMFPB","created_at":"2026-05-26T02:03:57Z"},{"alias_kind":"pith_short_8","alias_value":"HTQVUEMH","created_at":"2026-05-26T02:03:57Z"}],"graph_snapshots":[{"event_id":"sha256:f9a2e7a3d8784cfe23fc8c03a063362fec49765bb9db932bc9ab342e8f853c60","target":"graph","created_at":"2026-05-26T02:03:57Z","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/2510.06351/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Planning safe trajectories under model uncertainty is a fundamental challenge. Robust planning ensures safety by considering worst-case realizations, yet ignores uncertainty reduction and leads to overly conservative behavior. Actively reducing uncertainty on-the-fly during a nominal mission defines the dual control problem. Most approaches address this by adding a weighted exploration term to the cost, tuned to trade off the nominal objective and uncertainty reduction, but without formal consideration of when exploration is beneficial. Moreover, safety is enforced in some methods but not in o","authors_text":"Devansh R. Agrawal, Dimitra Panagou, Kaleb Ben Naveed","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-10-07T18:12:29Z","title":"A Formal gatekeeper Framework for Safe Dual Control with Active Exploration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.06351","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:a368afe39efcd0ce6aa38b679adaab2f47945eae11d39183c5302cc199249b67","target":"record","created_at":"2026-05-26T02:03:57Z","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":"4d48c4934c505cd8935fe33ccbb3c8ab14f46efda034c6e8dc19580153ac93c7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2025-10-07T18:12:29Z","title_canon_sha256":"37f9c0e83ec94e4c5de9b50a3beb7aaf62afaecf83580588d8972004bfad8424"},"schema_version":"1.0","source":{"id":"2510.06351","kind":"arxiv","version":2}},"canonical_sha256":"3ce15a118794a74615e11a049f3a321560fbcfa9626abdf5f1667a48c8a41210","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3ce15a118794a74615e11a049f3a321560fbcfa9626abdf5f1667a48c8a41210","first_computed_at":"2026-05-26T02:03:57.191768Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-26T02:03:57.191768Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tmwZUDeouHj/L9HcZLxDEGgeJ5T1e3jSPkGs69ebK/RmC+rPoS4GI14Xrj6a/xe5hynJEFVgEYR54eGbgupkCg==","signature_status":"signed_v1","signed_at":"2026-05-26T02:03:57.192704Z","signed_message":"canonical_sha256_bytes"},"source_id":"2510.06351","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a368afe39efcd0ce6aa38b679adaab2f47945eae11d39183c5302cc199249b67","sha256:f9a2e7a3d8784cfe23fc8c03a063362fec49765bb9db932bc9ab342e8f853c60"],"state_sha256":"8dba425bf469ac763ea8bb6cbea3b0f01bd83ec26dec319726aaa9950295c6e9"}