{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:FJIEQOO6QEQRA4HFN43R64QJDM","short_pith_number":"pith:FJIEQOO6","canonical_record":{"source":{"id":"1811.02440","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-11-06T15:44:07Z","cross_cats_sorted":[],"title_canon_sha256":"4fdffca9a5e90051c9d9dae6fd74ad622d205237137d467dba7b55b0ac1d7f30","abstract_canon_sha256":"47c0697720e118c9f735e098bd5fae6807e3a523445ca0a4ec1f7d6b6880bbe5"},"schema_version":"1.0"},"canonical_sha256":"2a504839de81211070e56f371f72091b173a0f13e9a4689da0f181facb28ef58","source":{"kind":"arxiv","id":"1811.02440","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.02440","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"arxiv_version","alias_value":"1811.02440v1","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.02440","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"pith_short_12","alias_value":"FJIEQOO6QEQR","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"FJIEQOO6QEQRA4HF","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"FJIEQOO6","created_at":"2026-05-18T12:32:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:FJIEQOO6QEQRA4HFN43R64QJDM","target":"record","payload":{"canonical_record":{"source":{"id":"1811.02440","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-11-06T15:44:07Z","cross_cats_sorted":[],"title_canon_sha256":"4fdffca9a5e90051c9d9dae6fd74ad622d205237137d467dba7b55b0ac1d7f30","abstract_canon_sha256":"47c0697720e118c9f735e098bd5fae6807e3a523445ca0a4ec1f7d6b6880bbe5"},"schema_version":"1.0"},"canonical_sha256":"2a504839de81211070e56f371f72091b173a0f13e9a4689da0f181facb28ef58","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:24.287809Z","signature_b64":"/RWe8sgmA2r9x/+lgOxhz1hFlopd7IUA1vRXah6Az/1gOmjv4d3fNeYPyuUqMgi5gn2j20nSZTbqWPaHQiWTBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a504839de81211070e56f371f72091b173a0f13e9a4689da0f181facb28ef58","last_reissued_at":"2026-05-18T00:01:24.287304Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:24.287304Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.02440","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-18T00:01:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SIxcLQv/s8DwK/vAVc8SE1iW2//6zSewdHe1BI3YGVT1X8LPtFnS1um6OEvdRAhsr3oDcIumxDU3PPRjYSzFAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T21:09:41.905453Z"},"content_sha256":"dd68d665e028d39dedda5a36f6312a39e3f841e5ae696f2bd37e61c2405a344a","schema_version":"1.0","event_id":"sha256:dd68d665e028d39dedda5a36f6312a39e3f841e5ae696f2bd37e61c2405a344a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:FJIEQOO6QEQRA4HFN43R64QJDM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Gradual Type Theory (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Amal Ahmed, Daniel R. Licata, Max S. New","submitted_at":"2018-11-06T15:44:07Z","abstract_excerpt":"Gradually typed languages are designed to support both dynamically typed and statically typed programming styles while preserving the benefits of each. While existing gradual type soundness theorems for these languages aim to show that type-based reasoning is preserved when moving from the fully static setting to a gradual one, these theorems do not imply that correctness of type-based refactorings and optimizations is preserved. Establishing correctness of program transformations is technically difficult, and is often neglected in the metatheory of gradual languages.\n  In this paper, we propo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.02440","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-18T00:01:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rtRDhBe1Zoe0ZUYSFR9jLsg6ag5zQJdP7EUHcqIyf9yF6HKuS5LU0i4V48Nn8x9/pjWW8qJu01WkpRdwzSwxAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T21:09:41.906172Z"},"content_sha256":"00cb645cde3e5eef6d8dda3198884b2793b29ae3c098eac5d338c968d9c08ba3","schema_version":"1.0","event_id":"sha256:00cb645cde3e5eef6d8dda3198884b2793b29ae3c098eac5d338c968d9c08ba3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FJIEQOO6QEQRA4HFN43R64QJDM/bundle.json","state_url":"https://pith.science/pith/FJIEQOO6QEQRA4HFN43R64QJDM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FJIEQOO6QEQRA4HFN43R64QJDM/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-09T21:09:41Z","links":{"resolver":"https://pith.science/pith/FJIEQOO6QEQRA4HFN43R64QJDM","bundle":"https://pith.science/pith/FJIEQOO6QEQRA4HFN43R64QJDM/bundle.json","state":"https://pith.science/pith/FJIEQOO6QEQRA4HFN43R64QJDM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FJIEQOO6QEQRA4HFN43R64QJDM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:FJIEQOO6QEQRA4HFN43R64QJDM","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":"47c0697720e118c9f735e098bd5fae6807e3a523445ca0a4ec1f7d6b6880bbe5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-11-06T15:44:07Z","title_canon_sha256":"4fdffca9a5e90051c9d9dae6fd74ad622d205237137d467dba7b55b0ac1d7f30"},"schema_version":"1.0","source":{"id":"1811.02440","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.02440","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"arxiv_version","alias_value":"1811.02440v1","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.02440","created_at":"2026-05-18T00:01:24Z"},{"alias_kind":"pith_short_12","alias_value":"FJIEQOO6QEQR","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"FJIEQOO6QEQRA4HF","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"FJIEQOO6","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:00cb645cde3e5eef6d8dda3198884b2793b29ae3c098eac5d338c968d9c08ba3","target":"graph","created_at":"2026-05-18T00:01:24Z","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":"Gradually typed languages are designed to support both dynamically typed and statically typed programming styles while preserving the benefits of each. While existing gradual type soundness theorems for these languages aim to show that type-based reasoning is preserved when moving from the fully static setting to a gradual one, these theorems do not imply that correctness of type-based refactorings and optimizations is preserved. Establishing correctness of program transformations is technically difficult, and is often neglected in the metatheory of gradual languages.\n  In this paper, we propo","authors_text":"Amal Ahmed, Daniel R. Licata, Max S. New","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-11-06T15:44:07Z","title":"Gradual Type Theory (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.02440","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:dd68d665e028d39dedda5a36f6312a39e3f841e5ae696f2bd37e61c2405a344a","target":"record","created_at":"2026-05-18T00:01:24Z","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":"47c0697720e118c9f735e098bd5fae6807e3a523445ca0a4ec1f7d6b6880bbe5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2018-11-06T15:44:07Z","title_canon_sha256":"4fdffca9a5e90051c9d9dae6fd74ad622d205237137d467dba7b55b0ac1d7f30"},"schema_version":"1.0","source":{"id":"1811.02440","kind":"arxiv","version":1}},"canonical_sha256":"2a504839de81211070e56f371f72091b173a0f13e9a4689da0f181facb28ef58","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a504839de81211070e56f371f72091b173a0f13e9a4689da0f181facb28ef58","first_computed_at":"2026-05-18T00:01:24.287304Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:24.287304Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/RWe8sgmA2r9x/+lgOxhz1hFlopd7IUA1vRXah6Az/1gOmjv4d3fNeYPyuUqMgi5gn2j20nSZTbqWPaHQiWTBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:24.287809Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.02440","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd68d665e028d39dedda5a36f6312a39e3f841e5ae696f2bd37e61c2405a344a","sha256:00cb645cde3e5eef6d8dda3198884b2793b29ae3c098eac5d338c968d9c08ba3"],"state_sha256":"71376392cb7be5a27c6db91c27628f62a648c93f00b3c9f4a570b2702da046bc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a/d74Zyffc0HpY9eVerdSVsB0VFynwC7bf288/dMpyq3LSL3Uq8QprHrUJX0S0K5brBpR3weJSqPZumvuU0hAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T21:09:41.910309Z","bundle_sha256":"fe71c045462366773f4aae55bd69bfcdf6eb35c6594937635a3a045c735cd91c"}}