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