{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:OKFLDGCBHHSFM66S6WNEJGZXOL","short_pith_number":"pith:OKFLDGCB","canonical_record":{"source":{"id":"2606.02434","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-01T16:06:20Z","cross_cats_sorted":[],"title_canon_sha256":"f6f6731cf6f827438e107ec52bb565c4f5a5bea416d1b545bf112312aa6ef78f","abstract_canon_sha256":"034ff0842bb4d49ce04fdea4e2df8fad367ab0d75f7e9e2c2bd190eb78e5a986"},"schema_version":"1.0"},"canonical_sha256":"728ab1984139e4567bd2f59a449b3772ddffec9bf81786b5816f4da9e6449dd2","source":{"kind":"arxiv","id":"2606.02434","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.02434","created_at":"2026-06-02T03:04:59Z"},{"alias_kind":"arxiv_version","alias_value":"2606.02434v1","created_at":"2026-06-02T03:04:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.02434","created_at":"2026-06-02T03:04:59Z"},{"alias_kind":"pith_short_12","alias_value":"OKFLDGCBHHSF","created_at":"2026-06-02T03:04:59Z"},{"alias_kind":"pith_short_16","alias_value":"OKFLDGCBHHSFM66S","created_at":"2026-06-02T03:04:59Z"},{"alias_kind":"pith_short_8","alias_value":"OKFLDGCB","created_at":"2026-06-02T03:04:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:OKFLDGCBHHSFM66S6WNEJGZXOL","target":"record","payload":{"canonical_record":{"source":{"id":"2606.02434","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-01T16:06:20Z","cross_cats_sorted":[],"title_canon_sha256":"f6f6731cf6f827438e107ec52bb565c4f5a5bea416d1b545bf112312aa6ef78f","abstract_canon_sha256":"034ff0842bb4d49ce04fdea4e2df8fad367ab0d75f7e9e2c2bd190eb78e5a986"},"schema_version":"1.0"},"canonical_sha256":"728ab1984139e4567bd2f59a449b3772ddffec9bf81786b5816f4da9e6449dd2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-02T03:04:59.247478Z","signature_b64":"qIXpURR1naXs1K9WubNbCdBxe5rEO3b5fi98Z45BxeP3y1u90EZMfH19mfVqBN3XVdhZpW+Hrw3f99/gEwlkDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"728ab1984139e4567bd2f59a449b3772ddffec9bf81786b5816f4da9e6449dd2","last_reissued_at":"2026-06-02T03:04:59.247061Z","signature_status":"signed_v1","first_computed_at":"2026-06-02T03:04:59.247061Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.02434","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-06-02T03:04:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OO5KKe30zGVXAuEk+2q+yMdKyQGLJilif/FV38ZiEoJI0tNTxLbU4bDHoVX4wUETXXWs0vv7sf8hcGQGugVVDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T17:37:57.276280Z"},"content_sha256":"2b7afd758b2a3d0e1eb8ed9b0868c44c9152b890e02b2e313daaf98fca38a59a","schema_version":"1.0","event_id":"sha256:2b7afd758b2a3d0e1eb8ed9b0868c44c9152b890e02b2e313daaf98fca38a59a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:OKFLDGCBHHSFM66S6WNEJGZXOL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bridging the Sim-to-Real Gap in Semiconductor Visual Program Synthesis via Input Binarization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Koichiro Yawata, Koki Takeshita, Kota Dohi, Tatsuya Sasaki, Yusuke Ohtsubo","submitted_at":"2026-06-01T16:06:20Z","abstract_excerpt":"Precise parametric control over circuit geometry is essential for semiconductor inspection, yet obtaining sufficient real training data remains costly. Although generative models such as diffusion models and Generative Adversarial Networks (GANs) can augment training data, they cannot guarantee the nanometer-scale geometric accuracy required for metrology tasks. We propose a visual program synthesis framework in which a Vision-Language Model (VLM) converts inspection images into editable Domain-Specific Language (DSL) code describing circuit geometries, enabling controlled generation of traini"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.02434","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/2606.02434/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-06-02T03:04:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cMSZ/5z1pXSHq2ZbqcvC4LdDGLySQGwVs0VwT7X+d1c2APCits+Nz/+bfWBtPZeDFM+5lCbPkQyq7/XFNUZBAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T17:37:57.276672Z"},"content_sha256":"375db6ac79c67eded46c7ae92534b1020356a5e5a6257b85312d6deaed19e843","schema_version":"1.0","event_id":"sha256:375db6ac79c67eded46c7ae92534b1020356a5e5a6257b85312d6deaed19e843"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL/bundle.json","state_url":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OKFLDGCBHHSFM66S6WNEJGZXOL/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-06-05T17:37:57Z","links":{"resolver":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL","bundle":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL/bundle.json","state":"https://pith.science/pith/OKFLDGCBHHSFM66S6WNEJGZXOL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OKFLDGCBHHSFM66S6WNEJGZXOL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:OKFLDGCBHHSFM66S6WNEJGZXOL","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":"034ff0842bb4d49ce04fdea4e2df8fad367ab0d75f7e9e2c2bd190eb78e5a986","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-01T16:06:20Z","title_canon_sha256":"f6f6731cf6f827438e107ec52bb565c4f5a5bea416d1b545bf112312aa6ef78f"},"schema_version":"1.0","source":{"id":"2606.02434","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.02434","created_at":"2026-06-02T03:04:59Z"},{"alias_kind":"arxiv_version","alias_value":"2606.02434v1","created_at":"2026-06-02T03:04:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.02434","created_at":"2026-06-02T03:04:59Z"},{"alias_kind":"pith_short_12","alias_value":"OKFLDGCBHHSF","created_at":"2026-06-02T03:04:59Z"},{"alias_kind":"pith_short_16","alias_value":"OKFLDGCBHHSFM66S","created_at":"2026-06-02T03:04:59Z"},{"alias_kind":"pith_short_8","alias_value":"OKFLDGCB","created_at":"2026-06-02T03:04:59Z"}],"graph_snapshots":[{"event_id":"sha256:375db6ac79c67eded46c7ae92534b1020356a5e5a6257b85312d6deaed19e843","target":"graph","created_at":"2026-06-02T03:04:59Z","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/2606.02434/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Precise parametric control over circuit geometry is essential for semiconductor inspection, yet obtaining sufficient real training data remains costly. Although generative models such as diffusion models and Generative Adversarial Networks (GANs) can augment training data, they cannot guarantee the nanometer-scale geometric accuracy required for metrology tasks. We propose a visual program synthesis framework in which a Vision-Language Model (VLM) converts inspection images into editable Domain-Specific Language (DSL) code describing circuit geometries, enabling controlled generation of traini","authors_text":"Koichiro Yawata, Koki Takeshita, Kota Dohi, Tatsuya Sasaki, Yusuke Ohtsubo","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-01T16:06:20Z","title":"Bridging the Sim-to-Real Gap in Semiconductor Visual Program Synthesis via Input Binarization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.02434","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:2b7afd758b2a3d0e1eb8ed9b0868c44c9152b890e02b2e313daaf98fca38a59a","target":"record","created_at":"2026-06-02T03:04:59Z","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":"034ff0842bb4d49ce04fdea4e2df8fad367ab0d75f7e9e2c2bd190eb78e5a986","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-06-01T16:06:20Z","title_canon_sha256":"f6f6731cf6f827438e107ec52bb565c4f5a5bea416d1b545bf112312aa6ef78f"},"schema_version":"1.0","source":{"id":"2606.02434","kind":"arxiv","version":1}},"canonical_sha256":"728ab1984139e4567bd2f59a449b3772ddffec9bf81786b5816f4da9e6449dd2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"728ab1984139e4567bd2f59a449b3772ddffec9bf81786b5816f4da9e6449dd2","first_computed_at":"2026-06-02T03:04:59.247061Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-02T03:04:59.247061Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qIXpURR1naXs1K9WubNbCdBxe5rEO3b5fi98Z45BxeP3y1u90EZMfH19mfVqBN3XVdhZpW+Hrw3f99/gEwlkDQ==","signature_status":"signed_v1","signed_at":"2026-06-02T03:04:59.247478Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.02434","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2b7afd758b2a3d0e1eb8ed9b0868c44c9152b890e02b2e313daaf98fca38a59a","sha256:375db6ac79c67eded46c7ae92534b1020356a5e5a6257b85312d6deaed19e843"],"state_sha256":"90ac6ff495598d91921927de67db238b32240ec81b86e6cd93f989891e3ede2c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dYhOLEF9yhyekbOB+KFdbCJ2KE7zFAA7ENA65/+2hM7vQemXoXoN1ajRZ0Dzj/SZhbzC/C/JvwImVBi/p3bnBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T17:37:57.278664Z","bundle_sha256":"0bdee52856cc1f360912500485c0f1c9c9b6760bc772f11f8aa85ed1cf7b1bc4"}}