{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GLMD37G7BHYVMDEYWIH4Q7FPJG","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":"8b9fd20ec1abd46d646a77894ab706cd7b59c4e090b3f92ce97603abe293e71c","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T11:35:39Z","title_canon_sha256":"0fc13aa10ca03b97bf1d46e58197540f666f85e1342b95d8acfe92dde20daa1e"},"schema_version":"1.0","source":{"id":"2607.02057","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.02057","created_at":"2026-07-03T01:17:38Z"},{"alias_kind":"arxiv_version","alias_value":"2607.02057v1","created_at":"2026-07-03T01:17:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.02057","created_at":"2026-07-03T01:17:38Z"},{"alias_kind":"pith_short_12","alias_value":"GLMD37G7BHYV","created_at":"2026-07-03T01:17:38Z"},{"alias_kind":"pith_short_16","alias_value":"GLMD37G7BHYVMDEY","created_at":"2026-07-03T01:17:38Z"},{"alias_kind":"pith_short_8","alias_value":"GLMD37G7","created_at":"2026-07-03T01:17:38Z"}],"graph_snapshots":[{"event_id":"sha256:50bf1ab0a94c587a958b3432b6cc26416469b1e8ac2b7a255d834e0379ffa590","target":"graph","created_at":"2026-07-03T01:17:38Z","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.02057/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In recent years, it has become increasingly evident that large language models (LLMs) and autonomous agents raise the level of abstraction in software development by shifting the focus from writing precise procedures to expressing intents and goals. This paradigm shift introduces new challenges, particularly in how testing should be guided when prompts, rather than code, become primary development artifacts. To address this challenge, we propose Prompt Coverage Adequacy, a novel coverage criterion designed to support the testing of code generated from task descriptions. Prompt Coverage Adequac","authors_text":"Cedric Richter, Charles Chenouard, Florian Tambon, Mark Harman, Michael Konstantinou, Mike Papadakis","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T11:35:39Z","title":"Prompt Coverage Adequacy"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.02057","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:15d580e2e8567f7e3d61df31ab3c99cac01715f040f2d9b1bbdca5b1edf02203","target":"record","created_at":"2026-07-03T01:17:38Z","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":"8b9fd20ec1abd46d646a77894ab706cd7b59c4e090b3f92ce97603abe293e71c","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T11:35:39Z","title_canon_sha256":"0fc13aa10ca03b97bf1d46e58197540f666f85e1342b95d8acfe92dde20daa1e"},"schema_version":"1.0","source":{"id":"2607.02057","kind":"arxiv","version":1}},"canonical_sha256":"32d83dfcdf09f1560c98b20fc87caf49ade9db793f18927a2e3b4f97b611a727","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"32d83dfcdf09f1560c98b20fc87caf49ade9db793f18927a2e3b4f97b611a727","first_computed_at":"2026-07-03T01:17:38.290878Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-03T01:17:38.290878Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2rsGz64xMnrvQg4JS95bTKWZ04jMabEb0tPzJRwg6Rm+Y/Gue2mcb+8rh5yB0AKbR1IzKE/6Anj7slfbUO3eDQ==","signature_status":"signed_v1","signed_at":"2026-07-03T01:17:38.291326Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.02057","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:15d580e2e8567f7e3d61df31ab3c99cac01715f040f2d9b1bbdca5b1edf02203","sha256:50bf1ab0a94c587a958b3432b6cc26416469b1e8ac2b7a255d834e0379ffa590"],"state_sha256":"3c152f57610a70f76046e67539ca917b9548c3f2dc4ad6df1b076fbe9e4a2f0b"}