{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:3AYR2LYBASGHM5SAAN5VTYI3J6","short_pith_number":"pith:3AYR2LYB","canonical_record":{"source":{"id":"2603.29013","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-03-30T21:19:50Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"4fc0137213e247611dd83a205e6255e44a683325b6ec7b56d6b9f7658c5f1fbe","abstract_canon_sha256":"8600073f09f341031372dee048e1eee701c80def290a79a865891aa9a4ce9b27"},"schema_version":"1.0"},"canonical_sha256":"d8311d2f01048c767640037b59e11b4fa66ff3821fecc9c1c5cd52039cbc4684","source":{"kind":"arxiv","id":"2603.29013","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2603.29013","created_at":"2026-06-09T02:07:25Z"},{"alias_kind":"arxiv_version","alias_value":"2603.29013v3","created_at":"2026-06-09T02:07:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.29013","created_at":"2026-06-09T02:07:25Z"},{"alias_kind":"pith_short_12","alias_value":"3AYR2LYBASGH","created_at":"2026-06-09T02:07:25Z"},{"alias_kind":"pith_short_16","alias_value":"3AYR2LYBASGHM5SA","created_at":"2026-06-09T02:07:25Z"},{"alias_kind":"pith_short_8","alias_value":"3AYR2LYB","created_at":"2026-06-09T02:07:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:3AYR2LYBASGHM5SAAN5VTYI3J6","target":"record","payload":{"canonical_record":{"source":{"id":"2603.29013","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-03-30T21:19:50Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"4fc0137213e247611dd83a205e6255e44a683325b6ec7b56d6b9f7658c5f1fbe","abstract_canon_sha256":"8600073f09f341031372dee048e1eee701c80def290a79a865891aa9a4ce9b27"},"schema_version":"1.0"},"canonical_sha256":"d8311d2f01048c767640037b59e11b4fa66ff3821fecc9c1c5cd52039cbc4684","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-09T02:07:25.514180Z","signature_b64":"ZVfG/PQNEESedxNSoaJ06Cpaqi6UoUzhdFFpsYS5lPReDE2qzkAKTWKKpxvoSiCUUsBBJCiqrjaLXjfJNFJJBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d8311d2f01048c767640037b59e11b4fa66ff3821fecc9c1c5cd52039cbc4684","last_reissued_at":"2026-06-09T02:07:25.513148Z","signature_status":"signed_v1","first_computed_at":"2026-06-09T02:07:25.513148Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2603.29013","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-06-09T02:07:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ruRHs0nv5O5k35p/0Cum2io1Bd9xfjfdBnYlThWhFYWrmLrqYrmfujMAOYUmVlBtlmTIr2ec8CcUqXeS9ooPAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T06:55:35.533118Z"},"content_sha256":"9b53ec5969a2ad64cd08a1fce8143bb4cb376917afe523c7ab198122f4b5eb6f","schema_version":"1.0","event_id":"sha256:9b53ec5969a2ad64cd08a1fce8143bb4cb376917afe523c7ab198122f4b5eb6f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:3AYR2LYBASGHM5SAAN5VTYI3J6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Wherefore Art Thou? Provenance-Guided Automatic Online Debugging with Lumos","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"Lumos automatically captures bug provenance in distributed systems using static analysis to guide lightweight recording.","cross_cats":["cs.DC"],"primary_cat":"cs.SE","authors_text":"Amit Levy, Gongqi Huang, Jingyuan Chen, Lei Zhang, Leon Schuermann, Ravi Netravali","submitted_at":"2026-03-30T21:19:50Z","abstract_excerpt":"Debugging distributed systems in-production is inevitable and hard. Myriad interactions between concurrent components in modern, complex and large-scale systems cause non-deterministic bugs that offline testing and verification fail to capture. When bugs surface at runtime, their root causes may be far removed from their symptoms. To identify a root cause, developers often need evidence scattered across multiple components and traces. Unfortunately, existing tools fail to quickly and automatically record useful provenance information at low overheads, leaving developers to manually perform the"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Lumos provides developers with enough evidence to identify a bug's root cause, while incurring low runtime overhead, and given only a few occurrences of a bug.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That dependency-guided instrumentation powered by static analysis can accurately identify the program state related to a bug's provenance and that on-demand recording will capture sufficient evidence with only a few bug occurrences.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Lumos automatically captures application-level bug provenances in distributed systems via dependency-guided static analysis and on-demand recording for low-overhead root cause identification.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Lumos automatically captures bug provenance in distributed systems using static analysis to guide lightweight recording.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"cb8e03113722ea5199b4a23bfc5159618ef6d732f6a7def9e05e089c50d697de"},"source":{"id":"2603.29013","kind":"arxiv","version":3},"verdict":{"id":"f5c0463d-69ab-4caf-b99e-9788516febe7","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T20:57:12.228349Z","strongest_claim":"Lumos provides developers with enough evidence to identify a bug's root cause, while incurring low runtime overhead, and given only a few occurrences of a bug.","one_line_summary":"Lumos automatically captures application-level bug provenances in distributed systems via dependency-guided static analysis and on-demand recording for low-overhead root cause identification.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That dependency-guided instrumentation powered by static analysis can accurately identify the program state related to a bug's provenance and that on-demand recording will capture sufficient evidence with only a few bug occurrences.","pith_extraction_headline":"Lumos automatically captures bug provenance in distributed systems using static analysis to guide lightweight recording."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2603.29013/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":"f5c0463d-69ab-4caf-b99e-9788516febe7"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-09T02:07:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DXFMNnauXwtzE29e1fL1bqMYrBkt9Y9wDgpUcE32cAsihrZFmasbS9eK9AOT39+5riLc1u/gsMk4OO7NxTc5BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T06:55:35.534003Z"},"content_sha256":"2e95fceba1adf2fe47ee3a76f863326e2a2d2b6613fe6e8cb555fc2abb5b0f8b","schema_version":"1.0","event_id":"sha256:2e95fceba1adf2fe47ee3a76f863326e2a2d2b6613fe6e8cb555fc2abb5b0f8b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3AYR2LYBASGHM5SAAN5VTYI3J6/bundle.json","state_url":"https://pith.science/pith/3AYR2LYBASGHM5SAAN5VTYI3J6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3AYR2LYBASGHM5SAAN5VTYI3J6/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-09T06:55:35Z","links":{"resolver":"https://pith.science/pith/3AYR2LYBASGHM5SAAN5VTYI3J6","bundle":"https://pith.science/pith/3AYR2LYBASGHM5SAAN5VTYI3J6/bundle.json","state":"https://pith.science/pith/3AYR2LYBASGHM5SAAN5VTYI3J6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3AYR2LYBASGHM5SAAN5VTYI3J6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:3AYR2LYBASGHM5SAAN5VTYI3J6","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":"8600073f09f341031372dee048e1eee701c80def290a79a865891aa9a4ce9b27","cross_cats_sorted":["cs.DC"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-03-30T21:19:50Z","title_canon_sha256":"4fc0137213e247611dd83a205e6255e44a683325b6ec7b56d6b9f7658c5f1fbe"},"schema_version":"1.0","source":{"id":"2603.29013","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2603.29013","created_at":"2026-06-09T02:07:25Z"},{"alias_kind":"arxiv_version","alias_value":"2603.29013v3","created_at":"2026-06-09T02:07:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.29013","created_at":"2026-06-09T02:07:25Z"},{"alias_kind":"pith_short_12","alias_value":"3AYR2LYBASGH","created_at":"2026-06-09T02:07:25Z"},{"alias_kind":"pith_short_16","alias_value":"3AYR2LYBASGHM5SA","created_at":"2026-06-09T02:07:25Z"},{"alias_kind":"pith_short_8","alias_value":"3AYR2LYB","created_at":"2026-06-09T02:07:25Z"}],"graph_snapshots":[{"event_id":"sha256:2e95fceba1adf2fe47ee3a76f863326e2a2d2b6613fe6e8cb555fc2abb5b0f8b","target":"graph","created_at":"2026-06-09T02:07:25Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Lumos provides developers with enough evidence to identify a bug's root cause, while incurring low runtime overhead, and given only a few occurrences of a bug."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That dependency-guided instrumentation powered by static analysis can accurately identify the program state related to a bug's provenance and that on-demand recording will capture sufficient evidence with only a few bug occurrences."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Lumos automatically captures application-level bug provenances in distributed systems via dependency-guided static analysis and on-demand recording for low-overhead root cause identification."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Lumos automatically captures bug provenance in distributed systems using static analysis to guide lightweight recording."}],"snapshot_sha256":"cb8e03113722ea5199b4a23bfc5159618ef6d732f6a7def9e05e089c50d697de"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2603.29013/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Debugging distributed systems in-production is inevitable and hard. Myriad interactions between concurrent components in modern, complex and large-scale systems cause non-deterministic bugs that offline testing and verification fail to capture. When bugs surface at runtime, their root causes may be far removed from their symptoms. To identify a root cause, developers often need evidence scattered across multiple components and traces. Unfortunately, existing tools fail to quickly and automatically record useful provenance information at low overheads, leaving developers to manually perform the","authors_text":"Amit Levy, Gongqi Huang, Jingyuan Chen, Lei Zhang, Leon Schuermann, Ravi Netravali","cross_cats":["cs.DC"],"headline":"Lumos automatically captures bug provenance in distributed systems using static analysis to guide lightweight recording.","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-03-30T21:19:50Z","title":"Wherefore Art Thou? Provenance-Guided Automatic Online Debugging with Lumos"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2603.29013","kind":"arxiv","version":3},"verdict":{"created_at":"2026-05-14T20:57:12.228349Z","id":"f5c0463d-69ab-4caf-b99e-9788516febe7","model_set":{"reader":"grok-4.3"},"one_line_summary":"Lumos automatically captures application-level bug provenances in distributed systems via dependency-guided static analysis and on-demand recording for low-overhead root cause identification.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Lumos automatically captures bug provenance in distributed systems using static analysis to guide lightweight recording.","strongest_claim":"Lumos provides developers with enough evidence to identify a bug's root cause, while incurring low runtime overhead, and given only a few occurrences of a bug.","weakest_assumption":"That dependency-guided instrumentation powered by static analysis can accurately identify the program state related to a bug's provenance and that on-demand recording will capture sufficient evidence with only a few bug occurrences."}},"verdict_id":"f5c0463d-69ab-4caf-b99e-9788516febe7"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:9b53ec5969a2ad64cd08a1fce8143bb4cb376917afe523c7ab198122f4b5eb6f","target":"record","created_at":"2026-06-09T02:07:25Z","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":"8600073f09f341031372dee048e1eee701c80def290a79a865891aa9a4ce9b27","cross_cats_sorted":["cs.DC"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-03-30T21:19:50Z","title_canon_sha256":"4fc0137213e247611dd83a205e6255e44a683325b6ec7b56d6b9f7658c5f1fbe"},"schema_version":"1.0","source":{"id":"2603.29013","kind":"arxiv","version":3}},"canonical_sha256":"d8311d2f01048c767640037b59e11b4fa66ff3821fecc9c1c5cd52039cbc4684","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d8311d2f01048c767640037b59e11b4fa66ff3821fecc9c1c5cd52039cbc4684","first_computed_at":"2026-06-09T02:07:25.513148Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-09T02:07:25.513148Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZVfG/PQNEESedxNSoaJ06Cpaqi6UoUzhdFFpsYS5lPReDE2qzkAKTWKKpxvoSiCUUsBBJCiqrjaLXjfJNFJJBg==","signature_status":"signed_v1","signed_at":"2026-06-09T02:07:25.514180Z","signed_message":"canonical_sha256_bytes"},"source_id":"2603.29013","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b53ec5969a2ad64cd08a1fce8143bb4cb376917afe523c7ab198122f4b5eb6f","sha256:2e95fceba1adf2fe47ee3a76f863326e2a2d2b6613fe6e8cb555fc2abb5b0f8b"],"state_sha256":"fd48d21188c1872f7123859166d7f108d94e21125291d947600d69b0a80466fc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8JLS6Ix4TrvbnTC7Wupu63KpH3a/jxUraiINvR7e6HQwEElRhKJwzLY17TpSAIYYqupXPBgDMVXaPebvbiwmDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T06:55:35.538941Z","bundle_sha256":"63210f04f133ff72931d0ec31462991e412c55666b531406c7a882a4b8bd3548"}}