{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:2EYGPFYW6GPX6TUOHKDQEPTLJZ","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":"ea9d59b40e6e4f29e005635649eed141b9e7786fd7c3c548c6ce8107f46dc31e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-08T23:08:08Z","title_canon_sha256":"357d42b6151c4098d628aed25b43a6eb862cdbf746b80ffaba852c6223b95577"},"schema_version":"1.0","source":{"id":"2506.07313","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07313","created_at":"2026-07-05T11:18:24Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07313v1","created_at":"2026-07-05T11:18:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07313","created_at":"2026-07-05T11:18:24Z"},{"alias_kind":"pith_short_12","alias_value":"2EYGPFYW6GPX","created_at":"2026-07-05T11:18:24Z"},{"alias_kind":"pith_short_16","alias_value":"2EYGPFYW6GPX6TUO","created_at":"2026-07-05T11:18:24Z"},{"alias_kind":"pith_short_8","alias_value":"2EYGPFYW","created_at":"2026-07-05T11:18:24Z"}],"graph_snapshots":[{"event_id":"sha256:e1210b62943d008ac1bf5b235ae4c333d01ce3297713ee8470c832aabc76989e","target":"graph","created_at":"2026-07-05T11:18:24Z","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/2506.07313/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) have seen widespread success in code generation tasks for different scenarios, both everyday and professional. However current LLMs, despite producing functional code, do not prioritize security and may generate code with exploitable vulnerabilities. In this work, we propose techniques for generating code that is more likely to be secure and introduce SCGAgent, a proactive secure coding agent that implements our techniques. We use security coding guidelines that articulate safe programming practices, combined with LLM-generated unit tests to preserve functional cor","authors_text":"David Wagner, Hao Wang, Koushik Sen, Rebecca Saul","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-08T23:08:08Z","title":"SCGAgent: Recreating the Benefits of Reasoning Models for Secure Code Generation with Agentic Workflows"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07313","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:85290fa95e5c5acb141fd9bc3ad7a9b2d9769693d6b0075541fd6ae8015fa7e4","target":"record","created_at":"2026-07-05T11:18:24Z","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":"ea9d59b40e6e4f29e005635649eed141b9e7786fd7c3c548c6ce8107f46dc31e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-08T23:08:08Z","title_canon_sha256":"357d42b6151c4098d628aed25b43a6eb862cdbf746b80ffaba852c6223b95577"},"schema_version":"1.0","source":{"id":"2506.07313","kind":"arxiv","version":1}},"canonical_sha256":"d130679716f19f7f4e8e3a87023e6b4e5202d0690eb24c84e1437c7d1dfbd15b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d130679716f19f7f4e8e3a87023e6b4e5202d0690eb24c84e1437c7d1dfbd15b","first_computed_at":"2026-07-05T11:18:24.893440Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:18:24.893440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3DCJRehRLWW7XN3iv8UcYuHGYenqoSKM4c3iBCTzU++iXZHyqPiwMUZpchx5eWATmMoZ1eg/808DwBW6ci8ACg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:18:24.893925Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.07313","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85290fa95e5c5acb141fd9bc3ad7a9b2d9769693d6b0075541fd6ae8015fa7e4","sha256:e1210b62943d008ac1bf5b235ae4c333d01ce3297713ee8470c832aabc76989e"],"state_sha256":"dbc6c5b9340a23055af5f80fc082b946f617a43ef7c8e01e0eb288fd8c8ddf22"}