{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2008:ZBUF5CRN7J4MPTRJXMJSOZKZ4P","short_pith_number":"pith:ZBUF5CRN","canonical_record":{"source":{"id":"0801.1251","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2008-01-08T15:04:56Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"32398319a89edc55ef4e7fca0a2289d18fe215af4aa75af596c5cf965b6e255d","abstract_canon_sha256":"e06cc6e78b597244f6e2e545bb852e9a507aa299531b194504f8c2e2d905c7ba"},"schema_version":"1.0"},"canonical_sha256":"c8685e8a2dfa78c7ce29bb13276559e3eb3dce235e2e806ea1092cd91229c67b","source":{"kind":"arxiv","id":"0801.1251","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0801.1251","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"arxiv_version","alias_value":"0801.1251v2","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0801.1251","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"pith_short_12","alias_value":"ZBUF5CRN7J4M","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"ZBUF5CRN7J4MPTRJ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"ZBUF5CRN","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2008:ZBUF5CRN7J4MPTRJXMJSOZKZ4P","target":"record","payload":{"canonical_record":{"source":{"id":"0801.1251","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2008-01-08T15:04:56Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"32398319a89edc55ef4e7fca0a2289d18fe215af4aa75af596c5cf965b6e255d","abstract_canon_sha256":"e06cc6e78b597244f6e2e545bb852e9a507aa299531b194504f8c2e2d905c7ba"},"schema_version":"1.0"},"canonical_sha256":"c8685e8a2dfa78c7ce29bb13276559e3eb3dce235e2e806ea1092cd91229c67b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:42.556959Z","signature_b64":"duWqA5RqKPxtxjetH48FSktWyC/xJ2RhF3U5UcwyyF+pB0t1FzWCaFnVPML4US4R6Z+ME1BuKUGg3bp5DmDuDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8685e8a2dfa78c7ce29bb13276559e3eb3dce235e2e806ea1092cd91229c67b","last_reissued_at":"2026-05-18T01:37:42.556345Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:42.556345Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0801.1251","source_version":2,"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:37:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9GDN4C9Mi3vKP+GH0+V3b1VmHWzgZK+AMzFEZzVFCGVG63708BkbcKcMcSMGnmCIz2LDtyCC+42cOzNP5zzqBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T06:00:37.044593Z"},"content_sha256":"b9b0a481d182fbb8a7911c6d2d967a3d22ef41bbf901bd5c7df072351addc2c7","schema_version":"1.0","event_id":"sha256:b9b0a481d182fbb8a7911c6d2d967a3d22ef41bbf901bd5c7df072351addc2c7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2008:ZBUF5CRN7J4MPTRJXMJSOZKZ4P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generative Unbinding of Names","license":"","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Andrew M. Pitts, Mark R. Shinwell","submitted_at":"2008-01-08T15:04:56Z","abstract_excerpt":"This paper is concerned with the form of typed name binding used by the FreshML family of languages. Its characteristic feature is that a name binding is represented by an abstract (name,value)-pair that may only be deconstructed via the generation of fresh bound names. The paper proves a new result about what operations on names can co-exist with this construct. In FreshML the only observation one can make of names is to test whether or not they are equal. This restricted amount of observation was thought necessary to ensure that there is no observable difference between alpha-equivalent name"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0801.1251","kind":"arxiv","version":2},"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:37:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3f7bJQ1kMDeL7A+LB/17Uv+cYnmWND9vCvGk7Fcw4rFXR8B9aqCqxmbS8iEUrSGx96SMCmXSeEbvaTBIaAHnDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T06:00:37.044939Z"},"content_sha256":"c5a1683c7f123ebe47a3666cf780fac1867b334c8d55a5021ff2885f6e6cc867","schema_version":"1.0","event_id":"sha256:c5a1683c7f123ebe47a3666cf780fac1867b334c8d55a5021ff2885f6e6cc867"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZBUF5CRN7J4MPTRJXMJSOZKZ4P/bundle.json","state_url":"https://pith.science/pith/ZBUF5CRN7J4MPTRJXMJSOZKZ4P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZBUF5CRN7J4MPTRJXMJSOZKZ4P/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-07-09T06:00:37Z","links":{"resolver":"https://pith.science/pith/ZBUF5CRN7J4MPTRJXMJSOZKZ4P","bundle":"https://pith.science/pith/ZBUF5CRN7J4MPTRJXMJSOZKZ4P/bundle.json","state":"https://pith.science/pith/ZBUF5CRN7J4MPTRJXMJSOZKZ4P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZBUF5CRN7J4MPTRJXMJSOZKZ4P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:ZBUF5CRN7J4MPTRJXMJSOZKZ4P","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":"e06cc6e78b597244f6e2e545bb852e9a507aa299531b194504f8c2e2d905c7ba","cross_cats_sorted":["cs.LO"],"license":"","primary_cat":"cs.PL","submitted_at":"2008-01-08T15:04:56Z","title_canon_sha256":"32398319a89edc55ef4e7fca0a2289d18fe215af4aa75af596c5cf965b6e255d"},"schema_version":"1.0","source":{"id":"0801.1251","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0801.1251","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"arxiv_version","alias_value":"0801.1251v2","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0801.1251","created_at":"2026-05-18T01:37:42Z"},{"alias_kind":"pith_short_12","alias_value":"ZBUF5CRN7J4M","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"ZBUF5CRN7J4MPTRJ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"ZBUF5CRN","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:c5a1683c7f123ebe47a3666cf780fac1867b334c8d55a5021ff2885f6e6cc867","target":"graph","created_at":"2026-05-18T01:37:42Z","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":"This paper is concerned with the form of typed name binding used by the FreshML family of languages. Its characteristic feature is that a name binding is represented by an abstract (name,value)-pair that may only be deconstructed via the generation of fresh bound names. The paper proves a new result about what operations on names can co-exist with this construct. In FreshML the only observation one can make of names is to test whether or not they are equal. This restricted amount of observation was thought necessary to ensure that there is no observable difference between alpha-equivalent name","authors_text":"Andrew M. Pitts, Mark R. Shinwell","cross_cats":["cs.LO"],"headline":"","license":"","primary_cat":"cs.PL","submitted_at":"2008-01-08T15:04:56Z","title":"Generative Unbinding of Names"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0801.1251","kind":"arxiv","version":2},"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:b9b0a481d182fbb8a7911c6d2d967a3d22ef41bbf901bd5c7df072351addc2c7","target":"record","created_at":"2026-05-18T01:37:42Z","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":"e06cc6e78b597244f6e2e545bb852e9a507aa299531b194504f8c2e2d905c7ba","cross_cats_sorted":["cs.LO"],"license":"","primary_cat":"cs.PL","submitted_at":"2008-01-08T15:04:56Z","title_canon_sha256":"32398319a89edc55ef4e7fca0a2289d18fe215af4aa75af596c5cf965b6e255d"},"schema_version":"1.0","source":{"id":"0801.1251","kind":"arxiv","version":2}},"canonical_sha256":"c8685e8a2dfa78c7ce29bb13276559e3eb3dce235e2e806ea1092cd91229c67b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8685e8a2dfa78c7ce29bb13276559e3eb3dce235e2e806ea1092cd91229c67b","first_computed_at":"2026-05-18T01:37:42.556345Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:42.556345Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"duWqA5RqKPxtxjetH48FSktWyC/xJ2RhF3U5UcwyyF+pB0t1FzWCaFnVPML4US4R6Z+ME1BuKUGg3bp5DmDuDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:42.556959Z","signed_message":"canonical_sha256_bytes"},"source_id":"0801.1251","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b9b0a481d182fbb8a7911c6d2d967a3d22ef41bbf901bd5c7df072351addc2c7","sha256:c5a1683c7f123ebe47a3666cf780fac1867b334c8d55a5021ff2885f6e6cc867"],"state_sha256":"6743f47110ece9c9cdf93993ef6ce4143c17cbea5e21fe82de75ed97fbba648a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pgo1dPZXONgYcR8aym07mAm9hE1/9SDsTr03FUhwvWPLWRD8SnC/kDIr2/TaPIUJ74GTtJHmgmm3wl1kPrQlAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T06:00:37.047225Z","bundle_sha256":"f56855526c5dbfcc37cc0a2fe9f5a57809b304eb2a8b74c36e20620f122b062e"}}