{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:4N7RMQSFN7M2ZO3D5IEZHVZ7CR","short_pith_number":"pith:4N7RMQSF","canonical_record":{"source":{"id":"2411.14369","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-11-21T18:08:02Z","cross_cats_sorted":["cs.MA","cs.SE"],"title_canon_sha256":"264ee7c6375390f3a2dd5a71620ac514f91ee4856c860fa0f38b7fab742c563d","abstract_canon_sha256":"1ffa1535ecd6deea02f1cbffae984b07596f317ef2d8856e5a8611bb126b42f0"},"schema_version":"1.0"},"canonical_sha256":"e37f1642456fd9acbb63ea0993d73f1454729aa759dc232a71fe282e143a4d60","source":{"kind":"arxiv","id":"2411.14369","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.14369","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"arxiv_version","alias_value":"2411.14369v1","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.14369","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_12","alias_value":"4N7RMQSFN7M2","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_16","alias_value":"4N7RMQSFN7M2ZO3D","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_8","alias_value":"4N7RMQSF","created_at":"2026-07-05T09:38:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:4N7RMQSFN7M2ZO3D5IEZHVZ7CR","target":"record","payload":{"canonical_record":{"source":{"id":"2411.14369","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-11-21T18:08:02Z","cross_cats_sorted":["cs.MA","cs.SE"],"title_canon_sha256":"264ee7c6375390f3a2dd5a71620ac514f91ee4856c860fa0f38b7fab742c563d","abstract_canon_sha256":"1ffa1535ecd6deea02f1cbffae984b07596f317ef2d8856e5a8611bb126b42f0"},"schema_version":"1.0"},"canonical_sha256":"e37f1642456fd9acbb63ea0993d73f1454729aa759dc232a71fe282e143a4d60","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:38:45.816631Z","signature_b64":"Im5x//Bh6CAd84rHoGqqadYDa7ZX1H3CWOhJrmSw0G8kOj6dJlREutLjfx/nFKgiiAFZAMNEahp/EHI16+wVCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e37f1642456fd9acbb63ea0993d73f1454729aa759dc232a71fe282e143a4d60","last_reissued_at":"2026-07-05T09:38:45.816074Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:38:45.816074Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.14369","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-05T09:38:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W2MGVItRDdFtQK85OqoYcBsFB8pxY8ACA2hyAtS5LUeRGS+7nzP6ut1FFYPEiit3EbhBbvkX5QzHtG6fMnN/Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T15:51:54.503150Z"},"content_sha256":"09bd15e5b6f37223c1811b36050a659372f0667e16c62aeecc2e5a5fef2a95b6","schema_version":"1.0","event_id":"sha256:09bd15e5b6f37223c1811b36050a659372f0667e16c62aeecc2e5a5fef2a95b6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:4N7RMQSFN7M2ZO3D5IEZHVZ7CR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.MA","cs.SE"],"primary_cat":"cs.RO","authors_text":"Ana Cavalcanti, David A. Anisi, Henrik Nordlie, Pedro Ribeiro, Yvonne Murray","submitted_at":"2024-11-21T18:08:02Z","abstract_excerpt":"This paper describes use of model checking to verify synchronisation properties of an industrial welding system consisting of a cobot arm and an external turntable. The robots must move synchronously, but sometimes get out of synchronisation, giving rise to unsatisfactory weld qualities in problem areas, such as around corners. These mistakes are costly, since time is lost both in the robotic welding and in manual repairs needed to improve the weld. Verification of the synchronisation properties has shown that they are fulfilled as long as assumptions of correctness made about parts outside th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.14369","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/2411.14369/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-05T09:38:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0FNpRvfk06vKrI/NkULoP8vyPIITk7V9RrN+KZECiOTCku5pc8ZslOTEVGC2PdBJP5ph2WCsAbISu0dOTx2VAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T15:51:54.503710Z"},"content_sha256":"c6f29480fe5532f40da494c2abfe08a86c4c6e36fc8aa338930aa51dd5110038","schema_version":"1.0","event_id":"sha256:c6f29480fe5532f40da494c2abfe08a86c4c6e36fc8aa338930aa51dd5110038"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4N7RMQSFN7M2ZO3D5IEZHVZ7CR/bundle.json","state_url":"https://pith.science/pith/4N7RMQSFN7M2ZO3D5IEZHVZ7CR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4N7RMQSFN7M2ZO3D5IEZHVZ7CR/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-08-18T15:51:54Z","links":{"resolver":"https://pith.science/pith/4N7RMQSFN7M2ZO3D5IEZHVZ7CR","bundle":"https://pith.science/pith/4N7RMQSFN7M2ZO3D5IEZHVZ7CR/bundle.json","state":"https://pith.science/pith/4N7RMQSFN7M2ZO3D5IEZHVZ7CR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4N7RMQSFN7M2ZO3D5IEZHVZ7CR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:4N7RMQSFN7M2ZO3D5IEZHVZ7CR","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":"1ffa1535ecd6deea02f1cbffae984b07596f317ef2d8856e5a8611bb126b42f0","cross_cats_sorted":["cs.MA","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-11-21T18:08:02Z","title_canon_sha256":"264ee7c6375390f3a2dd5a71620ac514f91ee4856c860fa0f38b7fab742c563d"},"schema_version":"1.0","source":{"id":"2411.14369","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.14369","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"arxiv_version","alias_value":"2411.14369v1","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.14369","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_12","alias_value":"4N7RMQSFN7M2","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_16","alias_value":"4N7RMQSFN7M2ZO3D","created_at":"2026-07-05T09:38:45Z"},{"alias_kind":"pith_short_8","alias_value":"4N7RMQSF","created_at":"2026-07-05T09:38:45Z"}],"graph_snapshots":[{"event_id":"sha256:c6f29480fe5532f40da494c2abfe08a86c4c6e36fc8aa338930aa51dd5110038","target":"graph","created_at":"2026-07-05T09:38:45Z","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/2411.14369/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper describes use of model checking to verify synchronisation properties of an industrial welding system consisting of a cobot arm and an external turntable. The robots must move synchronously, but sometimes get out of synchronisation, giving rise to unsatisfactory weld qualities in problem areas, such as around corners. These mistakes are costly, since time is lost both in the robotic welding and in manual repairs needed to improve the weld. Verification of the synchronisation properties has shown that they are fulfilled as long as assumptions of correctness made about parts outside th","authors_text":"Ana Cavalcanti, David A. Anisi, Henrik Nordlie, Pedro Ribeiro, Yvonne Murray","cross_cats":["cs.MA","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-11-21T18:08:02Z","title":"Model Checking and Verification of Synchronisation Properties of Cobot Welding"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.14369","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:09bd15e5b6f37223c1811b36050a659372f0667e16c62aeecc2e5a5fef2a95b6","target":"record","created_at":"2026-07-05T09:38:45Z","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":"1ffa1535ecd6deea02f1cbffae984b07596f317ef2d8856e5a8611bb126b42f0","cross_cats_sorted":["cs.MA","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-11-21T18:08:02Z","title_canon_sha256":"264ee7c6375390f3a2dd5a71620ac514f91ee4856c860fa0f38b7fab742c563d"},"schema_version":"1.0","source":{"id":"2411.14369","kind":"arxiv","version":1}},"canonical_sha256":"e37f1642456fd9acbb63ea0993d73f1454729aa759dc232a71fe282e143a4d60","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e37f1642456fd9acbb63ea0993d73f1454729aa759dc232a71fe282e143a4d60","first_computed_at":"2026-07-05T09:38:45.816074Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:38:45.816074Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Im5x//Bh6CAd84rHoGqqadYDa7ZX1H3CWOhJrmSw0G8kOj6dJlREutLjfx/nFKgiiAFZAMNEahp/EHI16+wVCA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:38:45.816631Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.14369","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:09bd15e5b6f37223c1811b36050a659372f0667e16c62aeecc2e5a5fef2a95b6","sha256:c6f29480fe5532f40da494c2abfe08a86c4c6e36fc8aa338930aa51dd5110038"],"state_sha256":"9dce74ed33ae665ddeef92638fc52883ea403791b090fbfd24e0e51b89062d26"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FbFWt1apu4B5JW/oQaFIyva+SysZT4x3PdbI/DNpS+uOACrifG1bM+lMgXYAYXJ51oEQArM0L/rQR9eTLIAhBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T15:51:54.509316Z","bundle_sha256":"6b70cbed5b6e8fa7932cef0e3ca36e372952875cb2faeefd800bbb2ae3ad0f0f"}}