{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:SX3QMDKCA6AXFOROXCPDDJR3VR","short_pith_number":"pith:SX3QMDKC","canonical_record":{"source":{"id":"1607.02963","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-07-08T05:36:27Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"99817a19723b63783df9f7761efd2c426f1c5865c927f93b4396e2f3cf54f52e","abstract_canon_sha256":"c8fccf81abc3f873bd81bc777627797696c1c018a6ffa22fd6ff1ca610b0ebd6"},"schema_version":"1.0"},"canonical_sha256":"95f7060d42078172ba2eb89e31a63bac7db8706007fb89719c1c676cbad8c07c","source":{"kind":"arxiv","id":"1607.02963","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.02963","created_at":"2026-05-18T01:11:14Z"},{"alias_kind":"arxiv_version","alias_value":"1607.02963v1","created_at":"2026-05-18T01:11:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.02963","created_at":"2026-05-18T01:11:14Z"},{"alias_kind":"pith_short_12","alias_value":"SX3QMDKCA6AX","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SX3QMDKCA6AXFORO","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SX3QMDKC","created_at":"2026-05-18T12:30:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:SX3QMDKCA6AXFOROXCPDDJR3VR","target":"record","payload":{"canonical_record":{"source":{"id":"1607.02963","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-07-08T05:36:27Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"99817a19723b63783df9f7761efd2c426f1c5865c927f93b4396e2f3cf54f52e","abstract_canon_sha256":"c8fccf81abc3f873bd81bc777627797696c1c018a6ffa22fd6ff1ca610b0ebd6"},"schema_version":"1.0"},"canonical_sha256":"95f7060d42078172ba2eb89e31a63bac7db8706007fb89719c1c676cbad8c07c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:14.286168Z","signature_b64":"l/S/DWt6ypnCJ3UuPZSY67XSCY308V8PcD+5fNmhIE+jg8yNnEioT7mf1wd5HsSSRtX35tu7Ht75V5lSMN+aCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"95f7060d42078172ba2eb89e31a63bac7db8706007fb89719c1c676cbad8c07c","last_reissued_at":"2026-05-18T01:11:14.285501Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:14.285501Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.02963","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-05-18T01:11:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xA6EWeJRhXAHuGZB+KaCEL1KAKV6tRaE0xi8vCPm25SzxDUzxh66tKPuT5AOPlnlaHKfxs38xeE4ZOhyrKfPCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T11:26:38.752698Z"},"content_sha256":"8afa1281f1b0e6c5f83f40dc9fdcdbcec9d9391b2d81bbeac78de17cbdca58c1","schema_version":"1.0","event_id":"sha256:8afa1281f1b0e6c5f83f40dc9fdcdbcec9d9391b2d81bbeac78de17cbdca58c1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:SX3QMDKCA6AXFOROXCPDDJR3VR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modelling movement for collective adaptive systems with CARMA","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.MA","authors_text":"Natalia Zo\\'n, Stephen Gilmore, Vashti Galpin","submitted_at":"2016-07-08T05:36:27Z","abstract_excerpt":"Space and movement through space play an important role in many  collective adaptive systems (CAS). CAS consist of multiple components  interacting to achieve some goal in a system or environment that can  change over time. When these components operate in space, then their  behaviour can be affected by where they are located in that space.  Examples include the possibility of communication between two components  located at different points, and rates of movement of a component  that may be affected by location. The CARMA language and its associated  software tools can be used to model such s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.02963","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":""},"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-05-18T01:11:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r0x8EbfPMggKb2noG97Nv9I7x9vNmu9xr9yic0tGo6aLrroYBoljJZDwSwc+aOkyzEfEk28AKqMM/7/411AAAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T11:26:38.753304Z"},"content_sha256":"321158e87a04f27018fbd5986e73dbd502b60e3c7d0d7590943cfae4215282b8","schema_version":"1.0","event_id":"sha256:321158e87a04f27018fbd5986e73dbd502b60e3c7d0d7590943cfae4215282b8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SX3QMDKCA6AXFOROXCPDDJR3VR/bundle.json","state_url":"https://pith.science/pith/SX3QMDKCA6AXFOROXCPDDJR3VR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SX3QMDKCA6AXFOROXCPDDJR3VR/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-05-28T11:26:38Z","links":{"resolver":"https://pith.science/pith/SX3QMDKCA6AXFOROXCPDDJR3VR","bundle":"https://pith.science/pith/SX3QMDKCA6AXFOROXCPDDJR3VR/bundle.json","state":"https://pith.science/pith/SX3QMDKCA6AXFOROXCPDDJR3VR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SX3QMDKCA6AXFOROXCPDDJR3VR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:SX3QMDKCA6AXFOROXCPDDJR3VR","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":"c8fccf81abc3f873bd81bc777627797696c1c018a6ffa22fd6ff1ca610b0ebd6","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-07-08T05:36:27Z","title_canon_sha256":"99817a19723b63783df9f7761efd2c426f1c5865c927f93b4396e2f3cf54f52e"},"schema_version":"1.0","source":{"id":"1607.02963","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.02963","created_at":"2026-05-18T01:11:14Z"},{"alias_kind":"arxiv_version","alias_value":"1607.02963v1","created_at":"2026-05-18T01:11:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.02963","created_at":"2026-05-18T01:11:14Z"},{"alias_kind":"pith_short_12","alias_value":"SX3QMDKCA6AX","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"SX3QMDKCA6AXFORO","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"SX3QMDKC","created_at":"2026-05-18T12:30:44Z"}],"graph_snapshots":[{"event_id":"sha256:321158e87a04f27018fbd5986e73dbd502b60e3c7d0d7590943cfae4215282b8","target":"graph","created_at":"2026-05-18T01:11:14Z","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"},"paper":{"abstract_excerpt":"Space and movement through space play an important role in many  collective adaptive systems (CAS). CAS consist of multiple components  interacting to achieve some goal in a system or environment that can  change over time. When these components operate in space, then their  behaviour can be affected by where they are located in that space.  Examples include the possibility of communication between two components  located at different points, and rates of movement of a component  that may be affected by location. The CARMA language and its associated  software tools can be used to model such s","authors_text":"Natalia Zo\\'n, Stephen Gilmore, Vashti Galpin","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-07-08T05:36:27Z","title":"Modelling movement for collective adaptive systems with CARMA"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.02963","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:8afa1281f1b0e6c5f83f40dc9fdcdbcec9d9391b2d81bbeac78de17cbdca58c1","target":"record","created_at":"2026-05-18T01:11:14Z","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":"c8fccf81abc3f873bd81bc777627797696c1c018a6ffa22fd6ff1ca610b0ebd6","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2016-07-08T05:36:27Z","title_canon_sha256":"99817a19723b63783df9f7761efd2c426f1c5865c927f93b4396e2f3cf54f52e"},"schema_version":"1.0","source":{"id":"1607.02963","kind":"arxiv","version":1}},"canonical_sha256":"95f7060d42078172ba2eb89e31a63bac7db8706007fb89719c1c676cbad8c07c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"95f7060d42078172ba2eb89e31a63bac7db8706007fb89719c1c676cbad8c07c","first_computed_at":"2026-05-18T01:11:14.285501Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:14.285501Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"l/S/DWt6ypnCJ3UuPZSY67XSCY308V8PcD+5fNmhIE+jg8yNnEioT7mf1wd5HsSSRtX35tu7Ht75V5lSMN+aCg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:14.286168Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.02963","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8afa1281f1b0e6c5f83f40dc9fdcdbcec9d9391b2d81bbeac78de17cbdca58c1","sha256:321158e87a04f27018fbd5986e73dbd502b60e3c7d0d7590943cfae4215282b8"],"state_sha256":"f28acda0ebfd429a57f399089d5ff1e5313418b0cd142a80a7602d82ea9cde6a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rW9QSpIm7jidZn70nDFi4U3L7rlwXa9QhiTGzusVFisbAfIT4wRGGAlwdsJ3mlqBAJ4aJoRCZO1Vmwjj0iWSCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T11:26:38.756507Z","bundle_sha256":"cc41fdbbe18784da86c65133d73a04fe11bda470248b98f68e5891d130fdfccb"}}