{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:TTPEPSC4WWNS5FN7Y5DWLIPKAO","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":"bc3b8894a861ed33a55830fe518f5ffd5b9a454c86c8f8725360ebe6c7c13eb0","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T15:37:54Z","title_canon_sha256":"398c272738a66d8c4664cb591b9dbd4709f986974bd24bf4ad6b5599a568938d"},"schema_version":"1.0","source":{"id":"2607.02333","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.02333","created_at":"2026-07-03T01:17:48Z"},{"alias_kind":"arxiv_version","alias_value":"2607.02333v1","created_at":"2026-07-03T01:17:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.02333","created_at":"2026-07-03T01:17:48Z"},{"alias_kind":"pith_short_12","alias_value":"TTPEPSC4WWNS","created_at":"2026-07-03T01:17:48Z"},{"alias_kind":"pith_short_16","alias_value":"TTPEPSC4WWNS5FN7","created_at":"2026-07-03T01:17:48Z"},{"alias_kind":"pith_short_8","alias_value":"TTPEPSC4","created_at":"2026-07-03T01:17:48Z"}],"graph_snapshots":[{"event_id":"sha256:a1f1fc3d44cdd5f51429807a4ac290ac7d2d718bd4e2bdcaba5bddd0292228bd","target":"graph","created_at":"2026-07-03T01:17:48Z","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.02333/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Vibe coding democratizes software development by allowing users to generate code via natural-language (NL) interaction with large language models (LLMs). However, the code is reliable only when it faithfully implements the user's intent, which is difficult and labor-intensive for users to validate. Existing validation methods either rely on LLM-assisted automated testing, which suffers from prompt ambiguity and model fallibility, or involve users only in partial software artifacts such as prompts and test cases, which may overlook corner cases and program details. Motivated by a bug study of L","authors_text":"Chuan Wu, Dunhong Jin, Hao Wu, Wenhao Lu, Ziqi Yuan","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T15:37:54Z","title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.02333","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:38d1d22fa4e634282c8df18277e8bd0c8e0363bff08bc065407e0d8133f7bcc0","target":"record","created_at":"2026-07-03T01:17:48Z","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":"bc3b8894a861ed33a55830fe518f5ffd5b9a454c86c8f8725360ebe6c7c13eb0","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T15:37:54Z","title_canon_sha256":"398c272738a66d8c4664cb591b9dbd4709f986974bd24bf4ad6b5599a568938d"},"schema_version":"1.0","source":{"id":"2607.02333","kind":"arxiv","version":1}},"canonical_sha256":"9cde47c85cb59b2e95bfc74765a1ea03bbc6bdf249ef07abbee1842c1b53e756","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9cde47c85cb59b2e95bfc74765a1ea03bbc6bdf249ef07abbee1842c1b53e756","first_computed_at":"2026-07-03T01:17:48.689076Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-03T01:17:48.689076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/O0Cl1Ygug/1NT2kXARpMGSug5aJiIZzUBmVqB0ACPUYa36pOHW30C7zSVh4T+Et/bPxU6G4AUToNnjMPMU4AQ==","signature_status":"signed_v1","signed_at":"2026-07-03T01:17:48.689454Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.02333","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:38d1d22fa4e634282c8df18277e8bd0c8e0363bff08bc065407e0d8133f7bcc0","sha256:a1f1fc3d44cdd5f51429807a4ac290ac7d2d718bd4e2bdcaba5bddd0292228bd"],"state_sha256":"da73b5d12126b138a7f309cd86ec9c68cd80ecd366cf1cf740f4a2a35b7e2b5d"}