{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:77GGG73V3X7Z5PCAFAIKNPRBS6","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":"0c2d691e007fbc03c3908ceae3204158598adfdca742cb68e1e5ab03e2b577d2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-05-16T03:20:37Z","title_canon_sha256":"9704b6a819d8b0878611e4c55a2f1776fc6fea55327d78fdade8b6b2de3d913a"},"schema_version":"1.0","source":{"id":"2605.16780","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.16780","created_at":"2026-05-20T00:03:21Z"},{"alias_kind":"arxiv_version","alias_value":"2605.16780v1","created_at":"2026-05-20T00:03:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.16780","created_at":"2026-05-20T00:03:21Z"},{"alias_kind":"pith_short_12","alias_value":"77GGG73V3X7Z","created_at":"2026-05-20T00:03:21Z"},{"alias_kind":"pith_short_16","alias_value":"77GGG73V3X7Z5PCA","created_at":"2026-05-20T00:03:21Z"},{"alias_kind":"pith_short_8","alias_value":"77GGG73V","created_at":"2026-05-20T00:03:21Z"}],"graph_snapshots":[{"event_id":"sha256:644cc5223207123352378f1e749d904526017893ef16c7a602435006566b4481","target":"graph","created_at":"2026-05-20T00:03:21Z","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 establish a diameter bound Δ_ε(x) ≤ L_F(x) diam(S_ε(x)) and an O(√ε) estimate under quadratic lower-level growth. The contribution here is to make it operational as an implementation-risk diagnostic."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The lower-level problem satisfies a quadratic growth condition (or at least local Lipschitz continuity of the upper-level value function) that allows the O(√ε) rate and the diameter bound to hold; this is invoked to derive the estimates for the ambiguity premium."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"The paper defines the ambiguity premium Δ_ε(x) as the gap between pessimistic and optimistic upper-level values over ε-optimal follower responses and provides bounds plus a screening workflow to trace robustness-efficiency frontiers in bilevel problems."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Bilevel decisions carry hidden implementation risk when follower responses are near-optimal rather than exactly optimal."}],"snapshot_sha256":"79baf4f82c736d91bfd2edb96a7ab82d09db8c0617fb3d52f7ec70d2ab656b55"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"e5fd58e537c097d491b2dca6590be4df362e1a5fab45479e43844a8040108e40"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T21:31:19.345398Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T21:31:00.966806Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T19:01:56.303021Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T18:33:26.438462Z","status":"skipped","version":"1.0.0"}],"endpoint":"/pith/2605.16780/integrity.json","findings":[],"snapshot_sha256":"90fbb5e28daf8620920a308fb297985d3fbb7992ecd84c5379401f2984b9e92d","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Hierarchical decision problems are often modeled as bilevel programs in which a leader commits to a policy and a follower responds optimally. When the follower's optimal response is nonunique, or when only near-optimal follower behavior can be verified, the same leader decision may induce a range of upper-level outcomes. This paper develops a diagnostic framework for quantifying that exposure. For a leader decision $x$, we evaluate the optimistic and pessimistic upper-level values over the $\\epsilon$-optimal follower response set $S_\\epsilon(x)$ and use their difference, \\[\n  \\Delta_\\epsilon(x","authors_text":"Jiguang Yu","cross_cats":[],"headline":"Bilevel decisions carry hidden implementation risk when follower responses are near-optimal rather than exactly optimal.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-05-16T03:20:37Z","title":"A Diagnostic Framework for Implementation Risk in Bilevel Decision Problems: The Ambiguity Premium and the Robustness--Efficiency Frontier"},"references":{"count":91,"internal_anchors":4,"resolved_work":91,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"An overview of bilevel optimization","work_id":"d86ad406-bf2f-4780-9e18-327743c0c66b","year":2007},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Bidi- rectional endothelial feedback drives turing-vascular patterning and drug-resistance niches: a hybrid pde-agent-based study.Bioengineering, 12(10):1097, 2025","work_id":"79618f5a-ae19-4632-be28-6bc54d3c1e5c","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Algebraic–spectral thresholds and discrete–continuous stability transfer in leslie–gower systems.Electronic Research Archive, 34(1):251–290, 2026","work_id":"ac11df8d-4b5b-4fce-bafe-7eae94c07afd","year":2026},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Analysis and mean-field limit of a hybrid pde-abm modeling angiogenesis-regulated resistance evolution.Mathematics, 13(17):2898, 2025","work_id":"7fa1a3cb-ce77-45af-aa60-60f53ece9d69","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Stephan Dempe.Foundations of bilevel programming. Springer, 2002. 21","work_id":"d9f76c49-0e6c-4155-ae04-fa63bc9a2648","year":2002}],"snapshot_sha256":"a56e10c847b106d1c9970176459e8c6ba756308aec999f25e80a560750fac9af"},"source":{"id":"2605.16780","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-19T21:19:17.810027Z","id":"da7edcc7-4a4b-4f78-b0b5-ec8a97f8dc28","model_set":{"reader":"grok-4.3"},"one_line_summary":"The paper defines the ambiguity premium Δ_ε(x) as the gap between pessimistic and optimistic upper-level values over ε-optimal follower responses and provides bounds plus a screening workflow to trace robustness-efficiency frontiers in bilevel problems.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Bilevel decisions carry hidden implementation risk when follower responses are near-optimal rather than exactly optimal.","strongest_claim":"We establish a diameter bound Δ_ε(x) ≤ L_F(x) diam(S_ε(x)) and an O(√ε) estimate under quadratic lower-level growth. The contribution here is to make it operational as an implementation-risk diagnostic.","weakest_assumption":"The lower-level problem satisfies a quadratic growth condition (or at least local Lipschitz continuity of the upper-level value function) that allows the O(√ε) rate and the diameter bound to hold; this is invoked to derive the estimates for the ambiguity premium."}},"verdict_id":"da7edcc7-4a4b-4f78-b0b5-ec8a97f8dc28"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3491430958c27bdefebf71964f7588a1eb90a65e0f53992c06c7b91806bd6a0a","target":"record","created_at":"2026-05-20T00:03:21Z","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":"0c2d691e007fbc03c3908ceae3204158598adfdca742cb68e1e5ab03e2b577d2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-05-16T03:20:37Z","title_canon_sha256":"9704b6a819d8b0878611e4c55a2f1776fc6fea55327d78fdade8b6b2de3d913a"},"schema_version":"1.0","source":{"id":"2605.16780","kind":"arxiv","version":1}},"canonical_sha256":"ffcc637f75ddff9ebc402810a6be2197b9f752557c5633985776b741239443be","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ffcc637f75ddff9ebc402810a6be2197b9f752557c5633985776b741239443be","first_computed_at":"2026-05-20T00:03:21.624424Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:03:21.624424Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OA9Tvm7tW34b/TzLYFvjuCOjncNeYvaQ19gx4+4JbWowZL9rne963TAjTdAgNJ19kQSamugYPmDGZjA0nBqHBg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:03:21.625387Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.16780","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3491430958c27bdefebf71964f7588a1eb90a65e0f53992c06c7b91806bd6a0a","sha256:644cc5223207123352378f1e749d904526017893ef16c7a602435006566b4481"],"state_sha256":"99cff2e97a08649c300008e46f023dcb6d4747a85383b6951c2ce91b2e00b4a7"}