{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:6X5U7TM2QCQGRMYG77LLVJTAFQ","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":"683cb528a0a0745481456adf817882fad7e4151eee76d6ebc43d67c9bd2b154d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.ET","submitted_at":"2025-01-04T02:19:48Z","title_canon_sha256":"bc1d3fa7b55f04ca8d3b5c811941dba2c5eae6a3b4bbcd74feefa91d6524ad66"},"schema_version":"1.0","source":{"id":"2501.02162","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.02162","created_at":"2026-07-05T09:57:03Z"},{"alias_kind":"arxiv_version","alias_value":"2501.02162v1","created_at":"2026-07-05T09:57:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.02162","created_at":"2026-07-05T09:57:03Z"},{"alias_kind":"pith_short_12","alias_value":"6X5U7TM2QCQG","created_at":"2026-07-05T09:57:03Z"},{"alias_kind":"pith_short_16","alias_value":"6X5U7TM2QCQGRMYG","created_at":"2026-07-05T09:57:03Z"},{"alias_kind":"pith_short_8","alias_value":"6X5U7TM2","created_at":"2026-07-05T09:57:03Z"}],"graph_snapshots":[{"event_id":"sha256:6c22d25f7c820879590ad1505cba8b08a619976d7e356ef367bf356d52d54c0d","target":"graph","created_at":"2026-07-05T09:57:03Z","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/2501.02162/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The rapid increase in symbolic data has underscored the significance of pattern matching and regular expression processing. While nondeterministic finite automata (NFA) are commonly used for these tasks, they are limited to detecting matches without determining the optimal one. This research expands on the NAPOLY pattern-matching accelerator by introducing NAPOLY+, which adds registers to each processing element to store variables like scores, weights, or edge costs. This enhancement allows NAPOLY+ to identify the highest score corresponding to the best match in sequence alignment tasks throug","authors_text":"Rasha Karakchi, Ryan Karbowniczak","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.ET","submitted_at":"2025-01-04T02:19:48Z","title":"Optimizing Sequence Alignment with Scored NFAs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.02162","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:01cefb4dfa57bbd5e26fcfa285b01b2cbbdfb4e6a80892c02c1ac53cca4d2c09","target":"record","created_at":"2026-07-05T09:57:03Z","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":"683cb528a0a0745481456adf817882fad7e4151eee76d6ebc43d67c9bd2b154d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.ET","submitted_at":"2025-01-04T02:19:48Z","title_canon_sha256":"bc1d3fa7b55f04ca8d3b5c811941dba2c5eae6a3b4bbcd74feefa91d6524ad66"},"schema_version":"1.0","source":{"id":"2501.02162","kind":"arxiv","version":1}},"canonical_sha256":"f5fb4fcd9a80a068b306ffd6baa6602c10a18ccdcdef8bd823fc9222396bf704","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f5fb4fcd9a80a068b306ffd6baa6602c10a18ccdcdef8bd823fc9222396bf704","first_computed_at":"2026-07-05T09:57:03.028360Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:57:03.028360Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D3K8/y0jwhMdvKyFyAPj+XAdjj7OLshkfkxh9EoC3ePdK5LN/MZ5VD6kh/Ejgd/bAw5ZmbTvzXDSgxfyXs9bDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:57:03.028796Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.02162","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01cefb4dfa57bbd5e26fcfa285b01b2cbbdfb4e6a80892c02c1ac53cca4d2c09","sha256:6c22d25f7c820879590ad1505cba8b08a619976d7e356ef367bf356d52d54c0d"],"state_sha256":"193885bb4436f46f5bebcc1139f2fb9b3611602a6252bdd47e197a10b0a8e22b"}