{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:LAXSBYAMF7S3UHSXFFWCDJBRV7","short_pith_number":"pith:LAXSBYAM","canonical_record":{"source":{"id":"1212.5204","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-12-20T19:39:10Z","cross_cats_sorted":[],"title_canon_sha256":"c552c70a3b8699870a35cba6262099932736bc97b95e85f6f001987f76d750a7","abstract_canon_sha256":"11601c186d4c137917a0de0ba4268cdf82ae96af9586805be27591ae3c36fc6d"},"schema_version":"1.0"},"canonical_sha256":"582f20e00c2fe5ba1e57296c21a431afce305a163aa4db7f4a9f08ff2c29c86c","source":{"kind":"arxiv","id":"1212.5204","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.5204","created_at":"2026-05-18T03:38:03Z"},{"alias_kind":"arxiv_version","alias_value":"1212.5204v1","created_at":"2026-05-18T03:38:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.5204","created_at":"2026-05-18T03:38:03Z"},{"alias_kind":"pith_short_12","alias_value":"LAXSBYAMF7S3","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_16","alias_value":"LAXSBYAMF7S3UHSX","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_8","alias_value":"LAXSBYAM","created_at":"2026-05-18T12:27:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:LAXSBYAMF7S3UHSXFFWCDJBRV7","target":"record","payload":{"canonical_record":{"source":{"id":"1212.5204","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-12-20T19:39:10Z","cross_cats_sorted":[],"title_canon_sha256":"c552c70a3b8699870a35cba6262099932736bc97b95e85f6f001987f76d750a7","abstract_canon_sha256":"11601c186d4c137917a0de0ba4268cdf82ae96af9586805be27591ae3c36fc6d"},"schema_version":"1.0"},"canonical_sha256":"582f20e00c2fe5ba1e57296c21a431afce305a163aa4db7f4a9f08ff2c29c86c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:38:03.185480Z","signature_b64":"AJGI/QA28TLJHdV4XRQQWR41RbaWz/o5vDZ8lS9mlmlo1eVkwsQJBcWgqNKjhtppSgZsDsTRGTaUvyP1pbK5Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"582f20e00c2fe5ba1e57296c21a431afce305a163aa4db7f4a9f08ff2c29c86c","last_reissued_at":"2026-05-18T03:38:03.184504Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:38:03.184504Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1212.5204","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-18T03:38:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XhjUYELAG+maVDBNni1AyUQfuhTvYj8HEwrOWbnJOYOajdIo5r5ccMs5CTQNwkBVMyzbpIhwtyq3QUKno5MDCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T16:19:37.731682Z"},"content_sha256":"ed4f6e37f618fbbb41a6b2af999711274236bae3b4e1bc6a0098069d003094bb","schema_version":"1.0","event_id":"sha256:ed4f6e37f618fbbb41a6b2af999711274236bae3b4e1bc6a0098069d003094bb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:LAXSBYAMF7S3UHSXFFWCDJBRV7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"FReD: Automated Debugging via Binary Search through a Process Lifetime","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ana-Maria Visan, Gene Cooperman, Kapil Arya, Tyler Denniston","submitted_at":"2012-12-20T19:39:10Z","abstract_excerpt":"Reversible debuggers have been developed at least since 1970. Such a feature is useful when the cause of a bug is close in time to the bug manifestation. When the cause is far back in time, one resorts to setting appropriate breakpoints in the debugger and beginning a new debugging session. For these cases when the cause of a bug is far in time from its manifestation, bug diagnosis requires a series of debugging sessions with which to narrow down the cause of the bug.\n  For such \"difficult\" bugs, this work presents an automated tool to search through the process lifetime and locate the cause. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.5204","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-18T03:38:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PPhWixBqryAVvWSBr/p9QWpLgXdoyehYh3cgurqDxO3ErLcf8N+8RZpNJCIKVQDIfPauVgLi9ZK11lCpt7MGDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T16:19:37.732030Z"},"content_sha256":"03f245637cad9d36251b471998a1ce1449798278898217a04eb4c9f683b8fc19","schema_version":"1.0","event_id":"sha256:03f245637cad9d36251b471998a1ce1449798278898217a04eb4c9f683b8fc19"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LAXSBYAMF7S3UHSXFFWCDJBRV7/bundle.json","state_url":"https://pith.science/pith/LAXSBYAMF7S3UHSXFFWCDJBRV7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LAXSBYAMF7S3UHSXFFWCDJBRV7/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-06-01T16:19:37Z","links":{"resolver":"https://pith.science/pith/LAXSBYAMF7S3UHSXFFWCDJBRV7","bundle":"https://pith.science/pith/LAXSBYAMF7S3UHSXFFWCDJBRV7/bundle.json","state":"https://pith.science/pith/LAXSBYAMF7S3UHSXFFWCDJBRV7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LAXSBYAMF7S3UHSXFFWCDJBRV7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:LAXSBYAMF7S3UHSXFFWCDJBRV7","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":"11601c186d4c137917a0de0ba4268cdf82ae96af9586805be27591ae3c36fc6d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-12-20T19:39:10Z","title_canon_sha256":"c552c70a3b8699870a35cba6262099932736bc97b95e85f6f001987f76d750a7"},"schema_version":"1.0","source":{"id":"1212.5204","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.5204","created_at":"2026-05-18T03:38:03Z"},{"alias_kind":"arxiv_version","alias_value":"1212.5204v1","created_at":"2026-05-18T03:38:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.5204","created_at":"2026-05-18T03:38:03Z"},{"alias_kind":"pith_short_12","alias_value":"LAXSBYAMF7S3","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_16","alias_value":"LAXSBYAMF7S3UHSX","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_8","alias_value":"LAXSBYAM","created_at":"2026-05-18T12:27:14Z"}],"graph_snapshots":[{"event_id":"sha256:03f245637cad9d36251b471998a1ce1449798278898217a04eb4c9f683b8fc19","target":"graph","created_at":"2026-05-18T03:38:03Z","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":"Reversible debuggers have been developed at least since 1970. Such a feature is useful when the cause of a bug is close in time to the bug manifestation. When the cause is far back in time, one resorts to setting appropriate breakpoints in the debugger and beginning a new debugging session. For these cases when the cause of a bug is far in time from its manifestation, bug diagnosis requires a series of debugging sessions with which to narrow down the cause of the bug.\n  For such \"difficult\" bugs, this work presents an automated tool to search through the process lifetime and locate the cause. ","authors_text":"Ana-Maria Visan, Gene Cooperman, Kapil Arya, Tyler Denniston","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-12-20T19:39:10Z","title":"FReD: Automated Debugging via Binary Search through a Process Lifetime"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.5204","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:ed4f6e37f618fbbb41a6b2af999711274236bae3b4e1bc6a0098069d003094bb","target":"record","created_at":"2026-05-18T03:38:03Z","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":"11601c186d4c137917a0de0ba4268cdf82ae96af9586805be27591ae3c36fc6d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-12-20T19:39:10Z","title_canon_sha256":"c552c70a3b8699870a35cba6262099932736bc97b95e85f6f001987f76d750a7"},"schema_version":"1.0","source":{"id":"1212.5204","kind":"arxiv","version":1}},"canonical_sha256":"582f20e00c2fe5ba1e57296c21a431afce305a163aa4db7f4a9f08ff2c29c86c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"582f20e00c2fe5ba1e57296c21a431afce305a163aa4db7f4a9f08ff2c29c86c","first_computed_at":"2026-05-18T03:38:03.184504Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:38:03.184504Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AJGI/QA28TLJHdV4XRQQWR41RbaWz/o5vDZ8lS9mlmlo1eVkwsQJBcWgqNKjhtppSgZsDsTRGTaUvyP1pbK5Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:38:03.185480Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.5204","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ed4f6e37f618fbbb41a6b2af999711274236bae3b4e1bc6a0098069d003094bb","sha256:03f245637cad9d36251b471998a1ce1449798278898217a04eb4c9f683b8fc19"],"state_sha256":"23a69691412c610a5c3fb6513c07b89bdeabe47ab631f9ea5d7c0db534f07845"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jJETfUuVj5rkaIgoAbsUY/ZAfl8jDBnaG6a5AaEertUuU8BEuYhHVqN23OEAAqGOmAKrs4mIvUpWqvT/u+BxCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T16:19:37.733887Z","bundle_sha256":"138ae4d457a8b138a22fd3efd8b1cd59d82be3cc5e059c06dbf4483a4264573d"}}