{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:VONJ76KJOHYWSDTYEGVTUSUDNR","short_pith_number":"pith:VONJ76KJ","canonical_record":{"source":{"id":"2605.17926","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-18T06:34:03Z","cross_cats_sorted":[],"title_canon_sha256":"5f070b284dd518449b2947d98e8eda20789bdaab31aa0ae95308bf8233807d1f","abstract_canon_sha256":"538bdaa4f986e6cf41aee9c05ce9a01d2d6a82984440c9d20a4ebce4a4a0a672"},"schema_version":"1.0"},"canonical_sha256":"ab9a9ff94971f1690e7821ab3a4a836c6548f62c8c1c429108bfd767eda7b6e7","source":{"kind":"arxiv","id":"2605.17926","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.17926","created_at":"2026-05-20T00:05:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.17926v1","created_at":"2026-05-20T00:05:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17926","created_at":"2026-05-20T00:05:06Z"},{"alias_kind":"pith_short_12","alias_value":"VONJ76KJOHYW","created_at":"2026-05-20T00:05:06Z"},{"alias_kind":"pith_short_16","alias_value":"VONJ76KJOHYWSDTY","created_at":"2026-05-20T00:05:06Z"},{"alias_kind":"pith_short_8","alias_value":"VONJ76KJ","created_at":"2026-05-20T00:05:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:VONJ76KJOHYWSDTYEGVTUSUDNR","target":"record","payload":{"canonical_record":{"source":{"id":"2605.17926","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-18T06:34:03Z","cross_cats_sorted":[],"title_canon_sha256":"5f070b284dd518449b2947d98e8eda20789bdaab31aa0ae95308bf8233807d1f","abstract_canon_sha256":"538bdaa4f986e6cf41aee9c05ce9a01d2d6a82984440c9d20a4ebce4a4a0a672"},"schema_version":"1.0"},"canonical_sha256":"ab9a9ff94971f1690e7821ab3a4a836c6548f62c8c1c429108bfd767eda7b6e7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:05:06.402083Z","signature_b64":"0mkswrJY9FRZ+eIN0LyfPAAcQHV2A1cbi9P163y92xPhV7CqKPPoVkCh3zWhuA2NLqwgCuBpUYCpAQJqjpCTDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab9a9ff94971f1690e7821ab3a4a836c6548f62c8c1c429108bfd767eda7b6e7","last_reissued_at":"2026-05-20T00:05:06.401223Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:05:06.401223Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.17926","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-05-20T00:05:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DgWxr+ii2JxcOLYeKxUe6YVTerNpzmVXdnP+kYKcmStPHSGSvWoYiOqziwQE4lqbf113iREypD0ghavQMhvOCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T12:42:35.656566Z"},"content_sha256":"0426916c1ef2f6767a2572cabb08430f5879291fa69774b7f5b730ed1cb7a8bf","schema_version":"1.0","event_id":"sha256:0426916c1ef2f6767a2572cabb08430f5879291fa69774b7f5b730ed1cb7a8bf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:VONJ76KJOHYWSDTYEGVTUSUDNR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Dave Towey, Tsong Yueh Chen, Zhi Quan Zhou","submitted_at":"2026-05-18T06:34:03Z","abstract_excerpt":"Large language models (LLMs) are increasingly used to generate requirements specifications, design documents, code, and test cases. In contrast, much less attention has been given to a more difficult assurance problem: statically verifying whether implemented code satisfies requirements written in natural language. Conventional static analysis tools are effective at detecting coding defects and known vulnerability patterns, but they cannot determine whether program behavior matches intended business logic. Detecting such defects requires reasoning over the specification rather than the code al"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.17926","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/2605.17926/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-05-20T00:05:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PlxS85F3kHNXWVM9XYS98Ecz27iI0045Qq+UFpVadDjEXc1mCjgIz4udLm3canwbgDcVhB9LY/s8CtlZkKaNBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T12:42:35.657208Z"},"content_sha256":"c7e6f0c6b9ca387d634f622dd9fe34d394c2bbfc2bb0db797d1aecc267d1929b","schema_version":"1.0","event_id":"sha256:c7e6f0c6b9ca387d634f622dd9fe34d394c2bbfc2bb0db797d1aecc267d1929b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR/bundle.json","state_url":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VONJ76KJOHYWSDTYEGVTUSUDNR/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-05-25T12:42:35Z","links":{"resolver":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR","bundle":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR/bundle.json","state":"https://pith.science/pith/VONJ76KJOHYWSDTYEGVTUSUDNR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VONJ76KJOHYWSDTYEGVTUSUDNR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:VONJ76KJOHYWSDTYEGVTUSUDNR","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":"538bdaa4f986e6cf41aee9c05ce9a01d2d6a82984440c9d20a4ebce4a4a0a672","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-18T06:34:03Z","title_canon_sha256":"5f070b284dd518449b2947d98e8eda20789bdaab31aa0ae95308bf8233807d1f"},"schema_version":"1.0","source":{"id":"2605.17926","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.17926","created_at":"2026-05-20T00:05:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.17926v1","created_at":"2026-05-20T00:05:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17926","created_at":"2026-05-20T00:05:06Z"},{"alias_kind":"pith_short_12","alias_value":"VONJ76KJOHYW","created_at":"2026-05-20T00:05:06Z"},{"alias_kind":"pith_short_16","alias_value":"VONJ76KJOHYWSDTY","created_at":"2026-05-20T00:05:06Z"},{"alias_kind":"pith_short_8","alias_value":"VONJ76KJ","created_at":"2026-05-20T00:05:06Z"}],"graph_snapshots":[{"event_id":"sha256:c7e6f0c6b9ca387d634f622dd9fe34d394c2bbfc2bb0db797d1aecc267d1929b","target":"graph","created_at":"2026-05-20T00:05:06Z","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/2605.17926/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) are increasingly used to generate requirements specifications, design documents, code, and test cases. In contrast, much less attention has been given to a more difficult assurance problem: statically verifying whether implemented code satisfies requirements written in natural language. Conventional static analysis tools are effective at detecting coding defects and known vulnerability patterns, but they cannot determine whether program behavior matches intended business logic. Detecting such defects requires reasoning over the specification rather than the code al","authors_text":"Dave Towey, Tsong Yueh Chen, Zhi Quan Zhou","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-18T06:34:03Z","title":"LLM-Based Static Verification of Code Against Natural-Language Requirements: An Industrial Experience Report"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.17926","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:0426916c1ef2f6767a2572cabb08430f5879291fa69774b7f5b730ed1cb7a8bf","target":"record","created_at":"2026-05-20T00:05:06Z","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":"538bdaa4f986e6cf41aee9c05ce9a01d2d6a82984440c9d20a4ebce4a4a0a672","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-18T06:34:03Z","title_canon_sha256":"5f070b284dd518449b2947d98e8eda20789bdaab31aa0ae95308bf8233807d1f"},"schema_version":"1.0","source":{"id":"2605.17926","kind":"arxiv","version":1}},"canonical_sha256":"ab9a9ff94971f1690e7821ab3a4a836c6548f62c8c1c429108bfd767eda7b6e7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab9a9ff94971f1690e7821ab3a4a836c6548f62c8c1c429108bfd767eda7b6e7","first_computed_at":"2026-05-20T00:05:06.401223Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:05:06.401223Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0mkswrJY9FRZ+eIN0LyfPAAcQHV2A1cbi9P163y92xPhV7CqKPPoVkCh3zWhuA2NLqwgCuBpUYCpAQJqjpCTDQ==","signature_status":"signed_v1","signed_at":"2026-05-20T00:05:06.402083Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.17926","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0426916c1ef2f6767a2572cabb08430f5879291fa69774b7f5b730ed1cb7a8bf","sha256:c7e6f0c6b9ca387d634f622dd9fe34d394c2bbfc2bb0db797d1aecc267d1929b"],"state_sha256":"acd7093a49f8019b3f5527e62c6b63bd794f1e14b4e2181bad73d6aa9b185971"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DKP6iqncj9lUwi+4bWxMkwftCEUM/SlKLY1fFW8E5zQ3eB11Qtnmb2XDXRGzDWdaxBzVBpf/bjYBEXckUxNyCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T12:42:35.660915Z","bundle_sha256":"f5aaf85d42e0ce58b1663c423e78cad1401f2ce4050d472cfd79d85812d7d6f3"}}