{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:SXCRCFC77KTHDY4GMMHVDH3OZH","short_pith_number":"pith:SXCRCFC7","canonical_record":{"source":{"id":"1508.06836","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-08-27T12:52:20Z","cross_cats_sorted":[],"title_canon_sha256":"f3918c1601bca9278b32dce4b00e90cd4222dda49be84fb93252cb55c065b7fb","abstract_canon_sha256":"0a62a7799dbbb4adb92fc03f55c2a25c9f2f6df50a99e7bbcd25af674ae06fb9"},"schema_version":"1.0"},"canonical_sha256":"95c511145ffaa671e386630f519f6ec9e144bfaa53cb40e6124acd34ec05fe08","source":{"kind":"arxiv","id":"1508.06836","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.06836","created_at":"2026-05-18T01:34:40Z"},{"alias_kind":"arxiv_version","alias_value":"1508.06836v1","created_at":"2026-05-18T01:34:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.06836","created_at":"2026-05-18T01:34:40Z"},{"alias_kind":"pith_short_12","alias_value":"SXCRCFC77KTH","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"SXCRCFC77KTHDY4G","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"SXCRCFC7","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:SXCRCFC77KTHDY4GMMHVDH3OZH","target":"record","payload":{"canonical_record":{"source":{"id":"1508.06836","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-08-27T12:52:20Z","cross_cats_sorted":[],"title_canon_sha256":"f3918c1601bca9278b32dce4b00e90cd4222dda49be84fb93252cb55c065b7fb","abstract_canon_sha256":"0a62a7799dbbb4adb92fc03f55c2a25c9f2f6df50a99e7bbcd25af674ae06fb9"},"schema_version":"1.0"},"canonical_sha256":"95c511145ffaa671e386630f519f6ec9e144bfaa53cb40e6124acd34ec05fe08","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:34:40.836663Z","signature_b64":"7bdThLE9H6nA078hNVANXPJ4mEKVnUbhQtm7l4Qq80sd6NiADJh13IY98krC71o5n5sgncvnVaTyB0rBWOGWDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"95c511145ffaa671e386630f519f6ec9e144bfaa53cb40e6124acd34ec05fe08","last_reissued_at":"2026-05-18T01:34:40.836088Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:34:40.836088Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.06836","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-18T01:34:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lOle2VBs2P4UcrT8T9ROIWKzPQwZrU3kClXQ82RjkzqrdV6wIadDy5f8FfEyFa9tFs43v298EuNke65bwFsgAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T20:07:17.491732Z"},"content_sha256":"050189866427886227873fad1377ff1415b3907afe335486917e100928b65eef","schema_version":"1.0","event_id":"sha256:050189866427886227873fad1377ff1415b3907afe335486917e100928b65eef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:SXCRCFC77KTHDY4GMMHVDH3OZH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Practical SMT-Based Type Error Localization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Thomas Wies, Tim King, Zvonimir Pavlinovic","submitted_at":"2015-08-27T12:52:20Z","abstract_excerpt":"Compilers for statically typed functional programming languages are notorious for generating confusing type error messages. When the compiler detects a type error, it typically reports the program location where the type checking failed as the source of the error. Since other error sources are not even considered, the actual root cause is often missed. A more adequate approach is to consider all possible error sources and report the most useful one subject to some usefulness criterion. In our previous work, we showed that this approach can be formulated as an optimization problem related to sa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.06836","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-18T01:34:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BYsGHipfPgdYrX6cyaEq2GH9wPtkLEcGvp7rSpM7DRIFzrBPF4NSeEijyDH4mJWZ7/Y2IHy7ztcaQqtuzpHRDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T20:07:17.492075Z"},"content_sha256":"992dc571ece8b32fae279cff4567be8b28370aecaef9a431fd95ab55b3198d8b","schema_version":"1.0","event_id":"sha256:992dc571ece8b32fae279cff4567be8b28370aecaef9a431fd95ab55b3198d8b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SXCRCFC77KTHDY4GMMHVDH3OZH/bundle.json","state_url":"https://pith.science/pith/SXCRCFC77KTHDY4GMMHVDH3OZH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SXCRCFC77KTHDY4GMMHVDH3OZH/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-05-28T20:07:17Z","links":{"resolver":"https://pith.science/pith/SXCRCFC77KTHDY4GMMHVDH3OZH","bundle":"https://pith.science/pith/SXCRCFC77KTHDY4GMMHVDH3OZH/bundle.json","state":"https://pith.science/pith/SXCRCFC77KTHDY4GMMHVDH3OZH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SXCRCFC77KTHDY4GMMHVDH3OZH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:SXCRCFC77KTHDY4GMMHVDH3OZH","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":"0a62a7799dbbb4adb92fc03f55c2a25c9f2f6df50a99e7bbcd25af674ae06fb9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-08-27T12:52:20Z","title_canon_sha256":"f3918c1601bca9278b32dce4b00e90cd4222dda49be84fb93252cb55c065b7fb"},"schema_version":"1.0","source":{"id":"1508.06836","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.06836","created_at":"2026-05-18T01:34:40Z"},{"alias_kind":"arxiv_version","alias_value":"1508.06836v1","created_at":"2026-05-18T01:34:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.06836","created_at":"2026-05-18T01:34:40Z"},{"alias_kind":"pith_short_12","alias_value":"SXCRCFC77KTH","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"SXCRCFC77KTHDY4G","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"SXCRCFC7","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:992dc571ece8b32fae279cff4567be8b28370aecaef9a431fd95ab55b3198d8b","target":"graph","created_at":"2026-05-18T01:34:40Z","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":"Compilers for statically typed functional programming languages are notorious for generating confusing type error messages. When the compiler detects a type error, it typically reports the program location where the type checking failed as the source of the error. Since other error sources are not even considered, the actual root cause is often missed. A more adequate approach is to consider all possible error sources and report the most useful one subject to some usefulness criterion. In our previous work, we showed that this approach can be formulated as an optimization problem related to sa","authors_text":"Thomas Wies, Tim King, Zvonimir Pavlinovic","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-08-27T12:52:20Z","title":"On Practical SMT-Based Type Error Localization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.06836","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:050189866427886227873fad1377ff1415b3907afe335486917e100928b65eef","target":"record","created_at":"2026-05-18T01:34:40Z","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":"0a62a7799dbbb4adb92fc03f55c2a25c9f2f6df50a99e7bbcd25af674ae06fb9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-08-27T12:52:20Z","title_canon_sha256":"f3918c1601bca9278b32dce4b00e90cd4222dda49be84fb93252cb55c065b7fb"},"schema_version":"1.0","source":{"id":"1508.06836","kind":"arxiv","version":1}},"canonical_sha256":"95c511145ffaa671e386630f519f6ec9e144bfaa53cb40e6124acd34ec05fe08","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"95c511145ffaa671e386630f519f6ec9e144bfaa53cb40e6124acd34ec05fe08","first_computed_at":"2026-05-18T01:34:40.836088Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:34:40.836088Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7bdThLE9H6nA078hNVANXPJ4mEKVnUbhQtm7l4Qq80sd6NiADJh13IY98krC71o5n5sgncvnVaTyB0rBWOGWDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:34:40.836663Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.06836","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:050189866427886227873fad1377ff1415b3907afe335486917e100928b65eef","sha256:992dc571ece8b32fae279cff4567be8b28370aecaef9a431fd95ab55b3198d8b"],"state_sha256":"efc612f4fa4406f69efbdcab2f6d777e64812b8d27b201fa71a9c0b8add9112a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7Ubhr0eBcp6BoLIyxVASa2ke1H/3UuCMvZFtf6xYQ9hEZ/YkIvpSNL/4/Wi7H/+4oH8fG8HPiTA12tP46kXPBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T20:07:17.494050Z","bundle_sha256":"b64dbb31388b032eed86aa52be8a59197cc44df8f701c0d967208bcf6d41dc40"}}