{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:NSJMQGJJ5VZHASXIOZR4JRN7JZ","short_pith_number":"pith:NSJMQGJJ","canonical_record":{"source":{"id":"2606.26768","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-25T08:50:49Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0bb82d751d455c194a00ebdb3a93b23bb8918eaf7bdbcaa534107a1a937c1961","abstract_canon_sha256":"e83b57e3095cc881ed35fe6428c5ef655d59f1d113c21eb5582f36742c4db96f"},"schema_version":"1.0"},"canonical_sha256":"6c92c81929ed72704ae87663c4c5bf4e569a0ff94a75f2beab748b316971e775","source":{"kind":"arxiv","id":"2606.26768","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.26768","created_at":"2026-06-26T01:15:59Z"},{"alias_kind":"arxiv_version","alias_value":"2606.26768v1","created_at":"2026-06-26T01:15:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.26768","created_at":"2026-06-26T01:15:59Z"},{"alias_kind":"pith_short_12","alias_value":"NSJMQGJJ5VZH","created_at":"2026-06-26T01:15:59Z"},{"alias_kind":"pith_short_16","alias_value":"NSJMQGJJ5VZHASXI","created_at":"2026-06-26T01:15:59Z"},{"alias_kind":"pith_short_8","alias_value":"NSJMQGJJ","created_at":"2026-06-26T01:15:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:NSJMQGJJ5VZHASXIOZR4JRN7JZ","target":"record","payload":{"canonical_record":{"source":{"id":"2606.26768","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-25T08:50:49Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0bb82d751d455c194a00ebdb3a93b23bb8918eaf7bdbcaa534107a1a937c1961","abstract_canon_sha256":"e83b57e3095cc881ed35fe6428c5ef655d59f1d113c21eb5582f36742c4db96f"},"schema_version":"1.0"},"canonical_sha256":"6c92c81929ed72704ae87663c4c5bf4e569a0ff94a75f2beab748b316971e775","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-26T01:15:59.230649Z","signature_b64":"VjIy7moW4kEhLUCt6BweGta3Vbo5DoB1ayHeWW1jsg9G6c52tA7sfagtXsghA3roXkg7q1/jn5InJaC+l+IzCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6c92c81929ed72704ae87663c4c5bf4e569a0ff94a75f2beab748b316971e775","last_reissued_at":"2026-06-26T01:15:59.230172Z","signature_status":"signed_v1","first_computed_at":"2026-06-26T01:15:59.230172Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.26768","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-26T01:15:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s0KPDsGcuQNMC9M3OS11sWbB6AtmN9J7gUsPI41dOdjQmu7MVovw2J3OkPfKkASyGK9vFJmuxiG0+KhVGwLMBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T22:35:47.010180Z"},"content_sha256":"62dfca4bbb789dfb2d31ab1b1f03b1a23b3f9dad55c21b2a5257bfe7e202cc75","schema_version":"1.0","event_id":"sha256:62dfca4bbb789dfb2d31ab1b1f03b1a23b3f9dad55c21b2a5257bfe7e202cc75"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:NSJMQGJJ5VZHASXIOZR4JRN7JZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Complementing Emerson-Lei Elevator Automata (Technical Report)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.FL","authors_text":"Nicolas Mazzocchi, Ondrej Alexaj, Ond\\v{r}ej Leng\\'al, Vojt\\v{e}ch Havlena, Yong Li","submitted_at":"2026-06-25T08:50:49Z","abstract_excerpt":"B\\\"uchi elevator automata naturally appear in several areas of formal methods as a structural expressibly-equivalent subclass of B\\\"uchi automata where every strongly connected component is either deterministic or inherently weak. It was shown that this class contains the majority of B\\\"uchi automata generated in practical applications, including LTL model-checking and verification of hyperproperties. Moreover, the elevator subclass enables more efficient complementation and determinization algorithms than unrestricted B\\\"uchi automata. In this paper, we introduce Emerson-Lei elevator automata"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.26768","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.26768/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-26T01:15:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yTrkZiw6eBm3/SmVSEs5WKMJhZ/vAYkdCnicZi4wlRsSbFvyUtBa5Mm3J8nRRvZ2lD7MWGV/RxZp6/HLoE5rAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T22:35:47.010580Z"},"content_sha256":"ad05381fd283491e74ef363297f273bd22ea1640c5c6eb94abf8d6a5819693b9","schema_version":"1.0","event_id":"sha256:ad05381fd283491e74ef363297f273bd22ea1640c5c6eb94abf8d6a5819693b9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NSJMQGJJ5VZHASXIOZR4JRN7JZ/bundle.json","state_url":"https://pith.science/pith/NSJMQGJJ5VZHASXIOZR4JRN7JZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NSJMQGJJ5VZHASXIOZR4JRN7JZ/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-30T22:35:47Z","links":{"resolver":"https://pith.science/pith/NSJMQGJJ5VZHASXIOZR4JRN7JZ","bundle":"https://pith.science/pith/NSJMQGJJ5VZHASXIOZR4JRN7JZ/bundle.json","state":"https://pith.science/pith/NSJMQGJJ5VZHASXIOZR4JRN7JZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NSJMQGJJ5VZHASXIOZR4JRN7JZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:NSJMQGJJ5VZHASXIOZR4JRN7JZ","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":"e83b57e3095cc881ed35fe6428c5ef655d59f1d113c21eb5582f36742c4db96f","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-25T08:50:49Z","title_canon_sha256":"0bb82d751d455c194a00ebdb3a93b23bb8918eaf7bdbcaa534107a1a937c1961"},"schema_version":"1.0","source":{"id":"2606.26768","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.26768","created_at":"2026-06-26T01:15:59Z"},{"alias_kind":"arxiv_version","alias_value":"2606.26768v1","created_at":"2026-06-26T01:15:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.26768","created_at":"2026-06-26T01:15:59Z"},{"alias_kind":"pith_short_12","alias_value":"NSJMQGJJ5VZH","created_at":"2026-06-26T01:15:59Z"},{"alias_kind":"pith_short_16","alias_value":"NSJMQGJJ5VZHASXI","created_at":"2026-06-26T01:15:59Z"},{"alias_kind":"pith_short_8","alias_value":"NSJMQGJJ","created_at":"2026-06-26T01:15:59Z"}],"graph_snapshots":[{"event_id":"sha256:ad05381fd283491e74ef363297f273bd22ea1640c5c6eb94abf8d6a5819693b9","target":"graph","created_at":"2026-06-26T01:15:59Z","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/2606.26768/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"B\\\"uchi elevator automata naturally appear in several areas of formal methods as a structural expressibly-equivalent subclass of B\\\"uchi automata where every strongly connected component is either deterministic or inherently weak. It was shown that this class contains the majority of B\\\"uchi automata generated in practical applications, including LTL model-checking and verification of hyperproperties. Moreover, the elevator subclass enables more efficient complementation and determinization algorithms than unrestricted B\\\"uchi automata. In this paper, we introduce Emerson-Lei elevator automata","authors_text":"Nicolas Mazzocchi, Ondrej Alexaj, Ond\\v{r}ej Leng\\'al, Vojt\\v{e}ch Havlena, Yong Li","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-25T08:50:49Z","title":"Complementing Emerson-Lei Elevator Automata (Technical Report)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.26768","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:62dfca4bbb789dfb2d31ab1b1f03b1a23b3f9dad55c21b2a5257bfe7e202cc75","target":"record","created_at":"2026-06-26T01:15:59Z","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":"e83b57e3095cc881ed35fe6428c5ef655d59f1d113c21eb5582f36742c4db96f","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-06-25T08:50:49Z","title_canon_sha256":"0bb82d751d455c194a00ebdb3a93b23bb8918eaf7bdbcaa534107a1a937c1961"},"schema_version":"1.0","source":{"id":"2606.26768","kind":"arxiv","version":1}},"canonical_sha256":"6c92c81929ed72704ae87663c4c5bf4e569a0ff94a75f2beab748b316971e775","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6c92c81929ed72704ae87663c4c5bf4e569a0ff94a75f2beab748b316971e775","first_computed_at":"2026-06-26T01:15:59.230172Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-26T01:15:59.230172Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VjIy7moW4kEhLUCt6BweGta3Vbo5DoB1ayHeWW1jsg9G6c52tA7sfagtXsghA3roXkg7q1/jn5InJaC+l+IzCQ==","signature_status":"signed_v1","signed_at":"2026-06-26T01:15:59.230649Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.26768","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:62dfca4bbb789dfb2d31ab1b1f03b1a23b3f9dad55c21b2a5257bfe7e202cc75","sha256:ad05381fd283491e74ef363297f273bd22ea1640c5c6eb94abf8d6a5819693b9"],"state_sha256":"0d96935314d26d0ae94a3de2b3cc9efe412cb6b6cea731548dcd8dec7f9a7c53"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XLJqtYB+4hDnWQuMErX4SrAwmOKrLHViI8Bts1bRlgo65ZKPd+Uoe1KCgiuQYDYB3PqdNRLdE19saN0ML8UnDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T22:35:47.012671Z","bundle_sha256":"996e4d5bb0e11511de5eb9745d72cb680d3a7c24ea23c26a681b192b94514ea3"}}