{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:OZZGZDQE6FFRCSOGNHLINOY27G","short_pith_number":"pith:OZZGZDQE","canonical_record":{"source":{"id":"2607.14023","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-07-15T16:55:13Z","cross_cats_sorted":["cs.SY","q-bio.QM"],"title_canon_sha256":"e9e57021cc6feb68ac0ffb3a223f161f3e52bac872608781925c8113133ac3f2","abstract_canon_sha256":"6b3f37f875f6dd259d9fefe90a870d99db53ae1ac57b4f5eaec59b43d3b1f858"},"schema_version":"1.0"},"canonical_sha256":"76726c8e04f14b1149c669d686bb1af9a845165a61af0513d5413110d968a8dd","source":{"kind":"arxiv","id":"2607.14023","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.14023","created_at":"2026-07-16T01:23:20Z"},{"alias_kind":"arxiv_version","alias_value":"2607.14023v1","created_at":"2026-07-16T01:23:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.14023","created_at":"2026-07-16T01:23:20Z"},{"alias_kind":"pith_short_12","alias_value":"OZZGZDQE6FFR","created_at":"2026-07-16T01:23:20Z"},{"alias_kind":"pith_short_16","alias_value":"OZZGZDQE6FFRCSOG","created_at":"2026-07-16T01:23:20Z"},{"alias_kind":"pith_short_8","alias_value":"OZZGZDQE","created_at":"2026-07-16T01:23:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:OZZGZDQE6FFRCSOGNHLINOY27G","target":"record","payload":{"canonical_record":{"source":{"id":"2607.14023","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-07-15T16:55:13Z","cross_cats_sorted":["cs.SY","q-bio.QM"],"title_canon_sha256":"e9e57021cc6feb68ac0ffb3a223f161f3e52bac872608781925c8113133ac3f2","abstract_canon_sha256":"6b3f37f875f6dd259d9fefe90a870d99db53ae1ac57b4f5eaec59b43d3b1f858"},"schema_version":"1.0"},"canonical_sha256":"76726c8e04f14b1149c669d686bb1af9a845165a61af0513d5413110d968a8dd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-16T01:23:20.132123Z","signature_b64":"EVIU1KeXop+l5bzUR6clf3lNDH1EGSMS5OWYCuTrH2bY4aP+iZhsW2hF2DgFGzCUh7HK6AEhOgkfM+wQGcfbDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"76726c8e04f14b1149c669d686bb1af9a845165a61af0513d5413110d968a8dd","last_reissued_at":"2026-07-16T01:23:20.131181Z","signature_status":"signed_v1","first_computed_at":"2026-07-16T01:23:20.131181Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.14023","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-07-16T01:23:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jaNcNxgTJ/bPLYGIgWF56gjQRajR727zWhSgRHSKqAZefj4plHaukSkuuHoXYtkYVnfBmqazQDuxe6BBpRhiDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T00:57:21.715476Z"},"content_sha256":"823d5845b44ba819aedd66250df37ac56e9625970e3e78988c21bd4df5ce0182","schema_version":"1.0","event_id":"sha256:823d5845b44ba819aedd66250df37ac56e9625970e3e78988c21bd4df5ce0182"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:OZZGZDQE6FFRCSOGNHLINOY27G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exact Decomposition of Adversarial Dual-Objective Value Functions, with Applications to Optimal Drug Dosing","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","q-bio.QM"],"primary_cat":"eess.SY","authors_text":"Dylan Hirsch, Sylvia Herbert, William Sharpless","submitted_at":"2026-07-15T16:55:13Z","abstract_excerpt":"Hamilton-Jacobi Reachability (HJR) is a central framework in safe control theory. While HJR has traditionally focused on a few fundamental tasks, there is increasing interest in scaling to more complex objectives. Recent works have studied the exact decomposition of the value functions for two fundamental dual-objective tasks in the adversary-free setting. However, not all value function decompositions in HJR remain valid with an adversary. In this work, we develop theoretical approaches to certify that for these two composite value functions, the proposed decompositions still hold with an adv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.14023","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/2607.14023/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-07-16T01:23:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gpE23mCLjTxEQsV3aN182usO64qgQlpwGBIBnkm7LRogznqgklORLn5pxHbNW3d+E3sOxk7HiTiUgukMJRVaBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T00:57:21.715997Z"},"content_sha256":"c26cd80c419bc74e95d0c9580f85e2f3975d6ca884dd65a22a1c60b360803a52","schema_version":"1.0","event_id":"sha256:c26cd80c419bc74e95d0c9580f85e2f3975d6ca884dd65a22a1c60b360803a52"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OZZGZDQE6FFRCSOGNHLINOY27G/bundle.json","state_url":"https://pith.science/pith/OZZGZDQE6FFRCSOGNHLINOY27G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OZZGZDQE6FFRCSOGNHLINOY27G/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-16T00:57:21Z","links":{"resolver":"https://pith.science/pith/OZZGZDQE6FFRCSOGNHLINOY27G","bundle":"https://pith.science/pith/OZZGZDQE6FFRCSOGNHLINOY27G/bundle.json","state":"https://pith.science/pith/OZZGZDQE6FFRCSOGNHLINOY27G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OZZGZDQE6FFRCSOGNHLINOY27G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:OZZGZDQE6FFRCSOGNHLINOY27G","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":"6b3f37f875f6dd259d9fefe90a870d99db53ae1ac57b4f5eaec59b43d3b1f858","cross_cats_sorted":["cs.SY","q-bio.QM"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-07-15T16:55:13Z","title_canon_sha256":"e9e57021cc6feb68ac0ffb3a223f161f3e52bac872608781925c8113133ac3f2"},"schema_version":"1.0","source":{"id":"2607.14023","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.14023","created_at":"2026-07-16T01:23:20Z"},{"alias_kind":"arxiv_version","alias_value":"2607.14023v1","created_at":"2026-07-16T01:23:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.14023","created_at":"2026-07-16T01:23:20Z"},{"alias_kind":"pith_short_12","alias_value":"OZZGZDQE6FFR","created_at":"2026-07-16T01:23:20Z"},{"alias_kind":"pith_short_16","alias_value":"OZZGZDQE6FFRCSOG","created_at":"2026-07-16T01:23:20Z"},{"alias_kind":"pith_short_8","alias_value":"OZZGZDQE","created_at":"2026-07-16T01:23:20Z"}],"graph_snapshots":[{"event_id":"sha256:c26cd80c419bc74e95d0c9580f85e2f3975d6ca884dd65a22a1c60b360803a52","target":"graph","created_at":"2026-07-16T01:23:20Z","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/2607.14023/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Hamilton-Jacobi Reachability (HJR) is a central framework in safe control theory. While HJR has traditionally focused on a few fundamental tasks, there is increasing interest in scaling to more complex objectives. Recent works have studied the exact decomposition of the value functions for two fundamental dual-objective tasks in the adversary-free setting. However, not all value function decompositions in HJR remain valid with an adversary. In this work, we develop theoretical approaches to certify that for these two composite value functions, the proposed decompositions still hold with an adv","authors_text":"Dylan Hirsch, Sylvia Herbert, William Sharpless","cross_cats":["cs.SY","q-bio.QM"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-07-15T16:55:13Z","title":"Exact Decomposition of Adversarial Dual-Objective Value Functions, with Applications to Optimal Drug Dosing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.14023","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:823d5845b44ba819aedd66250df37ac56e9625970e3e78988c21bd4df5ce0182","target":"record","created_at":"2026-07-16T01:23:20Z","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":"6b3f37f875f6dd259d9fefe90a870d99db53ae1ac57b4f5eaec59b43d3b1f858","cross_cats_sorted":["cs.SY","q-bio.QM"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-07-15T16:55:13Z","title_canon_sha256":"e9e57021cc6feb68ac0ffb3a223f161f3e52bac872608781925c8113133ac3f2"},"schema_version":"1.0","source":{"id":"2607.14023","kind":"arxiv","version":1}},"canonical_sha256":"76726c8e04f14b1149c669d686bb1af9a845165a61af0513d5413110d968a8dd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"76726c8e04f14b1149c669d686bb1af9a845165a61af0513d5413110d968a8dd","first_computed_at":"2026-07-16T01:23:20.131181Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-16T01:23:20.131181Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EVIU1KeXop+l5bzUR6clf3lNDH1EGSMS5OWYCuTrH2bY4aP+iZhsW2hF2DgFGzCUh7HK6AEhOgkfM+wQGcfbDQ==","signature_status":"signed_v1","signed_at":"2026-07-16T01:23:20.132123Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.14023","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:823d5845b44ba819aedd66250df37ac56e9625970e3e78988c21bd4df5ce0182","sha256:c26cd80c419bc74e95d0c9580f85e2f3975d6ca884dd65a22a1c60b360803a52"],"state_sha256":"aa53adfb7f61e932df3c34ea9bad986ef23efedcef124198979b9a8740c40ce4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JoD8Ii4ealRsrAIwAXgsAPa/mu8nI/O4X1eN+goSwGQXV1pBMBUxgy9c/YAdK/2KBMs8tknZF40xeyiwuYrRBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T00:57:21.719977Z","bundle_sha256":"23077fb1bc1477ccffbb55536821a3891e2f1bbdf230a6e84e275dc2381d05f9"}}