{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:AUZLN3OALMAKUHWBNJ2GEOQUTI","short_pith_number":"pith:AUZLN3OA","canonical_record":{"source":{"id":"2005.14703","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-05-29T17:44:09Z","cross_cats_sorted":["astro-ph.IM"],"title_canon_sha256":"f36ff5a779c6ea24b78bab87e88f299dc14da0290824655614f8e6d0764177fc","abstract_canon_sha256":"ec27125e17b8c9e4d0de1769dac8ef69288ec20d01124905fdb4be3330673a3f"},"schema_version":"1.0"},"canonical_sha256":"0532b6edc05b00aa1ec16a74623a149a29567197865126a7c47bceff2657cb09","source":{"kind":"arxiv","id":"2005.14703","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.14703","created_at":"2026-07-05T01:06:39Z"},{"alias_kind":"arxiv_version","alias_value":"2005.14703v1","created_at":"2026-07-05T01:06:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.14703","created_at":"2026-07-05T01:06:39Z"},{"alias_kind":"pith_short_12","alias_value":"AUZLN3OALMAK","created_at":"2026-07-05T01:06:39Z"},{"alias_kind":"pith_short_16","alias_value":"AUZLN3OALMAKUHWB","created_at":"2026-07-05T01:06:39Z"},{"alias_kind":"pith_short_8","alias_value":"AUZLN3OA","created_at":"2026-07-05T01:06:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:AUZLN3OALMAKUHWBNJ2GEOQUTI","target":"record","payload":{"canonical_record":{"source":{"id":"2005.14703","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-05-29T17:44:09Z","cross_cats_sorted":["astro-ph.IM"],"title_canon_sha256":"f36ff5a779c6ea24b78bab87e88f299dc14da0290824655614f8e6d0764177fc","abstract_canon_sha256":"ec27125e17b8c9e4d0de1769dac8ef69288ec20d01124905fdb4be3330673a3f"},"schema_version":"1.0"},"canonical_sha256":"0532b6edc05b00aa1ec16a74623a149a29567197865126a7c47bceff2657cb09","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:06:39.282906Z","signature_b64":"4l+Pbnbua7eFDZx0VZ4nces6WbAozgl9sq4rxlFmhzk61tLgRG2XncZkdoDgbt1DtdQkYu7+iD2i0if/t8lCBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0532b6edc05b00aa1ec16a74623a149a29567197865126a7c47bceff2657cb09","last_reissued_at":"2026-07-05T01:06:39.282490Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:06:39.282490Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2005.14703","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-05T01:06:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bSCMIJ2la47jhICU2iPBvXRYBbxlWiQNPoY1tHMyjwZIgHw4E9F5XG1Ca6TTYpVQWDyZQpMrXAOnkAiLPxXDAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T03:13:05.714867Z"},"content_sha256":"bf5eb741e4e5f7da80030a7b212f34e902debe93dd15d272fd122e71beef08e4","schema_version":"1.0","event_id":"sha256:bf5eb741e4e5f7da80030a7b212f34e902debe93dd15d272fd122e71beef08e4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:AUZLN3OALMAKUHWBNJ2GEOQUTI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Data-Driven Convergence Prediction of Astrobots Swarms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["astro-ph.IM"],"primary_cat":"cs.RO","authors_text":"Denis Gillet, Francesco Basciani, Jean-Paul Kneib, Matin Macktoobian","submitted_at":"2020-05-29T17:44:09Z","abstract_excerpt":"Astrobots are robotic artifacts whose swarms are used in astrophysical studies to generate the map of the observable universe. These swarms have to be coordinated with respect to various desired observations. Such coordination are so complicated that distributed swarm controllers cannot always coordinate enough astrobots to fulfill the minimum data desired to be obtained in the course of observations. Thus, a convergence verification is necessary to check the suitability of a coordination before its execution. However, a formal verification method does not exist for this purpose. In this paper"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.14703","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/2005.14703/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-05T01:06:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"86yzJZc7dqg/21pCtwJ4rSMxyFZk5QXXScXf8/qhGNE3XrHj+Zg4qnQ42mHDWeCU+tTaMX63Ll4PVQI8Q4GxCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T03:13:05.715405Z"},"content_sha256":"57fda60f2b09743fd490b4d143aeb78ec716e1dd6d770a8cc7dd17a390c9ce29","schema_version":"1.0","event_id":"sha256:57fda60f2b09743fd490b4d143aeb78ec716e1dd6d770a8cc7dd17a390c9ce29"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AUZLN3OALMAKUHWBNJ2GEOQUTI/bundle.json","state_url":"https://pith.science/pith/AUZLN3OALMAKUHWBNJ2GEOQUTI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AUZLN3OALMAKUHWBNJ2GEOQUTI/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-10T03:13:05Z","links":{"resolver":"https://pith.science/pith/AUZLN3OALMAKUHWBNJ2GEOQUTI","bundle":"https://pith.science/pith/AUZLN3OALMAKUHWBNJ2GEOQUTI/bundle.json","state":"https://pith.science/pith/AUZLN3OALMAKUHWBNJ2GEOQUTI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AUZLN3OALMAKUHWBNJ2GEOQUTI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:AUZLN3OALMAKUHWBNJ2GEOQUTI","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":"ec27125e17b8c9e4d0de1769dac8ef69288ec20d01124905fdb4be3330673a3f","cross_cats_sorted":["astro-ph.IM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-05-29T17:44:09Z","title_canon_sha256":"f36ff5a779c6ea24b78bab87e88f299dc14da0290824655614f8e6d0764177fc"},"schema_version":"1.0","source":{"id":"2005.14703","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.14703","created_at":"2026-07-05T01:06:39Z"},{"alias_kind":"arxiv_version","alias_value":"2005.14703v1","created_at":"2026-07-05T01:06:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.14703","created_at":"2026-07-05T01:06:39Z"},{"alias_kind":"pith_short_12","alias_value":"AUZLN3OALMAK","created_at":"2026-07-05T01:06:39Z"},{"alias_kind":"pith_short_16","alias_value":"AUZLN3OALMAKUHWB","created_at":"2026-07-05T01:06:39Z"},{"alias_kind":"pith_short_8","alias_value":"AUZLN3OA","created_at":"2026-07-05T01:06:39Z"}],"graph_snapshots":[{"event_id":"sha256:57fda60f2b09743fd490b4d143aeb78ec716e1dd6d770a8cc7dd17a390c9ce29","target":"graph","created_at":"2026-07-05T01:06:39Z","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/2005.14703/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Astrobots are robotic artifacts whose swarms are used in astrophysical studies to generate the map of the observable universe. These swarms have to be coordinated with respect to various desired observations. Such coordination are so complicated that distributed swarm controllers cannot always coordinate enough astrobots to fulfill the minimum data desired to be obtained in the course of observations. Thus, a convergence verification is necessary to check the suitability of a coordination before its execution. However, a formal verification method does not exist for this purpose. In this paper","authors_text":"Denis Gillet, Francesco Basciani, Jean-Paul Kneib, Matin Macktoobian","cross_cats":["astro-ph.IM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-05-29T17:44:09Z","title":"Data-Driven Convergence Prediction of Astrobots Swarms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.14703","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:bf5eb741e4e5f7da80030a7b212f34e902debe93dd15d272fd122e71beef08e4","target":"record","created_at":"2026-07-05T01:06:39Z","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":"ec27125e17b8c9e4d0de1769dac8ef69288ec20d01124905fdb4be3330673a3f","cross_cats_sorted":["astro-ph.IM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2020-05-29T17:44:09Z","title_canon_sha256":"f36ff5a779c6ea24b78bab87e88f299dc14da0290824655614f8e6d0764177fc"},"schema_version":"1.0","source":{"id":"2005.14703","kind":"arxiv","version":1}},"canonical_sha256":"0532b6edc05b00aa1ec16a74623a149a29567197865126a7c47bceff2657cb09","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0532b6edc05b00aa1ec16a74623a149a29567197865126a7c47bceff2657cb09","first_computed_at":"2026-07-05T01:06:39.282490Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:06:39.282490Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4l+Pbnbua7eFDZx0VZ4nces6WbAozgl9sq4rxlFmhzk61tLgRG2XncZkdoDgbt1DtdQkYu7+iD2i0if/t8lCBg==","signature_status":"signed_v1","signed_at":"2026-07-05T01:06:39.282906Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.14703","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bf5eb741e4e5f7da80030a7b212f34e902debe93dd15d272fd122e71beef08e4","sha256:57fda60f2b09743fd490b4d143aeb78ec716e1dd6d770a8cc7dd17a390c9ce29"],"state_sha256":"6b53e190736b5e93f593250da8e2381c8f3e1c2c49f74b5bde4aed18b7f08322"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a/KcbZ/RYkEcq5Sd8oWpjRcxj0vd11ZpmDVX9wFZL5SXaSE81TGT3bUnjnlJSd1Gglld++gNqdTZI7I/E5P1Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T03:13:05.720961Z","bundle_sha256":"6246cf28294f343b4c0046071bbb1e72e3b5cf79240c1622aa7cb4d841529eda"}}