{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:4NDTS7T6U3DVD7UYRMGV2DIYX4","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":"313741cafaecf883f1ff7790facd007b0928f18a78f5e92891f5beb89081d273","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-14T01:44:12Z","title_canon_sha256":"f269e844d8649577d4dddbc4f731854550a38eb99f3300f97999cad9a7d98199"},"schema_version":"1.0","source":{"id":"2505.09059","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.09059","created_at":"2026-07-05T11:02:49Z"},{"alias_kind":"arxiv_version","alias_value":"2505.09059v1","created_at":"2026-07-05T11:02:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.09059","created_at":"2026-07-05T11:02:49Z"},{"alias_kind":"pith_short_12","alias_value":"4NDTS7T6U3DV","created_at":"2026-07-05T11:02:49Z"},{"alias_kind":"pith_short_16","alias_value":"4NDTS7T6U3DVD7UY","created_at":"2026-07-05T11:02:49Z"},{"alias_kind":"pith_short_8","alias_value":"4NDTS7T6","created_at":"2026-07-05T11:02:49Z"}],"graph_snapshots":[{"event_id":"sha256:1dcc034dbf3d6e152b46d1bb37d46d407e836b3253983643d403bfe1d8081d72","target":"graph","created_at":"2026-07-05T11:02:49Z","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/2505.09059/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Quantum computers leverage the principles of quantum mechanics to execute operations. They require quantum programs that define operations on quantum bits (qubits), the fundamental units of computation. Unlike traditional software development, the process of creating and debugging quantum programs requires specialized knowledge of quantum computation, making the development process more challenging. In this paper, we apply and evaluate mutation-based fault localization (MBFL) for quantum programs with the aim of enhancing debugging efficiency. We use quantum mutation operations, which are spec","authors_text":"Hideto Ogawa, Masanari Kondo, Naoto Sato, Naoyasu Ubayashi, Ryota Katsube, Yasutaka Kamei, Yuta Ishimoto","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-14T01:44:12Z","title":"Evaluating Mutation-based Fault Localization for Quantum Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.09059","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:3238e3bdf6d3e8b1310ff79dfc607bfd81e96a9b69f19a18a8520e4988da837b","target":"record","created_at":"2026-07-05T11:02:49Z","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":"313741cafaecf883f1ff7790facd007b0928f18a78f5e92891f5beb89081d273","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-14T01:44:12Z","title_canon_sha256":"f269e844d8649577d4dddbc4f731854550a38eb99f3300f97999cad9a7d98199"},"schema_version":"1.0","source":{"id":"2505.09059","kind":"arxiv","version":1}},"canonical_sha256":"e347397e7ea6c751fe988b0d5d0d18bf1aff46d099754129fd61e83233bcd064","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e347397e7ea6c751fe988b0d5d0d18bf1aff46d099754129fd61e83233bcd064","first_computed_at":"2026-07-05T11:02:49.665847Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:02:49.665847Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+vV+I8cIxJKIkJ+1SFLgsABPHBueOWdCfmxEmA0LZPDkWGAbCIdH/s/SCHUyxRS/xN9GDJArp1htPhx0EFc7Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:02:49.666357Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.09059","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3238e3bdf6d3e8b1310ff79dfc607bfd81e96a9b69f19a18a8520e4988da837b","sha256:1dcc034dbf3d6e152b46d1bb37d46d407e836b3253983643d403bfe1d8081d72"],"state_sha256":"2e83757b3b81b7c4acfbf1b1cdd0f53526debdcb5223fb0b448e29255e8fbaf1"}