{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:7AXGIMT3YAZOKNP456CQ2XJQAH","short_pith_number":"pith:7AXGIMT3","canonical_record":{"source":{"id":"2408.14345","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-08-26T15:20:09Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"752d55373ae1e4e59caedc391f4d0c68d640d330fa9b0969156060a632b56f3b","abstract_canon_sha256":"f488e034eadd531cb116b81de54a051658a796c1ef3319ac73f33ffea11dae2f"},"schema_version":"1.0"},"canonical_sha256":"f82e64327bc032e535fcef850d5d3001c14ecb6c1e9c8d7862e3eff04da8bb40","source":{"kind":"arxiv","id":"2408.14345","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.14345","created_at":"2026-06-03T01:05:43Z"},{"alias_kind":"arxiv_version","alias_value":"2408.14345v4","created_at":"2026-06-03T01:05:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.14345","created_at":"2026-06-03T01:05:43Z"},{"alias_kind":"pith_short_12","alias_value":"7AXGIMT3YAZO","created_at":"2026-06-03T01:05:43Z"},{"alias_kind":"pith_short_16","alias_value":"7AXGIMT3YAZOKNP4","created_at":"2026-06-03T01:05:43Z"},{"alias_kind":"pith_short_8","alias_value":"7AXGIMT3","created_at":"2026-06-03T01:05:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:7AXGIMT3YAZOKNP456CQ2XJQAH","target":"record","payload":{"canonical_record":{"source":{"id":"2408.14345","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-08-26T15:20:09Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"752d55373ae1e4e59caedc391f4d0c68d640d330fa9b0969156060a632b56f3b","abstract_canon_sha256":"f488e034eadd531cb116b81de54a051658a796c1ef3319ac73f33ffea11dae2f"},"schema_version":"1.0"},"canonical_sha256":"f82e64327bc032e535fcef850d5d3001c14ecb6c1e9c8d7862e3eff04da8bb40","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-03T01:05:43.046155Z","signature_b64":"OE1YzewP9dXI1TOoFUrjwCMY6MKwPfzWWcqbh3g4sKOolpGqZSND3OcBQdB8F/4yTp8twXJDXjkaIMkP5ARZAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f82e64327bc032e535fcef850d5d3001c14ecb6c1e9c8d7862e3eff04da8bb40","last_reissued_at":"2026-06-03T01:05:43.045604Z","signature_status":"signed_v1","first_computed_at":"2026-06-03T01:05:43.045604Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.14345","source_version":4,"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-06-03T01:05:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V4Smv7nBQ5pV0Jx0OO97lBeNAiQWcRWwz49TJTLM5Ic3L+1mIz7Y+R2CYqbj9bbxxZnjI++OnhUg97yzr1EHDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T16:07:39.229636Z"},"content_sha256":"73f49e6ade89e2a8e3bacb1c33707cb34d84bcbeecba5fafdc9101926cc7ac27","schema_version":"1.0","event_id":"sha256:73f49e6ade89e2a8e3bacb1c33707cb34d84bcbeecba5fafdc9101926cc7ac27"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:7AXGIMT3YAZOKNP456CQ2XJQAH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Giuseppe Castagna, Guillaume Duboc","submitted_at":"2024-08-26T15:20:09Z","abstract_excerpt":"We formalize a new type system for Elixir, a dynamically typed functional programming language of growing popularity that runs on the Erlang virtual machine. Our system combines gradual typing with semantic subtyping to enable precise, sound, and practical static type analysis, without requiring any changes to Elixir's compilation pipeline or runtime. Type soundness is ensured by leveraging runtime checks -- both implicit, from the Erlang VM, and explicit, via developer-written guards.\n  Central to our approach are two key innovations: the notion of \"strong functions\", which can be assigned pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.14345","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2408.14345/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-06-03T01:05:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z1kg/729noVg/clsFqkk0gAoU3QPi0DcxQJ30NMe0PpkCUZvi01FCoz4HZKpJVKHmmefll+TjnKPATjrNZ+5DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-03T16:07:39.230000Z"},"content_sha256":"590317a0952d691d32a6808ae32fd754c80fe7710e7d5fa0b59d11efca128d20","schema_version":"1.0","event_id":"sha256:590317a0952d691d32a6808ae32fd754c80fe7710e7d5fa0b59d11efca128d20"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7AXGIMT3YAZOKNP456CQ2XJQAH/bundle.json","state_url":"https://pith.science/pith/7AXGIMT3YAZOKNP456CQ2XJQAH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7AXGIMT3YAZOKNP456CQ2XJQAH/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-03T16:07:39Z","links":{"resolver":"https://pith.science/pith/7AXGIMT3YAZOKNP456CQ2XJQAH","bundle":"https://pith.science/pith/7AXGIMT3YAZOKNP456CQ2XJQAH/bundle.json","state":"https://pith.science/pith/7AXGIMT3YAZOKNP456CQ2XJQAH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7AXGIMT3YAZOKNP456CQ2XJQAH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:7AXGIMT3YAZOKNP456CQ2XJQAH","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":"f488e034eadd531cb116b81de54a051658a796c1ef3319ac73f33ffea11dae2f","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-08-26T15:20:09Z","title_canon_sha256":"752d55373ae1e4e59caedc391f4d0c68d640d330fa9b0969156060a632b56f3b"},"schema_version":"1.0","source":{"id":"2408.14345","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.14345","created_at":"2026-06-03T01:05:43Z"},{"alias_kind":"arxiv_version","alias_value":"2408.14345v4","created_at":"2026-06-03T01:05:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.14345","created_at":"2026-06-03T01:05:43Z"},{"alias_kind":"pith_short_12","alias_value":"7AXGIMT3YAZO","created_at":"2026-06-03T01:05:43Z"},{"alias_kind":"pith_short_16","alias_value":"7AXGIMT3YAZOKNP4","created_at":"2026-06-03T01:05:43Z"},{"alias_kind":"pith_short_8","alias_value":"7AXGIMT3","created_at":"2026-06-03T01:05:43Z"}],"graph_snapshots":[{"event_id":"sha256:590317a0952d691d32a6808ae32fd754c80fe7710e7d5fa0b59d11efca128d20","target":"graph","created_at":"2026-06-03T01:05:43Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2408.14345/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We formalize a new type system for Elixir, a dynamically typed functional programming language of growing popularity that runs on the Erlang virtual machine. Our system combines gradual typing with semantic subtyping to enable precise, sound, and practical static type analysis, without requiring any changes to Elixir's compilation pipeline or runtime. Type soundness is ensured by leveraging runtime checks -- both implicit, from the Erlang VM, and explicit, via developer-written guards.\n  Central to our approach are two key innovations: the notion of \"strong functions\", which can be assigned pr","authors_text":"Giuseppe Castagna, Guillaume Duboc","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-08-26T15:20:09Z","title":"Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.14345","kind":"arxiv","version":4},"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:73f49e6ade89e2a8e3bacb1c33707cb34d84bcbeecba5fafdc9101926cc7ac27","target":"record","created_at":"2026-06-03T01:05:43Z","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":"f488e034eadd531cb116b81de54a051658a796c1ef3319ac73f33ffea11dae2f","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2024-08-26T15:20:09Z","title_canon_sha256":"752d55373ae1e4e59caedc391f4d0c68d640d330fa9b0969156060a632b56f3b"},"schema_version":"1.0","source":{"id":"2408.14345","kind":"arxiv","version":4}},"canonical_sha256":"f82e64327bc032e535fcef850d5d3001c14ecb6c1e9c8d7862e3eff04da8bb40","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f82e64327bc032e535fcef850d5d3001c14ecb6c1e9c8d7862e3eff04da8bb40","first_computed_at":"2026-06-03T01:05:43.045604Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-03T01:05:43.045604Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OE1YzewP9dXI1TOoFUrjwCMY6MKwPfzWWcqbh3g4sKOolpGqZSND3OcBQdB8F/4yTp8twXJDXjkaIMkP5ARZAQ==","signature_status":"signed_v1","signed_at":"2026-06-03T01:05:43.046155Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.14345","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:73f49e6ade89e2a8e3bacb1c33707cb34d84bcbeecba5fafdc9101926cc7ac27","sha256:590317a0952d691d32a6808ae32fd754c80fe7710e7d5fa0b59d11efca128d20"],"state_sha256":"45ec00b5ad0ffbdcabcf606b2b82478647db2f0c597bee163ac2b420177feef1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hUfjN1xiS5bF6to5CMmCi6WQsiBYCLiDUniKp9o3qyLIBg2xTpOevFoBj9tGw5+po+SRi3K0ecLCWaBhYay0Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-03T16:07:39.231886Z","bundle_sha256":"2f203f3778bbcf56faee88788f6296be1c4c066b7abe8056c647f1d9feeb2b2f"}}