{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:UGMY7XIKXT7RFZYLJDKGELANJH","short_pith_number":"pith:UGMY7XIK","canonical_record":{"source":{"id":"1605.08475","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-05-26T23:25:24Z","cross_cats_sorted":[],"title_canon_sha256":"5f9f4d92101fb82713898442a559e91b22d4fd75af0754bb7122ebfccb417ad1","abstract_canon_sha256":"2f34a142f19f1ef4dfd3f2130fce5fa6be75590c580ea8a9ced3a3191259cc81"},"schema_version":"1.0"},"canonical_sha256":"a1998fdd0abcff12e70b48d4622c0d49e448d690e98f95713a0bbedd6df049d0","source":{"kind":"arxiv","id":"1605.08475","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.08475","created_at":"2026-05-18T01:13:29Z"},{"alias_kind":"arxiv_version","alias_value":"1605.08475v1","created_at":"2026-05-18T01:13:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.08475","created_at":"2026-05-18T01:13:29Z"},{"alias_kind":"pith_short_12","alias_value":"UGMY7XIKXT7R","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UGMY7XIKXT7RFZYL","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UGMY7XIK","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:UGMY7XIKXT7RFZYLJDKGELANJH","target":"record","payload":{"canonical_record":{"source":{"id":"1605.08475","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-05-26T23:25:24Z","cross_cats_sorted":[],"title_canon_sha256":"5f9f4d92101fb82713898442a559e91b22d4fd75af0754bb7122ebfccb417ad1","abstract_canon_sha256":"2f34a142f19f1ef4dfd3f2130fce5fa6be75590c580ea8a9ced3a3191259cc81"},"schema_version":"1.0"},"canonical_sha256":"a1998fdd0abcff12e70b48d4622c0d49e448d690e98f95713a0bbedd6df049d0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:29.840786Z","signature_b64":"Mh1/AKlT9FqcHTtmaQ6SMc7LLEYE1926jqlakyJyNei72pCm6JsXWW3frtKbvtlr8ZVilD9NMpQSm/DSG8hADg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a1998fdd0abcff12e70b48d4622c0d49e448d690e98f95713a0bbedd6df049d0","last_reissued_at":"2026-05-18T01:13:29.840043Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:29.840043Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.08475","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:13:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bMFbTPf4PFb43gIXohiO72UWZiF+rCFw38OfiM3stYs+vdTD6pwKIXy2LXGT4YBK05Igi0RoK1V9c2Isz5LqAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:49:46.450150Z"},"content_sha256":"014bd10983709e9334c163fcdba5ad755c4194c3f4faebc55e6ca6b385224388","schema_version":"1.0","event_id":"sha256:014bd10983709e9334c163fcdba5ad755c4194c3f4faebc55e6ca6b385224388"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:UGMY7XIKXT7RFZYLJDKGELANJH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Erik D. Demaine, Jayson Lynch, Nirvan Tyagi","submitted_at":"2016-05-26T23:25:24Z","abstract_excerpt":"We introduce a new programming language for expressing reversibility, Energy-Efficient Language (Eel), geared toward algorithm design and implementation. Eel is the first language to take advantage of a partially reversible computation model, where programs can be composed of both reversible and irreversible operations. In this model, irreversible operations cost energy for every bit of information created or destroyed. To handle programs of varying degrees of reversibility, Eel supports a log stack to automatically trade energy costs for space costs, and introduces many powerful control logic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.08475","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:13:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LRIJcMfXyODgojRtdH/HGknyg80byYYEeXee0Vj3iT4wt2NCJgy2ODp4PvDNdruSc/nzcqft9SRU1jWNCVgBBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T12:49:46.450523Z"},"content_sha256":"6e55b3c3f86c72a34c72afa6d55d77c30b32ff5bca12ab0d5f16dfff947a5e77","schema_version":"1.0","event_id":"sha256:6e55b3c3f86c72a34c72afa6d55d77c30b32ff5bca12ab0d5f16dfff947a5e77"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UGMY7XIKXT7RFZYLJDKGELANJH/bundle.json","state_url":"https://pith.science/pith/UGMY7XIKXT7RFZYLJDKGELANJH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UGMY7XIKXT7RFZYLJDKGELANJH/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-05T12:49:46Z","links":{"resolver":"https://pith.science/pith/UGMY7XIKXT7RFZYLJDKGELANJH","bundle":"https://pith.science/pith/UGMY7XIKXT7RFZYLJDKGELANJH/bundle.json","state":"https://pith.science/pith/UGMY7XIKXT7RFZYLJDKGELANJH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UGMY7XIKXT7RFZYLJDKGELANJH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:UGMY7XIKXT7RFZYLJDKGELANJH","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":"2f34a142f19f1ef4dfd3f2130fce5fa6be75590c580ea8a9ced3a3191259cc81","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-05-26T23:25:24Z","title_canon_sha256":"5f9f4d92101fb82713898442a559e91b22d4fd75af0754bb7122ebfccb417ad1"},"schema_version":"1.0","source":{"id":"1605.08475","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.08475","created_at":"2026-05-18T01:13:29Z"},{"alias_kind":"arxiv_version","alias_value":"1605.08475v1","created_at":"2026-05-18T01:13:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.08475","created_at":"2026-05-18T01:13:29Z"},{"alias_kind":"pith_short_12","alias_value":"UGMY7XIKXT7R","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UGMY7XIKXT7RFZYL","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UGMY7XIK","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:6e55b3c3f86c72a34c72afa6d55d77c30b32ff5bca12ab0d5f16dfff947a5e77","target":"graph","created_at":"2026-05-18T01:13:29Z","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":"We introduce a new programming language for expressing reversibility, Energy-Efficient Language (Eel), geared toward algorithm design and implementation. Eel is the first language to take advantage of a partially reversible computation model, where programs can be composed of both reversible and irreversible operations. In this model, irreversible operations cost energy for every bit of information created or destroyed. To handle programs of varying degrees of reversibility, Eel supports a log stack to automatically trade energy costs for space costs, and introduces many powerful control logic","authors_text":"Erik D. Demaine, Jayson Lynch, Nirvan Tyagi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-05-26T23:25:24Z","title":"Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.08475","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:014bd10983709e9334c163fcdba5ad755c4194c3f4faebc55e6ca6b385224388","target":"record","created_at":"2026-05-18T01:13:29Z","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":"2f34a142f19f1ef4dfd3f2130fce5fa6be75590c580ea8a9ced3a3191259cc81","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-05-26T23:25:24Z","title_canon_sha256":"5f9f4d92101fb82713898442a559e91b22d4fd75af0754bb7122ebfccb417ad1"},"schema_version":"1.0","source":{"id":"1605.08475","kind":"arxiv","version":1}},"canonical_sha256":"a1998fdd0abcff12e70b48d4622c0d49e448d690e98f95713a0bbedd6df049d0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1998fdd0abcff12e70b48d4622c0d49e448d690e98f95713a0bbedd6df049d0","first_computed_at":"2026-05-18T01:13:29.840043Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:29.840043Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Mh1/AKlT9FqcHTtmaQ6SMc7LLEYE1926jqlakyJyNei72pCm6JsXWW3frtKbvtlr8ZVilD9NMpQSm/DSG8hADg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:29.840786Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.08475","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:014bd10983709e9334c163fcdba5ad755c4194c3f4faebc55e6ca6b385224388","sha256:6e55b3c3f86c72a34c72afa6d55d77c30b32ff5bca12ab0d5f16dfff947a5e77"],"state_sha256":"ec6b1b76d373953dff97a1d2cd2182604beda37e52d7a6f58c9388e46f7f3f4d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+UdIrFuI4bs23gvDYLAPMJ5XK6SVdLCaiFKoOpGnp709iLhxO1xMTWuBrNk6ZRU7BdleZTwfNVuA09Q5cnKuDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T12:49:46.452486Z","bundle_sha256":"d1233781887d22834b40a97f82031bd3f7c7b3cff8e436a3d073a907b1e846a1"}}