{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:UHWE27MSBTEFM75A6TM5DIHWSP","short_pith_number":"pith:UHWE27MS","canonical_record":{"source":{"id":"1305.3097","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-05-14T10:31:32Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"7e8cc9a9da19da0c52ff5d1d2124ae2bdb1eafdbac0fd16c084ce59673275355","abstract_canon_sha256":"60b42b10fda1d59244b9f0033c654140f375b044ec6f7274eab963671d72fefc"},"schema_version":"1.0"},"canonical_sha256":"a1ec4d7d920cc8567fa0f4d9d1a0f693dec3a2985125723b798d821c61bd08b6","source":{"kind":"arxiv","id":"1305.3097","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.3097","created_at":"2026-05-18T01:21:49Z"},{"alias_kind":"arxiv_version","alias_value":"1305.3097v3","created_at":"2026-05-18T01:21:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.3097","created_at":"2026-05-18T01:21:49Z"},{"alias_kind":"pith_short_12","alias_value":"UHWE27MSBTEF","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"UHWE27MSBTEFM75A","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"UHWE27MS","created_at":"2026-05-18T12:28:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:UHWE27MSBTEFM75A6TM5DIHWSP","target":"record","payload":{"canonical_record":{"source":{"id":"1305.3097","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-05-14T10:31:32Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"7e8cc9a9da19da0c52ff5d1d2124ae2bdb1eafdbac0fd16c084ce59673275355","abstract_canon_sha256":"60b42b10fda1d59244b9f0033c654140f375b044ec6f7274eab963671d72fefc"},"schema_version":"1.0"},"canonical_sha256":"a1ec4d7d920cc8567fa0f4d9d1a0f693dec3a2985125723b798d821c61bd08b6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:21:49.565485Z","signature_b64":"AkbJjxZAt5AVM50hK3aSJCw0AVMZ0L3gupe+W8hbjRqzxRENksp197fsWlieaHrv41RRWpGv2bkkC2QNl5SRDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a1ec4d7d920cc8567fa0f4d9d1a0f693dec3a2985125723b798d821c61bd08b6","last_reissued_at":"2026-05-18T01:21:49.564818Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:21:49.564818Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1305.3097","source_version":3,"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:21:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L2HTkMFhn2mbNASD8cgcSxIg9L7ujdGhmma1xBhBVdcrOBLIKH/T/zc02+dFjDrMtYvV/m+bzXFZ89jP214rCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T16:00:17.161636Z"},"content_sha256":"88cf42d0f5523dc1681d307e94221692146165ac933b3efb53212d971fda7a4c","schema_version":"1.0","event_id":"sha256:88cf42d0f5523dc1681d307e94221692146165ac933b3efb53212d971fda7a4c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:UHWE27MSBTEFM75A6TM5DIHWSP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Limit laws and automorphism groups of random nonrigid structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.LO","authors_text":"Ove Ahlman, Vera Koponen","submitted_at":"2013-05-14T10:31:32Z","abstract_excerpt":"A systematic study is made, for an arbitrary finite relational language with at least one symbol of arity at least 2, of classes of nonrigid finite structures. The well known results that almost all finite structures are rigid and that the class of finite structures has a zero-one law are, in the present context, the first layer in a hierarchy of classes of finite structures with increasingly more complex automorphism groups. Such a hierarchy can be defined in more than one way. For example, the $k$th level of the hierarchy can consist of all structures having at least $k$ elements which are m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.3097","kind":"arxiv","version":3},"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:21:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wpI6QpcINOSkIVw/JqqiPf6xWFuHJu+74RtWb9eaab94baCbZGfxlJfNXYX9S+nm55Y+Ps6Av3nyi2Phr8PWBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T16:00:17.162188Z"},"content_sha256":"cbacee108c1b157d68f70b67698b79049f0c30c515730314da39a97477ed7863","schema_version":"1.0","event_id":"sha256:cbacee108c1b157d68f70b67698b79049f0c30c515730314da39a97477ed7863"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UHWE27MSBTEFM75A6TM5DIHWSP/bundle.json","state_url":"https://pith.science/pith/UHWE27MSBTEFM75A6TM5DIHWSP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UHWE27MSBTEFM75A6TM5DIHWSP/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-24T16:00:17Z","links":{"resolver":"https://pith.science/pith/UHWE27MSBTEFM75A6TM5DIHWSP","bundle":"https://pith.science/pith/UHWE27MSBTEFM75A6TM5DIHWSP/bundle.json","state":"https://pith.science/pith/UHWE27MSBTEFM75A6TM5DIHWSP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UHWE27MSBTEFM75A6TM5DIHWSP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:UHWE27MSBTEFM75A6TM5DIHWSP","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":"60b42b10fda1d59244b9f0033c654140f375b044ec6f7274eab963671d72fefc","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-05-14T10:31:32Z","title_canon_sha256":"7e8cc9a9da19da0c52ff5d1d2124ae2bdb1eafdbac0fd16c084ce59673275355"},"schema_version":"1.0","source":{"id":"1305.3097","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1305.3097","created_at":"2026-05-18T01:21:49Z"},{"alias_kind":"arxiv_version","alias_value":"1305.3097v3","created_at":"2026-05-18T01:21:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.3097","created_at":"2026-05-18T01:21:49Z"},{"alias_kind":"pith_short_12","alias_value":"UHWE27MSBTEF","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"UHWE27MSBTEFM75A","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"UHWE27MS","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:cbacee108c1b157d68f70b67698b79049f0c30c515730314da39a97477ed7863","target":"graph","created_at":"2026-05-18T01:21:49Z","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 systematic study is made, for an arbitrary finite relational language with at least one symbol of arity at least 2, of classes of nonrigid finite structures. The well known results that almost all finite structures are rigid and that the class of finite structures has a zero-one law are, in the present context, the first layer in a hierarchy of classes of finite structures with increasingly more complex automorphism groups. Such a hierarchy can be defined in more than one way. For example, the $k$th level of the hierarchy can consist of all structures having at least $k$ elements which are m","authors_text":"Ove Ahlman, Vera Koponen","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-05-14T10:31:32Z","title":"Limit laws and automorphism groups of random nonrigid structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.3097","kind":"arxiv","version":3},"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:88cf42d0f5523dc1681d307e94221692146165ac933b3efb53212d971fda7a4c","target":"record","created_at":"2026-05-18T01:21:49Z","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":"60b42b10fda1d59244b9f0033c654140f375b044ec6f7274eab963671d72fefc","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2013-05-14T10:31:32Z","title_canon_sha256":"7e8cc9a9da19da0c52ff5d1d2124ae2bdb1eafdbac0fd16c084ce59673275355"},"schema_version":"1.0","source":{"id":"1305.3097","kind":"arxiv","version":3}},"canonical_sha256":"a1ec4d7d920cc8567fa0f4d9d1a0f693dec3a2985125723b798d821c61bd08b6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1ec4d7d920cc8567fa0f4d9d1a0f693dec3a2985125723b798d821c61bd08b6","first_computed_at":"2026-05-18T01:21:49.564818Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:21:49.564818Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AkbJjxZAt5AVM50hK3aSJCw0AVMZ0L3gupe+W8hbjRqzxRENksp197fsWlieaHrv41RRWpGv2bkkC2QNl5SRDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:21:49.565485Z","signed_message":"canonical_sha256_bytes"},"source_id":"1305.3097","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:88cf42d0f5523dc1681d307e94221692146165ac933b3efb53212d971fda7a4c","sha256:cbacee108c1b157d68f70b67698b79049f0c30c515730314da39a97477ed7863"],"state_sha256":"73fea4cf2cb3821e057e371f8570fbbec8d88069c9b521a583c4e0add006af5b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t7FGh5jenL6S0RMTfsD+Vw/WMfl+82UktNxMACczvz0UvLj0/UakcDtcfmEiDMof85PQ7J/yG+HjMnbsbnZ5Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T16:00:17.165175Z","bundle_sha256":"5d0d882759ca9d275a1726625da2f7daa5e998db04a9081142728b808ce4b5f7"}}