{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:CHIEZTH76KR2XHX5XG4JHWQCMZ","short_pith_number":"pith:CHIEZTH7","canonical_record":{"source":{"id":"1605.04468","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.BM","submitted_at":"2016-05-14T21:23:53Z","cross_cats_sorted":[],"title_canon_sha256":"e58038efdaf368d54d755656b81fd966624e5be0572f623236d13f03fd44a4f1","abstract_canon_sha256":"32f54ce7d9342d11a64021be665c53ce6279304758c083fe49bcc9f90cf667de"},"schema_version":"1.0"},"canonical_sha256":"11d04cccfff2a3ab9efdb9b893da0266438cbc4ac0c83ce46d92a9e3ad21a0e2","source":{"kind":"arxiv","id":"1605.04468","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.04468","created_at":"2026-05-18T01:03:26Z"},{"alias_kind":"arxiv_version","alias_value":"1605.04468v1","created_at":"2026-05-18T01:03:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.04468","created_at":"2026-05-18T01:03:26Z"},{"alias_kind":"pith_short_12","alias_value":"CHIEZTH76KR2","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"CHIEZTH76KR2XHX5","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"CHIEZTH7","created_at":"2026-05-18T12:30:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:CHIEZTH76KR2XHX5XG4JHWQCMZ","target":"record","payload":{"canonical_record":{"source":{"id":"1605.04468","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.BM","submitted_at":"2016-05-14T21:23:53Z","cross_cats_sorted":[],"title_canon_sha256":"e58038efdaf368d54d755656b81fd966624e5be0572f623236d13f03fd44a4f1","abstract_canon_sha256":"32f54ce7d9342d11a64021be665c53ce6279304758c083fe49bcc9f90cf667de"},"schema_version":"1.0"},"canonical_sha256":"11d04cccfff2a3ab9efdb9b893da0266438cbc4ac0c83ce46d92a9e3ad21a0e2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:03:26.460185Z","signature_b64":"At5cXmgF5Z1z229fnLr0/7Gp4wvHxU6N0Ygqj1rFFLIRv1Vn7KQzQxT9MbB57G5B4hJuOzrJVPJ8ao1PHpQ5Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"11d04cccfff2a3ab9efdb9b893da0266438cbc4ac0c83ce46d92a9e3ad21a0e2","last_reissued_at":"2026-05-18T01:03:26.459653Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:03:26.459653Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.04468","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-18T01:03:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ueUswjapzLce3A78zR9hrnYLrGIyW0UT6qZhBwoOrGXZzHYTt+2KrXLVVbxNTQyQmLm4uiePboiHiw+XNzpVBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T23:46:10.922190Z"},"content_sha256":"e2142835bd8fdcd0c9b927baf2075f33bc85d35bd95f6e5d38181641a58de29e","schema_version":"1.0","event_id":"sha256:e2142835bd8fdcd0c9b927baf2075f33bc85d35bd95f6e5d38181641a58de29e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:CHIEZTH76KR2XHX5XG4JHWQCMZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"RNAiFold2T: Constraint Programming design of thermo-IRES switches","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"q-bio.BM","authors_text":"Encarnacion Martinez-Salas, Gloria Lozano, Ivan Dotu, Javier Fernandez-Chamorro, Jorge Ramajo, Juan Antonio Garcia-Martin, Peter Clote","submitted_at":"2016-05-14T21:23:53Z","abstract_excerpt":"Motivation: RNA thermometers (RNATs) are cis-regulatory ele- ments that change secondary structure upon temperature shift. Often involved in the regulation of heat shock, cold shock and virulence genes, RNATs constitute an interesting potential resource in synthetic biology, where engineered RNATs could prove to be useful tools in biosensors and conditional gene regulation. Results: Solving the 2-temperature inverse folding problem is critical for RNAT engineering. Here we introduce RNAiFold2T, the first Constraint Programming (CP) and Large Neighborhood Search (LNS) algorithms to solve this p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.04468","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-18T01:03:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NT4C2LD/+gGmkBJ0agkBgHFgygO+dB0RjXw5nA4fMo8UPkCoTayJKpxjzhG80SGcyEYBasJ4SMnNL++kdfcJAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T23:46:10.922833Z"},"content_sha256":"048686e5797721f6672b0e823249947a238861a529259ed1b13bd4db243d6657","schema_version":"1.0","event_id":"sha256:048686e5797721f6672b0e823249947a238861a529259ed1b13bd4db243d6657"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CHIEZTH76KR2XHX5XG4JHWQCMZ/bundle.json","state_url":"https://pith.science/pith/CHIEZTH76KR2XHX5XG4JHWQCMZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CHIEZTH76KR2XHX5XG4JHWQCMZ/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-06T23:46:10Z","links":{"resolver":"https://pith.science/pith/CHIEZTH76KR2XHX5XG4JHWQCMZ","bundle":"https://pith.science/pith/CHIEZTH76KR2XHX5XG4JHWQCMZ/bundle.json","state":"https://pith.science/pith/CHIEZTH76KR2XHX5XG4JHWQCMZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CHIEZTH76KR2XHX5XG4JHWQCMZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:CHIEZTH76KR2XHX5XG4JHWQCMZ","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":"32f54ce7d9342d11a64021be665c53ce6279304758c083fe49bcc9f90cf667de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.BM","submitted_at":"2016-05-14T21:23:53Z","title_canon_sha256":"e58038efdaf368d54d755656b81fd966624e5be0572f623236d13f03fd44a4f1"},"schema_version":"1.0","source":{"id":"1605.04468","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.04468","created_at":"2026-05-18T01:03:26Z"},{"alias_kind":"arxiv_version","alias_value":"1605.04468v1","created_at":"2026-05-18T01:03:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.04468","created_at":"2026-05-18T01:03:26Z"},{"alias_kind":"pith_short_12","alias_value":"CHIEZTH76KR2","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"CHIEZTH76KR2XHX5","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"CHIEZTH7","created_at":"2026-05-18T12:30:09Z"}],"graph_snapshots":[{"event_id":"sha256:048686e5797721f6672b0e823249947a238861a529259ed1b13bd4db243d6657","target":"graph","created_at":"2026-05-18T01:03:26Z","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":"Motivation: RNA thermometers (RNATs) are cis-regulatory ele- ments that change secondary structure upon temperature shift. Often involved in the regulation of heat shock, cold shock and virulence genes, RNATs constitute an interesting potential resource in synthetic biology, where engineered RNATs could prove to be useful tools in biosensors and conditional gene regulation. Results: Solving the 2-temperature inverse folding problem is critical for RNAT engineering. Here we introduce RNAiFold2T, the first Constraint Programming (CP) and Large Neighborhood Search (LNS) algorithms to solve this p","authors_text":"Encarnacion Martinez-Salas, Gloria Lozano, Ivan Dotu, Javier Fernandez-Chamorro, Jorge Ramajo, 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":"2016-05-14T21:23:53Z","title":"RNAiFold2T: Constraint Programming design of thermo-IRES switches"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.04468","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:e2142835bd8fdcd0c9b927baf2075f33bc85d35bd95f6e5d38181641a58de29e","target":"record","created_at":"2026-05-18T01:03:26Z","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":"32f54ce7d9342d11a64021be665c53ce6279304758c083fe49bcc9f90cf667de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.BM","submitted_at":"2016-05-14T21:23:53Z","title_canon_sha256":"e58038efdaf368d54d755656b81fd966624e5be0572f623236d13f03fd44a4f1"},"schema_version":"1.0","source":{"id":"1605.04468","kind":"arxiv","version":1}},"canonical_sha256":"11d04cccfff2a3ab9efdb9b893da0266438cbc4ac0c83ce46d92a9e3ad21a0e2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"11d04cccfff2a3ab9efdb9b893da0266438cbc4ac0c83ce46d92a9e3ad21a0e2","first_computed_at":"2026-05-18T01:03:26.459653Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:03:26.459653Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"At5cXmgF5Z1z229fnLr0/7Gp4wvHxU6N0Ygqj1rFFLIRv1Vn7KQzQxT9MbB57G5B4hJuOzrJVPJ8ao1PHpQ5Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T01:03:26.460185Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.04468","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e2142835bd8fdcd0c9b927baf2075f33bc85d35bd95f6e5d38181641a58de29e","sha256:048686e5797721f6672b0e823249947a238861a529259ed1b13bd4db243d6657"],"state_sha256":"99275a483fad1cddd6d5d0566bcba7ba486cb1db97f27c27fb99b47c6059dd0c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zYWBvlr99XjR2CMi6DCnQ/UEYV/7DSURhWo6jUV/nMnv+cpE9pwM1pWvoSMTYLivRQx54scZYIJBTymTWp62DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T23:46:10.926221Z","bundle_sha256":"836d729fd6f79f375e98a561c5dd7a8ffddc1fbcbd77af4662a8fcc8b645adc9"}}