{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2007:KD33NJZSQ7HTX4DIGP6VF2WP6K","short_pith_number":"pith:KD33NJZS","canonical_record":{"source":{"id":"cs/0701031","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2007-01-05T16:54:35Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"ba2d248a3d35ce772bdeaef4f65a69a3a2e057c36912b3cf2d1b43190b95f1d1","abstract_canon_sha256":"bb9b8c8ccb93287123fef850e9c36388ea816ed43eb45dbaf3648841ceb9d2b5"},"schema_version":"1.0"},"canonical_sha256":"50f7b6a73287cf3bf06833fd52eacff29a5976b4ac11d1b8f0abae2c0a647f43","source":{"kind":"arxiv","id":"cs/0701031","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0701031","created_at":"2026-05-18T01:09:19Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0701031v1","created_at":"2026-05-18T01:09:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0701031","created_at":"2026-05-18T01:09:19Z"},{"alias_kind":"pith_short_12","alias_value":"KD33NJZSQ7HT","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"KD33NJZSQ7HTX4DI","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"KD33NJZS","created_at":"2026-05-18T12:25:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2007:KD33NJZSQ7HTX4DIGP6VF2WP6K","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0701031","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.LO","submitted_at":"2007-01-05T16:54:35Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"ba2d248a3d35ce772bdeaef4f65a69a3a2e057c36912b3cf2d1b43190b95f1d1","abstract_canon_sha256":"bb9b8c8ccb93287123fef850e9c36388ea816ed43eb45dbaf3648841ceb9d2b5"},"schema_version":"1.0"},"canonical_sha256":"50f7b6a73287cf3bf06833fd52eacff29a5976b4ac11d1b8f0abae2c0a647f43","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:19.679274Z","signature_b64":"ljgKsJVuqITCEA+fDadaK7YZKzfOWBiZBV5bvCwMXXrNYR7foUrtVOTstmz1NxCpYCT1h1JfhlJED6dOAnI6Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"50f7b6a73287cf3bf06833fd52eacff29a5976b4ac11d1b8f0abae2c0a647f43","last_reissued_at":"2026-05-18T01:09:19.678824Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:19.678824Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0701031","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:09:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"by5HUKRh6Uyy0D3NYrV94I/u86r9+T6CpUF8ZuwPqu9t+i9kc5O0pY/Yigg/2trZUf8S45HagN3xQ6EolwEnDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T15:18:00.485950Z"},"content_sha256":"c123a3866344b118bee6a6bcb708cb7d04479714990d654d20271ee49cf2a63d","schema_version":"1.0","event_id":"sha256:c123a3866344b118bee6a6bcb708cb7d04479714990d654d20271ee49cf2a63d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2007:KD33NJZSQ7HTX4DIGP6VF2WP6K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the implementation of construction functions for non-free concrete data types","license":"","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Fr\\'ed\\'eric Blanqui (INRIA Lorraine - LORIA), Pierre Weis (INRIA Rocquencourt), Th\\'er\\`ese Hardin (LIP6)","submitted_at":"2007-01-05T16:54:35Z","abstract_excerpt":"Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence classes of some equational theory. For instance, a sorted list is a particular representative wrt commutativity. Theories like associativity, neutral element, idempotence, etc. are also very common. Now, when one wants to combine various invariants, it may be difficult to find the suitable representatives and to efficiently implement the invariants. The preservation of invariants throughout the whole program is even more diff"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0701031","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:09:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VFT4TJVygvzcd+ePCvaR1WwvCdoeGZK88SMycWWgTA+R+/eHolDMEYs1qWdKH41j85fiyeN0BS6olsXEYX0dCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T15:18:00.486622Z"},"content_sha256":"4563f98b8fcaf868df5d6badce1c533fe916b1703d4e5b2333d5dedc1e8f9b10","schema_version":"1.0","event_id":"sha256:4563f98b8fcaf868df5d6badce1c533fe916b1703d4e5b2333d5dedc1e8f9b10"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KD33NJZSQ7HTX4DIGP6VF2WP6K/bundle.json","state_url":"https://pith.science/pith/KD33NJZSQ7HTX4DIGP6VF2WP6K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KD33NJZSQ7HTX4DIGP6VF2WP6K/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-06T15:18:00Z","links":{"resolver":"https://pith.science/pith/KD33NJZSQ7HTX4DIGP6VF2WP6K","bundle":"https://pith.science/pith/KD33NJZSQ7HTX4DIGP6VF2WP6K/bundle.json","state":"https://pith.science/pith/KD33NJZSQ7HTX4DIGP6VF2WP6K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KD33NJZSQ7HTX4DIGP6VF2WP6K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:KD33NJZSQ7HTX4DIGP6VF2WP6K","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":"bb9b8c8ccb93287123fef850e9c36388ea816ed43eb45dbaf3648841ceb9d2b5","cross_cats_sorted":["cs.PL"],"license":"","primary_cat":"cs.LO","submitted_at":"2007-01-05T16:54:35Z","title_canon_sha256":"ba2d248a3d35ce772bdeaef4f65a69a3a2e057c36912b3cf2d1b43190b95f1d1"},"schema_version":"1.0","source":{"id":"cs/0701031","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0701031","created_at":"2026-05-18T01:09:19Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0701031v1","created_at":"2026-05-18T01:09:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0701031","created_at":"2026-05-18T01:09:19Z"},{"alias_kind":"pith_short_12","alias_value":"KD33NJZSQ7HT","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_16","alias_value":"KD33NJZSQ7HTX4DI","created_at":"2026-05-18T12:25:55Z"},{"alias_kind":"pith_short_8","alias_value":"KD33NJZS","created_at":"2026-05-18T12:25:55Z"}],"graph_snapshots":[{"event_id":"sha256:4563f98b8fcaf868df5d6badce1c533fe916b1703d4e5b2333d5dedc1e8f9b10","target":"graph","created_at":"2026-05-18T01:09:19Z","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":"Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence classes of some equational theory. For instance, a sorted list is a particular representative wrt commutativity. Theories like associativity, neutral element, idempotence, etc. are also very common. Now, when one wants to combine various invariants, it may be difficult to find the suitable representatives and to efficiently implement the invariants. The preservation of invariants throughout the whole program is even more diff","authors_text":"Fr\\'ed\\'eric Blanqui (INRIA Lorraine - LORIA), Pierre Weis (INRIA Rocquencourt), Th\\'er\\`ese Hardin (LIP6)","cross_cats":["cs.PL"],"headline":"","license":"","primary_cat":"cs.LO","submitted_at":"2007-01-05T16:54:35Z","title":"On the implementation of construction functions for non-free concrete data types"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0701031","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:c123a3866344b118bee6a6bcb708cb7d04479714990d654d20271ee49cf2a63d","target":"record","created_at":"2026-05-18T01:09:19Z","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":"bb9b8c8ccb93287123fef850e9c36388ea816ed43eb45dbaf3648841ceb9d2b5","cross_cats_sorted":["cs.PL"],"license":"","primary_cat":"cs.LO","submitted_at":"2007-01-05T16:54:35Z","title_canon_sha256":"ba2d248a3d35ce772bdeaef4f65a69a3a2e057c36912b3cf2d1b43190b95f1d1"},"schema_version":"1.0","source":{"id":"cs/0701031","kind":"arxiv","version":1}},"canonical_sha256":"50f7b6a73287cf3bf06833fd52eacff29a5976b4ac11d1b8f0abae2c0a647f43","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"50f7b6a73287cf3bf06833fd52eacff29a5976b4ac11d1b8f0abae2c0a647f43","first_computed_at":"2026-05-18T01:09:19.678824Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:19.678824Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ljgKsJVuqITCEA+fDadaK7YZKzfOWBiZBV5bvCwMXXrNYR7foUrtVOTstmz1NxCpYCT1h1JfhlJED6dOAnI6Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:19.679274Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0701031","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c123a3866344b118bee6a6bcb708cb7d04479714990d654d20271ee49cf2a63d","sha256:4563f98b8fcaf868df5d6badce1c533fe916b1703d4e5b2333d5dedc1e8f9b10"],"state_sha256":"ec554ad86f8806297f13462227f5e455dbe67f6e82840c5a57a208132ff136cb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PZSP8zSOXw/uQNvtN38dxTkGqrU7dK+D12z+nFa1onJcWl5WPYXEyO+3P3BI4XmJk2/FUE9aOUI3UYN0maJdCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T15:18:00.490343Z","bundle_sha256":"ba6fed0742c77806fbb8e734fb6f5e1cec68a38199f5c3352ff40ab4a01301f5"}}