{"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"}