{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2003:GII7VPMVYIQX2WD6OOSX6OGMAJ","short_pith_number":"pith:GII7VPMV","canonical_record":{"source":{"id":"cs/0311023","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2003-11-17T23:06:18Z","cross_cats_sorted":[],"title_canon_sha256":"a5fcec2bd9c1490eb64e04732787ffb55dc516390812e1c83c5b3b34ae9c8509","abstract_canon_sha256":"b1ef55905e6e344fa801b7eef3dc99a39142823bfa6aeb4e4a8e426852c14846"},"schema_version":"1.0"},"canonical_sha256":"3211fabd95c2217d587e73a57f38cc02741df790821de79a52f43ec3638e7f16","source":{"kind":"arxiv","id":"cs/0311023","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0311023","created_at":"2026-07-04T14:24:38Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0311023v1","created_at":"2026-07-04T14:24:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0311023","created_at":"2026-07-04T14:24:38Z"},{"alias_kind":"pith_short_12","alias_value":"GII7VPMVYIQX","created_at":"2026-07-04T14:24:38Z"},{"alias_kind":"pith_short_16","alias_value":"GII7VPMVYIQX2WD6","created_at":"2026-07-04T14:24:38Z"},{"alias_kind":"pith_short_8","alias_value":"GII7VPMV","created_at":"2026-07-04T14:24:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2003:GII7VPMVYIQX2WD6OOSX6OGMAJ","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0311023","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PL","submitted_at":"2003-11-17T23:06:18Z","cross_cats_sorted":[],"title_canon_sha256":"a5fcec2bd9c1490eb64e04732787ffb55dc516390812e1c83c5b3b34ae9c8509","abstract_canon_sha256":"b1ef55905e6e344fa801b7eef3dc99a39142823bfa6aeb4e4a8e426852c14846"},"schema_version":"1.0"},"canonical_sha256":"3211fabd95c2217d587e73a57f38cc02741df790821de79a52f43ec3638e7f16","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:24:38.679337Z","signature_b64":"ed3kQuCJqILdYTMf090f+NWM4srZhJb7oIxV2RRXoXE5qfMOT0ssdV6WJvMl5ByDZXyMUPJa+ijNKazVXjXKBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3211fabd95c2217d587e73a57f38cc02741df790821de79a52f43ec3638e7f16","last_reissued_at":"2026-07-04T14:24:38.678935Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:24:38.678935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0311023","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-07-04T14:24:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I4wqNNMX2s449IDU6JLaLQmTCYGUto5Ff2BN23t47ricjeDOAH8pwkR1aa3Zo2DjPyQxs3BoaAVRXMvmpiyMCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T21:33:26.280335Z"},"content_sha256":"61b4cdfa0e3106d166206abbb0f68afceb884fe6d831d614c7bc09e91c8f0da8","schema_version":"1.0","event_id":"sha256:61b4cdfa0e3106d166206abbb0f68afceb884fe6d831d614c7bc09e91c8f0da8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2003:GII7VPMVYIQX2WD6OOSX6OGMAJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Chameleon Type Debugger (Tool Demonstration)","license":"","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Jeremy Wazny, Martin Sulzmann, Peter J. Stuckey","submitted_at":"2003-11-17T23:06:18Z","abstract_excerpt":"In this tool demonstration, we give an overview of the Chameleon type debugger. The type debugger's primary use is to identify locations within a source program which are involved in a type error. By further examining these (potentially) problematic program locations, users gain a better understanding of their program and are able to work towards the actual mistake which was the cause of the type error. The debugger is interactive, allowing the user to provide additional information to narrow down the search space. One of the novel aspects of the debugger is the ability to explain erroneous-lo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0311023","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/cs/0311023/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"},"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-07-04T14:24:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OD8UTUeW/ceQ6sb+zPmx4i1DknMaj8zjJu7EiZEFfwKH5vnY+tjWbn8YMyrY3321JR1Fs5rRK831RcdKKbewCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T21:33:26.280828Z"},"content_sha256":"a90b022e32bc7ae795327e0f368ab9c17446c68ba3d09e7827082cd218e10532","schema_version":"1.0","event_id":"sha256:a90b022e32bc7ae795327e0f368ab9c17446c68ba3d09e7827082cd218e10532"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GII7VPMVYIQX2WD6OOSX6OGMAJ/bundle.json","state_url":"https://pith.science/pith/GII7VPMVYIQX2WD6OOSX6OGMAJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GII7VPMVYIQX2WD6OOSX6OGMAJ/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-08-05T21:33:26Z","links":{"resolver":"https://pith.science/pith/GII7VPMVYIQX2WD6OOSX6OGMAJ","bundle":"https://pith.science/pith/GII7VPMVYIQX2WD6OOSX6OGMAJ/bundle.json","state":"https://pith.science/pith/GII7VPMVYIQX2WD6OOSX6OGMAJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GII7VPMVYIQX2WD6OOSX6OGMAJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2003:GII7VPMVYIQX2WD6OOSX6OGMAJ","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":"b1ef55905e6e344fa801b7eef3dc99a39142823bfa6aeb4e4a8e426852c14846","cross_cats_sorted":[],"license":"","primary_cat":"cs.PL","submitted_at":"2003-11-17T23:06:18Z","title_canon_sha256":"a5fcec2bd9c1490eb64e04732787ffb55dc516390812e1c83c5b3b34ae9c8509"},"schema_version":"1.0","source":{"id":"cs/0311023","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0311023","created_at":"2026-07-04T14:24:38Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0311023v1","created_at":"2026-07-04T14:24:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0311023","created_at":"2026-07-04T14:24:38Z"},{"alias_kind":"pith_short_12","alias_value":"GII7VPMVYIQX","created_at":"2026-07-04T14:24:38Z"},{"alias_kind":"pith_short_16","alias_value":"GII7VPMVYIQX2WD6","created_at":"2026-07-04T14:24:38Z"},{"alias_kind":"pith_short_8","alias_value":"GII7VPMV","created_at":"2026-07-04T14:24:38Z"}],"graph_snapshots":[{"event_id":"sha256:a90b022e32bc7ae795327e0f368ab9c17446c68ba3d09e7827082cd218e10532","target":"graph","created_at":"2026-07-04T14:24: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/cs/0311023/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this tool demonstration, we give an overview of the Chameleon type debugger. The type debugger's primary use is to identify locations within a source program which are involved in a type error. By further examining these (potentially) problematic program locations, users gain a better understanding of their program and are able to work towards the actual mistake which was the cause of the type error. The debugger is interactive, allowing the user to provide additional information to narrow down the search space. One of the novel aspects of the debugger is the ability to explain erroneous-lo","authors_text":"Jeremy Wazny, Martin Sulzmann, Peter J. Stuckey","cross_cats":[],"headline":"","license":"","primary_cat":"cs.PL","submitted_at":"2003-11-17T23:06:18Z","title":"The Chameleon Type Debugger (Tool Demonstration)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0311023","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:61b4cdfa0e3106d166206abbb0f68afceb884fe6d831d614c7bc09e91c8f0da8","target":"record","created_at":"2026-07-04T14:24: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":"b1ef55905e6e344fa801b7eef3dc99a39142823bfa6aeb4e4a8e426852c14846","cross_cats_sorted":[],"license":"","primary_cat":"cs.PL","submitted_at":"2003-11-17T23:06:18Z","title_canon_sha256":"a5fcec2bd9c1490eb64e04732787ffb55dc516390812e1c83c5b3b34ae9c8509"},"schema_version":"1.0","source":{"id":"cs/0311023","kind":"arxiv","version":1}},"canonical_sha256":"3211fabd95c2217d587e73a57f38cc02741df790821de79a52f43ec3638e7f16","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3211fabd95c2217d587e73a57f38cc02741df790821de79a52f43ec3638e7f16","first_computed_at":"2026-07-04T14:24:38.678935Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:24:38.678935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ed3kQuCJqILdYTMf090f+NWM4srZhJb7oIxV2RRXoXE5qfMOT0ssdV6WJvMl5ByDZXyMUPJa+ijNKazVXjXKBg==","signature_status":"signed_v1","signed_at":"2026-07-04T14:24:38.679337Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0311023","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:61b4cdfa0e3106d166206abbb0f68afceb884fe6d831d614c7bc09e91c8f0da8","sha256:a90b022e32bc7ae795327e0f368ab9c17446c68ba3d09e7827082cd218e10532"],"state_sha256":"35a1003dd1a218677c41b8616edbac48a505a764f7853f512c56a700fab78a4d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DvvtHMhyfnjAgtJuzleTLc2HAeef9OOKNAVv7ZoMbKXTOL4uuqWxXbTLRR1P/cVkqglnOAAgWIWa15S/yO+fAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T21:33:26.284503Z","bundle_sha256":"9279c63323b464344412c01553a1d63224831ecab6cafc6e56c9b36084db6437"}}