{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:KIJALHQ4OPNUZKDAWXS7DNJWJX","short_pith_number":"pith:KIJALHQ4","schema_version":"1.0","canonical_sha256":"5212059e1c73db4ca860b5e5f1b5364df19c7b127b2af6f5fd0395d58dd26a71","source":{"kind":"arxiv","id":"2606.28042","version":1},"attestation_state":"computed","paper":{"title":"Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Danielle Marshall, Dominic Orchard, Vilem Liepelt","submitted_at":"2026-06-26T12:45:20Z","abstract_excerpt":"Graded types provide a way to augment a type system with fine-grained information, e.g., to track side effects or context dependence and resource use (called coeffects). Graded types for coeffects have found their way into languages such as Haskell, Idris, and Granule, enabling resourceful reasoning via coeffect analysis with varying levels of generality. Two separate lineages of graded coeffect system have emerged in the last decade: those in which coeffect annotations are pervasive, requiring annotations on function types (which we call graded-base) and those in which coeffects are added by "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.28042","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-26T12:45:20Z","cross_cats_sorted":[],"title_canon_sha256":"7ab8e9fe5770a8dbe7bac07d2901091fc1385f251cd4cd4c2509e35479450626","abstract_canon_sha256":"1699b9bbbab6dd54061faeba87f76bc86743eea3a00bc1556513e4a736eed77a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-29T01:14:56.109691Z","signature_b64":"9FVmeQpThj9/YKL3x3vpm3qG3nqr+TEp4RUraeu/qmy+UgF15HTiT1AKhF9enOi1AQ06OIEK55POxh11nzpHAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5212059e1c73db4ca860b5e5f1b5364df19c7b127b2af6f5fd0395d58dd26a71","last_reissued_at":"2026-06-29T01:14:56.109280Z","signature_status":"signed_v1","first_computed_at":"2026-06-29T01:14:56.109280Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Danielle Marshall, Dominic Orchard, Vilem Liepelt","submitted_at":"2026-06-26T12:45:20Z","abstract_excerpt":"Graded types provide a way to augment a type system with fine-grained information, e.g., to track side effects or context dependence and resource use (called coeffects). Graded types for coeffects have found their way into languages such as Haskell, Idris, and Granule, enabling resourceful reasoning via coeffect analysis with varying levels of generality. Two separate lineages of graded coeffect system have emerged in the last decade: those in which coeffect annotations are pervasive, requiring annotations on function types (which we call graded-base) and those in which coeffects are added by "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.28042","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.28042/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.28042","created_at":"2026-06-29T01:14:56.109357+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.28042v1","created_at":"2026-06-29T01:14:56.109357+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.28042","created_at":"2026-06-29T01:14:56.109357+00:00"},{"alias_kind":"pith_short_12","alias_value":"KIJALHQ4OPNU","created_at":"2026-06-29T01:14:56.109357+00:00"},{"alias_kind":"pith_short_16","alias_value":"KIJALHQ4OPNUZKDA","created_at":"2026-06-29T01:14:56.109357+00:00"},{"alias_kind":"pith_short_8","alias_value":"KIJALHQ4","created_at":"2026-06-29T01:14:56.109357+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KIJALHQ4OPNUZKDAWXS7DNJWJX","json":"https://pith.science/pith/KIJALHQ4OPNUZKDAWXS7DNJWJX.json","graph_json":"https://pith.science/api/pith-number/KIJALHQ4OPNUZKDAWXS7DNJWJX/graph.json","events_json":"https://pith.science/api/pith-number/KIJALHQ4OPNUZKDAWXS7DNJWJX/events.json","paper":"https://pith.science/paper/KIJALHQ4"},"agent_actions":{"view_html":"https://pith.science/pith/KIJALHQ4OPNUZKDAWXS7DNJWJX","download_json":"https://pith.science/pith/KIJALHQ4OPNUZKDAWXS7DNJWJX.json","view_paper":"https://pith.science/paper/KIJALHQ4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.28042&json=true","fetch_graph":"https://pith.science/api/pith-number/KIJALHQ4OPNUZKDAWXS7DNJWJX/graph.json","fetch_events":"https://pith.science/api/pith-number/KIJALHQ4OPNUZKDAWXS7DNJWJX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KIJALHQ4OPNUZKDAWXS7DNJWJX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KIJALHQ4OPNUZKDAWXS7DNJWJX/action/storage_attestation","attest_author":"https://pith.science/pith/KIJALHQ4OPNUZKDAWXS7DNJWJX/action/author_attestation","sign_citation":"https://pith.science/pith/KIJALHQ4OPNUZKDAWXS7DNJWJX/action/citation_signature","submit_replication":"https://pith.science/pith/KIJALHQ4OPNUZKDAWXS7DNJWJX/action/replication_record"}},"created_at":"2026-06-29T01:14:56.109357+00:00","updated_at":"2026-06-29T01:14:56.109357+00:00"}