{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:JEC63BPH6CO7C2QAVEGDQDT3MR","short_pith_number":"pith:JEC63BPH","canonical_record":{"source":{"id":"2503.10353","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-03-13T13:28:55Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"9be28628e824338eb1dbb9023e3ee6a99b9a8d4d86222178d087f4a18e05583c","abstract_canon_sha256":"8a50c59df63701e3115bc7898dc9efd8a3c2138e462d1e597e8bafa5d055490f"},"schema_version":"1.0"},"canonical_sha256":"4905ed85e7f09df16a00a90c380e7b6473d1dc1aa9ebb4835daf1147464e7d23","source":{"kind":"arxiv","id":"2503.10353","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.10353","created_at":"2026-05-17T23:39:01Z"},{"alias_kind":"arxiv_version","alias_value":"2503.10353v3","created_at":"2026-05-17T23:39:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.10353","created_at":"2026-05-17T23:39:01Z"},{"alias_kind":"pith_short_12","alias_value":"JEC63BPH6CO7","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"JEC63BPH6CO7C2QA","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"JEC63BPH","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:JEC63BPH6CO7C2QAVEGDQDT3MR","target":"record","payload":{"canonical_record":{"source":{"id":"2503.10353","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-03-13T13:28:55Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"9be28628e824338eb1dbb9023e3ee6a99b9a8d4d86222178d087f4a18e05583c","abstract_canon_sha256":"8a50c59df63701e3115bc7898dc9efd8a3c2138e462d1e597e8bafa5d055490f"},"schema_version":"1.0"},"canonical_sha256":"4905ed85e7f09df16a00a90c380e7b6473d1dc1aa9ebb4835daf1147464e7d23","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:01.465238Z","signature_b64":"s8h3ppxGaY2XwDa9L3DxmXO0LMLqRKBmLqfiVxXKifgqbVrhcSqZXJyPcPCIbJqE+RDm9yy/15JhspkM5knTBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4905ed85e7f09df16a00a90c380e7b6473d1dc1aa9ebb4835daf1147464e7d23","last_reissued_at":"2026-05-17T23:39:01.464536Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:01.464536Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.10353","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-17T23:39:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2Drc8KWDSxLIQUXU6rwXJtiXBlv4gmU4J17CDYx2uh3+8lTUnVslqjTxDZGmgA+qY5cA9sZYfAX8YOfiUUjlDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T09:48:01.100459Z"},"content_sha256":"18a22c69db26455cb936abf5c56e6d39501f1773477a92f27ef88496c0e1f065","schema_version":"1.0","event_id":"sha256:18a22c69db26455cb936abf5c56e6d39501f1773477a92f27ef88496c0e1f065"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:JEC63BPH6CO7C2QAVEGDQDT3MR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A categorical perspective on constraint satisfaction: The wonderland of adjunctions","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.LO","authors_text":"Jakub Opr\\v{s}al, Maximilian Hadek, Tom\\'a\\v{s} Jakl","submitted_at":"2025-03-13T13:28:55Z","abstract_excerpt":"The so-called algebraic approach to the constraint satisfaction problem (CSP) has been a prevalent method of the study of complexity of these problems since early 2000's. The core of this approach is the notion of polymorphisms which determine the complexity of the problem (up to log-space reductions). In the past few years, a new, more general version of the CSP emerged, the promise constraint satisfaction problem (PCSP), and the notion of polymorphisms and most of the core theses of the algebraic approach were generalised to the promise setting. Nevertheless, recent work also suggests that i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.10353","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-17T23:39:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JYQBVjzavr+F6f8u4r4JFith79vHzhJqdsRnn5cH5ueOWG70mGH7hj08G+VBmh/kHnj3z7fla8iJjy2a4ndUCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T09:48:01.101165Z"},"content_sha256":"05da7d79ca6a7c05792cfb5d2be10cc4ebd5c2b6bf3e052f86417c16f3163c65","schema_version":"1.0","event_id":"sha256:05da7d79ca6a7c05792cfb5d2be10cc4ebd5c2b6bf3e052f86417c16f3163c65"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JEC63BPH6CO7C2QAVEGDQDT3MR/bundle.json","state_url":"https://pith.science/pith/JEC63BPH6CO7C2QAVEGDQDT3MR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JEC63BPH6CO7C2QAVEGDQDT3MR/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-05-26T09:48:01Z","links":{"resolver":"https://pith.science/pith/JEC63BPH6CO7C2QAVEGDQDT3MR","bundle":"https://pith.science/pith/JEC63BPH6CO7C2QAVEGDQDT3MR/bundle.json","state":"https://pith.science/pith/JEC63BPH6CO7C2QAVEGDQDT3MR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JEC63BPH6CO7C2QAVEGDQDT3MR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:JEC63BPH6CO7C2QAVEGDQDT3MR","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":"8a50c59df63701e3115bc7898dc9efd8a3c2138e462d1e597e8bafa5d055490f","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-03-13T13:28:55Z","title_canon_sha256":"9be28628e824338eb1dbb9023e3ee6a99b9a8d4d86222178d087f4a18e05583c"},"schema_version":"1.0","source":{"id":"2503.10353","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.10353","created_at":"2026-05-17T23:39:01Z"},{"alias_kind":"arxiv_version","alias_value":"2503.10353v3","created_at":"2026-05-17T23:39:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.10353","created_at":"2026-05-17T23:39:01Z"},{"alias_kind":"pith_short_12","alias_value":"JEC63BPH6CO7","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"JEC63BPH6CO7C2QA","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"JEC63BPH","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:05da7d79ca6a7c05792cfb5d2be10cc4ebd5c2b6bf3e052f86417c16f3163c65","target":"graph","created_at":"2026-05-17T23:39:01Z","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":"The so-called algebraic approach to the constraint satisfaction problem (CSP) has been a prevalent method of the study of complexity of these problems since early 2000's. The core of this approach is the notion of polymorphisms which determine the complexity of the problem (up to log-space reductions). In the past few years, a new, more general version of the CSP emerged, the promise constraint satisfaction problem (PCSP), and the notion of polymorphisms and most of the core theses of the algebraic approach were generalised to the promise setting. Nevertheless, recent work also suggests that i","authors_text":"Jakub Opr\\v{s}al, Maximilian Hadek, Tom\\'a\\v{s} Jakl","cross_cats":["math.CT"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-03-13T13:28:55Z","title":"A categorical perspective on constraint satisfaction: The wonderland of adjunctions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.10353","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:18a22c69db26455cb936abf5c56e6d39501f1773477a92f27ef88496c0e1f065","target":"record","created_at":"2026-05-17T23:39:01Z","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":"8a50c59df63701e3115bc7898dc9efd8a3c2138e462d1e597e8bafa5d055490f","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2025-03-13T13:28:55Z","title_canon_sha256":"9be28628e824338eb1dbb9023e3ee6a99b9a8d4d86222178d087f4a18e05583c"},"schema_version":"1.0","source":{"id":"2503.10353","kind":"arxiv","version":3}},"canonical_sha256":"4905ed85e7f09df16a00a90c380e7b6473d1dc1aa9ebb4835daf1147464e7d23","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4905ed85e7f09df16a00a90c380e7b6473d1dc1aa9ebb4835daf1147464e7d23","first_computed_at":"2026-05-17T23:39:01.464536Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:01.464536Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s8h3ppxGaY2XwDa9L3DxmXO0LMLqRKBmLqfiVxXKifgqbVrhcSqZXJyPcPCIbJqE+RDm9yy/15JhspkM5knTBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:01.465238Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.10353","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:18a22c69db26455cb936abf5c56e6d39501f1773477a92f27ef88496c0e1f065","sha256:05da7d79ca6a7c05792cfb5d2be10cc4ebd5c2b6bf3e052f86417c16f3163c65"],"state_sha256":"a2f7be4f093893970d8ef57d3dd4f0a5517eaf85e8875ea2cad0db991e546420"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ow3rdxlCDHGdfqsZy+EabW0GIlnQwOpHydorxEGZ5gQK3i3dw6pl5uCHQOncLpo18T/kv7RY4pC1Oq6qdyaLCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T09:48:01.104087Z","bundle_sha256":"4ea737ca1ddf9690e49b393a22bb87814827dade606f3545de9892b38a229263"}}