{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:WCNLVFK64RDEICDDEA4AWHTIUN","short_pith_number":"pith:WCNLVFK6","canonical_record":{"source":{"id":"1705.01888","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-05-04T16:00:42Z","cross_cats_sorted":[],"title_canon_sha256":"ee598eaf0e416a9bd660de0d5d8cd2604e92b749645643e66757deea76520978","abstract_canon_sha256":"4433daa91381ea0ae5689d10e9d9a752e89da2c2ca4681e83499a8eee044ad80"},"schema_version":"1.0"},"canonical_sha256":"b09aba955ee44644086320380b1e68a36be38cf5fedba688d115abe52a30c2b8","source":{"kind":"arxiv","id":"1705.01888","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.01888","created_at":"2026-05-17T23:48:34Z"},{"alias_kind":"arxiv_version","alias_value":"1705.01888v4","created_at":"2026-05-17T23:48:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.01888","created_at":"2026-05-17T23:48:34Z"},{"alias_kind":"pith_short_12","alias_value":"WCNLVFK64RDE","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"WCNLVFK64RDEICDD","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"WCNLVFK6","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:WCNLVFK64RDEICDDEA4AWHTIUN","target":"record","payload":{"canonical_record":{"source":{"id":"1705.01888","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-05-04T16:00:42Z","cross_cats_sorted":[],"title_canon_sha256":"ee598eaf0e416a9bd660de0d5d8cd2604e92b749645643e66757deea76520978","abstract_canon_sha256":"4433daa91381ea0ae5689d10e9d9a752e89da2c2ca4681e83499a8eee044ad80"},"schema_version":"1.0"},"canonical_sha256":"b09aba955ee44644086320380b1e68a36be38cf5fedba688d115abe52a30c2b8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:34.615223Z","signature_b64":"Gi+Y16uugKKXqpLzox6OqFaFwAq4xkPyNskz/3yETXZ6JF2955AMAJ1Y7CGofRLTLVbRN6eQkszIfUlm+/yDDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b09aba955ee44644086320380b1e68a36be38cf5fedba688d115abe52a30c2b8","last_reissued_at":"2026-05-17T23:48:34.614563Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:34.614563Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.01888","source_version":4,"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-17T23:48:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z9BICOu0MUPugx+PSd5sdCwO0D077rJr/R4W59WtB/3bVJ/ttVetv/mhfPR/NxPvGwJrOZBMwW1/YQdSccfaDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T10:09:59.977794Z"},"content_sha256":"19cdfe6c7e605b5da1f1c709488cb6ef250b22a74128ae7b0217af049e70b049","schema_version":"1.0","event_id":"sha256:19cdfe6c7e605b5da1f1c709488cb6ef250b22a74128ae7b0217af049e70b049"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:WCNLVFK64RDEICDDEA4AWHTIUN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coherent extension of partial automorphisms, free amalgamation, and automorphism groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"Daoud Siniora, S{\\l}awomir Solecki","submitted_at":"2017-05-04T16:00:42Z","abstract_excerpt":"We give strengthened versions of the Herwig-Lascar and Hodkinson-Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinatorial and group-theoretic consequences for homogeneous structures. For instance, we establish a coherent form of the extension property for partial automorphisms for certain Fraisse classes. We deduce from these results that the isometry group of the rational Urysohn space, the automorphism group of the Fraisse limit of any Fraisse class that is the class of all $\\mathcal{F}$-free structures (in the Herwig--Lascar sen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.01888","kind":"arxiv","version":4},"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-17T23:48:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MRmrpFXds6uPBcqy/M/fH2w3T+Ai5WWXO4aciYCiFsBWTEmJ+dv/a5MQtLjLJUTPKSr/VatUcAcjnlHt2s8EAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T10:09:59.978140Z"},"content_sha256":"c244516ebd54889f2c0b9371e3b371ced4fa3d7c8e60147df9fb64acda3dd89f","schema_version":"1.0","event_id":"sha256:c244516ebd54889f2c0b9371e3b371ced4fa3d7c8e60147df9fb64acda3dd89f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WCNLVFK64RDEICDDEA4AWHTIUN/bundle.json","state_url":"https://pith.science/pith/WCNLVFK64RDEICDDEA4AWHTIUN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WCNLVFK64RDEICDDEA4AWHTIUN/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-06-23T10:09:59Z","links":{"resolver":"https://pith.science/pith/WCNLVFK64RDEICDDEA4AWHTIUN","bundle":"https://pith.science/pith/WCNLVFK64RDEICDDEA4AWHTIUN/bundle.json","state":"https://pith.science/pith/WCNLVFK64RDEICDDEA4AWHTIUN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WCNLVFK64RDEICDDEA4AWHTIUN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:WCNLVFK64RDEICDDEA4AWHTIUN","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":"4433daa91381ea0ae5689d10e9d9a752e89da2c2ca4681e83499a8eee044ad80","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-05-04T16:00:42Z","title_canon_sha256":"ee598eaf0e416a9bd660de0d5d8cd2604e92b749645643e66757deea76520978"},"schema_version":"1.0","source":{"id":"1705.01888","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.01888","created_at":"2026-05-17T23:48:34Z"},{"alias_kind":"arxiv_version","alias_value":"1705.01888v4","created_at":"2026-05-17T23:48:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.01888","created_at":"2026-05-17T23:48:34Z"},{"alias_kind":"pith_short_12","alias_value":"WCNLVFK64RDE","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"WCNLVFK64RDEICDD","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"WCNLVFK6","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:c244516ebd54889f2c0b9371e3b371ced4fa3d7c8e60147df9fb64acda3dd89f","target":"graph","created_at":"2026-05-17T23:48:34Z","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":"We give strengthened versions of the Herwig-Lascar and Hodkinson-Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinatorial and group-theoretic consequences for homogeneous structures. For instance, we establish a coherent form of the extension property for partial automorphisms for certain Fraisse classes. We deduce from these results that the isometry group of the rational Urysohn space, the automorphism group of the Fraisse limit of any Fraisse class that is the class of all $\\mathcal{F}$-free structures (in the Herwig--Lascar sen","authors_text":"Daoud Siniora, S{\\l}awomir Solecki","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-05-04T16:00:42Z","title":"Coherent extension of partial automorphisms, free amalgamation, and automorphism groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.01888","kind":"arxiv","version":4},"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:19cdfe6c7e605b5da1f1c709488cb6ef250b22a74128ae7b0217af049e70b049","target":"record","created_at":"2026-05-17T23:48:34Z","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":"4433daa91381ea0ae5689d10e9d9a752e89da2c2ca4681e83499a8eee044ad80","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2017-05-04T16:00:42Z","title_canon_sha256":"ee598eaf0e416a9bd660de0d5d8cd2604e92b749645643e66757deea76520978"},"schema_version":"1.0","source":{"id":"1705.01888","kind":"arxiv","version":4}},"canonical_sha256":"b09aba955ee44644086320380b1e68a36be38cf5fedba688d115abe52a30c2b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b09aba955ee44644086320380b1e68a36be38cf5fedba688d115abe52a30c2b8","first_computed_at":"2026-05-17T23:48:34.614563Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:34.614563Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Gi+Y16uugKKXqpLzox6OqFaFwAq4xkPyNskz/3yETXZ6JF2955AMAJ1Y7CGofRLTLVbRN6eQkszIfUlm+/yDDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:34.615223Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.01888","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19cdfe6c7e605b5da1f1c709488cb6ef250b22a74128ae7b0217af049e70b049","sha256:c244516ebd54889f2c0b9371e3b371ced4fa3d7c8e60147df9fb64acda3dd89f"],"state_sha256":"81d547e4eaaeb3f4a703a4de0848b3ad575a7be8b2f42ea78e6a0076cc1c642b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UEy6NO+dX1i+kMnyofnIOtOuY9cZ+BUIUbSScMV5e4qvYZYozzwTrrh986vcRMXak4aISCWKIVeKq7YPt1G0DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T10:09:59.980151Z","bundle_sha256":"34ab4d4744b5dc29483d01245abf40f648e67ca9328b1d9ebaef9d902fb55763"}}