{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:6X5U7TM2QCQGRMYG77LLVJTAFQ","short_pith_number":"pith:6X5U7TM2","canonical_record":{"source":{"id":"2501.02162","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.ET","submitted_at":"2025-01-04T02:19:48Z","cross_cats_sorted":[],"title_canon_sha256":"bc1d3fa7b55f04ca8d3b5c811941dba2c5eae6a3b4bbcd74feefa91d6524ad66","abstract_canon_sha256":"683cb528a0a0745481456adf817882fad7e4151eee76d6ebc43d67c9bd2b154d"},"schema_version":"1.0"},"canonical_sha256":"f5fb4fcd9a80a068b306ffd6baa6602c10a18ccdcdef8bd823fc9222396bf704","source":{"kind":"arxiv","id":"2501.02162","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:6X5U7TM2QCQGRMYG77LLVJTAFQ","target":"record","payload":{"canonical_record":{"source":{"id":"2501.02162","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.ET","submitted_at":"2025-01-04T02:19:48Z","cross_cats_sorted":[],"title_canon_sha256":"bc1d3fa7b55f04ca8d3b5c811941dba2c5eae6a3b4bbcd74feefa91d6524ad66","abstract_canon_sha256":"683cb528a0a0745481456adf817882fad7e4151eee76d6ebc43d67c9bd2b154d"},"schema_version":"1.0"},"canonical_sha256":"f5fb4fcd9a80a068b306ffd6baa6602c10a18ccdcdef8bd823fc9222396bf704","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:57:03.028796Z","signature_b64":"D3K8/y0jwhMdvKyFyAPj+XAdjj7OLshkfkxh9EoC3ePdK5LN/MZ5VD6kh/Ejgd/bAw5ZmbTvzXDSgxfyXs9bDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f5fb4fcd9a80a068b306ffd6baa6602c10a18ccdcdef8bd823fc9222396bf704","last_reissued_at":"2026-07-05T09:57:03.028360Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:57:03.028360Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.02162","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-07-05T09:57:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/NmHOW7eXCngYilrmRz5SLo9OD5kUeca/F756b1URicdx73I+Z5NRHAwB8BHLHtXIwSg2yOTCwjcb4huaG0bBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T01:00:03.106306Z"},"content_sha256":"01cefb4dfa57bbd5e26fcfa285b01b2cbbdfb4e6a80892c02c1ac53cca4d2c09","schema_version":"1.0","event_id":"sha256:01cefb4dfa57bbd5e26fcfa285b01b2cbbdfb4e6a80892c02c1ac53cca4d2c09"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:6X5U7TM2QCQGRMYG77LLVJTAFQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimizing Sequence Alignment with Scored NFAs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.ET","authors_text":"Rasha Karakchi, Ryan Karbowniczak","submitted_at":"2025-01-04T02:19:48Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.02162","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/2501.02162/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-07-05T09:57:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5BCYDSTNCzbDxHXt0bdIIduvejG5kzUwzI39x/7G9eziQaSXc/a04yAYpmCAh2TwTviudgvxnelNoZKQsSHYCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T01:00:03.106878Z"},"content_sha256":"6c22d25f7c820879590ad1505cba8b08a619976d7e356ef367bf356d52d54c0d","schema_version":"1.0","event_id":"sha256:6c22d25f7c820879590ad1505cba8b08a619976d7e356ef367bf356d52d54c0d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6X5U7TM2QCQGRMYG77LLVJTAFQ/bundle.json","state_url":"https://pith.science/pith/6X5U7TM2QCQGRMYG77LLVJTAFQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6X5U7TM2QCQGRMYG77LLVJTAFQ/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-08-04T01:00:03Z","links":{"resolver":"https://pith.science/pith/6X5U7TM2QCQGRMYG77LLVJTAFQ","bundle":"https://pith.science/pith/6X5U7TM2QCQGRMYG77LLVJTAFQ/bundle.json","state":"https://pith.science/pith/6X5U7TM2QCQGRMYG77LLVJTAFQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6X5U7TM2QCQGRMYG77LLVJTAFQ/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3rG53hkEsZ1teGl4gMM7RJGnbiiDWN9N+6AFQloqce1sQ1f5M+uPBemetcarawxdH/Iw1xuQNX5z90n1r1V+BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T01:00:03.111484Z","bundle_sha256":"f631ee1c61357d649394abaff365a0c45f2782e017de94a9149b2aac02a72542"}}