{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:2DEJ7B3JXIM6UHDHIT2ITPO5DJ","short_pith_number":"pith:2DEJ7B3J","schema_version":"1.0","canonical_sha256":"d0c89f8769ba19ea1c6744f489bddd1a478fff8e1a45f2a95d25e022bbb69467","source":{"kind":"arxiv","id":"2607.02376","version":1},"attestation_state":"computed","paper":{"title":"Hardware-Enforced Semantic Coordination for Safety-Critical Real-Time Autonomous Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.MA"],"primary_cat":"cs.AI","authors_text":"Paolo Bottoni, Remo Pareschi, Uwe M. Borghoff","submitted_at":"2026-07-02T16:16:41Z","abstract_excerpt":"Recent advances in agentic AI are producing increasingly complex autonomous systems that integrate large language models, world models, optimization engines, specialized neural architectures, autonomous platforms, and human operators. While much current research focuses on improving reasoning capabilities, safety-critical real-time deployment also requires bounded and verifiable coordination among heterogeneous components operating concurrently under uncertainty. Software-mediated coordination presents fundamental limitations in domains where bounded latency, deterministic coordination, and en"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2607.02376","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-07-02T16:16:41Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"5fafceec5f732edb1d460c0bcff3fee02c32039cc0c6a43f8f156218a8c21000","abstract_canon_sha256":"d14e0910025f0bcd3963f849de61ae152314c46d6f3098f2fa3c036afdeeeddc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-03T01:17:57.146633Z","signature_b64":"EAvkFZT8hbl4UfQHBFAevLpeKF0wa/m6IPj4BEU57XjLhzsI4B5dJvP5TFoqE63WN7FpEhpiPvcH3C0AxqSUCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d0c89f8769ba19ea1c6744f489bddd1a478fff8e1a45f2a95d25e022bbb69467","last_reissued_at":"2026-07-03T01:17:57.146217Z","signature_status":"signed_v1","first_computed_at":"2026-07-03T01:17:57.146217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Hardware-Enforced Semantic Coordination for Safety-Critical Real-Time Autonomous Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.MA"],"primary_cat":"cs.AI","authors_text":"Paolo Bottoni, Remo Pareschi, Uwe M. Borghoff","submitted_at":"2026-07-02T16:16:41Z","abstract_excerpt":"Recent advances in agentic AI are producing increasingly complex autonomous systems that integrate large language models, world models, optimization engines, specialized neural architectures, autonomous platforms, and human operators. While much current research focuses on improving reasoning capabilities, safety-critical real-time deployment also requires bounded and verifiable coordination among heterogeneous components operating concurrently under uncertainty. Software-mediated coordination presents fundamental limitations in domains where bounded latency, deterministic coordination, and en"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.02376","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/2607.02376/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.02376","created_at":"2026-07-03T01:17:57.146274+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.02376v1","created_at":"2026-07-03T01:17:57.146274+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.02376","created_at":"2026-07-03T01:17:57.146274+00:00"},{"alias_kind":"pith_short_12","alias_value":"2DEJ7B3JXIM6","created_at":"2026-07-03T01:17:57.146274+00:00"},{"alias_kind":"pith_short_16","alias_value":"2DEJ7B3JXIM6UHDH","created_at":"2026-07-03T01:17:57.146274+00:00"},{"alias_kind":"pith_short_8","alias_value":"2DEJ7B3J","created_at":"2026-07-03T01:17:57.146274+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2DEJ7B3JXIM6UHDHIT2ITPO5DJ","json":"https://pith.science/pith/2DEJ7B3JXIM6UHDHIT2ITPO5DJ.json","graph_json":"https://pith.science/api/pith-number/2DEJ7B3JXIM6UHDHIT2ITPO5DJ/graph.json","events_json":"https://pith.science/api/pith-number/2DEJ7B3JXIM6UHDHIT2ITPO5DJ/events.json","paper":"https://pith.science/paper/2DEJ7B3J"},"agent_actions":{"view_html":"https://pith.science/pith/2DEJ7B3JXIM6UHDHIT2ITPO5DJ","download_json":"https://pith.science/pith/2DEJ7B3JXIM6UHDHIT2ITPO5DJ.json","view_paper":"https://pith.science/paper/2DEJ7B3J","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.02376&json=true","fetch_graph":"https://pith.science/api/pith-number/2DEJ7B3JXIM6UHDHIT2ITPO5DJ/graph.json","fetch_events":"https://pith.science/api/pith-number/2DEJ7B3JXIM6UHDHIT2ITPO5DJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2DEJ7B3JXIM6UHDHIT2ITPO5DJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2DEJ7B3JXIM6UHDHIT2ITPO5DJ/action/storage_attestation","attest_author":"https://pith.science/pith/2DEJ7B3JXIM6UHDHIT2ITPO5DJ/action/author_attestation","sign_citation":"https://pith.science/pith/2DEJ7B3JXIM6UHDHIT2ITPO5DJ/action/citation_signature","submit_replication":"https://pith.science/pith/2DEJ7B3JXIM6UHDHIT2ITPO5DJ/action/replication_record"}},"created_at":"2026-07-03T01:17:57.146274+00:00","updated_at":"2026-07-03T01:17:57.146274+00:00"}