{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ZAVCJH6KYRPLNNSD5UZRRCC3AY","short_pith_number":"pith:ZAVCJH6K","canonical_record":{"source":{"id":"2509.04763","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-05T02:45:00Z","cross_cats_sorted":[],"title_canon_sha256":"bec494a900e83295ebeaef32f8720fc601a5f4d1e7c00e8e1fa94de998c2d3b8","abstract_canon_sha256":"ba9e36bc0c6a9c4425c363cbbf4742257620585dfb196935ed779604f3835313"},"schema_version":"1.0"},"canonical_sha256":"c82a249fcac45eb6b643ed3318885b063bcb811c776ba58473f077497f350483","source":{"kind":"arxiv","id":"2509.04763","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.04763","created_at":"2026-07-05T12:05:29Z"},{"alias_kind":"arxiv_version","alias_value":"2509.04763v1","created_at":"2026-07-05T12:05:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04763","created_at":"2026-07-05T12:05:29Z"},{"alias_kind":"pith_short_12","alias_value":"ZAVCJH6KYRPL","created_at":"2026-07-05T12:05:29Z"},{"alias_kind":"pith_short_16","alias_value":"ZAVCJH6KYRPLNNSD","created_at":"2026-07-05T12:05:29Z"},{"alias_kind":"pith_short_8","alias_value":"ZAVCJH6K","created_at":"2026-07-05T12:05:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ZAVCJH6KYRPLNNSD5UZRRCC3AY","target":"record","payload":{"canonical_record":{"source":{"id":"2509.04763","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-05T02:45:00Z","cross_cats_sorted":[],"title_canon_sha256":"bec494a900e83295ebeaef32f8720fc601a5f4d1e7c00e8e1fa94de998c2d3b8","abstract_canon_sha256":"ba9e36bc0c6a9c4425c363cbbf4742257620585dfb196935ed779604f3835313"},"schema_version":"1.0"},"canonical_sha256":"c82a249fcac45eb6b643ed3318885b063bcb811c776ba58473f077497f350483","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:05:29.219702Z","signature_b64":"FZgMgtn7URB5RpJslwxQzcNiJyqtBBPNmuYP2NaOQ5AWRLModU+wwTPyFqfe4+iTtYJwNQYSWUX98ypIzh4hAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c82a249fcac45eb6b643ed3318885b063bcb811c776ba58473f077497f350483","last_reissued_at":"2026-07-05T12:05:29.219035Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:05:29.219035Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.04763","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-07-05T12:05:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ELMxxI/uGepf/lXDqNG1uChmaeSolplemO1Z1doYolc2K80svmamNVzPN1vXxRdRGwtJa+D8S6NrvVjwH3liBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T12:28:44.823236Z"},"content_sha256":"3ca4dafe0489731dcd583863afe07051cdd0218f3525db90bd7c7322411f1fbd","schema_version":"1.0","event_id":"sha256:3ca4dafe0489731dcd583863afe07051cdd0218f3525db90bd7c7322411f1fbd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ZAVCJH6KYRPLNNSD5UZRRCC3AY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jianjun Zhao, Shangzhou Xia, Tiancheng Jin","submitted_at":"2025-09-05T02:45:00Z","abstract_excerpt":"Quantum programs are designed to run on quantum computers, leveraging quantum circuits to solve problems that are intractable for classical machines. As quantum computing advances, ensuring the reliability of quantum programs has become increasingly important. This paper introduces NovaQ, a diversity-guided testing framework for quantum programs. NovaQ combines a distribution-based test case generator with a novelty-driven evaluation module. The generator produces diverse quantum state inputs by mutating circuit parameters, while the evaluator quantifies behavioral novelty based on internal ci"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04763","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/2509.04763/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":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T12:05:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/MAqFhHn519PGwQp1qSShyXSe19TsVIFPAsMWKsMyOCB8OXQlkf0SdMt3epfQPQS9syqgwE4oK5MTC1jS0ePCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T12:28:44.823759Z"},"content_sha256":"e9c9bdb82ab678c355c035aa484d6a45311ca1e8f5feeae5eb8a4c8d0016d2d3","schema_version":"1.0","event_id":"sha256:e9c9bdb82ab678c355c035aa484d6a45311ca1e8f5feeae5eb8a4c8d0016d2d3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZAVCJH6KYRPLNNSD5UZRRCC3AY/bundle.json","state_url":"https://pith.science/pith/ZAVCJH6KYRPLNNSD5UZRRCC3AY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZAVCJH6KYRPLNNSD5UZRRCC3AY/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-08-09T12:28:44Z","links":{"resolver":"https://pith.science/pith/ZAVCJH6KYRPLNNSD5UZRRCC3AY","bundle":"https://pith.science/pith/ZAVCJH6KYRPLNNSD5UZRRCC3AY/bundle.json","state":"https://pith.science/pith/ZAVCJH6KYRPLNNSD5UZRRCC3AY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZAVCJH6KYRPLNNSD5UZRRCC3AY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ZAVCJH6KYRPLNNSD5UZRRCC3AY","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":"ba9e36bc0c6a9c4425c363cbbf4742257620585dfb196935ed779604f3835313","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-05T02:45:00Z","title_canon_sha256":"bec494a900e83295ebeaef32f8720fc601a5f4d1e7c00e8e1fa94de998c2d3b8"},"schema_version":"1.0","source":{"id":"2509.04763","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.04763","created_at":"2026-07-05T12:05:29Z"},{"alias_kind":"arxiv_version","alias_value":"2509.04763v1","created_at":"2026-07-05T12:05:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04763","created_at":"2026-07-05T12:05:29Z"},{"alias_kind":"pith_short_12","alias_value":"ZAVCJH6KYRPL","created_at":"2026-07-05T12:05:29Z"},{"alias_kind":"pith_short_16","alias_value":"ZAVCJH6KYRPLNNSD","created_at":"2026-07-05T12:05:29Z"},{"alias_kind":"pith_short_8","alias_value":"ZAVCJH6K","created_at":"2026-07-05T12:05:29Z"}],"graph_snapshots":[{"event_id":"sha256:e9c9bdb82ab678c355c035aa484d6a45311ca1e8f5feeae5eb8a4c8d0016d2d3","target":"graph","created_at":"2026-07-05T12:05:29Z","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/2509.04763/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Quantum programs are designed to run on quantum computers, leveraging quantum circuits to solve problems that are intractable for classical machines. As quantum computing advances, ensuring the reliability of quantum programs has become increasingly important. This paper introduces NovaQ, a diversity-guided testing framework for quantum programs. NovaQ combines a distribution-based test case generator with a novelty-driven evaluation module. The generator produces diverse quantum state inputs by mutating circuit parameters, while the evaluator quantifies behavioral novelty based on internal ci","authors_text":"Jianjun Zhao, Shangzhou Xia, Tiancheng Jin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-05T02:45:00Z","title":"NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04763","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:3ca4dafe0489731dcd583863afe07051cdd0218f3525db90bd7c7322411f1fbd","target":"record","created_at":"2026-07-05T12:05:29Z","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":"ba9e36bc0c6a9c4425c363cbbf4742257620585dfb196935ed779604f3835313","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-09-05T02:45:00Z","title_canon_sha256":"bec494a900e83295ebeaef32f8720fc601a5f4d1e7c00e8e1fa94de998c2d3b8"},"schema_version":"1.0","source":{"id":"2509.04763","kind":"arxiv","version":1}},"canonical_sha256":"c82a249fcac45eb6b643ed3318885b063bcb811c776ba58473f077497f350483","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c82a249fcac45eb6b643ed3318885b063bcb811c776ba58473f077497f350483","first_computed_at":"2026-07-05T12:05:29.219035Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:05:29.219035Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FZgMgtn7URB5RpJslwxQzcNiJyqtBBPNmuYP2NaOQ5AWRLModU+wwTPyFqfe4+iTtYJwNQYSWUX98ypIzh4hAg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:05:29.219702Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.04763","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ca4dafe0489731dcd583863afe07051cdd0218f3525db90bd7c7322411f1fbd","sha256:e9c9bdb82ab678c355c035aa484d6a45311ca1e8f5feeae5eb8a4c8d0016d2d3"],"state_sha256":"0f073e8877f194e9f30c02470c545fd46220d2a68200c12a3abf530e62c2d2f4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+NMmQNlXOMADb/4AfjtMocJwZBiLREPVgw6OwJ6heKdXjMwXvFSfY/v9skGWXv50j5FGYj+XUiSANUabAR89DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T12:28:44.829071Z","bundle_sha256":"77404129da55d40af5f29357d0b46d14d240f2904fd81798dcb4398c5ee1f078"}}