{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HAAWEI7Q44MJ7Z3STVWOKHG2Z2","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":"e8f92ed1dd864b0642a7071626d2ce8c68d51ef5a391e59497afbbc9ae5c1449","cross_cats_sorted":["cs.CC","math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-12-08T11:59:02Z","title_canon_sha256":"e70f77937f7b76523c542b93ae555db41efd2e904c0ca90081e87a69c0eebf67"},"schema_version":"1.0","source":{"id":"2512.07476","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2512.07476","created_at":"2026-06-02T01:03:39Z"},{"alias_kind":"arxiv_version","alias_value":"2512.07476v3","created_at":"2026-06-02T01:03:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.07476","created_at":"2026-06-02T01:03:39Z"},{"alias_kind":"pith_short_12","alias_value":"HAAWEI7Q44MJ","created_at":"2026-06-02T01:03:39Z"},{"alias_kind":"pith_short_16","alias_value":"HAAWEI7Q44MJ7Z3S","created_at":"2026-06-02T01:03:39Z"},{"alias_kind":"pith_short_8","alias_value":"HAAWEI7Q","created_at":"2026-06-02T01:03:39Z"}],"graph_snapshots":[{"event_id":"sha256:54311a79218594abacefe57d51fa5d18d77ab0d8800c2e94c210fd2f69d8053d","target":"graph","created_at":"2026-06-02T01:03:39Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2512.07476/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Patterns are words with terminals and variables. The language of a pattern is the set of words obtained by uniformly substituting all variables with words that contain only terminals. In their original definition, patterns only allow for multiple distinct occurrences of some variables to be related by the equality relation, represented by using the same variable multiple times. In an extended notion, called relational patterns and relational pattern languages, variables may be related by arbitrary other relations, achieved by using regular patterns and relating individual variables independent","authors_text":"Corinna Wambsganz, Dirk Nowotka, Klaus Jansen, Lis Pirotton, Max Wiedenh\\\"oft","cross_cats":["cs.CC","math.CO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-12-08T11:59:02Z","title":"An Analysis of Decision Problems for Relational Pattern Languages under Various Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2512.07476","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:8b149ff7bc070dce602eb3eb62cf290b7bdffb22c9e409511323c713e3eea874","target":"record","created_at":"2026-06-02T01:03:39Z","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":"e8f92ed1dd864b0642a7071626d2ce8c68d51ef5a391e59497afbbc9ae5c1449","cross_cats_sorted":["cs.CC","math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2025-12-08T11:59:02Z","title_canon_sha256":"e70f77937f7b76523c542b93ae555db41efd2e904c0ca90081e87a69c0eebf67"},"schema_version":"1.0","source":{"id":"2512.07476","kind":"arxiv","version":3}},"canonical_sha256":"38016223f0e7189fe7729d6ce51cdace95a07ebdb837a8429edb2243c14e3448","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"38016223f0e7189fe7729d6ce51cdace95a07ebdb837a8429edb2243c14e3448","first_computed_at":"2026-06-02T01:03:39.300680Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-02T01:03:39.300680Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HMCn7fIifjn2I/Ng41xnaNDRgrb/YB//60Npp9xtIPkhf6B2zUorb4NU5EUqnxsL/0Gytcrfoowkx+dDYTqhAQ==","signature_status":"signed_v1","signed_at":"2026-06-02T01:03:39.301159Z","signed_message":"canonical_sha256_bytes"},"source_id":"2512.07476","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8b149ff7bc070dce602eb3eb62cf290b7bdffb22c9e409511323c713e3eea874","sha256:54311a79218594abacefe57d51fa5d18d77ab0d8800c2e94c210fd2f69d8053d"],"state_sha256":"6ae0bf9c035d979af0af42578db31240952c8a079ac1393f9b3acf6d796cc641"}