{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:2PITUO5CE55HBR2A6YPZS6VU2C","short_pith_number":"pith:2PITUO5C","canonical_record":{"source":{"id":"2607.06225","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-07T12:49:50Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"6bbe67bf19d20e0ede652fb409db532e115b503542362eaf642e634365dd487f","abstract_canon_sha256":"36120ab7c8649a7e8a9a843f2f8aaeae97d17a88a1c78b279285e300f3eacaac"},"schema_version":"1.0"},"canonical_sha256":"d3d13a3ba2277a70c740f61f997ab4d09e5e4711dd069308caa2331bea77af99","source":{"kind":"arxiv","id":"2607.06225","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.06225","created_at":"2026-07-08T01:19:18Z"},{"alias_kind":"arxiv_version","alias_value":"2607.06225v1","created_at":"2026-07-08T01:19:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.06225","created_at":"2026-07-08T01:19:18Z"},{"alias_kind":"pith_short_12","alias_value":"2PITUO5CE55H","created_at":"2026-07-08T01:19:18Z"},{"alias_kind":"pith_short_16","alias_value":"2PITUO5CE55HBR2A","created_at":"2026-07-08T01:19:18Z"},{"alias_kind":"pith_short_8","alias_value":"2PITUO5C","created_at":"2026-07-08T01:19:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:2PITUO5CE55HBR2A6YPZS6VU2C","target":"record","payload":{"canonical_record":{"source":{"id":"2607.06225","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-07T12:49:50Z","cross_cats_sorted":["q-bio.QM"],"title_canon_sha256":"6bbe67bf19d20e0ede652fb409db532e115b503542362eaf642e634365dd487f","abstract_canon_sha256":"36120ab7c8649a7e8a9a843f2f8aaeae97d17a88a1c78b279285e300f3eacaac"},"schema_version":"1.0"},"canonical_sha256":"d3d13a3ba2277a70c740f61f997ab4d09e5e4711dd069308caa2331bea77af99","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-08T01:19:18.319288Z","signature_b64":"uHqjDdE0P1iFTc0miCT9syiVq1PQbWTM8yT5sLXo0dkneFQ53gPN9gOtCQ1ASmPxjASE8TYR1zDzGsuyt0EJBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d3d13a3ba2277a70c740f61f997ab4d09e5e4711dd069308caa2331bea77af99","last_reissued_at":"2026-07-08T01:19:18.318878Z","signature_status":"signed_v1","first_computed_at":"2026-07-08T01:19:18.318878Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.06225","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-08T01:19:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C7jagHt7pUqM23Wpsiv0GMwfeaZ04xjJuLSv+bZt8b2g28K8CV8EsayzyoG/j2pC6Kvi+PQPBujPQz1TMHccDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T20:32:58.070113Z"},"content_sha256":"fe069f947f2fb2f413d74e70f69ac1a443778598d2b5e31ec8427cc81a9fa962","schema_version":"1.0","event_id":"sha256:fe069f947f2fb2f413d74e70f69ac1a443778598d2b5e31ec8427cc81a9fa962"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:2PITUO5CE55HBR2A6YPZS6VU2C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Compiling Bioinformatics Recurrences","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["q-bio.QM"],"primary_cat":"cs.PL","authors_text":"Bala Vinaithirthan, Fredrik Kjolstad, Shiv Sundram, Sneha Goenka","submitted_at":"2026-07-07T12:49:50Z","abstract_excerpt":"Many bioinformatics algorithms, such as sequence alignment and structure prediction, can be expressed as recurrence equations over a dynamic programming matrix. Efficient implementations of these algorithms for large-scale biological data often require changing the order in which matrix cells are calculated and pruning ineffectual regions of the matrix from consideration altogether, but these techniques typically complicate implementation. We introduce FILTR, a domain-specific language (DSL) and compiler framework for bioinformatics recurrences. FILTR keeps the core recurrence rules separate f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.06225","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/2607.06225/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-08T01:19:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EB3DlyEG5foZ3HzPtwMxO4tvNO+2I2AchiP/IPr0NFb0IC7z0n1zA/m6ohiVJV13D2kRFQb7xIK3OEUlZchtCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T20:32:58.070673Z"},"content_sha256":"f71e1392213f67a21bfeeeb337d748d0490c24a65b717f0fa63c9429d6a3e8da","schema_version":"1.0","event_id":"sha256:f71e1392213f67a21bfeeeb337d748d0490c24a65b717f0fa63c9429d6a3e8da"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C/bundle.json","state_url":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2PITUO5CE55HBR2A6YPZS6VU2C/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-03T20:32:58Z","links":{"resolver":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C","bundle":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C/bundle.json","state":"https://pith.science/pith/2PITUO5CE55HBR2A6YPZS6VU2C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2PITUO5CE55HBR2A6YPZS6VU2C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:2PITUO5CE55HBR2A6YPZS6VU2C","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":"36120ab7c8649a7e8a9a843f2f8aaeae97d17a88a1c78b279285e300f3eacaac","cross_cats_sorted":["q-bio.QM"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-07T12:49:50Z","title_canon_sha256":"6bbe67bf19d20e0ede652fb409db532e115b503542362eaf642e634365dd487f"},"schema_version":"1.0","source":{"id":"2607.06225","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.06225","created_at":"2026-07-08T01:19:18Z"},{"alias_kind":"arxiv_version","alias_value":"2607.06225v1","created_at":"2026-07-08T01:19:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.06225","created_at":"2026-07-08T01:19:18Z"},{"alias_kind":"pith_short_12","alias_value":"2PITUO5CE55H","created_at":"2026-07-08T01:19:18Z"},{"alias_kind":"pith_short_16","alias_value":"2PITUO5CE55HBR2A","created_at":"2026-07-08T01:19:18Z"},{"alias_kind":"pith_short_8","alias_value":"2PITUO5C","created_at":"2026-07-08T01:19:18Z"}],"graph_snapshots":[{"event_id":"sha256:f71e1392213f67a21bfeeeb337d748d0490c24a65b717f0fa63c9429d6a3e8da","target":"graph","created_at":"2026-07-08T01:19:18Z","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/2607.06225/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many bioinformatics algorithms, such as sequence alignment and structure prediction, can be expressed as recurrence equations over a dynamic programming matrix. Efficient implementations of these algorithms for large-scale biological data often require changing the order in which matrix cells are calculated and pruning ineffectual regions of the matrix from consideration altogether, but these techniques typically complicate implementation. We introduce FILTR, a domain-specific language (DSL) and compiler framework for bioinformatics recurrences. FILTR keeps the core recurrence rules separate f","authors_text":"Bala Vinaithirthan, Fredrik Kjolstad, Shiv Sundram, Sneha Goenka","cross_cats":["q-bio.QM"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-07T12:49:50Z","title":"Compiling Bioinformatics Recurrences"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.06225","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:fe069f947f2fb2f413d74e70f69ac1a443778598d2b5e31ec8427cc81a9fa962","target":"record","created_at":"2026-07-08T01:19:18Z","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":"36120ab7c8649a7e8a9a843f2f8aaeae97d17a88a1c78b279285e300f3eacaac","cross_cats_sorted":["q-bio.QM"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-07T12:49:50Z","title_canon_sha256":"6bbe67bf19d20e0ede652fb409db532e115b503542362eaf642e634365dd487f"},"schema_version":"1.0","source":{"id":"2607.06225","kind":"arxiv","version":1}},"canonical_sha256":"d3d13a3ba2277a70c740f61f997ab4d09e5e4711dd069308caa2331bea77af99","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d3d13a3ba2277a70c740f61f997ab4d09e5e4711dd069308caa2331bea77af99","first_computed_at":"2026-07-08T01:19:18.318878Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-08T01:19:18.318878Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uHqjDdE0P1iFTc0miCT9syiVq1PQbWTM8yT5sLXo0dkneFQ53gPN9gOtCQ1ASmPxjASE8TYR1zDzGsuyt0EJBQ==","signature_status":"signed_v1","signed_at":"2026-07-08T01:19:18.319288Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.06225","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fe069f947f2fb2f413d74e70f69ac1a443778598d2b5e31ec8427cc81a9fa962","sha256:f71e1392213f67a21bfeeeb337d748d0490c24a65b717f0fa63c9429d6a3e8da"],"state_sha256":"1677967fddd3eee36b5d77650906770b9d48e12df620b84e09def98a227f6fb2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qdvH0uIA6UbmvlftBLmRGhNFVUvWhd9O92fN2x3E/LtBFWda45b+RfOZy/jrwAWbvDtBvcdK4w6ggVWgzjzVCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T20:32:58.075753Z","bundle_sha256":"8de4a2694eaed9af0f59feafa4350155657a3fdaeee1e9cc7362e72be43184ce"}}