{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GPPKZX2KGILFV6UP5XPRSV6UMB","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"3c61e73bf3af9b2336b72decc072fbdea7da9ecd8455848396033371b01f847e","cross_cats_sorted":["cs.DC","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-08-04T11:13:13Z","title_canon_sha256":"740179f4bce90a7d3b5227596cc591fffeda0683875f2421730e2580b71c8140"},"schema_version":"1.0","source":{"id":"2608.03473","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.03473","created_at":"2026-08-05T01:35:55Z"},{"alias_kind":"arxiv_version","alias_value":"2608.03473v1","created_at":"2026-08-05T01:35:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.03473","created_at":"2026-08-05T01:35:55Z"},{"alias_kind":"pith_short_12","alias_value":"GPPKZX2KGILF","created_at":"2026-08-05T01:35:55Z"},{"alias_kind":"pith_short_16","alias_value":"GPPKZX2KGILFV6UP","created_at":"2026-08-05T01:35:55Z"},{"alias_kind":"pith_short_8","alias_value":"GPPKZX2K","created_at":"2026-08-05T01:35:55Z"}],"graph_snapshots":[{"event_id":"sha256:67f28d22475fa551a7700e966dfca9660523b5e11f14362a7c7ea430214c1ef6","target":"graph","created_at":"2026-08-05T01:35:55Z","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/2608.03473/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Table-driven DFA lexing is sequential: each transition depends on the previous byte's state. Scanning one input in parallel needs each chunk's entry state, which existing methods recover by simulation, speculation, prescanning, or overlap. We give two conditions under which none is needed. For a longest-match scanner restarting from q0 at every token boundary, a byte b is a certified split symbol when no reachable state other than q0 has a b-transition whose target can reach acceptance, and q0 is not re-entrant if it has one. Every occurrence of such a byte in completely tokenizable input begi","authors_text":"Nicklas Nidh\\\"ogg","cross_cats":["cs.DC","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-08-04T11:13:13Z","title":"Certified Split Points for Parallel Lexing: Exact and Modulo Discarded Tokens"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.03473","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:df38afa63272a56bfaa1ffe72e6c3db46b6083df4ec9a80c18a2c7f85751e046","target":"record","created_at":"2026-08-05T01:35:55Z","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":"3c61e73bf3af9b2336b72decc072fbdea7da9ecd8455848396033371b01f847e","cross_cats_sorted":["cs.DC","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2026-08-04T11:13:13Z","title_canon_sha256":"740179f4bce90a7d3b5227596cc591fffeda0683875f2421730e2580b71c8140"},"schema_version":"1.0","source":{"id":"2608.03473","kind":"arxiv","version":1}},"canonical_sha256":"33deacdf4a32165afa8feddf1957d46052058ea117ed90212a84a517d26727ae","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"33deacdf4a32165afa8feddf1957d46052058ea117ed90212a84a517d26727ae","first_computed_at":"2026-08-05T01:35:55.306191Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-05T01:35:55.306191Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9h6pshmPZ8/McrV9OGGaozy1S+eYo8VqHz1my9mmBXzLzqsM8WaAjFVfQPn5OHTKf7Z66nh0ypcz5xflRUFzDg==","signature_status":"signed_v1","signed_at":"2026-08-05T01:35:55.307698Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.03473","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:df38afa63272a56bfaa1ffe72e6c3db46b6083df4ec9a80c18a2c7f85751e046","sha256:67f28d22475fa551a7700e966dfca9660523b5e11f14362a7c7ea430214c1ef6","sha256:e074fbf145253099872511239acb79e0c786152f04024bfed117f05be27eb7cf"],"state_sha256":"683f65067bc632de6be960dbc0360c43b3f16b479cbd0a3f71b406ae9220a7f1"}