{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:URYTKOVN4YLWLXTHCTWWTJPNVX","short_pith_number":"pith:URYTKOVN","canonical_record":{"source":{"id":"1405.4368","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-05-17T08:43:38Z","cross_cats_sorted":["math.CO","math.LO"],"title_canon_sha256":"27bbaecb5af7578d19919ba3f13bb868decda07481685e7bc61fcd0e2456dd07","abstract_canon_sha256":"f8b9362d40332ece5b1418305c5a75dd9e381bc3a16f3b8520f2d5ea214cc8cd"},"schema_version":"1.0"},"canonical_sha256":"a471353aade61765de6714ed69a5edadd204b177510933f10fd3b373dd3a0a51","source":{"kind":"arxiv","id":"1405.4368","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.4368","created_at":"2026-05-18T00:51:07Z"},{"alias_kind":"arxiv_version","alias_value":"1405.4368v2","created_at":"2026-05-18T00:51:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.4368","created_at":"2026-05-18T00:51:07Z"},{"alias_kind":"pith_short_12","alias_value":"URYTKOVN4YLW","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"URYTKOVN4YLWLXTH","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"URYTKOVN","created_at":"2026-05-18T12:28:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:URYTKOVN4YLWLXTHCTWWTJPNVX","target":"record","payload":{"canonical_record":{"source":{"id":"1405.4368","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-05-17T08:43:38Z","cross_cats_sorted":["math.CO","math.LO"],"title_canon_sha256":"27bbaecb5af7578d19919ba3f13bb868decda07481685e7bc61fcd0e2456dd07","abstract_canon_sha256":"f8b9362d40332ece5b1418305c5a75dd9e381bc3a16f3b8520f2d5ea214cc8cd"},"schema_version":"1.0"},"canonical_sha256":"a471353aade61765de6714ed69a5edadd204b177510933f10fd3b373dd3a0a51","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:07.683630Z","signature_b64":"YsKFQ2ISMgQL1VzMEHChHsPnpVEEK84U8IvhqHsoAAPEnquup7T/wA5O0jtQVrjxX3Pa3E3oG+03C4eq0bCjBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a471353aade61765de6714ed69a5edadd204b177510933f10fd3b373dd3a0a51","last_reissued_at":"2026-05-18T00:51:07.683181Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:07.683181Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.4368","source_version":2,"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-18T00:51:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a2aZKC8tcV6E1TGU3qFSga1RfBUn1IFRx2E/z4t78DgoiR4WbwTj22daV/kqIjgRqqUT83rhwP8XT06+WkzIDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T05:26:32.166438Z"},"content_sha256":"885b249824cd36b6abcab96ef8663007a4d7e32bf6737479fbc78c5531e023cd","schema_version":"1.0","event_id":"sha256:885b249824cd36b6abcab96ef8663007a4d7e32bf6737479fbc78c5531e023cd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:URYTKOVN4YLWLXTHCTWWTJPNVX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Undecidability and the developability of permutoids and rigid pseudogroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO","math.LO"],"primary_cat":"math.GR","authors_text":"Henry Wilton, Martin R. Bridson","submitted_at":"2014-05-17T08:43:38Z","abstract_excerpt":"A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that determines whether or not a finite permutoid based on a finite set can be completed to a finite permutation group, and he related this problem to the study of groups that have no non-trivial finite quotients. This note explains how our recent work on the profinite triviality problem for finitely presented groups can be used to prove Cameron's conjecture. We als"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.4368","kind":"arxiv","version":2},"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-18T00:51:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tRZdQTTM3j2SXYLFjZHvTpXj5RPzLnucZ1XSlgiBsMUcbzNVjFQ4KN/il4nW2FPP4qmy+DKD3Lp6i5FkB9pCCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T05:26:32.166779Z"},"content_sha256":"e6e9452d05086f97c0c6afd45518e7b460ff2bd37c82d276061e5d190b6d8698","schema_version":"1.0","event_id":"sha256:e6e9452d05086f97c0c6afd45518e7b460ff2bd37c82d276061e5d190b6d8698"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/URYTKOVN4YLWLXTHCTWWTJPNVX/bundle.json","state_url":"https://pith.science/pith/URYTKOVN4YLWLXTHCTWWTJPNVX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/URYTKOVN4YLWLXTHCTWWTJPNVX/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-01T05:26:32Z","links":{"resolver":"https://pith.science/pith/URYTKOVN4YLWLXTHCTWWTJPNVX","bundle":"https://pith.science/pith/URYTKOVN4YLWLXTHCTWWTJPNVX/bundle.json","state":"https://pith.science/pith/URYTKOVN4YLWLXTHCTWWTJPNVX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/URYTKOVN4YLWLXTHCTWWTJPNVX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:URYTKOVN4YLWLXTHCTWWTJPNVX","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":"f8b9362d40332ece5b1418305c5a75dd9e381bc3a16f3b8520f2d5ea214cc8cd","cross_cats_sorted":["math.CO","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-05-17T08:43:38Z","title_canon_sha256":"27bbaecb5af7578d19919ba3f13bb868decda07481685e7bc61fcd0e2456dd07"},"schema_version":"1.0","source":{"id":"1405.4368","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.4368","created_at":"2026-05-18T00:51:07Z"},{"alias_kind":"arxiv_version","alias_value":"1405.4368v2","created_at":"2026-05-18T00:51:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.4368","created_at":"2026-05-18T00:51:07Z"},{"alias_kind":"pith_short_12","alias_value":"URYTKOVN4YLW","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"URYTKOVN4YLWLXTH","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"URYTKOVN","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:e6e9452d05086f97c0c6afd45518e7b460ff2bd37c82d276061e5d190b6d8698","target":"graph","created_at":"2026-05-18T00:51:07Z","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":"A permutoid is a set of partial permutations that contains the identity and is such that partial compositions, when defined, have at most one extension in the set. In 2004 Peter Cameron conjectured that there can exist no algorithm that determines whether or not a finite permutoid based on a finite set can be completed to a finite permutation group, and he related this problem to the study of groups that have no non-trivial finite quotients. This note explains how our recent work on the profinite triviality problem for finitely presented groups can be used to prove Cameron's conjecture. We als","authors_text":"Henry Wilton, Martin R. Bridson","cross_cats":["math.CO","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-05-17T08:43:38Z","title":"Undecidability and the developability of permutoids and rigid pseudogroups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.4368","kind":"arxiv","version":2},"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:885b249824cd36b6abcab96ef8663007a4d7e32bf6737479fbc78c5531e023cd","target":"record","created_at":"2026-05-18T00:51:07Z","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":"f8b9362d40332ece5b1418305c5a75dd9e381bc3a16f3b8520f2d5ea214cc8cd","cross_cats_sorted":["math.CO","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-05-17T08:43:38Z","title_canon_sha256":"27bbaecb5af7578d19919ba3f13bb868decda07481685e7bc61fcd0e2456dd07"},"schema_version":"1.0","source":{"id":"1405.4368","kind":"arxiv","version":2}},"canonical_sha256":"a471353aade61765de6714ed69a5edadd204b177510933f10fd3b373dd3a0a51","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a471353aade61765de6714ed69a5edadd204b177510933f10fd3b373dd3a0a51","first_computed_at":"2026-05-18T00:51:07.683181Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:07.683181Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YsKFQ2ISMgQL1VzMEHChHsPnpVEEK84U8IvhqHsoAAPEnquup7T/wA5O0jtQVrjxX3Pa3E3oG+03C4eq0bCjBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:07.683630Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.4368","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:885b249824cd36b6abcab96ef8663007a4d7e32bf6737479fbc78c5531e023cd","sha256:e6e9452d05086f97c0c6afd45518e7b460ff2bd37c82d276061e5d190b6d8698"],"state_sha256":"e9c16db6ca5c374cc5eee048c3f8174fda2a28598aa76e1972e7be7d50f852b4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bL7x2Gt0gVq+gHAPgtEJlYRR+pMxmI8oQEM9jUKc+ngKPhWuZ4OQvuMSpleWLjRguiEWpMeAQQUZkuhlL9flAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T05:26:32.168778Z","bundle_sha256":"fd1bade4a7eb9074339c6ad4c99eae1c8e5afff0dcd7b8da2b467d21ced2ce60"}}