{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:FNBQ2I2OBAX637VAI2A73AEJ7C","short_pith_number":"pith:FNBQ2I2O","canonical_record":{"source":{"id":"2402.09951","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-02-15T13:58:57Z","cross_cats_sorted":[],"title_canon_sha256":"dbc81038a9d9b3db7c077dda5c4e82b2d75db0fe55cb65b6163e3de30dd456af","abstract_canon_sha256":"6405c3da1175baa245a20c769a289341cdd2e3d66517b4ca081b7f868877d9c1"},"schema_version":"1.0"},"canonical_sha256":"2b430d234e082fedfea04681fd8089f890c26b44e0aa80983b5c5457949e1ac0","source":{"kind":"arxiv","id":"2402.09951","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.09951","created_at":"2026-07-05T07:45:39Z"},{"alias_kind":"arxiv_version","alias_value":"2402.09951v1","created_at":"2026-07-05T07:45:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.09951","created_at":"2026-07-05T07:45:39Z"},{"alias_kind":"pith_short_12","alias_value":"FNBQ2I2OBAX6","created_at":"2026-07-05T07:45:39Z"},{"alias_kind":"pith_short_16","alias_value":"FNBQ2I2OBAX637VA","created_at":"2026-07-05T07:45:39Z"},{"alias_kind":"pith_short_8","alias_value":"FNBQ2I2O","created_at":"2026-07-05T07:45:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:FNBQ2I2OBAX637VAI2A73AEJ7C","target":"record","payload":{"canonical_record":{"source":{"id":"2402.09951","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-02-15T13:58:57Z","cross_cats_sorted":[],"title_canon_sha256":"dbc81038a9d9b3db7c077dda5c4e82b2d75db0fe55cb65b6163e3de30dd456af","abstract_canon_sha256":"6405c3da1175baa245a20c769a289341cdd2e3d66517b4ca081b7f868877d9c1"},"schema_version":"1.0"},"canonical_sha256":"2b430d234e082fedfea04681fd8089f890c26b44e0aa80983b5c5457949e1ac0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:45:39.262697Z","signature_b64":"0bQdYyJ1W45gm3HCHqQ/43y/Hqb5fPasj85qaGKfnizCj6Y2ZoNfCAZLJ3gSGnMLkgVeQl7QxnCtQszzUzwfAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2b430d234e082fedfea04681fd8089f890c26b44e0aa80983b5c5457949e1ac0","last_reissued_at":"2026-07-05T07:45:39.262250Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:45:39.262250Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2402.09951","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-07-05T07:45:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S+1/tOPAXzXsk9FdIQtaLvTSgMjsjo/xISdpJLsYwtaQAwqBqeQWc34mDm4Dlnatn9slONnZF7iT2bJc0+1lCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T06:14:29.443134Z"},"content_sha256":"b3c0cd6729fc18f3590b136cc70e499358161a9349eaf8703f6c4df582ca6a05","schema_version":"1.0","event_id":"sha256:b3c0cd6729fc18f3590b136cc70e499358161a9349eaf8703f6c4df582ca6a05"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:FNBQ2I2OBAX637VAI2A73AEJ7C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Michael Pinsker, Tom\\'a\\v{s} Nagy","submitted_at":"2024-02-15T13:58:57Z","abstract_excerpt":"We investigate the `local consistency implies global consistency' principle of strict width among structures within the scope of the Bodirsky-Pinsker dichotomy conjecture for infinite-domain Constraint Satisfaction Problems (CSPs). Our main result implies that for certain CSP templates within the scope of that conjecture, having bounded strict width has a concrete consequence on the expressive power of the template called implicational simplicity. This in turn yields an explicit bound on the relational width of the CSP, i.e., the amount of local consistency needed to ensure the satisfiability "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.09951","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2402.09951/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T07:45:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VYtUe/EyDop2lgytbshfIBlazm+iO5LfRva7TbeqjMrnnqcuEOFtoOM5M5zfSlr0iZ1DQgKsDLQds0+d5qpjDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T06:14:29.443659Z"},"content_sha256":"fd92f1fa09a85efc6e51ce57f3af3289d8b63a9a465b6729ddd8f24cc4d748dc","schema_version":"1.0","event_id":"sha256:fd92f1fa09a85efc6e51ce57f3af3289d8b63a9a465b6729ddd8f24cc4d748dc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FNBQ2I2OBAX637VAI2A73AEJ7C/bundle.json","state_url":"https://pith.science/pith/FNBQ2I2OBAX637VAI2A73AEJ7C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FNBQ2I2OBAX637VAI2A73AEJ7C/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-08-07T06:14:29Z","links":{"resolver":"https://pith.science/pith/FNBQ2I2OBAX637VAI2A73AEJ7C","bundle":"https://pith.science/pith/FNBQ2I2OBAX637VAI2A73AEJ7C/bundle.json","state":"https://pith.science/pith/FNBQ2I2OBAX637VAI2A73AEJ7C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FNBQ2I2OBAX637VAI2A73AEJ7C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:FNBQ2I2OBAX637VAI2A73AEJ7C","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":"6405c3da1175baa245a20c769a289341cdd2e3d66517b4ca081b7f868877d9c1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-02-15T13:58:57Z","title_canon_sha256":"dbc81038a9d9b3db7c077dda5c4e82b2d75db0fe55cb65b6163e3de30dd456af"},"schema_version":"1.0","source":{"id":"2402.09951","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2402.09951","created_at":"2026-07-05T07:45:39Z"},{"alias_kind":"arxiv_version","alias_value":"2402.09951v1","created_at":"2026-07-05T07:45:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.09951","created_at":"2026-07-05T07:45:39Z"},{"alias_kind":"pith_short_12","alias_value":"FNBQ2I2OBAX6","created_at":"2026-07-05T07:45:39Z"},{"alias_kind":"pith_short_16","alias_value":"FNBQ2I2OBAX637VA","created_at":"2026-07-05T07:45:39Z"},{"alias_kind":"pith_short_8","alias_value":"FNBQ2I2O","created_at":"2026-07-05T07:45:39Z"}],"graph_snapshots":[{"event_id":"sha256:fd92f1fa09a85efc6e51ce57f3af3289d8b63a9a465b6729ddd8f24cc4d748dc","target":"graph","created_at":"2026-07-05T07:45: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/2402.09951/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We investigate the `local consistency implies global consistency' principle of strict width among structures within the scope of the Bodirsky-Pinsker dichotomy conjecture for infinite-domain Constraint Satisfaction Problems (CSPs). Our main result implies that for certain CSP templates within the scope of that conjecture, having bounded strict width has a concrete consequence on the expressive power of the template called implicational simplicity. This in turn yields an explicit bound on the relational width of the CSP, i.e., the amount of local consistency needed to ensure the satisfiability ","authors_text":"Michael Pinsker, Tom\\'a\\v{s} Nagy","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-02-15T13:58:57Z","title":"Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.09951","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:b3c0cd6729fc18f3590b136cc70e499358161a9349eaf8703f6c4df582ca6a05","target":"record","created_at":"2026-07-05T07:45: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":"6405c3da1175baa245a20c769a289341cdd2e3d66517b4ca081b7f868877d9c1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2024-02-15T13:58:57Z","title_canon_sha256":"dbc81038a9d9b3db7c077dda5c4e82b2d75db0fe55cb65b6163e3de30dd456af"},"schema_version":"1.0","source":{"id":"2402.09951","kind":"arxiv","version":1}},"canonical_sha256":"2b430d234e082fedfea04681fd8089f890c26b44e0aa80983b5c5457949e1ac0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2b430d234e082fedfea04681fd8089f890c26b44e0aa80983b5c5457949e1ac0","first_computed_at":"2026-07-05T07:45:39.262250Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:45:39.262250Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0bQdYyJ1W45gm3HCHqQ/43y/Hqb5fPasj85qaGKfnizCj6Y2ZoNfCAZLJ3gSGnMLkgVeQl7QxnCtQszzUzwfAg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:45:39.262697Z","signed_message":"canonical_sha256_bytes"},"source_id":"2402.09951","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b3c0cd6729fc18f3590b136cc70e499358161a9349eaf8703f6c4df582ca6a05","sha256:fd92f1fa09a85efc6e51ce57f3af3289d8b63a9a465b6729ddd8f24cc4d748dc"],"state_sha256":"f496c140418eeb5361d37553b257f0de03ac4b34c66bbbf6cf9a98f43e1d9c66"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"15UNy0oHImtfJkmCwC/5pK7t24ECZI9853M2S86DHKKMeVCD0Mi87jrGlG1OaLhNLnSvWGFsKr7RNV78vOFhDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T06:14:29.447535Z","bundle_sha256":"2672bc7d0e825125d097569bb3b1139e0263b91d8c37df11e3dfb7585b9381e2"}}