{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:CPTPRJ3NCESDENJVHDD3BPEA3V","short_pith_number":"pith:CPTPRJ3N","schema_version":"1.0","canonical_sha256":"13e6f8a76d112432353538c7b0bc80dd6ceb492a7571c9f2868e5f2df3ccaf9f","source":{"kind":"arxiv","id":"2606.05350","version":1},"attestation_state":"computed","paper":{"title":"Characterization and Analysis of Emergency Landing Flight Envelopes with Graded Safety Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Bryce L. Ferguson, Chams Eddine Mballo, Claire J. Tomlin, Donggun Lee, Inkyu Jang","submitted_at":"2026-06-03T18:50:59Z","abstract_excerpt":"Emergency landing flight envelope analysis traditionally adopts a binary notion of safety, whereby a trajectory is safe only if state constraints are satisfied pointwise in time. In practice, ensuring a successful landing requires recognizing that aircraft operation spans a continuum in the state space from the nominal to the critical regime. Between these regimes lies a degraded regime of states outside nominal operation that may be visited only for limited durations. Safety is therefore inherently graded, in the sense that limited exposure to degraded states may be tolerated, and must be ass"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.05350","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-03T18:50:59Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"77270141b478299706c913a6736e71b9d48c9d243edfaff4d3bceb82a4dab51a","abstract_canon_sha256":"8ee3741c265dddc499a948a4b53047e2a5659660b56518c315877af0c78e6e1f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-05T00:13:54.996334Z","signature_b64":"XxNpS4AxR/XGsruhaIOWeiT1Ci2+fGtdsUUSJoTHLoWAlmLQCkfxcPySSBVyOOw/uE1FcyJmNhHpaZ97xtkmCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"13e6f8a76d112432353538c7b0bc80dd6ceb492a7571c9f2868e5f2df3ccaf9f","last_reissued_at":"2026-06-05T00:13:54.995904Z","signature_status":"signed_v1","first_computed_at":"2026-06-05T00:13:54.995904Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Characterization and Analysis of Emergency Landing Flight Envelopes with Graded Safety Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Bryce L. Ferguson, Chams Eddine Mballo, Claire J. Tomlin, Donggun Lee, Inkyu Jang","submitted_at":"2026-06-03T18:50:59Z","abstract_excerpt":"Emergency landing flight envelope analysis traditionally adopts a binary notion of safety, whereby a trajectory is safe only if state constraints are satisfied pointwise in time. In practice, ensuring a successful landing requires recognizing that aircraft operation spans a continuum in the state space from the nominal to the critical regime. Between these regimes lies a degraded regime of states outside nominal operation that may be visited only for limited durations. Safety is therefore inherently graded, in the sense that limited exposure to degraded states may be tolerated, and must be ass"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.05350","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/2606.05350/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.05350","created_at":"2026-06-05T00:13:54.995965+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.05350v1","created_at":"2026-06-05T00:13:54.995965+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.05350","created_at":"2026-06-05T00:13:54.995965+00:00"},{"alias_kind":"pith_short_12","alias_value":"CPTPRJ3NCESD","created_at":"2026-06-05T00:13:54.995965+00:00"},{"alias_kind":"pith_short_16","alias_value":"CPTPRJ3NCESDENJV","created_at":"2026-06-05T00:13:54.995965+00:00"},{"alias_kind":"pith_short_8","alias_value":"CPTPRJ3N","created_at":"2026-06-05T00:13:54.995965+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CPTPRJ3NCESDENJVHDD3BPEA3V","json":"https://pith.science/pith/CPTPRJ3NCESDENJVHDD3BPEA3V.json","graph_json":"https://pith.science/api/pith-number/CPTPRJ3NCESDENJVHDD3BPEA3V/graph.json","events_json":"https://pith.science/api/pith-number/CPTPRJ3NCESDENJVHDD3BPEA3V/events.json","paper":"https://pith.science/paper/CPTPRJ3N"},"agent_actions":{"view_html":"https://pith.science/pith/CPTPRJ3NCESDENJVHDD3BPEA3V","download_json":"https://pith.science/pith/CPTPRJ3NCESDENJVHDD3BPEA3V.json","view_paper":"https://pith.science/paper/CPTPRJ3N","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.05350&json=true","fetch_graph":"https://pith.science/api/pith-number/CPTPRJ3NCESDENJVHDD3BPEA3V/graph.json","fetch_events":"https://pith.science/api/pith-number/CPTPRJ3NCESDENJVHDD3BPEA3V/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CPTPRJ3NCESDENJVHDD3BPEA3V/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CPTPRJ3NCESDENJVHDD3BPEA3V/action/storage_attestation","attest_author":"https://pith.science/pith/CPTPRJ3NCESDENJVHDD3BPEA3V/action/author_attestation","sign_citation":"https://pith.science/pith/CPTPRJ3NCESDENJVHDD3BPEA3V/action/citation_signature","submit_replication":"https://pith.science/pith/CPTPRJ3NCESDENJVHDD3BPEA3V/action/replication_record"}},"created_at":"2026-06-05T00:13:54.995965+00:00","updated_at":"2026-06-05T00:13:54.995965+00:00"}