{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:3ZKPHFZHGMV6R7ULJF45TOM3TI","short_pith_number":"pith:3ZKPHFZH","canonical_record":{"source":{"id":"2605.31458","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-29T15:51:22Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"5d1659b80c38f50fb67e2b1dab03c5de67a5748e7c1eb6b3f45662e9bddc9ed4","abstract_canon_sha256":"36499308fba18cd67f49f599c6fedb94c4588b18a30827158e67477717caadde"},"schema_version":"1.0"},"canonical_sha256":"de54f39727332be8fe8b4979d9b99b9a372150f623d18535b9de896ca959c921","source":{"kind":"arxiv","id":"2605.31458","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.31458","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.31458v1","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.31458","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"pith_short_12","alias_value":"3ZKPHFZHGMV6","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"pith_short_16","alias_value":"3ZKPHFZHGMV6R7UL","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"pith_short_8","alias_value":"3ZKPHFZH","created_at":"2026-06-01T02:04:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:3ZKPHFZHGMV6R7ULJF45TOM3TI","target":"record","payload":{"canonical_record":{"source":{"id":"2605.31458","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-29T15:51:22Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"5d1659b80c38f50fb67e2b1dab03c5de67a5748e7c1eb6b3f45662e9bddc9ed4","abstract_canon_sha256":"36499308fba18cd67f49f599c6fedb94c4588b18a30827158e67477717caadde"},"schema_version":"1.0"},"canonical_sha256":"de54f39727332be8fe8b4979d9b99b9a372150f623d18535b9de896ca959c921","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T02:04:06.956932Z","signature_b64":"pQhu2gQ4eBEPJYlJuTmLj7gxZvKwndotrAp5LZ3yN4awa06Gm/k//7blqiTXDnQObHa/6JmfEtxbYZy40c9QCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"de54f39727332be8fe8b4979d9b99b9a372150f623d18535b9de896ca959c921","last_reissued_at":"2026-06-01T02:04:06.955975Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T02:04:06.955975Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.31458","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-01T02:04:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9GC7yl6HMGkzG4wtRIF4Td3JzyGs6HG9w2HGC9B6LGYTKt8YCTc7Tv8ZNn5OO8GNQ7UIqmG7nQq43eLSHf57DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T00:36:23.208030Z"},"content_sha256":"067a9e7d220d8016d1d7abecaa3ee08cafc81afbf3037543612ef317424fc3d5","schema_version":"1.0","event_id":"sha256:067a9e7d220d8016d1d7abecaa3ee08cafc81afbf3037543612ef317424fc3d5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:3ZKPHFZHGMV6R7ULJF45TOM3TI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Ladder Logic Translation using Large Language Models in Industrial Automation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.SE","authors_text":"Nathanial Wiggins, Oluwatosin Ogundare, Promise Ekpo","submitted_at":"2026-05-29T15:51:22Z","abstract_excerpt":"Ladder logic translation is an important problem in industrial automation because without it, it is difficult to switch Programmable Logic Controller (PLC) vendors. The prevailing translation problem highlights mismatched programming environments, incompatible ladder logic constructs, limitations in terms of differences in the semantic expressiveness of the vendor formalisms and integrated black-box proprietary engineering tools which are exemplified in our example case; Rockwell to Siemens PLC code translation. This work presents a mathematical formulation of the problem, the detailed archite"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.31458","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.31458/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-01T02:04:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7H0vSjc5UcjK+aO+3tfo2UF91RgyAQmEtOLZh+E1pPa+/+uZNsfsxqQozD8Pb6OPXfcfrIt2cpz04OemRZZZDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T00:36:23.208809Z"},"content_sha256":"46a552c6539ac06e86fe4ca2ae65bc29ff06ea3c1d75c812b22e093ad286957f","schema_version":"1.0","event_id":"sha256:46a552c6539ac06e86fe4ca2ae65bc29ff06ea3c1d75c812b22e093ad286957f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI/bundle.json","state_url":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI/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-07T00:36:23Z","links":{"resolver":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI","bundle":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI/bundle.json","state":"https://pith.science/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3ZKPHFZHGMV6R7ULJF45TOM3TI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:3ZKPHFZHGMV6R7ULJF45TOM3TI","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":"36499308fba18cd67f49f599c6fedb94c4588b18a30827158e67477717caadde","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-29T15:51:22Z","title_canon_sha256":"5d1659b80c38f50fb67e2b1dab03c5de67a5748e7c1eb6b3f45662e9bddc9ed4"},"schema_version":"1.0","source":{"id":"2605.31458","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.31458","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"arxiv_version","alias_value":"2605.31458v1","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.31458","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"pith_short_12","alias_value":"3ZKPHFZHGMV6","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"pith_short_16","alias_value":"3ZKPHFZHGMV6R7UL","created_at":"2026-06-01T02:04:06Z"},{"alias_kind":"pith_short_8","alias_value":"3ZKPHFZH","created_at":"2026-06-01T02:04:06Z"}],"graph_snapshots":[{"event_id":"sha256:46a552c6539ac06e86fe4ca2ae65bc29ff06ea3c1d75c812b22e093ad286957f","target":"graph","created_at":"2026-06-01T02:04: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.31458/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Ladder logic translation is an important problem in industrial automation because without it, it is difficult to switch Programmable Logic Controller (PLC) vendors. The prevailing translation problem highlights mismatched programming environments, incompatible ladder logic constructs, limitations in terms of differences in the semantic expressiveness of the vendor formalisms and integrated black-box proprietary engineering tools which are exemplified in our example case; Rockwell to Siemens PLC code translation. This work presents a mathematical formulation of the problem, the detailed archite","authors_text":"Nathanial Wiggins, Oluwatosin Ogundare, Promise Ekpo","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-29T15:51:22Z","title":"Ladder Logic Translation using Large Language Models in Industrial Automation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.31458","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:067a9e7d220d8016d1d7abecaa3ee08cafc81afbf3037543612ef317424fc3d5","target":"record","created_at":"2026-06-01T02:04: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":"36499308fba18cd67f49f599c6fedb94c4588b18a30827158e67477717caadde","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-29T15:51:22Z","title_canon_sha256":"5d1659b80c38f50fb67e2b1dab03c5de67a5748e7c1eb6b3f45662e9bddc9ed4"},"schema_version":"1.0","source":{"id":"2605.31458","kind":"arxiv","version":1}},"canonical_sha256":"de54f39727332be8fe8b4979d9b99b9a372150f623d18535b9de896ca959c921","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"de54f39727332be8fe8b4979d9b99b9a372150f623d18535b9de896ca959c921","first_computed_at":"2026-06-01T02:04:06.955975Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T02:04:06.955975Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pQhu2gQ4eBEPJYlJuTmLj7gxZvKwndotrAp5LZ3yN4awa06Gm/k//7blqiTXDnQObHa/6JmfEtxbYZy40c9QCg==","signature_status":"signed_v1","signed_at":"2026-06-01T02:04:06.956932Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.31458","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:067a9e7d220d8016d1d7abecaa3ee08cafc81afbf3037543612ef317424fc3d5","sha256:46a552c6539ac06e86fe4ca2ae65bc29ff06ea3c1d75c812b22e093ad286957f"],"state_sha256":"d47eded79057dea01d614a1098ff929dcab179a00efe904c80c6f09213463ed5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9QwNGG6kagDKiH3YwAoUca7NPsB1QK3C5d8kKolKOEpMp8xgM0lDKNwN4w57pllSEQdH09y6bH6Xa4GbwDC0DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T00:36:23.212961Z","bundle_sha256":"2c3bd243a1bce77ebad1dec755cd0e305ba9bf4953d6a47ac651e6b3d1785290"}}