{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:YP57XSUFO7BIGABMZPLGBRV7S3","short_pith_number":"pith:YP57XSUF","canonical_record":{"source":{"id":"1811.02300","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2018-11-06T11:36:30Z","cross_cats_sorted":[],"title_canon_sha256":"ba08d84e59f5a0b3b8e2967bacbc715988ad88d7b96c1a71085647b32497150d","abstract_canon_sha256":"8feaed292d27a6fe592463c9c049f01af87eb79bc8fff4bee3f6ed69dd5b4662"},"schema_version":"1.0"},"canonical_sha256":"c3fbfbca8577c283002ccbd660c6bf96d9d53404cfbecadf904de6fbf28b1076","source":{"kind":"arxiv","id":"1811.02300","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.02300","created_at":"2026-05-17T23:58:30Z"},{"alias_kind":"arxiv_version","alias_value":"1811.02300v2","created_at":"2026-05-17T23:58:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.02300","created_at":"2026-05-17T23:58:30Z"},{"alias_kind":"pith_short_12","alias_value":"YP57XSUFO7BI","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YP57XSUFO7BIGABM","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YP57XSUF","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:YP57XSUFO7BIGABMZPLGBRV7S3","target":"record","payload":{"canonical_record":{"source":{"id":"1811.02300","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2018-11-06T11:36:30Z","cross_cats_sorted":[],"title_canon_sha256":"ba08d84e59f5a0b3b8e2967bacbc715988ad88d7b96c1a71085647b32497150d","abstract_canon_sha256":"8feaed292d27a6fe592463c9c049f01af87eb79bc8fff4bee3f6ed69dd5b4662"},"schema_version":"1.0"},"canonical_sha256":"c3fbfbca8577c283002ccbd660c6bf96d9d53404cfbecadf904de6fbf28b1076","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:58:30.228387Z","signature_b64":"4qSHVNpyA5BJ8GsGyfsz4mPYqXiuuohH0Eu8BfI2bQ/ZSOzS0zqQjvI1M6fZkhixwnZtt0eDZiIZBkRJQvm+BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c3fbfbca8577c283002ccbd660c6bf96d9d53404cfbecadf904de6fbf28b1076","last_reissued_at":"2026-05-17T23:58:30.227819Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:58:30.227819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.02300","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-17T23:58:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sM3NFF4udKLVxNfo4YHiFMrDtXNBTLtgmn1DyDHXAniiirkXwg2h4JHihnsK7gm5Hw3o/Nl7bEZ+QUE8HDc8BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T07:44:11.437125Z"},"content_sha256":"30878596ab906941e89049d547dc952ad96887015eb04698625804cb890936cd","schema_version":"1.0","event_id":"sha256:30878596ab906941e89049d547dc952ad96887015eb04698625804cb890936cd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:YP57XSUFO7BIGABMZPLGBRV7S3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Unboxing Mutually Recursive Type Definitions in OCaml","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Gabriel Scherer, Rodolphe Lepigre, Simon Colin","submitted_at":"2018-11-06T11:36:30Z","abstract_excerpt":"In modern OCaml, single-argument datatype declarations (variants with a single constructor, records with a single field) can sometimes be `unboxed'. This means that their memory representation is the same as their single argument (omitting the variant or record constructor and an indirection), thus achieving better time and memory efficiency.\n  However, in the case of generalized/guarded algebraic datatypes (GADTs), unboxing is not always possible due to a subtle assumption about the runtime representation of OCaml values. The current correctness check is incomplete, rejecting many valid defin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.02300","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-17T23:58:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S5MpDNS6+x0/O5Cst61+l5Tmsg7pH+WrJ70pAHNuI1VamuOtfGaXi1mcmshU8OpQthrSTQg3MGKk9LIgOR0BDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T07:44:11.437707Z"},"content_sha256":"f27ee1e86f18d42fa360941895703ce509a4232749cbb81a2b81b8ae4fb4f234","schema_version":"1.0","event_id":"sha256:f27ee1e86f18d42fa360941895703ce509a4232749cbb81a2b81b8ae4fb4f234"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YP57XSUFO7BIGABMZPLGBRV7S3/bundle.json","state_url":"https://pith.science/pith/YP57XSUFO7BIGABMZPLGBRV7S3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YP57XSUFO7BIGABMZPLGBRV7S3/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-31T07:44:11Z","links":{"resolver":"https://pith.science/pith/YP57XSUFO7BIGABMZPLGBRV7S3","bundle":"https://pith.science/pith/YP57XSUFO7BIGABMZPLGBRV7S3/bundle.json","state":"https://pith.science/pith/YP57XSUFO7BIGABMZPLGBRV7S3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YP57XSUFO7BIGABMZPLGBRV7S3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:YP57XSUFO7BIGABMZPLGBRV7S3","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":"8feaed292d27a6fe592463c9c049f01af87eb79bc8fff4bee3f6ed69dd5b4662","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2018-11-06T11:36:30Z","title_canon_sha256":"ba08d84e59f5a0b3b8e2967bacbc715988ad88d7b96c1a71085647b32497150d"},"schema_version":"1.0","source":{"id":"1811.02300","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.02300","created_at":"2026-05-17T23:58:30Z"},{"alias_kind":"arxiv_version","alias_value":"1811.02300v2","created_at":"2026-05-17T23:58:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.02300","created_at":"2026-05-17T23:58:30Z"},{"alias_kind":"pith_short_12","alias_value":"YP57XSUFO7BI","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YP57XSUFO7BIGABM","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YP57XSUF","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:f27ee1e86f18d42fa360941895703ce509a4232749cbb81a2b81b8ae4fb4f234","target":"graph","created_at":"2026-05-17T23:58:30Z","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":"In modern OCaml, single-argument datatype declarations (variants with a single constructor, records with a single field) can sometimes be `unboxed'. This means that their memory representation is the same as their single argument (omitting the variant or record constructor and an indirection), thus achieving better time and memory efficiency.\n  However, in the case of generalized/guarded algebraic datatypes (GADTs), unboxing is not always possible due to a subtle assumption about the runtime representation of OCaml values. The current correctness check is incomplete, rejecting many valid defin","authors_text":"Gabriel Scherer, Rodolphe Lepigre, Simon Colin","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2018-11-06T11:36:30Z","title":"Unboxing Mutually Recursive Type Definitions in OCaml"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.02300","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:30878596ab906941e89049d547dc952ad96887015eb04698625804cb890936cd","target":"record","created_at":"2026-05-17T23:58:30Z","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":"8feaed292d27a6fe592463c9c049f01af87eb79bc8fff4bee3f6ed69dd5b4662","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2018-11-06T11:36:30Z","title_canon_sha256":"ba08d84e59f5a0b3b8e2967bacbc715988ad88d7b96c1a71085647b32497150d"},"schema_version":"1.0","source":{"id":"1811.02300","kind":"arxiv","version":2}},"canonical_sha256":"c3fbfbca8577c283002ccbd660c6bf96d9d53404cfbecadf904de6fbf28b1076","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c3fbfbca8577c283002ccbd660c6bf96d9d53404cfbecadf904de6fbf28b1076","first_computed_at":"2026-05-17T23:58:30.227819Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:58:30.227819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4qSHVNpyA5BJ8GsGyfsz4mPYqXiuuohH0Eu8BfI2bQ/ZSOzS0zqQjvI1M6fZkhixwnZtt0eDZiIZBkRJQvm+BA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:58:30.228387Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.02300","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:30878596ab906941e89049d547dc952ad96887015eb04698625804cb890936cd","sha256:f27ee1e86f18d42fa360941895703ce509a4232749cbb81a2b81b8ae4fb4f234"],"state_sha256":"c42beea6460e237f944d017e98214e8e4fb21cb2aebc857961973ed3fdca3d4e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lEU+UIm6ncsCJOBrDEAJsa6PA6a1uqCP3hDrfjqnGQlxyWQwPIHCMxFYS6BrdONaxF6LvyRSTsqm8yhf6xqUBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T07:44:11.441309Z","bundle_sha256":"8a9dfbb8ec65dfda07762248260b81162c82386d80d6b75cec5402422b2f9469"}}