{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:WRFXNL5F2A6ULTVQS423XKEXK5","short_pith_number":"pith:WRFXNL5F","canonical_record":{"source":{"id":"2606.02167","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-01T12:27:41Z","cross_cats_sorted":[],"title_canon_sha256":"352a08b60a0aa4dfdbdf4253c1acde0cee2f80cd7b6d4244f22190af5354d6cf","abstract_canon_sha256":"d3971df7ca0f858a42959d5aa0ccb798728dfb5113989d349548f5d2cd9ece2b"},"schema_version":"1.0"},"canonical_sha256":"b44b76afa5d03d45ceb09735bba897575336ea175fa71c7a50ef66dde4c650dc","source":{"kind":"arxiv","id":"2606.02167","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.02167","created_at":"2026-06-02T03:04:52Z"},{"alias_kind":"arxiv_version","alias_value":"2606.02167v1","created_at":"2026-06-02T03:04:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.02167","created_at":"2026-06-02T03:04:52Z"},{"alias_kind":"pith_short_12","alias_value":"WRFXNL5F2A6U","created_at":"2026-06-02T03:04:52Z"},{"alias_kind":"pith_short_16","alias_value":"WRFXNL5F2A6ULTVQ","created_at":"2026-06-02T03:04:52Z"},{"alias_kind":"pith_short_8","alias_value":"WRFXNL5F","created_at":"2026-06-02T03:04:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:WRFXNL5F2A6ULTVQS423XKEXK5","target":"record","payload":{"canonical_record":{"source":{"id":"2606.02167","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-01T12:27:41Z","cross_cats_sorted":[],"title_canon_sha256":"352a08b60a0aa4dfdbdf4253c1acde0cee2f80cd7b6d4244f22190af5354d6cf","abstract_canon_sha256":"d3971df7ca0f858a42959d5aa0ccb798728dfb5113989d349548f5d2cd9ece2b"},"schema_version":"1.0"},"canonical_sha256":"b44b76afa5d03d45ceb09735bba897575336ea175fa71c7a50ef66dde4c650dc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-02T03:04:52.118633Z","signature_b64":"ooe2/tKLuvFo/1fGY2AB4lzOcvCjvRl1fhtcVgI8VaeZsjNuCKUTopsmQiTdyLZxRpcc3QYVuQJu3aAGOvKJCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b44b76afa5d03d45ceb09735bba897575336ea175fa71c7a50ef66dde4c650dc","last_reissued_at":"2026-06-02T03:04:52.118159Z","signature_status":"signed_v1","first_computed_at":"2026-06-02T03:04:52.118159Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.02167","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:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cLKt4seS20ZSnOjpOYRkw7GfYY7MACOa6JspdeEK3w/h+JI7es8cM9IFmxs0cBVdiUOhmnUfaoqJnhhxX8znBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T10:41:21.890547Z"},"content_sha256":"de1572311a0bbdfac567e75345db0262a76baae96d517bd5ef0b0e4fc01f990c","schema_version":"1.0","event_id":"sha256:de1572311a0bbdfac567e75345db0262a76baae96d517bd5ef0b0e4fc01f990c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:WRFXNL5F2A6ULTVQS423XKEXK5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From Capability Models to Automated Planning: An AAS-Native Approach for Automatic PDDL Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alexander Fay, Felix Gehlhoff, Hamied Nabizada, Luis Miguel Vieira da Silva, Thomas Wirt","submitted_at":"2026-06-01T12:27:41Z","abstract_excerpt":"Engineers designing production systems need to verify that a given layout supports all required production sequences. Automated planning techniques can answer such questions, but formulating the required planning problems in the Planning Domain Definition Language (PDDL) demands specialized expertise that production engineers typically lack. Asset Administration Shells (AAS) have emerged as the standardized Digital Twin for industrial assets in Industry 4.0. We show that AAS capability models, structured using four established Industry 4.0 standards (VDI 3682 for process descriptions, IEC 6136"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.02167","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.02167/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:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KcBgECo+E+n9sOpOcVMt5B3bv0TrRLXHfmp/o98Tl+JkSEjl6vJ/2Lo+j36DPF6sHlDQd8zJkI7cnhoqazvbDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T10:41:21.890915Z"},"content_sha256":"6efcac774366958854a565a688fd6e04c5d0ea3c6ee3743950a6d8131a96d3d1","schema_version":"1.0","event_id":"sha256:6efcac774366958854a565a688fd6e04c5d0ea3c6ee3743950a6d8131a96d3d1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5/bundle.json","state_url":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WRFXNL5F2A6ULTVQS423XKEXK5/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-02T10:41:21Z","links":{"resolver":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5","bundle":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5/bundle.json","state":"https://pith.science/pith/WRFXNL5F2A6ULTVQS423XKEXK5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WRFXNL5F2A6ULTVQS423XKEXK5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:WRFXNL5F2A6ULTVQS423XKEXK5","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":"d3971df7ca0f858a42959d5aa0ccb798728dfb5113989d349548f5d2cd9ece2b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-01T12:27:41Z","title_canon_sha256":"352a08b60a0aa4dfdbdf4253c1acde0cee2f80cd7b6d4244f22190af5354d6cf"},"schema_version":"1.0","source":{"id":"2606.02167","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.02167","created_at":"2026-06-02T03:04:52Z"},{"alias_kind":"arxiv_version","alias_value":"2606.02167v1","created_at":"2026-06-02T03:04:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.02167","created_at":"2026-06-02T03:04:52Z"},{"alias_kind":"pith_short_12","alias_value":"WRFXNL5F2A6U","created_at":"2026-06-02T03:04:52Z"},{"alias_kind":"pith_short_16","alias_value":"WRFXNL5F2A6ULTVQ","created_at":"2026-06-02T03:04:52Z"},{"alias_kind":"pith_short_8","alias_value":"WRFXNL5F","created_at":"2026-06-02T03:04:52Z"}],"graph_snapshots":[{"event_id":"sha256:6efcac774366958854a565a688fd6e04c5d0ea3c6ee3743950a6d8131a96d3d1","target":"graph","created_at":"2026-06-02T03:04:52Z","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.02167/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Engineers designing production systems need to verify that a given layout supports all required production sequences. Automated planning techniques can answer such questions, but formulating the required planning problems in the Planning Domain Definition Language (PDDL) demands specialized expertise that production engineers typically lack. Asset Administration Shells (AAS) have emerged as the standardized Digital Twin for industrial assets in Industry 4.0. We show that AAS capability models, structured using four established Industry 4.0 standards (VDI 3682 for process descriptions, IEC 6136","authors_text":"Alexander Fay, Felix Gehlhoff, Hamied Nabizada, Luis Miguel Vieira da Silva, Thomas Wirt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-01T12:27:41Z","title":"From Capability Models to Automated Planning: An AAS-Native Approach for Automatic PDDL Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.02167","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:de1572311a0bbdfac567e75345db0262a76baae96d517bd5ef0b0e4fc01f990c","target":"record","created_at":"2026-06-02T03:04:52Z","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":"d3971df7ca0f858a42959d5aa0ccb798728dfb5113989d349548f5d2cd9ece2b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-01T12:27:41Z","title_canon_sha256":"352a08b60a0aa4dfdbdf4253c1acde0cee2f80cd7b6d4244f22190af5354d6cf"},"schema_version":"1.0","source":{"id":"2606.02167","kind":"arxiv","version":1}},"canonical_sha256":"b44b76afa5d03d45ceb09735bba897575336ea175fa71c7a50ef66dde4c650dc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b44b76afa5d03d45ceb09735bba897575336ea175fa71c7a50ef66dde4c650dc","first_computed_at":"2026-06-02T03:04:52.118159Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-02T03:04:52.118159Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ooe2/tKLuvFo/1fGY2AB4lzOcvCjvRl1fhtcVgI8VaeZsjNuCKUTopsmQiTdyLZxRpcc3QYVuQJu3aAGOvKJCQ==","signature_status":"signed_v1","signed_at":"2026-06-02T03:04:52.118633Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.02167","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:de1572311a0bbdfac567e75345db0262a76baae96d517bd5ef0b0e4fc01f990c","sha256:6efcac774366958854a565a688fd6e04c5d0ea3c6ee3743950a6d8131a96d3d1"],"state_sha256":"58037dee4a2c2183da973bc8a4493c684a7dd7b7b0776dfb68fd638f5475fb10"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SSaR/1oLrYQKgDRykmwLV8OEkwfwiJSUBlGdaDuOCcTUnDSwfncl9Kv+zr1sBCe/uaZmTTADGdRW8qarUaoxCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T10:41:21.892915Z","bundle_sha256":"dfd2a898c95e4705f9cc552dd9548e5bbcd28e20ed202a5a96bf6a1e5f2549c0"}}