{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:HAQAYX7ZNQAWHLDQB7Z5JLKDXG","short_pith_number":"pith:HAQAYX7Z","canonical_record":{"source":{"id":"2506.00693","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-31T19:56:16Z","cross_cats_sorted":[],"title_canon_sha256":"229e29a8bbd87f55a8eb01e0b2024031a1b6fa527b1fe30dd5fb464a2236d2fe","abstract_canon_sha256":"0f7cf794735d292c410c55eb7916a3696d0faea7847a7c4cf2b951471b70dfc8"},"schema_version":"1.0"},"canonical_sha256":"38200c5ff96c0163ac700ff3d4ad43b9bc0fb4c4d91b8f98cd84b77678651541","source":{"kind":"arxiv","id":"2506.00693","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.00693","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"arxiv_version","alias_value":"2506.00693v3","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.00693","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"pith_short_12","alias_value":"HAQAYX7ZNQAW","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"pith_short_16","alias_value":"HAQAYX7ZNQAWHLDQ","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"pith_short_8","alias_value":"HAQAYX7Z","created_at":"2026-07-20T02:19:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:HAQAYX7ZNQAWHLDQB7Z5JLKDXG","target":"record","payload":{"canonical_record":{"source":{"id":"2506.00693","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-31T19:56:16Z","cross_cats_sorted":[],"title_canon_sha256":"229e29a8bbd87f55a8eb01e0b2024031a1b6fa527b1fe30dd5fb464a2236d2fe","abstract_canon_sha256":"0f7cf794735d292c410c55eb7916a3696d0faea7847a7c4cf2b951471b70dfc8"},"schema_version":"1.0"},"canonical_sha256":"38200c5ff96c0163ac700ff3d4ad43b9bc0fb4c4d91b8f98cd84b77678651541","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-20T02:19:14.511726Z","signature_b64":"2hupc7hdGdzsA/JfM8ggpfxRMTi9cw8JfnlUTwiIn7+QxpSq9gQSj+dBPaTjTevJe2i3UbKBS543U92nbfiSBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"38200c5ff96c0163ac700ff3d4ad43b9bc0fb4c4d91b8f98cd84b77678651541","last_reissued_at":"2026-07-20T02:19:14.510807Z","signature_status":"signed_v1","first_computed_at":"2026-07-20T02:19:14.510807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.00693","source_version":3,"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-20T02:19:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4I5ELKYRnnXBqMMp7CtvoyqdTvVT8+AyunRa9zTke6nktK8MNxxsNnmXXzPrpyZVyuPC9sytuqiessS6rL/iDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T17:21:34.877890Z"},"content_sha256":"4050d4b23b491889d87929d911db5d495af89f5da536f2127debe3e72b87cd95","schema_version":"1.0","event_id":"sha256:4050d4b23b491889d87929d911db5d495af89f5da536f2127debe3e72b87cd95"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:HAQAYX7ZNQAWHLDQB7Z5JLKDXG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Human Attention During Localization of Memory Bugs in C Programs","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Collin McMillan, Emory Michaels, Matthew Robison, Robert Wallace, Yu Huang","submitted_at":"2025-05-31T19:56:16Z","abstract_excerpt":"This paper presents a study of human visual attention during localization of memory bugs in C. Human visual attention refers to the mechanical processes by which we selectively process and prioritize information. Visual attention is important to study because it is central to what information people (who are sighted) use to solve a particular problem. Meanwhile, memory bugs are among the most common types of bugs in C programs that manifest as a variety of program faults. In this paper, we study human visual attention while people attempt to locate memory bugs in code. We recruit 21 programmer"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.00693","kind":"arxiv","version":3},"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/2506.00693/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-20T02:19:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ECP4YLAeo98gVwO4rol5Vl6UweBTIAc6s9vJeRFB17OzSyzoKgty6D3XrlxC5ed9R4G//tUJrDRFsZ36GCYACQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T17:21:34.878415Z"},"content_sha256":"205e1135a9d51df64855495ae5ab2ac732238de7a5646f5fadd1a163a48d01f4","schema_version":"1.0","event_id":"sha256:205e1135a9d51df64855495ae5ab2ac732238de7a5646f5fadd1a163a48d01f4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HAQAYX7ZNQAWHLDQB7Z5JLKDXG/bundle.json","state_url":"https://pith.science/pith/HAQAYX7ZNQAWHLDQB7Z5JLKDXG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HAQAYX7ZNQAWHLDQB7Z5JLKDXG/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-09T17:21:34Z","links":{"resolver":"https://pith.science/pith/HAQAYX7ZNQAWHLDQB7Z5JLKDXG","bundle":"https://pith.science/pith/HAQAYX7ZNQAWHLDQB7Z5JLKDXG/bundle.json","state":"https://pith.science/pith/HAQAYX7ZNQAWHLDQB7Z5JLKDXG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HAQAYX7ZNQAWHLDQB7Z5JLKDXG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HAQAYX7ZNQAWHLDQB7Z5JLKDXG","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":"0f7cf794735d292c410c55eb7916a3696d0faea7847a7c4cf2b951471b70dfc8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-31T19:56:16Z","title_canon_sha256":"229e29a8bbd87f55a8eb01e0b2024031a1b6fa527b1fe30dd5fb464a2236d2fe"},"schema_version":"1.0","source":{"id":"2506.00693","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.00693","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"arxiv_version","alias_value":"2506.00693v3","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.00693","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"pith_short_12","alias_value":"HAQAYX7ZNQAW","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"pith_short_16","alias_value":"HAQAYX7ZNQAWHLDQ","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"pith_short_8","alias_value":"HAQAYX7Z","created_at":"2026-07-20T02:19:14Z"}],"graph_snapshots":[{"event_id":"sha256:205e1135a9d51df64855495ae5ab2ac732238de7a5646f5fadd1a163a48d01f4","target":"graph","created_at":"2026-07-20T02:19:14Z","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/2506.00693/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a study of human visual attention during localization of memory bugs in C. Human visual attention refers to the mechanical processes by which we selectively process and prioritize information. Visual attention is important to study because it is central to what information people (who are sighted) use to solve a particular problem. Meanwhile, memory bugs are among the most common types of bugs in C programs that manifest as a variety of program faults. In this paper, we study human visual attention while people attempt to locate memory bugs in code. We recruit 21 programmer","authors_text":"Collin McMillan, Emory Michaels, Matthew Robison, Robert Wallace, Yu Huang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-31T19:56:16Z","title":"Human Attention During Localization of Memory Bugs in C Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.00693","kind":"arxiv","version":3},"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:4050d4b23b491889d87929d911db5d495af89f5da536f2127debe3e72b87cd95","target":"record","created_at":"2026-07-20T02:19:14Z","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":"0f7cf794735d292c410c55eb7916a3696d0faea7847a7c4cf2b951471b70dfc8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-31T19:56:16Z","title_canon_sha256":"229e29a8bbd87f55a8eb01e0b2024031a1b6fa527b1fe30dd5fb464a2236d2fe"},"schema_version":"1.0","source":{"id":"2506.00693","kind":"arxiv","version":3}},"canonical_sha256":"38200c5ff96c0163ac700ff3d4ad43b9bc0fb4c4d91b8f98cd84b77678651541","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"38200c5ff96c0163ac700ff3d4ad43b9bc0fb4c4d91b8f98cd84b77678651541","first_computed_at":"2026-07-20T02:19:14.510807Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-20T02:19:14.510807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2hupc7hdGdzsA/JfM8ggpfxRMTi9cw8JfnlUTwiIn7+QxpSq9gQSj+dBPaTjTevJe2i3UbKBS543U92nbfiSBQ==","signature_status":"signed_v1","signed_at":"2026-07-20T02:19:14.511726Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.00693","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4050d4b23b491889d87929d911db5d495af89f5da536f2127debe3e72b87cd95","sha256:205e1135a9d51df64855495ae5ab2ac732238de7a5646f5fadd1a163a48d01f4"],"state_sha256":"b3a3b6249a01dc5d1a90f668aaf967810673ae2dd4e81565481794a86c013cfe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8PbPw71iUwkOcmJVoPWVVw2qnAdrzB289J5aCCMH78FiH3x+hY75CG3PSrsoCRTSEWsDUFmLxNTYtuU7QkFyAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T17:21:34.882115Z","bundle_sha256":"fd4921b3428d1806f8b4bd57b8252b5ede11cab88476302f94f7b65862d4e2a6"}}