{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:EQPMKVIKEX6PBCFC2UH6N3AASX","short_pith_number":"pith:EQPMKVIK","canonical_record":{"source":{"id":"2508.12325","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-17T10:48:01Z","cross_cats_sorted":[],"title_canon_sha256":"eb75fd5476e2cd91fee5bda03f4d39d6ca63bea4a43fb166cf56f67ab6514a1f","abstract_canon_sha256":"ae0df998b21c49f65874dfd0120038d72d6e20aad690a870794fb4e05e908cb9"},"schema_version":"1.0"},"canonical_sha256":"241ec5550a25fcf088a2d50fe6ec0095f61d5e7a4f87b65d23de2bed8cbfe452","source":{"kind":"arxiv","id":"2508.12325","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.12325","created_at":"2026-07-05T11:55:03Z"},{"alias_kind":"arxiv_version","alias_value":"2508.12325v1","created_at":"2026-07-05T11:55:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.12325","created_at":"2026-07-05T11:55:03Z"},{"alias_kind":"pith_short_12","alias_value":"EQPMKVIKEX6P","created_at":"2026-07-05T11:55:03Z"},{"alias_kind":"pith_short_16","alias_value":"EQPMKVIKEX6PBCFC","created_at":"2026-07-05T11:55:03Z"},{"alias_kind":"pith_short_8","alias_value":"EQPMKVIK","created_at":"2026-07-05T11:55:03Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:EQPMKVIKEX6PBCFC2UH6N3AASX","target":"record","payload":{"canonical_record":{"source":{"id":"2508.12325","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-17T10:48:01Z","cross_cats_sorted":[],"title_canon_sha256":"eb75fd5476e2cd91fee5bda03f4d39d6ca63bea4a43fb166cf56f67ab6514a1f","abstract_canon_sha256":"ae0df998b21c49f65874dfd0120038d72d6e20aad690a870794fb4e05e908cb9"},"schema_version":"1.0"},"canonical_sha256":"241ec5550a25fcf088a2d50fe6ec0095f61d5e7a4f87b65d23de2bed8cbfe452","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:55:03.572465Z","signature_b64":"nKWshEyKzuSCV71dmdmf2b8Qf+J3brb28ulYpCSFlq9pZAkyzS3v8dVoc3zy+GzUNxnlRQ/oMd3bI3gKkVj7Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"241ec5550a25fcf088a2d50fe6ec0095f61d5e7a4f87b65d23de2bed8cbfe452","last_reissued_at":"2026-07-05T11:55:03.572001Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:55:03.572001Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.12325","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-07-05T11:55:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CBFlksifi/FyrTPxVw4WZ6mkT6c7oqDyVT6wMABIybSxf4Vz01oh41uWMGluKJTh3jtcdgv1kyNMN9WPGm3ICA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:53:24.368592Z"},"content_sha256":"aee41854778bfb769070671b22072d4d27761599c09c9463fe2577c7efbcc02d","schema_version":"1.0","event_id":"sha256:aee41854778bfb769070671b22072d4d27761599c09c9463fe2577c7efbcc02d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:EQPMKVIKEX6PBCFC2UH6N3AASX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards the Coordination and Verification of Heterogeneous Systems with Data and Time","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Adrian Rutle, Francisco Dur\\'an, Harald K\\\"onig, Tim Kr\\\"auter, Yngve Lamo","submitted_at":"2025-08-17T10:48:01Z","abstract_excerpt":"Modern software systems are often realized by coordinating multiple heterogeneous parts, each responsible for specific tasks. These parts must work together seamlessly to satisfy the overall system requirements. To verify such complex systems, we have developed a non-intrusive coordination framework capable of performing formal analysis of heterogeneous parts that exchange data and include real-time capabilities. The framework utilizes a linguistic extension, which is implemented as a central broker and a domain-specific language for the integration of heterogeneous languages and coordination "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.12325","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/2508.12325/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-07-05T11:55:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AHDdz/vukUixgp01G6VyoqsmTaTjjIo2tEIL3svLIivG3ZtuZ5aA0G619j8Hbphwwsvwj1vm++xXTFkQ25eUBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:53:24.369307Z"},"content_sha256":"a2b0c06767411adb217f80a299e4f5922ae6e9d3b2f6932eae72f23baddf23a4","schema_version":"1.0","event_id":"sha256:a2b0c06767411adb217f80a299e4f5922ae6e9d3b2f6932eae72f23baddf23a4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EQPMKVIKEX6PBCFC2UH6N3AASX/bundle.json","state_url":"https://pith.science/pith/EQPMKVIKEX6PBCFC2UH6N3AASX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EQPMKVIKEX6PBCFC2UH6N3AASX/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-07T04:53:24Z","links":{"resolver":"https://pith.science/pith/EQPMKVIKEX6PBCFC2UH6N3AASX","bundle":"https://pith.science/pith/EQPMKVIKEX6PBCFC2UH6N3AASX/bundle.json","state":"https://pith.science/pith/EQPMKVIKEX6PBCFC2UH6N3AASX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EQPMKVIKEX6PBCFC2UH6N3AASX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:EQPMKVIKEX6PBCFC2UH6N3AASX","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":"ae0df998b21c49f65874dfd0120038d72d6e20aad690a870794fb4e05e908cb9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-17T10:48:01Z","title_canon_sha256":"eb75fd5476e2cd91fee5bda03f4d39d6ca63bea4a43fb166cf56f67ab6514a1f"},"schema_version":"1.0","source":{"id":"2508.12325","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.12325","created_at":"2026-07-05T11:55:03Z"},{"alias_kind":"arxiv_version","alias_value":"2508.12325v1","created_at":"2026-07-05T11:55:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.12325","created_at":"2026-07-05T11:55:03Z"},{"alias_kind":"pith_short_12","alias_value":"EQPMKVIKEX6P","created_at":"2026-07-05T11:55:03Z"},{"alias_kind":"pith_short_16","alias_value":"EQPMKVIKEX6PBCFC","created_at":"2026-07-05T11:55:03Z"},{"alias_kind":"pith_short_8","alias_value":"EQPMKVIK","created_at":"2026-07-05T11:55:03Z"}],"graph_snapshots":[{"event_id":"sha256:a2b0c06767411adb217f80a299e4f5922ae6e9d3b2f6932eae72f23baddf23a4","target":"graph","created_at":"2026-07-05T11:55:03Z","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/2508.12325/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern software systems are often realized by coordinating multiple heterogeneous parts, each responsible for specific tasks. These parts must work together seamlessly to satisfy the overall system requirements. To verify such complex systems, we have developed a non-intrusive coordination framework capable of performing formal analysis of heterogeneous parts that exchange data and include real-time capabilities. The framework utilizes a linguistic extension, which is implemented as a central broker and a domain-specific language for the integration of heterogeneous languages and coordination ","authors_text":"Adrian Rutle, Francisco Dur\\'an, Harald K\\\"onig, Tim Kr\\\"auter, Yngve Lamo","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-17T10:48:01Z","title":"Towards the Coordination and Verification of Heterogeneous Systems with Data and Time"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.12325","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:aee41854778bfb769070671b22072d4d27761599c09c9463fe2577c7efbcc02d","target":"record","created_at":"2026-07-05T11:55:03Z","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":"ae0df998b21c49f65874dfd0120038d72d6e20aad690a870794fb4e05e908cb9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-17T10:48:01Z","title_canon_sha256":"eb75fd5476e2cd91fee5bda03f4d39d6ca63bea4a43fb166cf56f67ab6514a1f"},"schema_version":"1.0","source":{"id":"2508.12325","kind":"arxiv","version":1}},"canonical_sha256":"241ec5550a25fcf088a2d50fe6ec0095f61d5e7a4f87b65d23de2bed8cbfe452","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"241ec5550a25fcf088a2d50fe6ec0095f61d5e7a4f87b65d23de2bed8cbfe452","first_computed_at":"2026-07-05T11:55:03.572001Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:55:03.572001Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nKWshEyKzuSCV71dmdmf2b8Qf+J3brb28ulYpCSFlq9pZAkyzS3v8dVoc3zy+GzUNxnlRQ/oMd3bI3gKkVj7Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:55:03.572465Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.12325","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aee41854778bfb769070671b22072d4d27761599c09c9463fe2577c7efbcc02d","sha256:a2b0c06767411adb217f80a299e4f5922ae6e9d3b2f6932eae72f23baddf23a4"],"state_sha256":"93b1dc4781ea20d32932193def4e1f66c41659d56e7877d37c53f5ef7538e73b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wP9g6909SckIOL13/My++7pdZeMegRwRXN7VqZ4l+fvaLv/5yDf0EwBTeAqOgpU7M49A5fM8LOkMseYYFNJVAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T04:53:24.372738Z","bundle_sha256":"14b7275f34c1d3bcb84b7121f06aac1866eb7300a6931128d8463b04a6a049b5"}}