{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:NTFGHXWSBMXMP5O7KPBJOK2N26","short_pith_number":"pith:NTFGHXWS","canonical_record":{"source":{"id":"2605.05182","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-06T17:49:17Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"9e8c6852316aaa14cdfe9f833ab89cffc92c9d15d229cd38289019fe2b89dd0a","abstract_canon_sha256":"ffbaaab81911292f8dd684d64430b128a2a7bc7833886affa466c87617a1ecf3"},"schema_version":"1.0"},"canonical_sha256":"6cca63ded20b2ec7f5df53c2972b4dd7b6d9dcef844d78a0fde9d763263ccfcb","source":{"kind":"arxiv","id":"2605.05182","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.05182","created_at":"2026-05-26T01:03:32Z"},{"alias_kind":"arxiv_version","alias_value":"2605.05182v2","created_at":"2026-05-26T01:03:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.05182","created_at":"2026-05-26T01:03:32Z"},{"alias_kind":"pith_short_12","alias_value":"NTFGHXWSBMXM","created_at":"2026-05-26T01:03:32Z"},{"alias_kind":"pith_short_16","alias_value":"NTFGHXWSBMXMP5O7","created_at":"2026-05-26T01:03:32Z"},{"alias_kind":"pith_short_8","alias_value":"NTFGHXWS","created_at":"2026-05-26T01:03:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:NTFGHXWSBMXMP5O7KPBJOK2N26","target":"record","payload":{"canonical_record":{"source":{"id":"2605.05182","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-06T17:49:17Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"9e8c6852316aaa14cdfe9f833ab89cffc92c9d15d229cd38289019fe2b89dd0a","abstract_canon_sha256":"ffbaaab81911292f8dd684d64430b128a2a7bc7833886affa466c87617a1ecf3"},"schema_version":"1.0"},"canonical_sha256":"6cca63ded20b2ec7f5df53c2972b4dd7b6d9dcef844d78a0fde9d763263ccfcb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-26T01:03:32.362675Z","signature_b64":"hCYzda87VKg1epA/LNtHKSJ+LHyp94nLFtvAqQc2sJZyQmdSi/AwefgY7uyIDOjFpzu8idII04MadX9QszEICw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6cca63ded20b2ec7f5df53c2972b4dd7b6d9dcef844d78a0fde9d763263ccfcb","last_reissued_at":"2026-05-26T01:03:32.361978Z","signature_status":"signed_v1","first_computed_at":"2026-05-26T01:03:32.361978Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.05182","source_version":2,"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-05-26T01:03:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Nk64rDqTyUT3KJMixc6fek113r0o3wR0qDxkXrVenkSj/6F92vxBGoNTMzt+q/zPymJiVyPeE+cY0GIJNwATDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T14:21:52.729962Z"},"content_sha256":"8d1706d267ac0e584fae911917695a0a315b6bd79d87a29d1b0402e717b48479","schema_version":"1.0","event_id":"sha256:8d1706d267ac0e584fae911917695a0a315b6bd79d87a29d1b0402e717b48479"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:NTFGHXWSBMXMP5O7KPBJOK2N26","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Closed-Form Dual-Barrier CBF Safety Filter for Holonomic Robots on Incrementally Built Occupancy Grid Maps","license":"http://creativecommons.org/licenses/by/4.0/","headline":"A dual-barrier CBF safety filter derived from occupancy grid signed distance fields enforces both obstacle avoidance and frontier restriction for holonomic robots in unknown environments.","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Alina Bartaula, Basanta Joshi, Biman Rimal, Dhirendra Raj Madai, Himanshu Paudel, Sanjay Neupane","submitted_at":"2026-05-06T17:49:17Z","abstract_excerpt":"We present a dual-barrier control barrier function (CBF) safety filter for real-time, safety-critical velocity control of holonomic robots operating in incrementally built occupancy grid maps. As a robot explores an unknown environment, unmapped regions introduce irreducible uncertainty, since obstacle geometry beyond the explored frontier is unknown, making entry into such regions a source of collision risk, especially with front-facing sensors. To address this, we enforce two constraints: avoidance of mapped obstacles and restriction from unexplored regions. Both constraints are derived anal"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We present a dual-barrier control barrier function (CBF) safety filter for real-time, safety-critical velocity control of holonomic robots operating in incrementally built occupancy grid maps... Both constraints are derived analytically from the occupancy grid's signed distance field, yielding a closed-form safety filter that requires only a small linear system solve per cycle... Hardware flight experiments on a PX4-controlled quadrotor demonstrate zero collisions across multiple indoor runs.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The assumption that the signed distance field computed from the incrementally built occupancy grid sufficiently captures obstacle geometry and that restricting entry into unexplored regions adequately mitigates collision risk from unknown obstacles beyond the frontier, especially with front-facing sensors.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A closed-form dual-barrier CBF safety filter for holonomic robots on incremental occupancy grids enforces avoidance of mapped obstacles and unexplored regions with low overhead and zero collisions in quadrotor hardware tests.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"A dual-barrier CBF safety filter derived from occupancy grid signed distance fields enforces both obstacle avoidance and frontier restriction for holonomic robots in unknown environments.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"e14895c3cb98c0603ddf40f04f376b2c2a3f16ae1013afb6caff5bff5606239e"},"source":{"id":"2605.05182","kind":"arxiv","version":2},"verdict":{"id":"122409fc-8344-4191-8789-2d2281f50609","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-08T16:25:09.432434Z","strongest_claim":"We present a dual-barrier control barrier function (CBF) safety filter for real-time, safety-critical velocity control of holonomic robots operating in incrementally built occupancy grid maps... Both constraints are derived analytically from the occupancy grid's signed distance field, yielding a closed-form safety filter that requires only a small linear system solve per cycle... Hardware flight experiments on a PX4-controlled quadrotor demonstrate zero collisions across multiple indoor runs.","one_line_summary":"A closed-form dual-barrier CBF safety filter for holonomic robots on incremental occupancy grids enforces avoidance of mapped obstacles and unexplored regions with low overhead and zero collisions in quadrotor hardware tests.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The assumption that the signed distance field computed from the incrementally built occupancy grid sufficiently captures obstacle geometry and that restricting entry into unexplored regions adequately mitigates collision risk from unknown obstacles beyond the frontier, especially with front-facing sensors.","pith_extraction_headline":"A dual-barrier CBF safety filter derived from occupancy grid signed distance fields enforces both obstacle avoidance and frontier restriction for holonomic robots in unknown environments."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.05182/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"ai_meta_artifact","ran_at":"2026-05-20T10:35:38.773356Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_title_agreement","ran_at":"2026-05-19T21:01:19.749591Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T13:47:14.509161Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"b75779f0931cb26d894f0ae541bc05c3c33eed8542c94a1ab94d7199721f5646"},"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":"122409fc-8344-4191-8789-2d2281f50609"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-26T01:03:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WbpOdhcnAezhZpvKAgIslLr8KuS75CebJD7BwG55D0a12vLvo0dVZw+CyLL5zo/lsEahVnZlriikikBmky7uDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T14:21:52.730488Z"},"content_sha256":"28b873c2a7ea3afc454f23545a9322bc45272547a33d3a583f55538f7121f529","schema_version":"1.0","event_id":"sha256:28b873c2a7ea3afc454f23545a9322bc45272547a33d3a583f55538f7121f529"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NTFGHXWSBMXMP5O7KPBJOK2N26/bundle.json","state_url":"https://pith.science/pith/NTFGHXWSBMXMP5O7KPBJOK2N26/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NTFGHXWSBMXMP5O7KPBJOK2N26/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-06-21T14:21:52Z","links":{"resolver":"https://pith.science/pith/NTFGHXWSBMXMP5O7KPBJOK2N26","bundle":"https://pith.science/pith/NTFGHXWSBMXMP5O7KPBJOK2N26/bundle.json","state":"https://pith.science/pith/NTFGHXWSBMXMP5O7KPBJOK2N26/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NTFGHXWSBMXMP5O7KPBJOK2N26/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NTFGHXWSBMXMP5O7KPBJOK2N26","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":"ffbaaab81911292f8dd684d64430b128a2a7bc7833886affa466c87617a1ecf3","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-06T17:49:17Z","title_canon_sha256":"9e8c6852316aaa14cdfe9f833ab89cffc92c9d15d229cd38289019fe2b89dd0a"},"schema_version":"1.0","source":{"id":"2605.05182","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.05182","created_at":"2026-05-26T01:03:32Z"},{"alias_kind":"arxiv_version","alias_value":"2605.05182v2","created_at":"2026-05-26T01:03:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.05182","created_at":"2026-05-26T01:03:32Z"},{"alias_kind":"pith_short_12","alias_value":"NTFGHXWSBMXM","created_at":"2026-05-26T01:03:32Z"},{"alias_kind":"pith_short_16","alias_value":"NTFGHXWSBMXMP5O7","created_at":"2026-05-26T01:03:32Z"},{"alias_kind":"pith_short_8","alias_value":"NTFGHXWS","created_at":"2026-05-26T01:03:32Z"}],"graph_snapshots":[{"event_id":"sha256:28b873c2a7ea3afc454f23545a9322bc45272547a33d3a583f55538f7121f529","target":"graph","created_at":"2026-05-26T01:03:32Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We present a dual-barrier control barrier function (CBF) safety filter for real-time, safety-critical velocity control of holonomic robots operating in incrementally built occupancy grid maps... Both constraints are derived analytically from the occupancy grid's signed distance field, yielding a closed-form safety filter that requires only a small linear system solve per cycle... Hardware flight experiments on a PX4-controlled quadrotor demonstrate zero collisions across multiple indoor runs."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The assumption that the signed distance field computed from the incrementally built occupancy grid sufficiently captures obstacle geometry and that restricting entry into unexplored regions adequately mitigates collision risk from unknown obstacles beyond the frontier, especially with front-facing sensors."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A closed-form dual-barrier CBF safety filter for holonomic robots on incremental occupancy grids enforces avoidance of mapped obstacles and unexplored regions with low overhead and zero collisions in quadrotor hardware tests."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A dual-barrier CBF safety filter derived from occupancy grid signed distance fields enforces both obstacle avoidance and frontier restriction for holonomic robots in unknown environments."}],"snapshot_sha256":"e14895c3cb98c0603ddf40f04f376b2c2a3f16ae1013afb6caff5bff5606239e"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-20T10:35:38.773356Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T21:01:19.749591Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T13:47:14.509161Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.05182/integrity.json","findings":[],"snapshot_sha256":"b75779f0931cb26d894f0ae541bc05c3c33eed8542c94a1ab94d7199721f5646","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a dual-barrier control barrier function (CBF) safety filter for real-time, safety-critical velocity control of holonomic robots operating in incrementally built occupancy grid maps. As a robot explores an unknown environment, unmapped regions introduce irreducible uncertainty, since obstacle geometry beyond the explored frontier is unknown, making entry into such regions a source of collision risk, especially with front-facing sensors. To address this, we enforce two constraints: avoidance of mapped obstacles and restriction from unexplored regions. Both constraints are derived anal","authors_text":"Alina Bartaula, Basanta Joshi, Biman Rimal, Dhirendra Raj Madai, Himanshu Paudel, Sanjay Neupane","cross_cats":["cs.SY","eess.SY"],"headline":"A dual-barrier CBF safety filter derived from occupancy grid signed distance fields enforces both obstacle avoidance and frontier restriction for holonomic robots in unknown environments.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-06T17:49:17Z","title":"A Closed-Form Dual-Barrier CBF Safety Filter for Holonomic Robots on Incrementally Built Occupancy Grid Maps"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.05182","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-08T16:25:09.432434Z","id":"122409fc-8344-4191-8789-2d2281f50609","model_set":{"reader":"grok-4.3"},"one_line_summary":"A closed-form dual-barrier CBF safety filter for holonomic robots on incremental occupancy grids enforces avoidance of mapped obstacles and unexplored regions with low overhead and zero collisions in quadrotor hardware tests.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A dual-barrier CBF safety filter derived from occupancy grid signed distance fields enforces both obstacle avoidance and frontier restriction for holonomic robots in unknown environments.","strongest_claim":"We present a dual-barrier control barrier function (CBF) safety filter for real-time, safety-critical velocity control of holonomic robots operating in incrementally built occupancy grid maps... Both constraints are derived analytically from the occupancy grid's signed distance field, yielding a closed-form safety filter that requires only a small linear system solve per cycle... Hardware flight experiments on a PX4-controlled quadrotor demonstrate zero collisions across multiple indoor runs.","weakest_assumption":"The assumption that the signed distance field computed from the incrementally built occupancy grid sufficiently captures obstacle geometry and that restricting entry into unexplored regions adequately mitigates collision risk from unknown obstacles beyond the frontier, especially with front-facing sensors."}},"verdict_id":"122409fc-8344-4191-8789-2d2281f50609"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:8d1706d267ac0e584fae911917695a0a315b6bd79d87a29d1b0402e717b48479","target":"record","created_at":"2026-05-26T01:03:32Z","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":"ffbaaab81911292f8dd684d64430b128a2a7bc7833886affa466c87617a1ecf3","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-05-06T17:49:17Z","title_canon_sha256":"9e8c6852316aaa14cdfe9f833ab89cffc92c9d15d229cd38289019fe2b89dd0a"},"schema_version":"1.0","source":{"id":"2605.05182","kind":"arxiv","version":2}},"canonical_sha256":"6cca63ded20b2ec7f5df53c2972b4dd7b6d9dcef844d78a0fde9d763263ccfcb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6cca63ded20b2ec7f5df53c2972b4dd7b6d9dcef844d78a0fde9d763263ccfcb","first_computed_at":"2026-05-26T01:03:32.361978Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-26T01:03:32.361978Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hCYzda87VKg1epA/LNtHKSJ+LHyp94nLFtvAqQc2sJZyQmdSi/AwefgY7uyIDOjFpzu8idII04MadX9QszEICw==","signature_status":"signed_v1","signed_at":"2026-05-26T01:03:32.362675Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.05182","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8d1706d267ac0e584fae911917695a0a315b6bd79d87a29d1b0402e717b48479","sha256:28b873c2a7ea3afc454f23545a9322bc45272547a33d3a583f55538f7121f529"],"state_sha256":"677a51b1d83c98aabc68fe3423afa19b874e1ca6a37904c138b1b7431b156463"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CUai/B2S86U4exft0jqhlCwEcNSFrsywVJoyzTIjEjTHiIAVHlzxcu5isczU3wRz3OS1uwMMF+90qEG5mn99Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T14:21:52.732910Z","bundle_sha256":"df2f9a5c7000ffe911f9869aca38a574f35f28cf00d72450c78ade76f8fba75b"}}