{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:GNL5MXCVDZWCJMFBND55LOCGYF","short_pith_number":"pith:GNL5MXCV","canonical_record":{"source":{"id":"1201.3907","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-18T20:44:35Z","cross_cats_sorted":[],"title_canon_sha256":"07b75c7b114e8364ffcb0c8acca02794da09a2bff789902b7d8f046bf7ad6d3d","abstract_canon_sha256":"380982991b9f38a4a825b1dbb9ec007b240458beeac4007449ab84c67c1763c4"},"schema_version":"1.0"},"canonical_sha256":"3357d65c551e6c24b0a168fbd5b846c17d0a826c7ea7e3520c31e2949b9e90e0","source":{"kind":"arxiv","id":"1201.3907","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.3907","created_at":"2026-05-18T04:04:17Z"},{"alias_kind":"arxiv_version","alias_value":"1201.3907v1","created_at":"2026-05-18T04:04:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.3907","created_at":"2026-05-18T04:04:17Z"},{"alias_kind":"pith_short_12","alias_value":"GNL5MXCVDZWC","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"GNL5MXCVDZWCJMFB","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"GNL5MXCV","created_at":"2026-05-18T12:27:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:GNL5MXCVDZWCJMFBND55LOCGYF","target":"record","payload":{"canonical_record":{"source":{"id":"1201.3907","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-18T20:44:35Z","cross_cats_sorted":[],"title_canon_sha256":"07b75c7b114e8364ffcb0c8acca02794da09a2bff789902b7d8f046bf7ad6d3d","abstract_canon_sha256":"380982991b9f38a4a825b1dbb9ec007b240458beeac4007449ab84c67c1763c4"},"schema_version":"1.0"},"canonical_sha256":"3357d65c551e6c24b0a168fbd5b846c17d0a826c7ea7e3520c31e2949b9e90e0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:04:17.582537Z","signature_b64":"UjK3Emm4HjmLx/FUgQ1aodwGs6CSgk5VpfPdPpYIJZuirrtrd1jSMSxbZREqy6hvp/Y4VEF2PkIMWbYae+hIDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3357d65c551e6c24b0a168fbd5b846c17d0a826c7ea7e3520c31e2949b9e90e0","last_reissued_at":"2026-05-18T04:04:17.581842Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:04:17.581842Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1201.3907","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-18T04:04:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BNX6Xt9XGGZykaK0hM8MQUft50UVhGKV+aQ4GtAm/XkEDeqAoks7qVXkesfFQ72GklcLLcwfKKPzHGkii9e/BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T04:13:19.134145Z"},"content_sha256":"e09e911725274a57d84caea52d208bc6ec0af77a218ad00c40c0acda12dc36a1","schema_version":"1.0","event_id":"sha256:e09e911725274a57d84caea52d208bc6ec0af77a218ad00c40c0acda12dc36a1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:GNL5MXCVDZWCJMFBND55LOCGYF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Call-by-need Lambda Calculus, Revisited","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Matthias Felleisen, Stephen Chang","submitted_at":"2012-01-18T20:44:35Z","abstract_excerpt":"The existing call-by-need lambda calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivalent to another or to determine the value of a lazy program. However, neither of the existing calculi models evaluation in a way that matches lazy implementations.\n  Both calculi suffer from the same two problems. First, the calculi never discard function calls, even after they are completely resolved. Second, the calculi include re-association axioms even though these axioms are merely administrative steps with no"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.3907","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-18T04:04:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4WANZ248EPgqTr2d8d2kOp3kqz2U4k6iog+l/84f1XVQDQ33hUgan+pRn40HNSULRBFxaBW8zYwIP1p+9sbRCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T04:13:19.134948Z"},"content_sha256":"34e6784bb5b2c59a6fa53c60b614779df0d507d9e76784fde1c10d30bc8aef4e","schema_version":"1.0","event_id":"sha256:34e6784bb5b2c59a6fa53c60b614779df0d507d9e76784fde1c10d30bc8aef4e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GNL5MXCVDZWCJMFBND55LOCGYF/bundle.json","state_url":"https://pith.science/pith/GNL5MXCVDZWCJMFBND55LOCGYF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GNL5MXCVDZWCJMFBND55LOCGYF/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-05-31T04:13:19Z","links":{"resolver":"https://pith.science/pith/GNL5MXCVDZWCJMFBND55LOCGYF","bundle":"https://pith.science/pith/GNL5MXCVDZWCJMFBND55LOCGYF/bundle.json","state":"https://pith.science/pith/GNL5MXCVDZWCJMFBND55LOCGYF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GNL5MXCVDZWCJMFBND55LOCGYF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:GNL5MXCVDZWCJMFBND55LOCGYF","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":"380982991b9f38a4a825b1dbb9ec007b240458beeac4007449ab84c67c1763c4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-18T20:44:35Z","title_canon_sha256":"07b75c7b114e8364ffcb0c8acca02794da09a2bff789902b7d8f046bf7ad6d3d"},"schema_version":"1.0","source":{"id":"1201.3907","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.3907","created_at":"2026-05-18T04:04:17Z"},{"alias_kind":"arxiv_version","alias_value":"1201.3907v1","created_at":"2026-05-18T04:04:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.3907","created_at":"2026-05-18T04:04:17Z"},{"alias_kind":"pith_short_12","alias_value":"GNL5MXCVDZWC","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"GNL5MXCVDZWCJMFB","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"GNL5MXCV","created_at":"2026-05-18T12:27:06Z"}],"graph_snapshots":[{"event_id":"sha256:34e6784bb5b2c59a6fa53c60b614779df0d507d9e76784fde1c10d30bc8aef4e","target":"graph","created_at":"2026-05-18T04:04:17Z","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":"The existing call-by-need lambda calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivalent to another or to determine the value of a lazy program. However, neither of the existing calculi models evaluation in a way that matches lazy implementations.\n  Both calculi suffer from the same two problems. First, the calculi never discard function calls, even after they are completely resolved. Second, the calculi include re-association axioms even though these axioms are merely administrative steps with no","authors_text":"Matthias Felleisen, Stephen Chang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-18T20:44:35Z","title":"The Call-by-need Lambda Calculus, Revisited"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.3907","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:e09e911725274a57d84caea52d208bc6ec0af77a218ad00c40c0acda12dc36a1","target":"record","created_at":"2026-05-18T04:04:17Z","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":"380982991b9f38a4a825b1dbb9ec007b240458beeac4007449ab84c67c1763c4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-01-18T20:44:35Z","title_canon_sha256":"07b75c7b114e8364ffcb0c8acca02794da09a2bff789902b7d8f046bf7ad6d3d"},"schema_version":"1.0","source":{"id":"1201.3907","kind":"arxiv","version":1}},"canonical_sha256":"3357d65c551e6c24b0a168fbd5b846c17d0a826c7ea7e3520c31e2949b9e90e0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3357d65c551e6c24b0a168fbd5b846c17d0a826c7ea7e3520c31e2949b9e90e0","first_computed_at":"2026-05-18T04:04:17.581842Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:04:17.581842Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UjK3Emm4HjmLx/FUgQ1aodwGs6CSgk5VpfPdPpYIJZuirrtrd1jSMSxbZREqy6hvp/Y4VEF2PkIMWbYae+hIDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:04:17.582537Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.3907","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e09e911725274a57d84caea52d208bc6ec0af77a218ad00c40c0acda12dc36a1","sha256:34e6784bb5b2c59a6fa53c60b614779df0d507d9e76784fde1c10d30bc8aef4e"],"state_sha256":"998bd1f81dfeac90a03dde06fe6808c082113edd15fa321d9db9c3e352a16535"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gWZie/qlZ2zhGIFppSKtKZl0L1Ofeusr6S0Hk7RG3oK9Pn9FNc9poD5Sb2a8Uz7CGJ9vySM9TSAciXM4hsEQCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T04:13:19.139126Z","bundle_sha256":"fcbe59da4cc40408cbdbf24a3bff58ba0436a2187ad80c0f3cd993c2d33ee475"}}