{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:WP6ECQ3NRCSGWFAUC3OQJC2NR2","short_pith_number":"pith:WP6ECQ3N","canonical_record":{"source":{"id":"1505.04210","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.BM","submitted_at":"2015-05-15T22:17:06Z","cross_cats_sorted":[],"title_canon_sha256":"bac1f789f7d4dba26243d665a834f931c36b5222ba59ecfb5021a68151e35586","abstract_canon_sha256":"a36a2403b0912eb1b62fb63b0e2445ea786de656f87e6f812bfd320f4b1028dd"},"schema_version":"1.0"},"canonical_sha256":"b3fc41436d88a46b141416dd048b4d8ebee7e855a930c2c4d4339fd448682a45","source":{"kind":"arxiv","id":"1505.04210","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.04210","created_at":"2026-05-18T02:00:58Z"},{"alias_kind":"arxiv_version","alias_value":"1505.04210v1","created_at":"2026-05-18T02:00:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.04210","created_at":"2026-05-18T02:00:58Z"},{"alias_kind":"pith_short_12","alias_value":"WP6ECQ3NRCSG","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"WP6ECQ3NRCSGWFAU","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"WP6ECQ3N","created_at":"2026-05-18T12:29:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:WP6ECQ3NRCSGWFAUC3OQJC2NR2","target":"record","payload":{"canonical_record":{"source":{"id":"1505.04210","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.BM","submitted_at":"2015-05-15T22:17:06Z","cross_cats_sorted":[],"title_canon_sha256":"bac1f789f7d4dba26243d665a834f931c36b5222ba59ecfb5021a68151e35586","abstract_canon_sha256":"a36a2403b0912eb1b62fb63b0e2445ea786de656f87e6f812bfd320f4b1028dd"},"schema_version":"1.0"},"canonical_sha256":"b3fc41436d88a46b141416dd048b4d8ebee7e855a930c2c4d4339fd448682a45","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:00:58.395323Z","signature_b64":"TSoh16YBkc2QWgS2PmhnbLe7y7KUk6OYDtS0V5tQl6bMD6Cl9XS6q8/NY/s/18nKUW2lYD8/CbBKG7xfaT8sBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3fc41436d88a46b141416dd048b4d8ebee7e855a930c2c4d4339fd448682a45","last_reissued_at":"2026-05-18T02:00:58.394684Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:00:58.394684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1505.04210","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-05-18T02:00:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pUEUMeCJfMBFe0LSdTcW1bgtzK+zGnAPUbNrhK0DB4ywH2Q+qgWYijFOAThvSjh5PJlOV3rZFFvtr2OiLjyFBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:08:32.662952Z"},"content_sha256":"ef3c0255aa08f426eecf64a52d61e1b997864829bcef3486c11afa2079f6589d","schema_version":"1.0","event_id":"sha256:ef3c0255aa08f426eecf64a52d61e1b997864829bcef3486c11afa2079f6589d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:WP6ECQ3NRCSGWFAUC3OQJC2NR2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"RNAiFold 2.0: A web server and software to design custom and Rfam-based RNA molecules","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"q-bio.BM","authors_text":"Ivan Dotu, Juan Antonio Garcia-Martin, Peter Clote","submitted_at":"2015-05-15T22:17:06Z","abstract_excerpt":"Several algorithms for RNA inverse folding have been used to design synthetic riboswitches, ribozymes and thermoswitches, whose activity has been experimentally validated. The RNAiFold software is unique among approaches for inverse folding in that (exhaustive) constraint programming is used instead of heuristic methods. For that reason, RNAiFold can generate all sequences that fold into the target structure, or determine that there is no solution. RNAiFold 2.0 is a complete overhaul of RNAiFold 1.0, rewritten from the now defunct COMET language to C++. The new code properly extends the capabi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.04210","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":""},"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-05-18T02:00:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ol3dceZ/ab+fFS9RtqKKQ/fX7jiz2uKVCq9TBM8RhCvhYjeLGQ5wLlnaAvLMIM07FOYWxx2tL/s+jb/4kpfeCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T22:08:32.663282Z"},"content_sha256":"6b85c132d48a368d0bee76aa5113a72d9dbce8171f42c1b7e41c06ff4ed42567","schema_version":"1.0","event_id":"sha256:6b85c132d48a368d0bee76aa5113a72d9dbce8171f42c1b7e41c06ff4ed42567"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2/bundle.json","state_url":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2/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-03T22:08:32Z","links":{"resolver":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2","bundle":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2/bundle.json","state":"https://pith.science/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WP6ECQ3NRCSGWFAUC3OQJC2NR2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:WP6ECQ3NRCSGWFAUC3OQJC2NR2","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":"a36a2403b0912eb1b62fb63b0e2445ea786de656f87e6f812bfd320f4b1028dd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.BM","submitted_at":"2015-05-15T22:17:06Z","title_canon_sha256":"bac1f789f7d4dba26243d665a834f931c36b5222ba59ecfb5021a68151e35586"},"schema_version":"1.0","source":{"id":"1505.04210","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.04210","created_at":"2026-05-18T02:00:58Z"},{"alias_kind":"arxiv_version","alias_value":"1505.04210v1","created_at":"2026-05-18T02:00:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.04210","created_at":"2026-05-18T02:00:58Z"},{"alias_kind":"pith_short_12","alias_value":"WP6ECQ3NRCSG","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"WP6ECQ3NRCSGWFAU","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"WP6ECQ3N","created_at":"2026-05-18T12:29:47Z"}],"graph_snapshots":[{"event_id":"sha256:6b85c132d48a368d0bee76aa5113a72d9dbce8171f42c1b7e41c06ff4ed42567","target":"graph","created_at":"2026-05-18T02:00:58Z","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"},"paper":{"abstract_excerpt":"Several algorithms for RNA inverse folding have been used to design synthetic riboswitches, ribozymes and thermoswitches, whose activity has been experimentally validated. The RNAiFold software is unique among approaches for inverse folding in that (exhaustive) constraint programming is used instead of heuristic methods. For that reason, RNAiFold can generate all sequences that fold into the target structure, or determine that there is no solution. RNAiFold 2.0 is a complete overhaul of RNAiFold 1.0, rewritten from the now defunct COMET language to C++. The new code properly extends the capabi","authors_text":"Ivan Dotu, Juan Antonio Garcia-Martin, Peter Clote","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.BM","submitted_at":"2015-05-15T22:17:06Z","title":"RNAiFold 2.0: A web server and software to design custom and Rfam-based RNA molecules"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.04210","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:ef3c0255aa08f426eecf64a52d61e1b997864829bcef3486c11afa2079f6589d","target":"record","created_at":"2026-05-18T02:00:58Z","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":"a36a2403b0912eb1b62fb63b0e2445ea786de656f87e6f812bfd320f4b1028dd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.BM","submitted_at":"2015-05-15T22:17:06Z","title_canon_sha256":"bac1f789f7d4dba26243d665a834f931c36b5222ba59ecfb5021a68151e35586"},"schema_version":"1.0","source":{"id":"1505.04210","kind":"arxiv","version":1}},"canonical_sha256":"b3fc41436d88a46b141416dd048b4d8ebee7e855a930c2c4d4339fd448682a45","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3fc41436d88a46b141416dd048b4d8ebee7e855a930c2c4d4339fd448682a45","first_computed_at":"2026-05-18T02:00:58.394684Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:00:58.394684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TSoh16YBkc2QWgS2PmhnbLe7y7KUk6OYDtS0V5tQl6bMD6Cl9XS6q8/NY/s/18nKUW2lYD8/CbBKG7xfaT8sBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:00:58.395323Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.04210","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ef3c0255aa08f426eecf64a52d61e1b997864829bcef3486c11afa2079f6589d","sha256:6b85c132d48a368d0bee76aa5113a72d9dbce8171f42c1b7e41c06ff4ed42567"],"state_sha256":"6de8c3394c872099472541c65e680b4d5fa75e7965b6364e8ba914259be3d8c3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T2dt81mx2YCK/0b8z2qBrydtG2W84wLZdh1wJDZ6JWEjD1ZA79I1vM8zcwc7e+YpJFfSY/8MPx2VqvVn2LjoDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T22:08:32.665165Z","bundle_sha256":"b928611222e27b5361493b100a732a4b499519a60accad161acda5d98f541a37"}}