{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:YMIEVU6LH45DIZZ32O3VLNO3SD","short_pith_number":"pith:YMIEVU6L","canonical_record":{"source":{"id":"2405.12836","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-05-21T14:39:39Z","cross_cats_sorted":[],"title_canon_sha256":"ac04188dfc2f5f46c6ff83ba5e90894782774b650257d1a07c7cedfd79a13a63","abstract_canon_sha256":"86938f4eff364c54a53b414297fdcfb5c45b3bff0bc694a35105e65d39202ff0"},"schema_version":"1.0"},"canonical_sha256":"c3104ad3cb3f3a34673bd3b755b5db90e0dcfae0e1bcc6794c99ae015f6c3406","source":{"kind":"arxiv","id":"2405.12836","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.12836","created_at":"2026-07-05T11:18:58Z"},{"alias_kind":"arxiv_version","alias_value":"2405.12836v2","created_at":"2026-07-05T11:18:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.12836","created_at":"2026-07-05T11:18:58Z"},{"alias_kind":"pith_short_12","alias_value":"YMIEVU6LH45D","created_at":"2026-07-05T11:18:58Z"},{"alias_kind":"pith_short_16","alias_value":"YMIEVU6LH45DIZZ3","created_at":"2026-07-05T11:18:58Z"},{"alias_kind":"pith_short_8","alias_value":"YMIEVU6L","created_at":"2026-07-05T11:18:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:YMIEVU6LH45DIZZ32O3VLNO3SD","target":"record","payload":{"canonical_record":{"source":{"id":"2405.12836","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-05-21T14:39:39Z","cross_cats_sorted":[],"title_canon_sha256":"ac04188dfc2f5f46c6ff83ba5e90894782774b650257d1a07c7cedfd79a13a63","abstract_canon_sha256":"86938f4eff364c54a53b414297fdcfb5c45b3bff0bc694a35105e65d39202ff0"},"schema_version":"1.0"},"canonical_sha256":"c3104ad3cb3f3a34673bd3b755b5db90e0dcfae0e1bcc6794c99ae015f6c3406","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:18:58.584566Z","signature_b64":"+oLxUbFKOrJJmXnVMC8cTmFFdeM+NxLiYwQDPB4llHw7j1mfseuQFbnxpis6QXggrJUysYQ/ZZ7SO1l5Q+eJAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c3104ad3cb3f3a34673bd3b755b5db90e0dcfae0e1bcc6794c99ae015f6c3406","last_reissued_at":"2026-07-05T11:18:58.584036Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:18:58.584036Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.12836","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-07-05T11:18:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WwbYJjvawhXwtMMUFT/DwK1N47ZqX122VtN6mCwOB7/OE84R7fwrfwLIuDRODWf5M0QgQINp3HeYuokpennLCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T20:42:58.165503Z"},"content_sha256":"f402d3b129ea9c051249655389f06ee3e55dca0aeb542089d891b8a7f4d22ac3","schema_version":"1.0","event_id":"sha256:f402d3b129ea9c051249655389f06ee3e55dca0aeb542089d891b8a7f4d22ac3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:YMIEVU6LH45DIZZ32O3VLNO3SD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Aircraft Conflict Resolution: A Benchmark Generator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Martina Cerulli, Mercedes Pelegrin","submitted_at":"2024-05-21T14:39:39Z","abstract_excerpt":"Aircraft conflict resolution is one of the major tasks of computer-aided air traffic management and represents a challenging optimization problem. Many models and methods have been proposed to assist trajectory regulation to avoid conflicts. However, the question of testing the different mathematical optimization approaches against each other is still open. Standard benchmarks include unrealistic scenarios in which all the flights move toward a common point or completely random generated instances. There is a lack of a common set of test instances that allows comparison of the available method"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.12836","kind":"arxiv","version":2},"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/2405.12836/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-05T11:18:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"96tomxouFhIQ4nS+NS0XpRie3vHGzlKIAr8NUMpswo8+ll25gBgLPOl2vJC3OXVCqdOfx0+BgWmtsg/hXOpaBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T20:42:58.166002Z"},"content_sha256":"29a8d3aed9d51e715800e63384e3f88ca49f0a41c52157314f8793e10a6a32e6","schema_version":"1.0","event_id":"sha256:29a8d3aed9d51e715800e63384e3f88ca49f0a41c52157314f8793e10a6a32e6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD/bundle.json","state_url":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YMIEVU6LH45DIZZ32O3VLNO3SD/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-20T20:42:58Z","links":{"resolver":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD","bundle":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD/bundle.json","state":"https://pith.science/pith/YMIEVU6LH45DIZZ32O3VLNO3SD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YMIEVU6LH45DIZZ32O3VLNO3SD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:YMIEVU6LH45DIZZ32O3VLNO3SD","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":"86938f4eff364c54a53b414297fdcfb5c45b3bff0bc694a35105e65d39202ff0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-05-21T14:39:39Z","title_canon_sha256":"ac04188dfc2f5f46c6ff83ba5e90894782774b650257d1a07c7cedfd79a13a63"},"schema_version":"1.0","source":{"id":"2405.12836","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.12836","created_at":"2026-07-05T11:18:58Z"},{"alias_kind":"arxiv_version","alias_value":"2405.12836v2","created_at":"2026-07-05T11:18:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.12836","created_at":"2026-07-05T11:18:58Z"},{"alias_kind":"pith_short_12","alias_value":"YMIEVU6LH45D","created_at":"2026-07-05T11:18:58Z"},{"alias_kind":"pith_short_16","alias_value":"YMIEVU6LH45DIZZ3","created_at":"2026-07-05T11:18:58Z"},{"alias_kind":"pith_short_8","alias_value":"YMIEVU6L","created_at":"2026-07-05T11:18:58Z"}],"graph_snapshots":[{"event_id":"sha256:29a8d3aed9d51e715800e63384e3f88ca49f0a41c52157314f8793e10a6a32e6","target":"graph","created_at":"2026-07-05T11:18:58Z","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/2405.12836/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Aircraft conflict resolution is one of the major tasks of computer-aided air traffic management and represents a challenging optimization problem. Many models and methods have been proposed to assist trajectory regulation to avoid conflicts. However, the question of testing the different mathematical optimization approaches against each other is still open. Standard benchmarks include unrealistic scenarios in which all the flights move toward a common point or completely random generated instances. There is a lack of a common set of test instances that allows comparison of the available method","authors_text":"Martina Cerulli, Mercedes Pelegrin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-05-21T14:39:39Z","title":"Aircraft Conflict Resolution: A Benchmark Generator"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.12836","kind":"arxiv","version":2},"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:f402d3b129ea9c051249655389f06ee3e55dca0aeb542089d891b8a7f4d22ac3","target":"record","created_at":"2026-07-05T11:18:58Z","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":"86938f4eff364c54a53b414297fdcfb5c45b3bff0bc694a35105e65d39202ff0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-05-21T14:39:39Z","title_canon_sha256":"ac04188dfc2f5f46c6ff83ba5e90894782774b650257d1a07c7cedfd79a13a63"},"schema_version":"1.0","source":{"id":"2405.12836","kind":"arxiv","version":2}},"canonical_sha256":"c3104ad3cb3f3a34673bd3b755b5db90e0dcfae0e1bcc6794c99ae015f6c3406","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c3104ad3cb3f3a34673bd3b755b5db90e0dcfae0e1bcc6794c99ae015f6c3406","first_computed_at":"2026-07-05T11:18:58.584036Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:18:58.584036Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+oLxUbFKOrJJmXnVMC8cTmFFdeM+NxLiYwQDPB4llHw7j1mfseuQFbnxpis6QXggrJUysYQ/ZZ7SO1l5Q+eJAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:18:58.584566Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.12836","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f402d3b129ea9c051249655389f06ee3e55dca0aeb542089d891b8a7f4d22ac3","sha256:29a8d3aed9d51e715800e63384e3f88ca49f0a41c52157314f8793e10a6a32e6"],"state_sha256":"863a5a08ba2bfa54005c524ccb98804e658cf5d1d42ead703794b69c8ae954c0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3g8/oA+MnlkLzj/s5oPN/z+3iNDfy1sUg4MPTViCbiCR49Efie5Fil3GS5abo9fBZSVZ3d/RWO3ph5bJgu6gAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T20:42:58.170636Z","bundle_sha256":"e559526e4a2a2c17c9aba53bbfde7863236d7525d493413a7e9a70e5babea96a"}}