{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:2EYGPFYW6GPX6TUOHKDQEPTLJZ","short_pith_number":"pith:2EYGPFYW","canonical_record":{"source":{"id":"2506.07313","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-08T23:08:08Z","cross_cats_sorted":[],"title_canon_sha256":"357d42b6151c4098d628aed25b43a6eb862cdbf746b80ffaba852c6223b95577","abstract_canon_sha256":"ea9d59b40e6e4f29e005635649eed141b9e7786fd7c3c548c6ce8107f46dc31e"},"schema_version":"1.0"},"canonical_sha256":"d130679716f19f7f4e8e3a87023e6b4e5202d0690eb24c84e1437c7d1dfbd15b","source":{"kind":"arxiv","id":"2506.07313","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:2EYGPFYW6GPX6TUOHKDQEPTLJZ","target":"record","payload":{"canonical_record":{"source":{"id":"2506.07313","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-06-08T23:08:08Z","cross_cats_sorted":[],"title_canon_sha256":"357d42b6151c4098d628aed25b43a6eb862cdbf746b80ffaba852c6223b95577","abstract_canon_sha256":"ea9d59b40e6e4f29e005635649eed141b9e7786fd7c3c548c6ce8107f46dc31e"},"schema_version":"1.0"},"canonical_sha256":"d130679716f19f7f4e8e3a87023e6b4e5202d0690eb24c84e1437c7d1dfbd15b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:18:24.893925Z","signature_b64":"3DCJRehRLWW7XN3iv8UcYuHGYenqoSKM4c3iBCTzU++iXZHyqPiwMUZpchx5eWATmMoZ1eg/808DwBW6ci8ACg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d130679716f19f7f4e8e3a87023e6b4e5202d0690eb24c84e1437c7d1dfbd15b","last_reissued_at":"2026-07-05T11:18:24.893440Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:18:24.893440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.07313","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-05T11:18:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lDhXLVwoNTRLYKvEj8n4JlxmH214pq2Qx5ILOywxqedODaigDreznS9q69DeIU7S13vxdlvmMzx6gUFLkztqDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T12:28:14.305121Z"},"content_sha256":"85290fa95e5c5acb141fd9bc3ad7a9b2d9769693d6b0075541fd6ae8015fa7e4","schema_version":"1.0","event_id":"sha256:85290fa95e5c5acb141fd9bc3ad7a9b2d9769693d6b0075541fd6ae8015fa7e4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:2EYGPFYW6GPX6TUOHKDQEPTLJZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SCGAgent: Recreating the Benefits of Reasoning Models for Secure Code Generation with Agentic Workflows","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"David Wagner, Hao Wang, Koushik Sen, Rebecca Saul","submitted_at":"2025-06-08T23:08:08Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07313","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/2506.07313/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-05T11:18:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+xAt+SWARDsvihkI8XSI/a2qbBgDPe95MvgXxMGFrK1EiBjh9bbiEEaObYR4/ZFyisEILsj6hGzVxihAax3hDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T12:28:14.305535Z"},"content_sha256":"e1210b62943d008ac1bf5b235ae4c333d01ce3297713ee8470c832aabc76989e","schema_version":"1.0","event_id":"sha256:e1210b62943d008ac1bf5b235ae4c333d01ce3297713ee8470c832aabc76989e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2EYGPFYW6GPX6TUOHKDQEPTLJZ/bundle.json","state_url":"https://pith.science/pith/2EYGPFYW6GPX6TUOHKDQEPTLJZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2EYGPFYW6GPX6TUOHKDQEPTLJZ/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-06T12:28:14Z","links":{"resolver":"https://pith.science/pith/2EYGPFYW6GPX6TUOHKDQEPTLJZ","bundle":"https://pith.science/pith/2EYGPFYW6GPX6TUOHKDQEPTLJZ/bundle.json","state":"https://pith.science/pith/2EYGPFYW6GPX6TUOHKDQEPTLJZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2EYGPFYW6GPX6TUOHKDQEPTLJZ/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T1M1IEuP92Trmbobvi7KSmIHN5zUlWStSW0oD6l+W6ex/borfZbBLtb4mU4fSLd116Kgjx0esH63OtNT9yZ8CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T12:28:14.307509Z","bundle_sha256":"49ba2e6e57796571313163376e49930195c2899f8e1ecadbc2990c81d01d9ecd"}}