{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:YLVGE7XFM6AZLZ6AX7JXGCAKKE","short_pith_number":"pith:YLVGE7XF","schema_version":"1.0","canonical_sha256":"c2ea627ee5678195e7c0bfd373080a512aa00be356768f0bdaf997b69a547e4a","source":{"kind":"arxiv","id":"2607.01953","version":1},"attestation_state":"computed","paper":{"title":"Underspecification does not imply Incoherence: The Risks of Semantic Collapse in Coding Models","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Cedric Richter, Mike Papadakis","submitted_at":"2026-07-02T09:43:15Z","abstract_excerpt":"Large Language Models (LLMs) have become increasingly effective at generating code when task descriptions are clear and precise. Yet, in practice, user-provided task descriptions are often ambiguous, incomplete, or contradictory, leaving critical aspects of the intended program behavior underspecified. In such cases, multiple behaviorally distinct interpretations may satisfy the description equally well, yet semantically differ in ways that matter/affect the user intent. A natural expectation, often assumed by researchers, is that prompt underspecification manifests as incoherence: When asked "},"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":"2607.01953","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T09:43:15Z","cross_cats_sorted":[],"title_canon_sha256":"35c8ec06ed223469364caaba920f538119f1c62faf7835446e94259ace0bdbbc","abstract_canon_sha256":"a7c01bbe1ff48dd2f7461c33bfb385496684a7683a3b36ad14fb1cbdcf655b7f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-03T01:17:35.084394Z","signature_b64":"dTt6sxDLtmiYYXBcy57wjt7D5JfB+aw4FgdeXxb5N0899xk6H6WWvP9Uq9nMhL7ij4XFojl9fwkLLgtvDZ6hBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c2ea627ee5678195e7c0bfd373080a512aa00be356768f0bdaf997b69a547e4a","last_reissued_at":"2026-07-03T01:17:35.083967Z","signature_status":"signed_v1","first_computed_at":"2026-07-03T01:17:35.083967Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Underspecification does not imply Incoherence: The Risks of Semantic Collapse in Coding Models","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Cedric Richter, Mike Papadakis","submitted_at":"2026-07-02T09:43:15Z","abstract_excerpt":"Large Language Models (LLMs) have become increasingly effective at generating code when task descriptions are clear and precise. Yet, in practice, user-provided task descriptions are often ambiguous, incomplete, or contradictory, leaving critical aspects of the intended program behavior underspecified. In such cases, multiple behaviorally distinct interpretations may satisfy the description equally well, yet semantically differ in ways that matter/affect the user intent. A natural expectation, often assumed by researchers, is that prompt underspecification manifests as incoherence: When asked "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.01953","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.01953/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":"2607.01953","created_at":"2026-07-03T01:17:35.084034+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.01953v1","created_at":"2026-07-03T01:17:35.084034+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.01953","created_at":"2026-07-03T01:17:35.084034+00:00"},{"alias_kind":"pith_short_12","alias_value":"YLVGE7XFM6AZ","created_at":"2026-07-03T01:17:35.084034+00:00"},{"alias_kind":"pith_short_16","alias_value":"YLVGE7XFM6AZLZ6A","created_at":"2026-07-03T01:17:35.084034+00:00"},{"alias_kind":"pith_short_8","alias_value":"YLVGE7XF","created_at":"2026-07-03T01:17:35.084034+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/YLVGE7XFM6AZLZ6AX7JXGCAKKE","json":"https://pith.science/pith/YLVGE7XFM6AZLZ6AX7JXGCAKKE.json","graph_json":"https://pith.science/api/pith-number/YLVGE7XFM6AZLZ6AX7JXGCAKKE/graph.json","events_json":"https://pith.science/api/pith-number/YLVGE7XFM6AZLZ6AX7JXGCAKKE/events.json","paper":"https://pith.science/paper/YLVGE7XF"},"agent_actions":{"view_html":"https://pith.science/pith/YLVGE7XFM6AZLZ6AX7JXGCAKKE","download_json":"https://pith.science/pith/YLVGE7XFM6AZLZ6AX7JXGCAKKE.json","view_paper":"https://pith.science/paper/YLVGE7XF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.01953&json=true","fetch_graph":"https://pith.science/api/pith-number/YLVGE7XFM6AZLZ6AX7JXGCAKKE/graph.json","fetch_events":"https://pith.science/api/pith-number/YLVGE7XFM6AZLZ6AX7JXGCAKKE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YLVGE7XFM6AZLZ6AX7JXGCAKKE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YLVGE7XFM6AZLZ6AX7JXGCAKKE/action/storage_attestation","attest_author":"https://pith.science/pith/YLVGE7XFM6AZLZ6AX7JXGCAKKE/action/author_attestation","sign_citation":"https://pith.science/pith/YLVGE7XFM6AZLZ6AX7JXGCAKKE/action/citation_signature","submit_replication":"https://pith.science/pith/YLVGE7XFM6AZLZ6AX7JXGCAKKE/action/replication_record"}},"created_at":"2026-07-03T01:17:35.084034+00:00","updated_at":"2026-07-03T01:17:35.084034+00:00"}