{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:TTPEPSC4WWNS5FN7Y5DWLIPKAO","short_pith_number":"pith:TTPEPSC4","canonical_record":{"source":{"id":"2607.02333","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T15:37:54Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"398c272738a66d8c4664cb591b9dbd4709f986974bd24bf4ad6b5599a568938d","abstract_canon_sha256":"bc3b8894a861ed33a55830fe518f5ffd5b9a454c86c8f8725360ebe6c7c13eb0"},"schema_version":"1.0"},"canonical_sha256":"9cde47c85cb59b2e95bfc74765a1ea03bbc6bdf249ef07abbee1842c1b53e756","source":{"kind":"arxiv","id":"2607.02333","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:TTPEPSC4WWNS5FN7Y5DWLIPKAO","target":"record","payload":{"canonical_record":{"source":{"id":"2607.02333","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-02T15:37:54Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"398c272738a66d8c4664cb591b9dbd4709f986974bd24bf4ad6b5599a568938d","abstract_canon_sha256":"bc3b8894a861ed33a55830fe518f5ffd5b9a454c86c8f8725360ebe6c7c13eb0"},"schema_version":"1.0"},"canonical_sha256":"9cde47c85cb59b2e95bfc74765a1ea03bbc6bdf249ef07abbee1842c1b53e756","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-03T01:17:48.689454Z","signature_b64":"/O0Cl1Ygug/1NT2kXARpMGSug5aJiIZzUBmVqB0ACPUYa36pOHW30C7zSVh4T+Et/bPxU6G4AUToNnjMPMU4AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9cde47c85cb59b2e95bfc74765a1ea03bbc6bdf249ef07abbee1842c1b53e756","last_reissued_at":"2026-07-03T01:17:48.689076Z","signature_status":"signed_v1","first_computed_at":"2026-07-03T01:17:48.689076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.02333","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-03T01:17:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LHPmnBFBUEO3PkqHBEb+dSZeO+PxnnazWq+v/Vpfb4XbmbgdD7H5AyXx4B54+nE2mmZg/ZURH9N87c8frP9WCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T19:29:22.313591Z"},"content_sha256":"38d1d22fa4e634282c8df18277e8bd0c8e0363bff08bc065407e0d8133f7bcc0","schema_version":"1.0","event_id":"sha256:38d1d22fa4e634282c8df18277e8bd0c8e0363bff08bc065407e0d8133f7bcc0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:TTPEPSC4WWNS5FN7Y5DWLIPKAO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Guiding Human Validation of LLM-Generated Code via Verifiable Literate Programming","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Chuan Wu, Dunhong Jin, Hao Wu, Wenhao Lu, Ziqi Yuan","submitted_at":"2026-07-02T15:37:54Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.02333","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.02333/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-03T01:17:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8W8D3I4/NqRKdpQAi53JgDAppFVjlEADaAT/V4CAZZNRt8fS+F/BEDDt5trxoVaUsrOjqx2cQUT91c871B4eDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-04T19:29:22.314201Z"},"content_sha256":"a1f1fc3d44cdd5f51429807a4ac290ac7d2d718bd4e2bdcaba5bddd0292228bd","schema_version":"1.0","event_id":"sha256:a1f1fc3d44cdd5f51429807a4ac290ac7d2d718bd4e2bdcaba5bddd0292228bd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TTPEPSC4WWNS5FN7Y5DWLIPKAO/bundle.json","state_url":"https://pith.science/pith/TTPEPSC4WWNS5FN7Y5DWLIPKAO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TTPEPSC4WWNS5FN7Y5DWLIPKAO/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-07-04T19:29:22Z","links":{"resolver":"https://pith.science/pith/TTPEPSC4WWNS5FN7Y5DWLIPKAO","bundle":"https://pith.science/pith/TTPEPSC4WWNS5FN7Y5DWLIPKAO/bundle.json","state":"https://pith.science/pith/TTPEPSC4WWNS5FN7Y5DWLIPKAO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TTPEPSC4WWNS5FN7Y5DWLIPKAO/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ldzFMEw5p5jfMf2odnA1Uw/VV5sltmfv0Eo3CTI2xY6WJcwN8QYxk8m1aX3iDFsZ3NwkDqTXgRuRDl7GR5FEAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-04T19:29:22.317006Z","bundle_sha256":"8f6b9fff905b449686bea000c7c2695f218c060239f403a5f68fc23f016b6137"}}