{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:SANJRAUZ3WCEKR57EXGE76KQVZ","short_pith_number":"pith:SANJRAUZ","schema_version":"1.0","canonical_sha256":"901a988299dd844547bf25cc4ff950ae75bbdb73a1f15efda0559e7bc4499020","source":{"kind":"arxiv","id":"2606.26604","version":1},"attestation_state":"computed","paper":{"title":"Quantum Mutant Equivalence via Transpilation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andriy Miranskyy, Jos\\'e Campos","submitted_at":"2026-06-25T05:06:50Z","abstract_excerpt":"Mutation testing evaluates test suite quality by introducing artificial faults (mutants) and checking whether tests detect (kill) them. A central challenge is the equivalent mutant problem: some mutants are syntactically different from the original program but semantically identical to it and therefore cannot be killed by any test. If left unidentified, such mutants waste testing effort and distort mutation scores. In quantum software, mutation testing is increasingly used, but the equivalent mutant problem remains unsolved. A recent study generated more than 700,000 quantum circuit mutants an"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.26604","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-25T05:06:50Z","cross_cats_sorted":[],"title_canon_sha256":"28e6b2dd0b097ee834075a0bc9b08b9a721c751e160dabc899d2b4a4841dd28c","abstract_canon_sha256":"2070fc154f6aa750fb1fe80024bb455307dbb235333c8ad1547970b9a0e5ef95"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-26T01:15:36.007687Z","signature_b64":"638Et+2ZjtbZspx4FDxOmICj+nNO2KwDt6QIAeNgs2bZ4jiq0SPTmgnIVmI8glkdG/xii5eDlFVwd+OcgWQqAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"901a988299dd844547bf25cc4ff950ae75bbdb73a1f15efda0559e7bc4499020","last_reissued_at":"2026-06-26T01:15:36.007254Z","signature_status":"signed_v1","first_computed_at":"2026-06-26T01:15:36.007254Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantum Mutant Equivalence via Transpilation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Andriy Miranskyy, Jos\\'e Campos","submitted_at":"2026-06-25T05:06:50Z","abstract_excerpt":"Mutation testing evaluates test suite quality by introducing artificial faults (mutants) and checking whether tests detect (kill) them. A central challenge is the equivalent mutant problem: some mutants are syntactically different from the original program but semantically identical to it and therefore cannot be killed by any test. If left unidentified, such mutants waste testing effort and distort mutation scores. In quantum software, mutation testing is increasingly used, but the equivalent mutant problem remains unsolved. A recent study generated more than 700,000 quantum circuit mutants an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.26604","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.26604/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.26604","created_at":"2026-06-26T01:15:36.007310+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.26604v1","created_at":"2026-06-26T01:15:36.007310+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.26604","created_at":"2026-06-26T01:15:36.007310+00:00"},{"alias_kind":"pith_short_12","alias_value":"SANJRAUZ3WCE","created_at":"2026-06-26T01:15:36.007310+00:00"},{"alias_kind":"pith_short_16","alias_value":"SANJRAUZ3WCEKR57","created_at":"2026-06-26T01:15:36.007310+00:00"},{"alias_kind":"pith_short_8","alias_value":"SANJRAUZ","created_at":"2026-06-26T01:15:36.007310+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SANJRAUZ3WCEKR57EXGE76KQVZ","json":"https://pith.science/pith/SANJRAUZ3WCEKR57EXGE76KQVZ.json","graph_json":"https://pith.science/api/pith-number/SANJRAUZ3WCEKR57EXGE76KQVZ/graph.json","events_json":"https://pith.science/api/pith-number/SANJRAUZ3WCEKR57EXGE76KQVZ/events.json","paper":"https://pith.science/paper/SANJRAUZ"},"agent_actions":{"view_html":"https://pith.science/pith/SANJRAUZ3WCEKR57EXGE76KQVZ","download_json":"https://pith.science/pith/SANJRAUZ3WCEKR57EXGE76KQVZ.json","view_paper":"https://pith.science/paper/SANJRAUZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.26604&json=true","fetch_graph":"https://pith.science/api/pith-number/SANJRAUZ3WCEKR57EXGE76KQVZ/graph.json","fetch_events":"https://pith.science/api/pith-number/SANJRAUZ3WCEKR57EXGE76KQVZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SANJRAUZ3WCEKR57EXGE76KQVZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SANJRAUZ3WCEKR57EXGE76KQVZ/action/storage_attestation","attest_author":"https://pith.science/pith/SANJRAUZ3WCEKR57EXGE76KQVZ/action/author_attestation","sign_citation":"https://pith.science/pith/SANJRAUZ3WCEKR57EXGE76KQVZ/action/citation_signature","submit_replication":"https://pith.science/pith/SANJRAUZ3WCEKR57EXGE76KQVZ/action/replication_record"}},"created_at":"2026-06-26T01:15:36.007310+00:00","updated_at":"2026-06-26T01:15:36.007310+00:00"}