{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:AMHKP2YHRT3EVRR6OEDIDMW3CY","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":"5cf2b2b91c370c7ff6889ebed30a0af5ed482dc40b51767c716b2e4e8de8859f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-03T04:48:45Z","title_canon_sha256":"cdb4faf5a73a2436a6682c92cf4c6b76e634795faf5a9d7c68708df5aedb889e"},"schema_version":"1.0","source":{"id":"2607.02949","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.02949","created_at":"2026-07-07T01:16:37Z"},{"alias_kind":"arxiv_version","alias_value":"2607.02949v1","created_at":"2026-07-07T01:16:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.02949","created_at":"2026-07-07T01:16:37Z"},{"alias_kind":"pith_short_12","alias_value":"AMHKP2YHRT3E","created_at":"2026-07-07T01:16:37Z"},{"alias_kind":"pith_short_16","alias_value":"AMHKP2YHRT3EVRR6","created_at":"2026-07-07T01:16:37Z"},{"alias_kind":"pith_short_8","alias_value":"AMHKP2YH","created_at":"2026-07-07T01:16:37Z"}],"graph_snapshots":[{"event_id":"sha256:203e7fa9a29ea9ebbd756114f08e34b19c3e54b784675da0e4be4ae3993e67bd","target":"graph","created_at":"2026-07-07T01:16:37Z","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.02949/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"LLMs have made substantial progress on automated code generation from natural-language descriptions of desired behavior (intent). Most existing methods improve generated programs through execution-guided code refinement: they generate a candidate solution, execute it, and patch the implementation using feedback, while leaving the underlying specification unchanged. This workflow implicitly assumes that the LLM's understanding of the intent is already correct and complete. In practice, however, intents are often ambiguous or underspecified. As a result, even a capable model may produce a correc","authors_text":"Boxi Yu, Guancheng Wang, Lionel Briand, Qinghua Xu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-03T04:48:45Z","title":"BeSpec: Behavior-Level Specification Alignment for Code Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.02949","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:c0c854d04ce49f2f4cfacfb6ac6fafeeef45419ab6170e0e9af5bbe537655f38","target":"record","created_at":"2026-07-07T01:16:37Z","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":"5cf2b2b91c370c7ff6889ebed30a0af5ed482dc40b51767c716b2e4e8de8859f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-03T04:48:45Z","title_canon_sha256":"cdb4faf5a73a2436a6682c92cf4c6b76e634795faf5a9d7c68708df5aedb889e"},"schema_version":"1.0","source":{"id":"2607.02949","kind":"arxiv","version":1}},"canonical_sha256":"030ea7eb078cf64ac63e710681b2db1635a2dfe6ef75fd7883839fad3053ec27","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"030ea7eb078cf64ac63e710681b2db1635a2dfe6ef75fd7883839fad3053ec27","first_computed_at":"2026-07-07T01:16:37.625817Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-07T01:16:37.625817Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1FF3HZcWGitkaTGvadXtWIowQ+tPEvDrj0ImnuJEmhE2JugSwna2Hhd0nDVuqzm7BFyr8pkNHvmeuhHXuCY3BQ==","signature_status":"signed_v1","signed_at":"2026-07-07T01:16:37.626363Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.02949","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c0c854d04ce49f2f4cfacfb6ac6fafeeef45419ab6170e0e9af5bbe537655f38","sha256:203e7fa9a29ea9ebbd756114f08e34b19c3e54b784675da0e4be4ae3993e67bd"],"state_sha256":"6ffb40b05b08198c7055468e88ec91fc1e2865d43370fdf27b99e79d3670a6a5"}