{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:JNZE7V7YCBMLCLXTWBVWK45EEY","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":"8c4e557763381e47d7b3e2b3ca2d9ae067083f2d65a0a0da9d4398ab2109dca4","cross_cats_sorted":["cs.AI","cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-01T00:57:45Z","title_canon_sha256":"dba05b29b683b15b7711aabf3661b4178bd187def8bc70f565e1a71e58dccc7c"},"schema_version":"1.0","source":{"id":"2507.00352","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.00352","created_at":"2026-07-05T11:30:06Z"},{"alias_kind":"arxiv_version","alias_value":"2507.00352v1","created_at":"2026-07-05T11:30:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.00352","created_at":"2026-07-05T11:30:06Z"},{"alias_kind":"pith_short_12","alias_value":"JNZE7V7YCBML","created_at":"2026-07-05T11:30:06Z"},{"alias_kind":"pith_short_16","alias_value":"JNZE7V7YCBMLCLXT","created_at":"2026-07-05T11:30:06Z"},{"alias_kind":"pith_short_8","alias_value":"JNZE7V7Y","created_at":"2026-07-05T11:30:06Z"}],"graph_snapshots":[{"event_id":"sha256:e8cbd0079b504a41c32beb63c2ef852792cacd8a13494d16aa54dd551a9bc1a0","target":"graph","created_at":"2026-07-05T11:30: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/2507.00352/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Standard Verification Rule Format (SVRF) is essential for semiconductor applications like Design Rule Check (DRC), Layout Versus Schematic (LVS), and Optical Proximity Correction (OPC) and it faces challenges as advancing nodes create complex design rules that renders traditional SVRF development ineffective and highlight an expertise gap. This paper introduces a novel methodology integrating Abstract Syntax Tree (AST) embedding and Retrieval-Augmented Generation (RAG) for enhanced SVRF code synthesis, ensuring semantic accuracy and error minimization through structural validation with domain-","authors_text":"Abanoub E. Abdelmalak, David Abercrombie, Ilhami Torunoglu, Mohamed A. Elsayed","cross_cats":["cs.AI","cs.ET"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-01T00:57:45Z","title":"An AST-guided LLM Approach for SVRF Code Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.00352","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:3c149bb95d85b9d161975ebe821d51209984db52de67068748fbc2272f208660","target":"record","created_at":"2026-07-05T11:30: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":"8c4e557763381e47d7b3e2b3ca2d9ae067083f2d65a0a0da9d4398ab2109dca4","cross_cats_sorted":["cs.AI","cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-07-01T00:57:45Z","title_canon_sha256":"dba05b29b683b15b7711aabf3661b4178bd187def8bc70f565e1a71e58dccc7c"},"schema_version":"1.0","source":{"id":"2507.00352","kind":"arxiv","version":1}},"canonical_sha256":"4b724fd7f81058b12ef3b06b6573a42629ad12d121339cfeeb9ad3163f563b17","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4b724fd7f81058b12ef3b06b6573a42629ad12d121339cfeeb9ad3163f563b17","first_computed_at":"2026-07-05T11:30:06.683248Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:30:06.683248Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ATukSCWwGZt/FsajCJtiUto6YEFcvjGBWDLxLQpWuZT3/o1rzgwC2/1fj+ngDZXwbPzeqp+RUAfmcJ3jQaH5Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:30:06.683743Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.00352","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3c149bb95d85b9d161975ebe821d51209984db52de67068748fbc2272f208660","sha256:e8cbd0079b504a41c32beb63c2ef852792cacd8a13494d16aa54dd551a9bc1a0"],"state_sha256":"0485a427bb7fad2e3dfba22cb127f6edc36215f929e324cbbbbb5566e053e5ff"}