{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:AVNLBFV4JGSKWAXDNWIVCDONHI","short_pith_number":"pith:AVNLBFV4","canonical_record":{"source":{"id":"2605.22364","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T11:58:01Z","cross_cats_sorted":[],"title_canon_sha256":"f3cd3a30561986fee44bb1ca2ec04028af71ed0b133dcf0cdadef64c0e704354","abstract_canon_sha256":"ba12998460320f3be1812302ab4ad4a7c588197e7fed49e984e79cd6caeed42c"},"schema_version":"1.0"},"canonical_sha256":"055ab096bc49a4ab02e36d91510dcd3a3751e1b645bb868f83ff9ee71c9ab67e","source":{"kind":"arxiv","id":"2605.22364","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.22364","created_at":"2026-05-22T01:04:39Z"},{"alias_kind":"arxiv_version","alias_value":"2605.22364v1","created_at":"2026-05-22T01:04:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22364","created_at":"2026-05-22T01:04:39Z"},{"alias_kind":"pith_short_12","alias_value":"AVNLBFV4JGSK","created_at":"2026-05-22T01:04:39Z"},{"alias_kind":"pith_short_16","alias_value":"AVNLBFV4JGSKWAXD","created_at":"2026-05-22T01:04:39Z"},{"alias_kind":"pith_short_8","alias_value":"AVNLBFV4","created_at":"2026-05-22T01:04:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:AVNLBFV4JGSKWAXDNWIVCDONHI","target":"record","payload":{"canonical_record":{"source":{"id":"2605.22364","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T11:58:01Z","cross_cats_sorted":[],"title_canon_sha256":"f3cd3a30561986fee44bb1ca2ec04028af71ed0b133dcf0cdadef64c0e704354","abstract_canon_sha256":"ba12998460320f3be1812302ab4ad4a7c588197e7fed49e984e79cd6caeed42c"},"schema_version":"1.0"},"canonical_sha256":"055ab096bc49a4ab02e36d91510dcd3a3751e1b645bb868f83ff9ee71c9ab67e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T01:04:39.790955Z","signature_b64":"hokMlfdo1VtdJ1dE3tLY0NDt4YV7YULLm38Ri0l88MgSKlGooZb1yex7QB0vYE8cMM/ifgcxNvM7m07GQStmAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"055ab096bc49a4ab02e36d91510dcd3a3751e1b645bb868f83ff9ee71c9ab67e","last_reissued_at":"2026-05-22T01:04:39.790202Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T01:04:39.790202Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.22364","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-05-22T01:04:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eIXoacVjNRRKIAmWWt4Hy3K7K2AOjnvmUIDgdIiDbauS9rkjwZnQ3jCh699cfl4JCxOOTKnJWVRNjCX6McZ2CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T20:21:22.985513Z"},"content_sha256":"e3c436b11a8f9a9b6f35fc38ff82527e79fab69aeb544ff961a75f7d8949ba84","schema_version":"1.0","event_id":"sha256:e3c436b11a8f9a9b6f35fc38ff82527e79fab69aeb544ff961a75f7d8949ba84"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:AVNLBFV4JGSKWAXDNWIVCDONHI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Scaling Observation-aware Planning in Uncertain Domains","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Adrian Zvizdenco, Alberto Lluch Lafuente, Arthur Conrado Veiga Bosquetti, Christoph Matheja","submitted_at":"2026-05-21T11:58:01Z","abstract_excerpt":"Deciding which sensing capabilities to deploy on an agent in uncertain domains is a fundamental engineering challenge, in which one balances task achievability against the high costs of hardware and processing. This problem has previously been formalized as the Optimal Observability Problem (OOP), based on the well-known Partially Observable Markov Decision Process (POMDP) model for decision-making. This work studies (sub-)symbolic techniques to scale solving of decidable fragments of the OOP, namely the Sensor Selection Problem (SSP) and the Positional Observability Problem (POP). Besides imp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22364","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/2605.22364/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-05-22T01:04:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"flbe1SiT2xFlXLLoEiT9ghKrYx81jx4F7qj+8Sut7IO46YfJpeG/vwznBR1oR1ZkhR2Y80vZnLkbmaTyAg6CCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T20:21:22.986252Z"},"content_sha256":"e547d6af7d43a522760a65288f843c118694400009813282c70ea81c84d8f3ad","schema_version":"1.0","event_id":"sha256:e547d6af7d43a522760a65288f843c118694400009813282c70ea81c84d8f3ad"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:AVNLBFV4JGSKWAXDNWIVCDONHI","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.34727/2023/isbn.978-3-85448-060-026) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Zhou, Y ., Bosamiya, J., Takashima, Y ., Li, J., Heule, M., Parno, B.: Mariposa: Measuring smt instability in automated program verification. In: 2023 Formal Methods in Computer- Aided Design (FMCAD). pp. 178–188 (2023). https://doi.org/10.","arxiv_id":"2605.22364","detector":"doi_compliance","evidence":{"ref_index":27,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Zhou, Y ., Bosamiya, J., Takashima, Y ., Li, J., Heule, M., Parno, B.: Mariposa: Measuring smt instability in automated program verification. In: 2023 Formal Methods in Computer- Aided Design (FMCAD). pp. 178–188 (2023). https://doi.org/10.","reconstructed_doi":"10.34727/2023/isbn.978-3-85448-060-026"},"severity":"advisory","ref_index":27,"audited_at":"2026-05-22T05:10:06.186116Z","event_type":"pith.integrity.v1","detected_doi":"10.34727/2023/isbn.978-3-85448-060-026","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"cbb3a63ec9e649096b93fa63acb0089a14ba7dbcf66bc9f5f382506f04fa5237","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":6191,"payload_sha256":"1325184b20373bcae47568cebd964ca79bed47a86e27f04007d77f24b4ac6cd4","signature_b64":"EpkZ2ZU0I19a/UB51v0OpTXCPSnpnossD/vZlRcgHQj2wISTj9y7xVomJli+UsgMjiA83dv84HbVo2cREt0GAw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-22T05:10:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V7TY+FZ7BPao5QQ+LG9T15F3BMSv+i+18M7jAuB8dXoao44esVEXa633i/UBMlnIJleh/9tfYUce1892lUMcAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T20:21:22.987743Z"},"content_sha256":"b1e72c701cf1985255fa8985ea696515662a135eaad9fe9c4a085592db37d76f","schema_version":"1.0","event_id":"sha256:b1e72c701cf1985255fa8985ea696515662a135eaad9fe9c4a085592db37d76f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AVNLBFV4JGSKWAXDNWIVCDONHI/bundle.json","state_url":"https://pith.science/pith/AVNLBFV4JGSKWAXDNWIVCDONHI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AVNLBFV4JGSKWAXDNWIVCDONHI/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-05-23T20:21:22Z","links":{"resolver":"https://pith.science/pith/AVNLBFV4JGSKWAXDNWIVCDONHI","bundle":"https://pith.science/pith/AVNLBFV4JGSKWAXDNWIVCDONHI/bundle.json","state":"https://pith.science/pith/AVNLBFV4JGSKWAXDNWIVCDONHI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AVNLBFV4JGSKWAXDNWIVCDONHI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:AVNLBFV4JGSKWAXDNWIVCDONHI","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ba12998460320f3be1812302ab4ad4a7c588197e7fed49e984e79cd6caeed42c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T11:58:01Z","title_canon_sha256":"f3cd3a30561986fee44bb1ca2ec04028af71ed0b133dcf0cdadef64c0e704354"},"schema_version":"1.0","source":{"id":"2605.22364","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.22364","created_at":"2026-05-22T01:04:39Z"},{"alias_kind":"arxiv_version","alias_value":"2605.22364v1","created_at":"2026-05-22T01:04:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22364","created_at":"2026-05-22T01:04:39Z"},{"alias_kind":"pith_short_12","alias_value":"AVNLBFV4JGSK","created_at":"2026-05-22T01:04:39Z"},{"alias_kind":"pith_short_16","alias_value":"AVNLBFV4JGSKWAXD","created_at":"2026-05-22T01:04:39Z"},{"alias_kind":"pith_short_8","alias_value":"AVNLBFV4","created_at":"2026-05-22T01:04:39Z"}],"graph_snapshots":[{"event_id":"sha256:e547d6af7d43a522760a65288f843c118694400009813282c70ea81c84d8f3ad","target":"graph","created_at":"2026-05-22T01:04:39Z","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/2605.22364/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deciding which sensing capabilities to deploy on an agent in uncertain domains is a fundamental engineering challenge, in which one balances task achievability against the high costs of hardware and processing. This problem has previously been formalized as the Optimal Observability Problem (OOP), based on the well-known Partially Observable Markov Decision Process (POMDP) model for decision-making. This work studies (sub-)symbolic techniques to scale solving of decidable fragments of the OOP, namely the Sensor Selection Problem (SSP) and the Positional Observability Problem (POP). Besides imp","authors_text":"Adrian Zvizdenco, Alberto Lluch Lafuente, Arthur Conrado Veiga Bosquetti, Christoph Matheja","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T11:58:01Z","title":"Scaling Observation-aware Planning in Uncertain Domains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22364","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:e3c436b11a8f9a9b6f35fc38ff82527e79fab69aeb544ff961a75f7d8949ba84","target":"record","created_at":"2026-05-22T01:04:39Z","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":"ba12998460320f3be1812302ab4ad4a7c588197e7fed49e984e79cd6caeed42c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-21T11:58:01Z","title_canon_sha256":"f3cd3a30561986fee44bb1ca2ec04028af71ed0b133dcf0cdadef64c0e704354"},"schema_version":"1.0","source":{"id":"2605.22364","kind":"arxiv","version":1}},"canonical_sha256":"055ab096bc49a4ab02e36d91510dcd3a3751e1b645bb868f83ff9ee71c9ab67e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"055ab096bc49a4ab02e36d91510dcd3a3751e1b645bb868f83ff9ee71c9ab67e","first_computed_at":"2026-05-22T01:04:39.790202Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T01:04:39.790202Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hokMlfdo1VtdJ1dE3tLY0NDt4YV7YULLm38Ri0l88MgSKlGooZb1yex7QB0vYE8cMM/ifgcxNvM7m07GQStmAw==","signature_status":"signed_v1","signed_at":"2026-05-22T01:04:39.790955Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.22364","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e3c436b11a8f9a9b6f35fc38ff82527e79fab69aeb544ff961a75f7d8949ba84","sha256:e547d6af7d43a522760a65288f843c118694400009813282c70ea81c84d8f3ad","sha256:b1e72c701cf1985255fa8985ea696515662a135eaad9fe9c4a085592db37d76f"],"state_sha256":"0ade79ab050c8c71d0a30dba27d2af1903073a3e5c1465e8c0171577015f62bf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t3aPp4/wqE9zbDeXNH8T+DzFrP90jPDlxkBapce9vYuEJ5iJXlKHUQtUeXNRLlJ5rCEgZVz1GshgZOEbvWvgBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T20:21:22.991522Z","bundle_sha256":"2a8c2fec2ed293a5ffc907bebd19a93c14df4f3b0f47039994321acd1525a287"}}