{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:5DRKUATGRQGTCXBKLMHWO3UOE2","short_pith_number":"pith:5DRKUATG","canonical_record":{"source":{"id":"1204.0797","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-04-03T20:13:12Z","cross_cats_sorted":[],"title_canon_sha256":"8f5fd66078676032541d4308fd40f455e0db3ffa95aab07ea2c7ed22c7be339d","abstract_canon_sha256":"1740f17c4cc8a5e93d88283901dd87861c95e066157cf218f46ee3d363a23fd4"},"schema_version":"1.0"},"canonical_sha256":"e8e2aa02668c0d315c2a5b0f676e8e269b051049ee720a8ac6407a5bd08b52f1","source":{"kind":"arxiv","id":"1204.0797","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.0797","created_at":"2026-05-18T03:58:37Z"},{"alias_kind":"arxiv_version","alias_value":"1204.0797v1","created_at":"2026-05-18T03:58:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.0797","created_at":"2026-05-18T03:58:37Z"},{"alias_kind":"pith_short_12","alias_value":"5DRKUATGRQGT","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"5DRKUATGRQGTCXBK","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"5DRKUATG","created_at":"2026-05-18T12:26:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:5DRKUATGRQGTCXBKLMHWO3UOE2","target":"record","payload":{"canonical_record":{"source":{"id":"1204.0797","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-04-03T20:13:12Z","cross_cats_sorted":[],"title_canon_sha256":"8f5fd66078676032541d4308fd40f455e0db3ffa95aab07ea2c7ed22c7be339d","abstract_canon_sha256":"1740f17c4cc8a5e93d88283901dd87861c95e066157cf218f46ee3d363a23fd4"},"schema_version":"1.0"},"canonical_sha256":"e8e2aa02668c0d315c2a5b0f676e8e269b051049ee720a8ac6407a5bd08b52f1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:58:37.766447Z","signature_b64":"CVwU7/41hS6Rsfs2OAH84jI2eCewZv0gPkMtYxmyzaZEg//9Q0N7g774ote2164iMxcT4UGm2GYut3FSnKphBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e8e2aa02668c0d315c2a5b0f676e8e269b051049ee720a8ac6407a5bd08b52f1","last_reissued_at":"2026-05-18T03:58:37.765792Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:58:37.765792Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1204.0797","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-18T03:58:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VJWHeWp5bvwFrforZNQSMq1wy6HyZd5YNzpKmOPZ+Ar18c/r4L2sNuD22cLwoAbTdA5/FOabTGXgfeU/HAzUAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:51:55.970200Z"},"content_sha256":"d4e70d70e388836d0afdbe01ed83f218d235c7fd7be4d84443a4230b02fe1044","schema_version":"1.0","event_id":"sha256:d4e70d70e388836d0afdbe01ed83f218d235c7fd7be4d84443a4230b02fe1044"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:5DRKUATGRQGTCXBKLMHWO3UOE2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Combinatorial specification of permutation classes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Adeline Pierrot (LIAFA), Carine Pivoteau (LIGM), Dominique Rossin (LIX), Fr\\'ed\\'erique Bassino (LIPN), Mathilde Bouvel (LaBRI)","submitted_at":"2012-04-03T20:13:12Z","abstract_excerpt":"This article presents a methodology that automatically derives a combinatorial specification for the permutation class C = Av(B), given its basis B of excluded patterns and the set of simple permutations in C, when these sets are both finite. This is achieved considering both pattern avoidance and pattern containment constraints in permutations.The obtained specification yields a system of equations satisfied by the generating function of C, this system being always positiveand algebraic. It also yields a uniform random sampler of permutations in C. The method presentedis fully algorithmic."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.0797","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-18T03:58:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xBCLHvwrY3gfS0lBaGIabSj8vC4ZB2dqRTNeIAI6cC6bRGc7FKKViwTtUr+A6dzW5Hy507CysL7n7weiFlQGAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:51:55.970567Z"},"content_sha256":"bd3212e72b3a37e80b3c4d2c57c80c10816b73c68c0b57cd41f23d7f5bb1dd0b","schema_version":"1.0","event_id":"sha256:bd3212e72b3a37e80b3c4d2c57c80c10816b73c68c0b57cd41f23d7f5bb1dd0b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5DRKUATGRQGTCXBKLMHWO3UOE2/bundle.json","state_url":"https://pith.science/pith/5DRKUATGRQGTCXBKLMHWO3UOE2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5DRKUATGRQGTCXBKLMHWO3UOE2/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-03T14:51:55Z","links":{"resolver":"https://pith.science/pith/5DRKUATGRQGTCXBKLMHWO3UOE2","bundle":"https://pith.science/pith/5DRKUATGRQGTCXBKLMHWO3UOE2/bundle.json","state":"https://pith.science/pith/5DRKUATGRQGTCXBKLMHWO3UOE2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5DRKUATGRQGTCXBKLMHWO3UOE2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:5DRKUATGRQGTCXBKLMHWO3UOE2","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":"1740f17c4cc8a5e93d88283901dd87861c95e066157cf218f46ee3d363a23fd4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-04-03T20:13:12Z","title_canon_sha256":"8f5fd66078676032541d4308fd40f455e0db3ffa95aab07ea2c7ed22c7be339d"},"schema_version":"1.0","source":{"id":"1204.0797","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.0797","created_at":"2026-05-18T03:58:37Z"},{"alias_kind":"arxiv_version","alias_value":"1204.0797v1","created_at":"2026-05-18T03:58:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.0797","created_at":"2026-05-18T03:58:37Z"},{"alias_kind":"pith_short_12","alias_value":"5DRKUATGRQGT","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"5DRKUATGRQGTCXBK","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"5DRKUATG","created_at":"2026-05-18T12:26:53Z"}],"graph_snapshots":[{"event_id":"sha256:bd3212e72b3a37e80b3c4d2c57c80c10816b73c68c0b57cd41f23d7f5bb1dd0b","target":"graph","created_at":"2026-05-18T03:58:37Z","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":"This article presents a methodology that automatically derives a combinatorial specification for the permutation class C = Av(B), given its basis B of excluded patterns and the set of simple permutations in C, when these sets are both finite. This is achieved considering both pattern avoidance and pattern containment constraints in permutations.The obtained specification yields a system of equations satisfied by the generating function of C, this system being always positiveand algebraic. It also yields a uniform random sampler of permutations in C. The method presentedis fully algorithmic.","authors_text":"Adeline Pierrot (LIAFA), Carine Pivoteau (LIGM), Dominique Rossin (LIX), Fr\\'ed\\'erique Bassino (LIPN), Mathilde Bouvel (LaBRI)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-04-03T20:13:12Z","title":"Combinatorial specification of permutation classes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.0797","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:d4e70d70e388836d0afdbe01ed83f218d235c7fd7be4d84443a4230b02fe1044","target":"record","created_at":"2026-05-18T03:58:37Z","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":"1740f17c4cc8a5e93d88283901dd87861c95e066157cf218f46ee3d363a23fd4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2012-04-03T20:13:12Z","title_canon_sha256":"8f5fd66078676032541d4308fd40f455e0db3ffa95aab07ea2c7ed22c7be339d"},"schema_version":"1.0","source":{"id":"1204.0797","kind":"arxiv","version":1}},"canonical_sha256":"e8e2aa02668c0d315c2a5b0f676e8e269b051049ee720a8ac6407a5bd08b52f1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e8e2aa02668c0d315c2a5b0f676e8e269b051049ee720a8ac6407a5bd08b52f1","first_computed_at":"2026-05-18T03:58:37.765792Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:58:37.765792Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CVwU7/41hS6Rsfs2OAH84jI2eCewZv0gPkMtYxmyzaZEg//9Q0N7g774ote2164iMxcT4UGm2GYut3FSnKphBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:58:37.766447Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.0797","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d4e70d70e388836d0afdbe01ed83f218d235c7fd7be4d84443a4230b02fe1044","sha256:bd3212e72b3a37e80b3c4d2c57c80c10816b73c68c0b57cd41f23d7f5bb1dd0b"],"state_sha256":"c852b51eab37ac1f90b0af83f388b5cca0d8f1a6b3c59cb137f278f72df1ad6d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jOW1WPIoCFGt+dtXaQqHaRHWuDDGEpHn3bK1J+PCAeLBprwQIRVwpxRIVWqJ3pRFmWpG0/67IKMagV1XjT+mDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T14:51:55.972541Z","bundle_sha256":"788667ba6716079911434968af6430b4fe39203636ba14a3ea872ce7055e2ffe"}}