{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:PSPGPIKOZMHSDA2JOTW6VUKL7C","short_pith_number":"pith:PSPGPIKO","canonical_record":{"source":{"id":"1907.00844","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2019-07-01T15:10:44Z","cross_cats_sorted":[],"title_canon_sha256":"73a59e02c4fd5a4f452a644a6c019e1a11329f52797d8279e63cef486e79e7e9","abstract_canon_sha256":"3ba84852dfab5679c65aac4641528938059956eedeeea6c7ca069fef7b6cb8e6"},"schema_version":"1.0"},"canonical_sha256":"7c9e67a14ecb0f21834974edead14bf8875693bc393395bd2c997703e7658fa3","source":{"kind":"arxiv","id":"1907.00844","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.00844","created_at":"2026-05-17T23:40:38Z"},{"alias_kind":"arxiv_version","alias_value":"1907.00844v2","created_at":"2026-05-17T23:40:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.00844","created_at":"2026-05-17T23:40:38Z"},{"alias_kind":"pith_short_12","alias_value":"PSPGPIKOZMHS","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"PSPGPIKOZMHSDA2J","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"PSPGPIKO","created_at":"2026-05-18T12:33:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:PSPGPIKOZMHSDA2JOTW6VUKL7C","target":"record","payload":{"canonical_record":{"source":{"id":"1907.00844","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2019-07-01T15:10:44Z","cross_cats_sorted":[],"title_canon_sha256":"73a59e02c4fd5a4f452a644a6c019e1a11329f52797d8279e63cef486e79e7e9","abstract_canon_sha256":"3ba84852dfab5679c65aac4641528938059956eedeeea6c7ca069fef7b6cb8e6"},"schema_version":"1.0"},"canonical_sha256":"7c9e67a14ecb0f21834974edead14bf8875693bc393395bd2c997703e7658fa3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:38.600478Z","signature_b64":"ziUjIK6zobeAlZIoQW5uhEpa0HfOF/JHqGVq60G0ETX301g8bdD3HphmqJZlbbNggY3wHGj34gLmgB4rA0EEAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7c9e67a14ecb0f21834974edead14bf8875693bc393395bd2c997703e7658fa3","last_reissued_at":"2026-05-17T23:40:38.599963Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:38.599963Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.00844","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:40:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rUNVT2sr+OB0raHhtqaQkFoj6L7kDFOQa0QVdOFo+7ikmqCsJGO3tbXuNtxKOXiFrvyntFZgAy6W7M/s/w40AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T13:43:27.316188Z"},"content_sha256":"3622c0cb2245b6bcb3163a0571b574f9739a50d7eebbba51f442e7dffe8e0e33","schema_version":"1.0","event_id":"sha256:3622c0cb2245b6bcb3163a0571b574f9739a50d7eebbba51f442e7dffe8e0e33"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:PSPGPIKOZMHSDA2JOTW6VUKL7C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coherence of Type Class Resolution","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Gert-Jan Bottu, Koar Marntirosian, Ningning Xie, Tom Schrijvers","submitted_at":"2019-07-01T15:10:44Z","abstract_excerpt":"Elaboration-based type class resolution, as found in languages like Haskell, Mercury and PureScript, is generally nondeterministic: there can be multiple ways to satisfy a wanted constraint in terms of global instances and locally given constraints. Coherence is the key property that keeps this sane; it guarantees that, despite the nondeterminism, programs still behave predictably. Even though elaboration-based resolution is generally assumed coherent, as far as we know, there is no formal proof of this property in the presence of sources of nondeterminism, like superclasses and flexible conte"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.00844","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:40:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U7Ki7HsFVp+AQztLAgD0MGxoV/pV2+MU5VQTKBCxE9Ddn9WalPg/2LfF7eIJKb2dKUKZSQXIi5AvAkZuRqxdAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T13:43:27.316563Z"},"content_sha256":"71307987929895143ff7cbd453727fa9a37bff8d16b7c4d49bb650561bcf9286","schema_version":"1.0","event_id":"sha256:71307987929895143ff7cbd453727fa9a37bff8d16b7c4d49bb650561bcf9286"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PSPGPIKOZMHSDA2JOTW6VUKL7C/bundle.json","state_url":"https://pith.science/pith/PSPGPIKOZMHSDA2JOTW6VUKL7C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PSPGPIKOZMHSDA2JOTW6VUKL7C/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-28T13:43:27Z","links":{"resolver":"https://pith.science/pith/PSPGPIKOZMHSDA2JOTW6VUKL7C","bundle":"https://pith.science/pith/PSPGPIKOZMHSDA2JOTW6VUKL7C/bundle.json","state":"https://pith.science/pith/PSPGPIKOZMHSDA2JOTW6VUKL7C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PSPGPIKOZMHSDA2JOTW6VUKL7C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:PSPGPIKOZMHSDA2JOTW6VUKL7C","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":"3ba84852dfab5679c65aac4641528938059956eedeeea6c7ca069fef7b6cb8e6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2019-07-01T15:10:44Z","title_canon_sha256":"73a59e02c4fd5a4f452a644a6c019e1a11329f52797d8279e63cef486e79e7e9"},"schema_version":"1.0","source":{"id":"1907.00844","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.00844","created_at":"2026-05-17T23:40:38Z"},{"alias_kind":"arxiv_version","alias_value":"1907.00844v2","created_at":"2026-05-17T23:40:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.00844","created_at":"2026-05-17T23:40:38Z"},{"alias_kind":"pith_short_12","alias_value":"PSPGPIKOZMHS","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"PSPGPIKOZMHSDA2J","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"PSPGPIKO","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:71307987929895143ff7cbd453727fa9a37bff8d16b7c4d49bb650561bcf9286","target":"graph","created_at":"2026-05-17T23:40:38Z","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":"Elaboration-based type class resolution, as found in languages like Haskell, Mercury and PureScript, is generally nondeterministic: there can be multiple ways to satisfy a wanted constraint in terms of global instances and locally given constraints. Coherence is the key property that keeps this sane; it guarantees that, despite the nondeterminism, programs still behave predictably. Even though elaboration-based resolution is generally assumed coherent, as far as we know, there is no formal proof of this property in the presence of sources of nondeterminism, like superclasses and flexible conte","authors_text":"Gert-Jan Bottu, Koar Marntirosian, Ningning Xie, Tom Schrijvers","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2019-07-01T15:10:44Z","title":"Coherence of Type Class Resolution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.00844","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:3622c0cb2245b6bcb3163a0571b574f9739a50d7eebbba51f442e7dffe8e0e33","target":"record","created_at":"2026-05-17T23:40:38Z","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":"3ba84852dfab5679c65aac4641528938059956eedeeea6c7ca069fef7b6cb8e6","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2019-07-01T15:10:44Z","title_canon_sha256":"73a59e02c4fd5a4f452a644a6c019e1a11329f52797d8279e63cef486e79e7e9"},"schema_version":"1.0","source":{"id":"1907.00844","kind":"arxiv","version":2}},"canonical_sha256":"7c9e67a14ecb0f21834974edead14bf8875693bc393395bd2c997703e7658fa3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7c9e67a14ecb0f21834974edead14bf8875693bc393395bd2c997703e7658fa3","first_computed_at":"2026-05-17T23:40:38.599963Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:38.599963Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ziUjIK6zobeAlZIoQW5uhEpa0HfOF/JHqGVq60G0ETX301g8bdD3HphmqJZlbbNggY3wHGj34gLmgB4rA0EEAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:38.600478Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.00844","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3622c0cb2245b6bcb3163a0571b574f9739a50d7eebbba51f442e7dffe8e0e33","sha256:71307987929895143ff7cbd453727fa9a37bff8d16b7c4d49bb650561bcf9286"],"state_sha256":"8882919d4dda23d8db75f279d9c40cfba81b7bdda58bb4350e4e9110142ffb8d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dibuA5+fXh8FW3vpCu0t7FPgELAYGFmEOFpcYYmBtWgBUNpGgM5daMY99L3QSpBFqKLlKVnFP2xNiYZuoa/WCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T13:43:27.318634Z","bundle_sha256":"4c25cbf0955809220927a45409510318857e4aa48e69daee42181960d6b1977b"}}