{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:4EY6BBSYRQ2KPMKS7GQNEGKTEG","short_pith_number":"pith:4EY6BBSY","canonical_record":{"source":{"id":"2606.11113","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2026-06-09T17:10:00Z","cross_cats_sorted":[],"title_canon_sha256":"693a689f638ad065f3c6ec5d9fe2ed5eb1460091ae545a349ee385acd44333f0","abstract_canon_sha256":"ff21319ff731820e4e2c043933f2186f46b75e840f4331af0c6d7b25dbf265ba"},"schema_version":"1.0"},"canonical_sha256":"e131e086588c34a7b152f9a0d2195321bd2675bc156a2d017ee8f0fb5d3a2728","source":{"kind":"arxiv","id":"2606.11113","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.11113","created_at":"2026-06-10T01:11:11Z"},{"alias_kind":"arxiv_version","alias_value":"2606.11113v1","created_at":"2026-06-10T01:11:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.11113","created_at":"2026-06-10T01:11:11Z"},{"alias_kind":"pith_short_12","alias_value":"4EY6BBSYRQ2K","created_at":"2026-06-10T01:11:11Z"},{"alias_kind":"pith_short_16","alias_value":"4EY6BBSYRQ2KPMKS","created_at":"2026-06-10T01:11:11Z"},{"alias_kind":"pith_short_8","alias_value":"4EY6BBSY","created_at":"2026-06-10T01:11:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:4EY6BBSYRQ2KPMKS7GQNEGKTEG","target":"record","payload":{"canonical_record":{"source":{"id":"2606.11113","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2026-06-09T17:10:00Z","cross_cats_sorted":[],"title_canon_sha256":"693a689f638ad065f3c6ec5d9fe2ed5eb1460091ae545a349ee385acd44333f0","abstract_canon_sha256":"ff21319ff731820e4e2c043933f2186f46b75e840f4331af0c6d7b25dbf265ba"},"schema_version":"1.0"},"canonical_sha256":"e131e086588c34a7b152f9a0d2195321bd2675bc156a2d017ee8f0fb5d3a2728","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-10T01:11:11.427840Z","signature_b64":"xuLHMZ2q4sOm4q6g5sRWi+9vX8e9Bh6JBrwim9dIPNgMyGPWgllekTkPiObsNs0vbVUaFhi2HLN5nzj2o2A7BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e131e086588c34a7b152f9a0d2195321bd2675bc156a2d017ee8f0fb5d3a2728","last_reissued_at":"2026-06-10T01:11:11.426843Z","signature_status":"signed_v1","first_computed_at":"2026-06-10T01:11:11.426843Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.11113","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-10T01:11:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dDGFIByUZEBUi2VOGJIgiisdEMCRm8lgCta5z0+7WMo8XdxmEe6MjMT0t9TqRUpIXEs4Whu17D+QHZlP6DiIBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T03:19:42.425168Z"},"content_sha256":"7fb134d366454109f11288115a53ee785e9912eb40b7810b345cc250992fa5fa","schema_version":"1.0","event_id":"sha256:7fb134d366454109f11288115a53ee785e9912eb40b7810b345cc250992fa5fa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:4EY6BBSYRQ2KPMKS7GQNEGKTEG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Neurosymbolic Prolog Skill for LLM-Driven Service Placement","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Antonio Brogi, Giuseppe Bisicchia, Jacopo Massa, Patrizio Dazzi","submitted_at":"2026-06-09T17:10:00Z","abstract_excerpt":"Service placement in the cloud-edge continuum requires assigning application components to heterogeneous resources under multiple constraints, including latency, locality, and policy requirements. Existing approaches rely on optimisation models or heuristics that require explicit modelling, while neural methods lack transparency and formal guarantees. This work proposes a neuro-symbolic alternative based on a Prolog skill, a reusable interface for schema-constrained fact generation and querying, for constraint-aware placement. The skill enables a language model to structure placement intent in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.11113","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.11113/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-10T01:11:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4aQ5153VUavK6/zsfoLbguc188jEp3TVe+AujD9W6FgHYemtk7XpyIiSdoL7Yn6GDGyWCORAFH5xMTdbb2pLBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T03:19:42.425548Z"},"content_sha256":"aae135c0c563a77018349cb71f87ad16ae31b51233f22bc90b145aed5da0962e","schema_version":"1.0","event_id":"sha256:aae135c0c563a77018349cb71f87ad16ae31b51233f22bc90b145aed5da0962e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4EY6BBSYRQ2KPMKS7GQNEGKTEG/bundle.json","state_url":"https://pith.science/pith/4EY6BBSYRQ2KPMKS7GQNEGKTEG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4EY6BBSYRQ2KPMKS7GQNEGKTEG/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-29T03:19:42Z","links":{"resolver":"https://pith.science/pith/4EY6BBSYRQ2KPMKS7GQNEGKTEG","bundle":"https://pith.science/pith/4EY6BBSYRQ2KPMKS7GQNEGKTEG/bundle.json","state":"https://pith.science/pith/4EY6BBSYRQ2KPMKS7GQNEGKTEG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4EY6BBSYRQ2KPMKS7GQNEGKTEG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:4EY6BBSYRQ2KPMKS7GQNEGKTEG","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":"ff21319ff731820e4e2c043933f2186f46b75e840f4331af0c6d7b25dbf265ba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2026-06-09T17:10:00Z","title_canon_sha256":"693a689f638ad065f3c6ec5d9fe2ed5eb1460091ae545a349ee385acd44333f0"},"schema_version":"1.0","source":{"id":"2606.11113","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.11113","created_at":"2026-06-10T01:11:11Z"},{"alias_kind":"arxiv_version","alias_value":"2606.11113v1","created_at":"2026-06-10T01:11:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.11113","created_at":"2026-06-10T01:11:11Z"},{"alias_kind":"pith_short_12","alias_value":"4EY6BBSYRQ2K","created_at":"2026-06-10T01:11:11Z"},{"alias_kind":"pith_short_16","alias_value":"4EY6BBSYRQ2KPMKS","created_at":"2026-06-10T01:11:11Z"},{"alias_kind":"pith_short_8","alias_value":"4EY6BBSY","created_at":"2026-06-10T01:11:11Z"}],"graph_snapshots":[{"event_id":"sha256:aae135c0c563a77018349cb71f87ad16ae31b51233f22bc90b145aed5da0962e","target":"graph","created_at":"2026-06-10T01:11:11Z","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.11113/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Service placement in the cloud-edge continuum requires assigning application components to heterogeneous resources under multiple constraints, including latency, locality, and policy requirements. Existing approaches rely on optimisation models or heuristics that require explicit modelling, while neural methods lack transparency and formal guarantees. This work proposes a neuro-symbolic alternative based on a Prolog skill, a reusable interface for schema-constrained fact generation and querying, for constraint-aware placement. The skill enables a language model to structure placement intent in","authors_text":"Antonio Brogi, Giuseppe Bisicchia, Jacopo Massa, Patrizio Dazzi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2026-06-09T17:10:00Z","title":"A Neurosymbolic Prolog Skill for LLM-Driven Service Placement"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.11113","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:7fb134d366454109f11288115a53ee785e9912eb40b7810b345cc250992fa5fa","target":"record","created_at":"2026-06-10T01:11:11Z","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":"ff21319ff731820e4e2c043933f2186f46b75e840f4331af0c6d7b25dbf265ba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2026-06-09T17:10:00Z","title_canon_sha256":"693a689f638ad065f3c6ec5d9fe2ed5eb1460091ae545a349ee385acd44333f0"},"schema_version":"1.0","source":{"id":"2606.11113","kind":"arxiv","version":1}},"canonical_sha256":"e131e086588c34a7b152f9a0d2195321bd2675bc156a2d017ee8f0fb5d3a2728","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e131e086588c34a7b152f9a0d2195321bd2675bc156a2d017ee8f0fb5d3a2728","first_computed_at":"2026-06-10T01:11:11.426843Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-10T01:11:11.426843Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xuLHMZ2q4sOm4q6g5sRWi+9vX8e9Bh6JBrwim9dIPNgMyGPWgllekTkPiObsNs0vbVUaFhi2HLN5nzj2o2A7BQ==","signature_status":"signed_v1","signed_at":"2026-06-10T01:11:11.427840Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.11113","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7fb134d366454109f11288115a53ee785e9912eb40b7810b345cc250992fa5fa","sha256:aae135c0c563a77018349cb71f87ad16ae31b51233f22bc90b145aed5da0962e"],"state_sha256":"353e5bd696a5a8027ea6b0143f24f596dd948076ce03883b3fd1cd8e7e0b3ac8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4aAxSLNPCAmXSXfuGXUcCor77/mYhtRvXXftr/boua8G1hQ1GQbE9MPVjikcrkrGE7PqTi7F51sDVRCMlZ4/BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T03:19:42.427542Z","bundle_sha256":"b74155249bd44d2dbf2d0a345d8ccce8537486d9269754544ad81edffa556396"}}