{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:UPENJS7AOPX6TIKJUHVVQJSLF3","short_pith_number":"pith:UPENJS7A","canonical_record":{"source":{"id":"2505.01804","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2025-05-03T12:20:24Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"82d4fb9685e6ec4e26a86dddf377981e2d0f11a6c68a7e9a3afd25c5b732aab3","abstract_canon_sha256":"015d2aca1aea79390ef66dffe32ca7e0223e30ca97ec84795b87299880008c4f"},"schema_version":"1.0"},"canonical_sha256":"a3c8d4cbe073efe9a149a1eb58264b2eda63c6b4cb1f31faa62632b459f9e058","source":{"kind":"arxiv","id":"2505.01804","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.01804","created_at":"2026-06-01T02:03:23Z"},{"alias_kind":"arxiv_version","alias_value":"2505.01804v1","created_at":"2026-06-01T02:03:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.01804","created_at":"2026-06-01T02:03:23Z"},{"alias_kind":"pith_short_12","alias_value":"UPENJS7AOPX6","created_at":"2026-06-01T02:03:23Z"},{"alias_kind":"pith_short_16","alias_value":"UPENJS7AOPX6TIKJ","created_at":"2026-06-01T02:03:23Z"},{"alias_kind":"pith_short_8","alias_value":"UPENJS7A","created_at":"2026-06-01T02:03:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:UPENJS7AOPX6TIKJUHVVQJSLF3","target":"record","payload":{"canonical_record":{"source":{"id":"2505.01804","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2025-05-03T12:20:24Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"82d4fb9685e6ec4e26a86dddf377981e2d0f11a6c68a7e9a3afd25c5b732aab3","abstract_canon_sha256":"015d2aca1aea79390ef66dffe32ca7e0223e30ca97ec84795b87299880008c4f"},"schema_version":"1.0"},"canonical_sha256":"a3c8d4cbe073efe9a149a1eb58264b2eda63c6b4cb1f31faa62632b459f9e058","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T02:03:23.722591Z","signature_b64":"e3gG70kh/5IZoIymVkvZ3X0fg3LV10zCO9H6i2WvDE1qaG4SK3OpH70O1rlNP8G/OBeaq9ZfXR5L0s0EKWk7Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a3c8d4cbe073efe9a149a1eb58264b2eda63c6b4cb1f31faa62632b459f9e058","last_reissued_at":"2026-06-01T02:03:23.721871Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T02:03:23.721871Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.01804","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-06-01T02:03:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6nd3llVuyHSbDLhFIYAH5OHRK3CHr/VdBaJyVL56pTkKLCw12Qi+oENe48KSGKjA1GCziGd9KWUqCAWohdw2CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T01:32:03.321640Z"},"content_sha256":"041a677c26f7363fd6000b73a20b642f8c622d08e053df693c8cce821e48a3d3","schema_version":"1.0","event_id":"sha256:041a677c26f7363fd6000b73a20b642f8c622d08e053df693c8cce821e48a3d3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:UPENJS7AOPX6TIKJUHVVQJSLF3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Pathfinders in the Sky: Formal Decision-Making Models for Collaborative Air Traffic Control in Convective Weather","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.MA","authors_text":"Husni R. Idris, Huy T. Tran, Jimin Choi, Kartikeya Anand, Max Z. Li","submitted_at":"2025-05-03T12:20:24Z","abstract_excerpt":"Air traffic can be significantly disrupted by weather. Pathfinder operations involve assigning a designated aircraft to assess whether airspace that was previously impacted by weather can be safely traversed through. Despite relatively routine use in air traffic control, there is little research on the underlying multi-agent decision-making problem. We seek to address this gap herein by formulating decision models to capture the operational dynamics and implications of pathfinders. Specifically, we construct a Markov chain to represent the stochastic transitions between key operational states "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.01804","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/2505.01804/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-06-01T02:03:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/hSV5wHlBxwueXJb1EbwUHCErdUbpY5qij9fMVG1g90aOrTzK4HQrOS/UUfNt3jLoXRJDZ8qVEaBTxEzOWE3CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T01:32:03.322074Z"},"content_sha256":"1ba560948b09f07afd3729ef00ffe03e4a8f3174586796d9d94a2a84ad1fb4bf","schema_version":"1.0","event_id":"sha256:1ba560948b09f07afd3729ef00ffe03e4a8f3174586796d9d94a2a84ad1fb4bf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UPENJS7AOPX6TIKJUHVVQJSLF3/bundle.json","state_url":"https://pith.science/pith/UPENJS7AOPX6TIKJUHVVQJSLF3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UPENJS7AOPX6TIKJUHVVQJSLF3/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-28T01:32:03Z","links":{"resolver":"https://pith.science/pith/UPENJS7AOPX6TIKJUHVVQJSLF3","bundle":"https://pith.science/pith/UPENJS7AOPX6TIKJUHVVQJSLF3/bundle.json","state":"https://pith.science/pith/UPENJS7AOPX6TIKJUHVVQJSLF3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UPENJS7AOPX6TIKJUHVVQJSLF3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:UPENJS7AOPX6TIKJUHVVQJSLF3","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":"015d2aca1aea79390ef66dffe32ca7e0223e30ca97ec84795b87299880008c4f","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2025-05-03T12:20:24Z","title_canon_sha256":"82d4fb9685e6ec4e26a86dddf377981e2d0f11a6c68a7e9a3afd25c5b732aab3"},"schema_version":"1.0","source":{"id":"2505.01804","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.01804","created_at":"2026-06-01T02:03:23Z"},{"alias_kind":"arxiv_version","alias_value":"2505.01804v1","created_at":"2026-06-01T02:03:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.01804","created_at":"2026-06-01T02:03:23Z"},{"alias_kind":"pith_short_12","alias_value":"UPENJS7AOPX6","created_at":"2026-06-01T02:03:23Z"},{"alias_kind":"pith_short_16","alias_value":"UPENJS7AOPX6TIKJ","created_at":"2026-06-01T02:03:23Z"},{"alias_kind":"pith_short_8","alias_value":"UPENJS7A","created_at":"2026-06-01T02:03:23Z"}],"graph_snapshots":[{"event_id":"sha256:1ba560948b09f07afd3729ef00ffe03e4a8f3174586796d9d94a2a84ad1fb4bf","target":"graph","created_at":"2026-06-01T02:03:23Z","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/2505.01804/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Air traffic can be significantly disrupted by weather. Pathfinder operations involve assigning a designated aircraft to assess whether airspace that was previously impacted by weather can be safely traversed through. Despite relatively routine use in air traffic control, there is little research on the underlying multi-agent decision-making problem. We seek to address this gap herein by formulating decision models to capture the operational dynamics and implications of pathfinders. Specifically, we construct a Markov chain to represent the stochastic transitions between key operational states ","authors_text":"Husni R. Idris, Huy T. Tran, Jimin Choi, Kartikeya Anand, Max Z. Li","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2025-05-03T12:20:24Z","title":"Pathfinders in the Sky: Formal Decision-Making Models for Collaborative Air Traffic Control in Convective Weather"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.01804","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:041a677c26f7363fd6000b73a20b642f8c622d08e053df693c8cce821e48a3d3","target":"record","created_at":"2026-06-01T02:03:23Z","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":"015d2aca1aea79390ef66dffe32ca7e0223e30ca97ec84795b87299880008c4f","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2025-05-03T12:20:24Z","title_canon_sha256":"82d4fb9685e6ec4e26a86dddf377981e2d0f11a6c68a7e9a3afd25c5b732aab3"},"schema_version":"1.0","source":{"id":"2505.01804","kind":"arxiv","version":1}},"canonical_sha256":"a3c8d4cbe073efe9a149a1eb58264b2eda63c6b4cb1f31faa62632b459f9e058","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a3c8d4cbe073efe9a149a1eb58264b2eda63c6b4cb1f31faa62632b459f9e058","first_computed_at":"2026-06-01T02:03:23.721871Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T02:03:23.721871Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e3gG70kh/5IZoIymVkvZ3X0fg3LV10zCO9H6i2WvDE1qaG4SK3OpH70O1rlNP8G/OBeaq9ZfXR5L0s0EKWk7Aw==","signature_status":"signed_v1","signed_at":"2026-06-01T02:03:23.722591Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.01804","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:041a677c26f7363fd6000b73a20b642f8c622d08e053df693c8cce821e48a3d3","sha256:1ba560948b09f07afd3729ef00ffe03e4a8f3174586796d9d94a2a84ad1fb4bf"],"state_sha256":"add44a4f08663b462a27b094e35f10be2181f7a600293e03f97c8c2a387a8fc5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ejEoaWJ6CJ8oR89eCEb3J52YcZYlpKX7yUgs95IVc+ZsAsu2EEHSNhhYRZ2Nt5q7kiJ7336YiHd0fVcxwdG5Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T01:32:03.324215Z","bundle_sha256":"ff2b2c18583b4ec78267484abbdce61e5163578124ae42d9ac9fccda500e5a38"}}