{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:KOSUZFO46LAOJRAXX5LSF2ZWFZ","short_pith_number":"pith:KOSUZFO4","canonical_record":{"source":{"id":"2602.05198","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-02-05T01:51:38Z","cross_cats_sorted":[],"title_canon_sha256":"cc7b1ff755f2ea4e869f39c4b98849b4c7c3c60a32d8607a4f671f5fdf12543a","abstract_canon_sha256":"9e572d998636a509cfb748b1207db6f7d76f04ac3a241513dde335712d2c929c"},"schema_version":"1.0"},"canonical_sha256":"53a54c95dcf2c0e4c417bf5722eb362e638ba181b39e741d3e628ce5a4292c12","source":{"kind":"arxiv","id":"2602.05198","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.05198","created_at":"2026-05-28T01:04:07Z"},{"alias_kind":"arxiv_version","alias_value":"2602.05198v3","created_at":"2026-05-28T01:04:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.05198","created_at":"2026-05-28T01:04:07Z"},{"alias_kind":"pith_short_12","alias_value":"KOSUZFO46LAO","created_at":"2026-05-28T01:04:07Z"},{"alias_kind":"pith_short_16","alias_value":"KOSUZFO46LAOJRAX","created_at":"2026-05-28T01:04:07Z"},{"alias_kind":"pith_short_8","alias_value":"KOSUZFO4","created_at":"2026-05-28T01:04:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:KOSUZFO46LAOJRAXX5LSF2ZWFZ","target":"record","payload":{"canonical_record":{"source":{"id":"2602.05198","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-02-05T01:51:38Z","cross_cats_sorted":[],"title_canon_sha256":"cc7b1ff755f2ea4e869f39c4b98849b4c7c3c60a32d8607a4f671f5fdf12543a","abstract_canon_sha256":"9e572d998636a509cfb748b1207db6f7d76f04ac3a241513dde335712d2c929c"},"schema_version":"1.0"},"canonical_sha256":"53a54c95dcf2c0e4c417bf5722eb362e638ba181b39e741d3e628ce5a4292c12","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-28T01:04:07.811268Z","signature_b64":"u/Yzjhz5jncTLDUjgWU/Hf/40vNNnwVgxShhG+MhiHFdbATvVmiLT1tZuj0z6rQgXd9ruD8G6oB2bU0WmnmyDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"53a54c95dcf2c0e4c417bf5722eb362e638ba181b39e741d3e628ce5a4292c12","last_reissued_at":"2026-05-28T01:04:07.810707Z","signature_status":"signed_v1","first_computed_at":"2026-05-28T01:04:07.810707Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2602.05198","source_version":3,"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-28T01:04:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s7pzx1nUv1u1ZwY5eMhB1G2TqJc3LJRWLQEBhfhBS//gUIUUAI8F9dIxBtu5Grx6vMrrKCXXn95tEQSoYnboCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T06:15:39.707743Z"},"content_sha256":"6e9f665c8d3e44a64c238ef6eb05e7eab9047e665cdb8ba9685849bc568391eb","schema_version":"1.0","event_id":"sha256:6e9f665c8d3e44a64c238ef6eb05e7eab9047e665cdb8ba9685849bc568391eb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:KOSUZFO46LAOJRAXX5LSF2ZWFZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Informative Path Planning with Guaranteed Estimation Uncertainty","license":"http://creativecommons.org/licenses/by/4.0/","headline":"The shortest path for a robot to measure an environmental field can be computed so that Gaussian process posterior variance stays below any chosen threshold everywhere in the region.","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Jason O'Kane, Kalvik Jakkala, Saurav Agarwal, Srinivas Akella","submitted_at":"2026-02-05T01:51:38Z","abstract_excerpt":"Environmental monitoring robots often need to estimate data fields (e.g., salinity, temperature, bathymetry) under tight resource constraints. Classical boustrophedon lawnmower surveys provide geometric coverage guarantees but can waste effort by oversampling predictable regions. In contrast, informative path planning (IPP) methods leverage spatial correlations to reduce oversampling, yet typically offer no guarantees on estimation quality. This paper bridges these approaches by addressing IPP with guaranteed estimation uncertainty in complex environments: computing the shortest path whose mea"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"computing the shortest path whose measurements ensure that the Gaussian process (GP) posterior variance -- an intrinsic uncertainty measure that lower-bounds the mean-squared prediction error under the GP model -- is upper bounded by a user-specified threshold over the monitoring region","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The GP model learned from prior data accurately captures the true spatial correlations of the environmental field so that posterior variance provides a valid bound on prediction error; this is invoked when transforming the kernel into coverage maps.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A method computes near-shortest paths guaranteeing GP posterior variance below a threshold over a region by converting kernels to binary coverage maps and solving a budgeted routing problem with approximation guarantees.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"The shortest path for a robot to measure an environmental field can be computed so that Gaussian process posterior variance stays below any chosen threshold everywhere in the region.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"469913a6824b53cc227d60830a932bec0fb406db4711156e9813825600153fc1"},"source":{"id":"2602.05198","kind":"arxiv","version":3},"verdict":{"id":"8e30ce04-c36c-433f-a96e-796be0b0ef94","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-16T07:45:40.624802Z","strongest_claim":"computing the shortest path whose measurements ensure that the Gaussian process (GP) posterior variance -- an intrinsic uncertainty measure that lower-bounds the mean-squared prediction error under the GP model -- is upper bounded by a user-specified threshold over the monitoring region","one_line_summary":"A method computes near-shortest paths guaranteeing GP posterior variance below a threshold over a region by converting kernels to binary coverage maps and solving a budgeted routing problem with approximation guarantees.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The GP model learned from prior data accurately captures the true spatial correlations of the environmental field so that posterior variance provides a valid bound on prediction error; this is invoked when transforming the kernel into coverage maps.","pith_extraction_headline":"The shortest path for a robot to measure an environmental field can be computed so that Gaussian process posterior variance stays below any chosen threshold everywhere in the region."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2602.05198/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":2,"snapshot_sha256":"1d23d982ffb00473587312065784015d27c027b6061f54ac0f68899219ce79db"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"8e30ce04-c36c-433f-a96e-796be0b0ef94"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-28T01:04:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1335lR6R+0Po5T8z67qqfjmyjxdh+ABXjx2ggyeFiG0834Mbv1dvpBIlZICNxWwwSDnzjZpSeGFTAFIH7wpHBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T06:15:39.708395Z"},"content_sha256":"76dac8e2769f8f6f61b45805f0b7bdf054eabca92c3b2d11620f6032a8c2ea17","schema_version":"1.0","event_id":"sha256:76dac8e2769f8f6f61b45805f0b7bdf054eabca92c3b2d11620f6032a8c2ea17"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KOSUZFO46LAOJRAXX5LSF2ZWFZ/bundle.json","state_url":"https://pith.science/pith/KOSUZFO46LAOJRAXX5LSF2ZWFZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KOSUZFO46LAOJRAXX5LSF2ZWFZ/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-24T06:15:39Z","links":{"resolver":"https://pith.science/pith/KOSUZFO46LAOJRAXX5LSF2ZWFZ","bundle":"https://pith.science/pith/KOSUZFO46LAOJRAXX5LSF2ZWFZ/bundle.json","state":"https://pith.science/pith/KOSUZFO46LAOJRAXX5LSF2ZWFZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KOSUZFO46LAOJRAXX5LSF2ZWFZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:KOSUZFO46LAOJRAXX5LSF2ZWFZ","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":"9e572d998636a509cfb748b1207db6f7d76f04ac3a241513dde335712d2c929c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-02-05T01:51:38Z","title_canon_sha256":"cc7b1ff755f2ea4e869f39c4b98849b4c7c3c60a32d8607a4f671f5fdf12543a"},"schema_version":"1.0","source":{"id":"2602.05198","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.05198","created_at":"2026-05-28T01:04:07Z"},{"alias_kind":"arxiv_version","alias_value":"2602.05198v3","created_at":"2026-05-28T01:04:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.05198","created_at":"2026-05-28T01:04:07Z"},{"alias_kind":"pith_short_12","alias_value":"KOSUZFO46LAO","created_at":"2026-05-28T01:04:07Z"},{"alias_kind":"pith_short_16","alias_value":"KOSUZFO46LAOJRAX","created_at":"2026-05-28T01:04:07Z"},{"alias_kind":"pith_short_8","alias_value":"KOSUZFO4","created_at":"2026-05-28T01:04:07Z"}],"graph_snapshots":[{"event_id":"sha256:76dac8e2769f8f6f61b45805f0b7bdf054eabca92c3b2d11620f6032a8c2ea17","target":"graph","created_at":"2026-05-28T01:04:07Z","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":"computing the shortest path whose measurements ensure that the Gaussian process (GP) posterior variance -- an intrinsic uncertainty measure that lower-bounds the mean-squared prediction error under the GP model -- is upper bounded by a user-specified threshold over the monitoring region"},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The GP model learned from prior data accurately captures the true spatial correlations of the environmental field so that posterior variance provides a valid bound on prediction error; this is invoked when transforming the kernel into coverage maps."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A method computes near-shortest paths guaranteeing GP posterior variance below a threshold over a region by converting kernels to binary coverage maps and solving a budgeted routing problem with approximation guarantees."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"The shortest path for a robot to measure an environmental field can be computed so that Gaussian process posterior variance stays below any chosen threshold everywhere in the region."}],"snapshot_sha256":"469913a6824b53cc227d60830a932bec0fb406db4711156e9813825600153fc1"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"1d23d982ffb00473587312065784015d27c027b6061f54ac0f68899219ce79db"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2602.05198/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Environmental monitoring robots often need to estimate data fields (e.g., salinity, temperature, bathymetry) under tight resource constraints. Classical boustrophedon lawnmower surveys provide geometric coverage guarantees but can waste effort by oversampling predictable regions. In contrast, informative path planning (IPP) methods leverage spatial correlations to reduce oversampling, yet typically offer no guarantees on estimation quality. This paper bridges these approaches by addressing IPP with guaranteed estimation uncertainty in complex environments: computing the shortest path whose mea","authors_text":"Jason O'Kane, Kalvik Jakkala, Saurav Agarwal, Srinivas Akella","cross_cats":[],"headline":"The shortest path for a robot to measure an environmental field can be computed so that Gaussian process posterior variance stays below any chosen threshold everywhere in the region.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-02-05T01:51:38Z","title":"Informative Path Planning with Guaranteed Estimation Uncertainty"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.05198","kind":"arxiv","version":3},"verdict":{"created_at":"2026-05-16T07:45:40.624802Z","id":"8e30ce04-c36c-433f-a96e-796be0b0ef94","model_set":{"reader":"grok-4.3"},"one_line_summary":"A method computes near-shortest paths guaranteeing GP posterior variance below a threshold over a region by converting kernels to binary coverage maps and solving a budgeted routing problem with approximation guarantees.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"The shortest path for a robot to measure an environmental field can be computed so that Gaussian process posterior variance stays below any chosen threshold everywhere in the region.","strongest_claim":"computing the shortest path whose measurements ensure that the Gaussian process (GP) posterior variance -- an intrinsic uncertainty measure that lower-bounds the mean-squared prediction error under the GP model -- is upper bounded by a user-specified threshold over the monitoring region","weakest_assumption":"The GP model learned from prior data accurately captures the true spatial correlations of the environmental field so that posterior variance provides a valid bound on prediction error; this is invoked when transforming the kernel into coverage maps."}},"verdict_id":"8e30ce04-c36c-433f-a96e-796be0b0ef94"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:6e9f665c8d3e44a64c238ef6eb05e7eab9047e665cdb8ba9685849bc568391eb","target":"record","created_at":"2026-05-28T01:04:07Z","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":"9e572d998636a509cfb748b1207db6f7d76f04ac3a241513dde335712d2c929c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2026-02-05T01:51:38Z","title_canon_sha256":"cc7b1ff755f2ea4e869f39c4b98849b4c7c3c60a32d8607a4f671f5fdf12543a"},"schema_version":"1.0","source":{"id":"2602.05198","kind":"arxiv","version":3}},"canonical_sha256":"53a54c95dcf2c0e4c417bf5722eb362e638ba181b39e741d3e628ce5a4292c12","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"53a54c95dcf2c0e4c417bf5722eb362e638ba181b39e741d3e628ce5a4292c12","first_computed_at":"2026-05-28T01:04:07.810707Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-28T01:04:07.810707Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u/Yzjhz5jncTLDUjgWU/Hf/40vNNnwVgxShhG+MhiHFdbATvVmiLT1tZuj0z6rQgXd9ruD8G6oB2bU0WmnmyDQ==","signature_status":"signed_v1","signed_at":"2026-05-28T01:04:07.811268Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.05198","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6e9f665c8d3e44a64c238ef6eb05e7eab9047e665cdb8ba9685849bc568391eb","sha256:76dac8e2769f8f6f61b45805f0b7bdf054eabca92c3b2d11620f6032a8c2ea17"],"state_sha256":"10cea00ebdd041e881ef39130172f23f4fba7439d74933cb4592e16bbf8855f7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+QlsYZ1KTM5eBHQUv46njefCuuKNEgLRZ33CnCwW+GmTKUK3T5rg2jVNKo6j1edhxa6yQdO5BtcmwewEZdNzAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T06:15:39.711483Z","bundle_sha256":"0fca3ea0ce904c9f0b5e7aa77854f3d8aa4fc36d7568b53b57fb9bffbf9bdc57"}}