{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:O4RPLL3B3LMQMWVIQYNFSQDZ7S","short_pith_number":"pith:O4RPLL3B","canonical_record":{"source":{"id":"2607.05149","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-06T14:30:02Z","cross_cats_sorted":[],"title_canon_sha256":"74e34d707a02558b6c196ef8a810277b497331b6624b888371bf9286d819e225","abstract_canon_sha256":"51b9ffc623b8d5de68e3e4d017cd2356882a29365dee77d488b6caa708b9a792"},"schema_version":"1.0"},"canonical_sha256":"7722f5af61dad9065aa8861a594079fc92014730ed5110ec2b1128d8fe5fc12e","source":{"kind":"arxiv","id":"2607.05149","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.05149","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.05149v1","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.05149","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"pith_short_12","alias_value":"O4RPLL3B3LMQ","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"pith_short_16","alias_value":"O4RPLL3B3LMQMWVI","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"pith_short_8","alias_value":"O4RPLL3B","created_at":"2026-07-07T03:19:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:O4RPLL3B3LMQMWVIQYNFSQDZ7S","target":"record","payload":{"canonical_record":{"source":{"id":"2607.05149","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-06T14:30:02Z","cross_cats_sorted":[],"title_canon_sha256":"74e34d707a02558b6c196ef8a810277b497331b6624b888371bf9286d819e225","abstract_canon_sha256":"51b9ffc623b8d5de68e3e4d017cd2356882a29365dee77d488b6caa708b9a792"},"schema_version":"1.0"},"canonical_sha256":"7722f5af61dad9065aa8861a594079fc92014730ed5110ec2b1128d8fe5fc12e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-07T03:19:17.804060Z","signature_b64":"psMOLPK3+nH+1qmGb5kgbVTw6+WLSjoFvP4YFvmyHXlpgJHNkFdM2i0fg0S5DWlCxj1KpqUUn5tYWSlEXAbRAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7722f5af61dad9065aa8861a594079fc92014730ed5110ec2b1128d8fe5fc12e","last_reissued_at":"2026-07-07T03:19:17.803645Z","signature_status":"signed_v1","first_computed_at":"2026-07-07T03:19:17.803645Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.05149","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-07T03:19:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WYzVvYoFb7vY1fiz1mVfGpQKJMrcrFpFOlPKcpj2smJ3xgmnd+klTfbwignURPyJzx7Ce4ZGJwdQTfc5xzqICA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T10:07:27.699710Z"},"content_sha256":"f6e7189759a3af8d40f52ffc1cad9bc39f8ee3a1c425d054c1e1f78ae9507476","schema_version":"1.0","event_id":"sha256:f6e7189759a3af8d40f52ffc1cad9bc39f8ee3a1c425d054c1e1f78ae9507476"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:O4RPLL3B3LMQMWVIQYNFSQDZ7S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Intent-Based Mutation Testing: From Naturally Written Programming Intents to Mutants","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Ahmed Khanfir, Asma Hamidi, Mike Papadakis","submitted_at":"2026-07-06T14:30:02Z","abstract_excerpt":"This paper presents intent-based mutation testing, a testing approach that generates mutations by changing the programming intents that are implemented in the programs under test. In contrast to traditional mutation testing, which changes (mutates) the way programs are written, intent mutation changes (mutates) the behavior of the programs by producing mutations that implement (slightly) different intents than those implemented in the original program. The mutations of the programming intents represent possible corner cases and misunderstandings of the program behavior, i.e., program specifica"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.05149","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/2607.05149/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-07T03:19:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rFKoFJkh1NrKCDhgo7ftNQLCs4U/ihv4LhHMaC6ddXTti02qzhn7jqzDRWqU6egwHmhrsS6oOWY1xc63cUQPAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T10:07:27.700216Z"},"content_sha256":"3ce4c80fdf715dd12f10e6b49be4a99e501f62b249aa317ffc1807e85116d7f2","schema_version":"1.0","event_id":"sha256:3ce4c80fdf715dd12f10e6b49be4a99e501f62b249aa317ffc1807e85116d7f2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O4RPLL3B3LMQMWVIQYNFSQDZ7S/bundle.json","state_url":"https://pith.science/pith/O4RPLL3B3LMQMWVIQYNFSQDZ7S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O4RPLL3B3LMQMWVIQYNFSQDZ7S/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-09T10:07:27Z","links":{"resolver":"https://pith.science/pith/O4RPLL3B3LMQMWVIQYNFSQDZ7S","bundle":"https://pith.science/pith/O4RPLL3B3LMQMWVIQYNFSQDZ7S/bundle.json","state":"https://pith.science/pith/O4RPLL3B3LMQMWVIQYNFSQDZ7S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O4RPLL3B3LMQMWVIQYNFSQDZ7S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:O4RPLL3B3LMQMWVIQYNFSQDZ7S","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":"51b9ffc623b8d5de68e3e4d017cd2356882a29365dee77d488b6caa708b9a792","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-06T14:30:02Z","title_canon_sha256":"74e34d707a02558b6c196ef8a810277b497331b6624b888371bf9286d819e225"},"schema_version":"1.0","source":{"id":"2607.05149","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.05149","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"arxiv_version","alias_value":"2607.05149v1","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.05149","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"pith_short_12","alias_value":"O4RPLL3B3LMQ","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"pith_short_16","alias_value":"O4RPLL3B3LMQMWVI","created_at":"2026-07-07T03:19:17Z"},{"alias_kind":"pith_short_8","alias_value":"O4RPLL3B","created_at":"2026-07-07T03:19:17Z"}],"graph_snapshots":[{"event_id":"sha256:3ce4c80fdf715dd12f10e6b49be4a99e501f62b249aa317ffc1807e85116d7f2","target":"graph","created_at":"2026-07-07T03:19:17Z","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/2607.05149/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents intent-based mutation testing, a testing approach that generates mutations by changing the programming intents that are implemented in the programs under test. In contrast to traditional mutation testing, which changes (mutates) the way programs are written, intent mutation changes (mutates) the behavior of the programs by producing mutations that implement (slightly) different intents than those implemented in the original program. The mutations of the programming intents represent possible corner cases and misunderstandings of the program behavior, i.e., program specifica","authors_text":"Ahmed Khanfir, Asma Hamidi, Mike Papadakis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-06T14:30:02Z","title":"Intent-Based Mutation Testing: From Naturally Written Programming Intents to Mutants"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.05149","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:f6e7189759a3af8d40f52ffc1cad9bc39f8ee3a1c425d054c1e1f78ae9507476","target":"record","created_at":"2026-07-07T03:19:17Z","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":"51b9ffc623b8d5de68e3e4d017cd2356882a29365dee77d488b6caa708b9a792","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-06T14:30:02Z","title_canon_sha256":"74e34d707a02558b6c196ef8a810277b497331b6624b888371bf9286d819e225"},"schema_version":"1.0","source":{"id":"2607.05149","kind":"arxiv","version":1}},"canonical_sha256":"7722f5af61dad9065aa8861a594079fc92014730ed5110ec2b1128d8fe5fc12e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7722f5af61dad9065aa8861a594079fc92014730ed5110ec2b1128d8fe5fc12e","first_computed_at":"2026-07-07T03:19:17.803645Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-07T03:19:17.803645Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"psMOLPK3+nH+1qmGb5kgbVTw6+WLSjoFvP4YFvmyHXlpgJHNkFdM2i0fg0S5DWlCxj1KpqUUn5tYWSlEXAbRAA==","signature_status":"signed_v1","signed_at":"2026-07-07T03:19:17.804060Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.05149","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f6e7189759a3af8d40f52ffc1cad9bc39f8ee3a1c425d054c1e1f78ae9507476","sha256:3ce4c80fdf715dd12f10e6b49be4a99e501f62b249aa317ffc1807e85116d7f2"],"state_sha256":"3562afe90da0f30c74728fd04e386dbb6c535a183c7e53eba20aa6ebe3f2be9e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pYWbk4Z4oL+yZ46QOYnx33ILwDzQG/IjhGSZrIki9qSq0JDYP2rgZMoPIKnu9C0q1OYbaidNf+zMbgTRBAU1CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T10:07:27.703326Z","bundle_sha256":"86ad0da8909b721a9cb973d4826f66d0ddd14b11a7910bc4e4d145615df76fb4"}}