{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:JN4V3IZ7SLUCT2TZWSYQE4PB27","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":"69e323cc4c2e15187e71038b1bfbe345f225b6d012b43e1ada68036e2386d957","cross_cats_sorted":["cs.HC"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-25T21:33:25Z","title_canon_sha256":"9c97b772f42cb4e1bc88139194a5695fcca0fa424bbeff91d7dd6b6b46f43540"},"schema_version":"1.0","source":{"id":"2504.18702","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.18702","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"arxiv_version","alias_value":"2504.18702v1","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.18702","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"pith_short_12","alias_value":"JN4V3IZ7SLUC","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"pith_short_16","alias_value":"JN4V3IZ7SLUCT2TZ","created_at":"2026-07-05T10:54:19Z"},{"alias_kind":"pith_short_8","alias_value":"JN4V3IZ7","created_at":"2026-07-05T10:54:19Z"}],"graph_snapshots":[{"event_id":"sha256:842a3155a9db8ddf8161cbdd003ab7f9da02e5b66c19d78d85d8f9eba1330265","target":"graph","created_at":"2026-07-05T10:54:19Z","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/2504.18702/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Software developers maintain extensive mental models of code they produce and its context, often relying on memory to retrieve or reconstruct design decisions, edge cases, and debugging experiences. These missing links and data obstruct both developers and, more recently, large language models (LLMs) working with unfamiliar code. We present Codetations, a system that helps developers contextualize documents with rich notes and tools. Unlike previous approaches, notes in Codetations stay outside the document to prevent code clutter, attaching to spans in the document using a hybrid edit-trackin","authors_text":"Edward Misback, Erik Vank, Steven Tanimoto, Zachary Tatlock","cross_cats":["cs.HC"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-25T21:33:25Z","title":"Codetations: Intelligent, Persistent Notes and UIs for Programs and Other Documents"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.18702","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:a4908bdc98394ba4563b7def1b67619af2fd93e937b6c053c49913eda2791ee5","target":"record","created_at":"2026-07-05T10:54:19Z","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":"69e323cc4c2e15187e71038b1bfbe345f225b6d012b43e1ada68036e2386d957","cross_cats_sorted":["cs.HC"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-04-25T21:33:25Z","title_canon_sha256":"9c97b772f42cb4e1bc88139194a5695fcca0fa424bbeff91d7dd6b6b46f43540"},"schema_version":"1.0","source":{"id":"2504.18702","kind":"arxiv","version":1}},"canonical_sha256":"4b795da33f92e829ea79b4b10271e1d7dc0109bb6750d99bba56321cf9224898","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4b795da33f92e829ea79b4b10271e1d7dc0109bb6750d99bba56321cf9224898","first_computed_at":"2026-07-05T10:54:19.433442Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:54:19.433442Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LtBUkZzKXi6rir5Nnhg8EyqXPoJ23AHtBbisuZFr8Jm2cYl8VKvTj5Y1kPM3U0V8Fn6Ntb4CJ7JJJAd+pXKvCw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:54:19.433937Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.18702","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a4908bdc98394ba4563b7def1b67619af2fd93e937b6c053c49913eda2791ee5","sha256:842a3155a9db8ddf8161cbdd003ab7f9da02e5b66c19d78d85d8f9eba1330265"],"state_sha256":"64f310740280ad8767579fcaaf229ecc754e4251665b248f1b1f6a8a6874c6d2"}