{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:LI7OAI2D5WKVTFNT7O2INB2HU3","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":"b73f17fd262cf21e60ad45e32107dbaa912ad3d3ee26f539429c00e92ce095bd","cross_cats_sorted":["cs.MA"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2026-03-25T19:18:27Z","title_canon_sha256":"5871afb8a501a94ece8f6717eae3277048758901eb4fe4ea9a68b50a19c834bb"},"schema_version":"1.0","source":{"id":"2603.24747","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2603.24747","created_at":"2026-06-04T01:09:48Z"},{"alias_kind":"arxiv_version","alias_value":"2603.24747v2","created_at":"2026-06-04T01:09:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.24747","created_at":"2026-06-04T01:09:48Z"},{"alias_kind":"pith_short_12","alias_value":"LI7OAI2D5WKV","created_at":"2026-06-04T01:09:48Z"},{"alias_kind":"pith_short_16","alias_value":"LI7OAI2D5WKVTFNT","created_at":"2026-06-04T01:09:48Z"},{"alias_kind":"pith_short_8","alias_value":"LI7OAI2D","created_at":"2026-06-04T01:09:48Z"}],"graph_snapshots":[{"event_id":"sha256:e81b6f0fee031a7dee431b149a2abc7da16e024ee8e47d74764fb50213831b38","target":"graph","created_at":"2026-06-04T01:09:48Z","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/2603.24747/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The emergence of large language model agents capable of invoking external tools has created urgent need for formal verification of agent protocols. Two paradigms dominate this space: Schema-Guided Dialogue (SGD), a research framework for zero-shot API generalization, and the Model Context Protocol (MCP), an industry standard for agent-tool integration. While both enable dynamic service discovery through schema descriptions, their formal relationship remains unexplored. Building on prior work establishing the conceptual convergence of these paradigms, we present the first process calculus forma","authors_text":"Andreas Schlapbach","cross_cats":["cs.MA"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2026-03-25T19:18:27Z","title":"Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2603.24747","kind":"arxiv","version":2},"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:a58f77d59d6a066a192bda4827228d137f69b4db6a12d0fbe44ed0f99b2ad92e","target":"record","created_at":"2026-06-04T01:09:48Z","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":"b73f17fd262cf21e60ad45e32107dbaa912ad3d3ee26f539429c00e92ce095bd","cross_cats_sorted":["cs.MA"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2026-03-25T19:18:27Z","title_canon_sha256":"5871afb8a501a94ece8f6717eae3277048758901eb4fe4ea9a68b50a19c834bb"},"schema_version":"1.0","source":{"id":"2603.24747","kind":"arxiv","version":2}},"canonical_sha256":"5a3ee02343ed955995b3fbb4868747a6df663c920fc32617f3512570656f405a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5a3ee02343ed955995b3fbb4868747a6df663c920fc32617f3512570656f405a","first_computed_at":"2026-06-04T01:09:48.995000Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T01:09:48.995000Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hiHFYcpHx4GJ4xitxfsu934V1zVQPMZF822TJXXrLlpwEZf5jlec5ufaGEpWPHugkFDjSUGNhXJRm7jnNlRIAw==","signature_status":"signed_v1","signed_at":"2026-06-04T01:09:48.995754Z","signed_message":"canonical_sha256_bytes"},"source_id":"2603.24747","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a58f77d59d6a066a192bda4827228d137f69b4db6a12d0fbe44ed0f99b2ad92e","sha256:e81b6f0fee031a7dee431b149a2abc7da16e024ee8e47d74764fb50213831b38"],"state_sha256":"068a6078edb9f9ea6186bb935810258a159b6322984e11dce2f68c28218b8108"}